Automatic Detection of Nondeterminancy, and Scalar Optimizations in Parallel Programs

Parallel programs are significantly different from sequential programs in the sense that they can exhibit timing-dependent behaviour. The same program with the same input data can produce different results on different executions. This is unacceptable for a large number of programs. The main focus of this thesis is techniques to automatically detect such situations. Since nondeterminacy is intimately related to the ordering between operations executed by the program, the main problem studied is that of computing ordering between operations. The ordering is determined by the synchronization operations used.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Ghosh, Sanjoy

Contributors dc:contributor

• Padua, D.A.
• Emrath, P.A.,

• Computer Science

Identifier

(UMI)AAI9305536

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/72065