A modula-2 kernel for supporting monitors

DOI10.1002/SPE.4380160507MaRDI QIDQ3723684zbMATH OpenOpenAlexFDO

Authors Patrick D. Terry

Publication date 1986

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380160507

zbMATH Keywords

concurrent processesModula-2monitormutual exclusionoperating systemssynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4078775
• The mutual exclusion problem
• The mutual exclusion problem. I: A theory of interprocess communication
• Semantics and verification of monitors and systems of monitors and processes
• A new solution of Dijkstra's concurrent programming problem

Cited in

(5)

• The design and implementation of the exported procedure call
• A versatile supervisor with one monitor based on macro-tokens
• Implementing Language Support in High-Level Languages
• Resource monitors: A design methodology for operating systems
• scientific article; zbMATH DE number 4043219 (Why is no real title available?)

Describes a project that uses

Uses Software

• Modula

This page was built for publication: A modula-2 kernel for supporting monitors

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