Sciweavers

Share
ICSE
2010
IEEE-ACM

DETERMIN: inferring likely deterministic specifications of multithreaded programs

8 years 11 months ago
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. We have previously proposed an assertion framework for specifying that regions of a parallel program behave deterministically despite nondeterministic thread interleaving. The framework allows programmers to write assertions involving pairs of program states arising from different parallel schedules. We propose an algorithm to dynamically infer likely deterministic specifications for parallel programs given a set of inputs and schedules. We have implemented our specification inference algorithm for Java and have applied i...
Jacob Burnim, Koushik Sen
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2010
Where ICSE
Authors Jacob Burnim, Koushik Sen
Comments (0)
books