Two algorithms for barrier synchronization

DOI10.1007/BF01379320zbMath0662.68008OpenAlexW2084557272MaRDI QIDQ1114381

Udi Manber, Debra A. Hensgen, Raphael Ari Finkel

Publication date: 1988

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01379320

zbMATH Keywords

barrier synchronizationshared-memory multicomputer

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Related Items (6)

Impossibility results for weak threshold networks ⋮ The Combinatorics of Barrier Synchronization ⋮ Initializing memory shared by several processors ⋮ A network model of Barrier synchronization algorithms ⋮ Unnamed Item ⋮ On automation in the verification of software barriers: experience report

Cites Work

• An approach to automating the verification of compact parallel coordination programs. I
• The butterfly barrier

This page was built for publication: Two algorithms for barrier synchronization