Approaches to Mechanization of the Conversation Scheme Based on Monitors
- 1 May 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-8 (3), 189-197
- https://doi.org/10.1109/tse.1982.235106
Abstract
A basic problem in designing error detection and backward recovery capabilities into concurrent programs is to coordinate the detection and recovery activities of cooperating processes. As an aid to such design Randell proposed a language construct called conversation in an abstract form. Practical mechanization of the conversation scheme, i.e., selection of a well-structured syntax and associated semantics, is the issue dealt with in this paper. Four different mechanizations based on the monitor approach to interprocess communication are presented. They are presented as feasible extensions of Concurrent Pascal in order to enable visualization of their full implementation details in at least one type of concurrent programming environment. They are presented in the increasing order of the amount of efforts that they require for extending Concurrent Pascal. They offer different degrees of assistance to the programmer in proper structuring of recoverable process interactions.Keywords
This publication has 5 references indexed in Scilit:
- A program structure for error detection and recoveryPublished by Springer Nature ,2005
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978
- Fault-Tolerant Software for Real-Time ApplicationsACM Computing Surveys, 1976
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Rollback and Recovery Strategies for Computer ProgramsIEEE Transactions on Computers, 1972