DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs

The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs using threads, however, has proven to be quite challenging due to nondeterminism. The threads of a parallel application may be interleaved nondeterministically during execution, which can lead to nondeterministic results - some interleavings may produce the correct result while others may not. The authors have previously proposed an assertion framework for specifying that regions of a parallel program behave deterministically despite nondeterministic thread interleaving.

Provided by: Association for Computing Machinery Topic: Software Date Added: May 2010 Format: PDF

Download Now

Find By Topic