Monitors with associated processors

DOI10.1007/BF01930987MaRDI QIDQ3048220zbMATH OpenOpenAlexFDO

Authors 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

associated processorsmonitorsscheduling

Mathematics Subject Classification ID

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

Cites work

• Communicating sequential processes
• Compile time preparations for run time scheduling in monitors
• Coroutine sequencing in a block structured environment
• Distributed processes
• scientific article; zbMATH DE number 3614151 (Why is no real title available?)
• Monitors
• Proving monitors
• Toward a discipline of real-time programming

Cited in

(1)

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

This page was built for publication: Monitors with associated processors

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