Details

Autor(en) / Beteiligte

• Angerer, Christoph
• Gross, Thomas

Titel

now happens-before later: static schedule analysis of fine-grained parallelism with explicit happens-before relationships

Ist Teil von

• Proceedings of the ACM international conference companion on object oriented programming systems languages and applications companion, 2010, p.3-10

Ort / Verlag

ACM

Erscheinungsjahr

2010

Link zum Volltext

Quelle

ACM Digital Library

Beschreibungen/Notizen

• Current compilers are still largely ignorant of the scheduling of parallel tasks at runtime. Without this information, however, they have difficulties optimizing and verifying concurrent programs. In this paper, we present a programming model where the program contains explicit scheduling constraints in the form of happens-before relationships between scheduled tasks. This model allows for flexible and fine-grained ad hoc parallelism while still enabling us to statically extract an abstraction of the runtime schedule. The result of this schedule analysis can answer the question as to whether two tasks execute in sequence, exclusively, or in parallel with each other.