Approaches to Mechanization of the Conversation Scheme Based on Monitors

Authors:
K. H. Kim
Affiliations:
Department of Computer Science and Engineering, University of South Florida
Venue:
IEEE Transactions on Software Engineering
Year:
1982

Citing 0
Cited 5

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems

Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Time-bounded cooperative recovery with the distributed real-time conversation scheme

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery

FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Conversations of objects

Computer Languages
Practical exception handling and resolution in concurrent programs

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

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.