On the correctness of the SIMT execution model of GPUs

DOI10.1007/978-3-642-28869-2_16MaRDI QIDQ2892735zbMATH OpenOpenAlexFDO

Authors Axel Habermaier, Alexander Knapp

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_16

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A Hoare logic for SIMT programs
• Lifespan distribution of SIMD groups on a GPU engaged in a class of probabilistic computation
• Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
• A Hoare Logic for GPU Kernels
• GPU schedulers: how fair is fair enough?

Cited in

(3)

• A Hoare logic for SIMT programs
• Lifespan distribution of SIMD groups on a GPU engaged in a class of probabilistic computation
• A Hoare Logic for GPU Kernels

Describes a project that uses

Uses Software

• CUDA
• LLVM
• OpenCL

This page was built for publication: On the correctness of the SIMT execution model of GPUs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892735)