Title :
Conditions for the Equivalence of Synchronous and Asynchronous Systems
Author :
Akkoyunlu, Eralp A. ; Bernstein, Arthur J. ; Schneider, Fred B. ; Silberschatz, Abraham
Author_Institution :
Department of Computer and Information Sciences, Brooklyn College
Abstract :
Synchronous and asynchronous operation of software systems are defined. It is argued that certifying the correct operation of a system in the synchronous mode is significantly simpler than in the asynchronous mode. A series of compile-time and run-time restrictions for systems constructed in Concuirent Pascal are presented which assure equivalent operation in the synchronous and asynchronous modes.
Keywords :
Asynchronous processes; Concurrent Pascal; classes; concurrent processes; correctness; hierarchical operating systems; modularity; monitors; mutual exclusion; sequential operation; structured multiprogramming; synchronization; Certification; Computer science; Control systems; Educational institutions; High level languages; Operating systems; Proposals; Region 3; Software systems; Stress; Asynchronous processes; Concurrent Pascal; classes; concurrent processes; correctness; hierarchical operating systems; modularity; monitors; mutual exclusion; sequential operation; structured multiprogramming; synchronization;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.234136
