An alternative implementation of communication primitives

DOI10.1016/0020-0190(86)90079-7MaRDI QIDQ1091123zbMATH OpenOpenAlexFDO

Authors Jan L. A. van de Snepscheut, Jan Tijmen Udding

Publication date 1986

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

Full work available at URL https://doi.org/10.1016/0020-0190(86)90079-7

zbMATH Keywords

communicating processescommunication primitivescorrectnessdeadlockimplementationsynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Review text

The authors study a set of communication primitives used for snychronizing action in communicating processes. Starting from a previously suggested implementation which was found to have deadlock situations, they derive a set of conditions to be satisfied by any implementation, propose a more elegant alternative implementation, and give a detailed proof of its correctness with respect to the set of conditions. The readability of this otherwise well-written paper could have been improved by the use of less cryptic notation.

Recommendations

• Comparing communication primitives via their relative expressive power
• Communication primitives for BSP computers
• Foundations of Software Science and Computation Structures
• The synthesis of communication protocols
• A methodology for constructing communication protocols with multiple concurrent functions
• scientific article; zbMATH DE number 865194
• The probe: An addition to communication primitives
• FM 2005: Formal Methods
• On asymmetric communication protocols

Cites work

• The probe: An addition to communication primitives
• Trace theory and VLSI design

Cited in

(5)

• The probe: An addition to communication primitives
• Another approach to the implementation of synchronization primitives
• scientific article; zbMATH DE number 1830939 (Why is no real title available?)
• Synchronization and communication in the `subject'
• Computational Science - ICCS 2004

This page was built for publication: An alternative implementation of communication primitives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1091123)