WYLBUR: an interactive text editing and remote job entry system
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Operating system principles
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
A recovery mechanism for modular software
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hardware support for concurrent programming in loosely coupled multiprocessors
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Hi-index | 0.00 |
This paper is concerned with error processing for parallel producer-consumer interactions such as encountered in the desing of multi-process operating systems. Solutions to resynchronization problems that occur when a consumer process detects errors in information received from a producer process are presented. Fundamental properties of this error processing are discussed. It is shown that explicit error processing results in an increase in program complexity and a decrease in the ease of understanding a program.