Deadlock-free absorption of barrier synchronisations

DOI10.1016/0020-0190(95)00155-6zbMath0875.68244OpenAlexW2093606124WikidataQ127410730 ScholiaQ127410730MaRDI QIDQ1350300

Gaétan Hains, Gil Utard

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00155-6

zbMATH Keywords

Parallel processingProgram correctnessCompilers

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (1)

AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

Cites Work

• Decomposition of distributed programs into communication-closed layers
• Verifying properties of parallel programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deadlock-free absorption of barrier synchronisations