Termination analysis for GPU kernels
| Autor: | Alastair F. Donaldson, Jeroen Ketema |
|---|---|
| Přispěvatelé: | Commission of the European Communities |
| Rok vydání: | 2017 |
| Předmět: |
Computer science
Concurrency Termination problem 0803 Computer Software Software Engineering 020207 software engineering 02 engineering and technology Parallel computing CUDA Termination analysis 0202 electrical engineering electronic engineering information engineering Leverage (statistics) 020201 artificial intelligence & image processing State (computer science) Massively parallel Software Abstraction (linguistics) |
| Popis: | We describe a thread-modular technique for proving termination of massively parallel GPU kernels. The technique reduces the termination problem for these kernels to a sequential termination problem by abstracting the shared state, and as such allows us to leverage termination analysis techniques for sequential programs. An implementation in KITTeL is able to show termination of 94% of 604 kernels collected from various sources. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|