Two implementations of the conditional critical region using split binary semaphore

DOI10.1016/0020-0190(79)90145-5MaRDI QIDQ1255779zbMATH OpenOpenAlexFDO

Authors K. Appert

Publication date 1979

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

Full work available at URL https://doi.org/10.1016/0020-0190(79)90145-5

zbMATH Keywords

Concurrent ProcessesConditional Critical RegionProgramming ConstructSplit Binary Semaphore

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites work

• A comparison of two synchronizing concepts
• Proof of a structured program: 'The sieve of Eratosthenes'

This page was built for publication: Two implementations of the conditional critical region using split binary semaphore

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