Concurrency in Operating Systems

Atwood, J. William

doi:10.1109/c-m.1976.218407

Cited by 7 publications

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The architectures used for system software are usually based on some form of explicitly coded critical sections. 3 However, explicit critical sections introduce nondeterminism and are a root cause of many concurrent programming difficulties. 7 Because synchronous languages do not contain explicit critical sections, software architectures based on such languages may have advantages over traditional architectures.…”

Section: Software Architecturementioning

confidence: 99%

Synchronous/Reactive Programming of Concurrent System Software

Montague

McDowell

1997

Softw: Pract. Exper.

View full text Add to dashboard Cite

SUMMARYSynchronous languages are intended for programming reactive systems. Reactive systems, which include real-time systems and key operating system components, interact continually with their environment. This paper considers the applicability of imperative synchronous/reactive languages to the development of general system software, that is, to the implementation of operating system kernels, file systems, databases,networks, server architectures, device drivers, etc. The languages Esterel and Reactive C (RC) receive special attention as Esterel is the oldest and most developed such language and RC is specifically designed for compatibility with C systems programming. An alternative soft-instruction software architecture is described, which is well suited to real-world system programming.

show abstract

Section: Software Architecturementioning

confidence: 99%