Monitors with associated processors

DOI10.1007/BF01930987zbMath0413.68023OpenAlexW2089861317MaRDI QIDQ3048220

Stein Gjessing

Publication date: 1979

Published in: BIT (Search for Journal in Brave)

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

zbMATH Keywords

schedulingmonitorsassociated processors

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25)

Related Items

Monitors with arrays of condition variables and proof rules handling local quantities

Cites Work

• Unnamed Item
• Monitors
• Proving monitors
• Toward a discipline of real-time programming
• Compile time preparations for run time scheduling in monitors
• Communicating sequential processes
• Distributed processes
• Coroutine sequencing in a block structured environment