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

Issue

6

fYear

1978

Firstpage

507

Lastpage

516

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;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1978.234136

Filename

1702570