Premium
Synchronous/Reactive Programming of Concurrent System Software
Author(s) -
MONTAGUE BRUCE R.,
MCDOWELL CHARLES E.
Publication year - 1997
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(199703)27:3<207::aid-spe82>3.0.co;2-d
Subject(s) - computer science , programming language , software
Synchronous 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. © 1997 by John Wiley & Sons, Ltd.