Gregor V. Bochmann
Abstract
The design of multiple computer systems and computer networks poses some interesting new problems and shows some older problems in the light of a new context. We are interested in the problems which are related to the design of communication protocols and error recovery procedures. In the design of computer systems, error recovery procedures have often not received very much attention, although they are essential for the reliable operation of most systems. In the case of multiple computer systems, appropriate error recovery procedures can be used to obtain a very much increased availability of the system services. This is also an advantage of computer networks. Whereas single computer systems can sometimes function to a certain extent without elaborate error recovery procedures, data communication protocols, on the other hand, normally have to contain explicit error recovery procedures, since the underlying communication line is normally not very reliable. Therefore, approaches that have been used for the design of protocols in computer networks could also be useful in the design of local multiple computer systems for obtaining higher reliability and availability.
- 1 L. Pouzin, Network protocols, Nato International Advanced Study Institute, Brighton, Sept. 1973.Google Scholar
- 2 R.S. Fabry, Dynamic verification of operating system decisions, Comm. ACM 16, 659 (1973). Google ScholarDigital Library
- 3 "Resource sharing computer networks", Special session at the SJCC, Atlantic City, 1970.Google Scholar
- 4 G.V. Bochmann, On proving protocols correct, Technical report, September 1974.Google Scholar
- 5 P. Gilbert and W.J. Chandler, Interference between Communicating parallel processes, Comm. ACM 15, 427 (1972). Google ScholarDigital Library
- 6 K.A. Bartlett, R.A. Scantlebury and P.T. Wilkinson, A note on reliable full-duplex transmission over half-duplex links, Comm. ACM 12, 260 (1969). Google ScholarDigital Library
- 7 J.L. Peterson and T.H. Bredt, A comparison of models of parallel computation, Proceedings IFIP Congress 74, p. 466-470 (1974).Google Scholar
- 8 R.H. Campbell and A.N. Habermann, The specification of process synchronization by path expressions, Techn. Report # 55, Univ of Newcastle upon Tyne, Jan 1974.Google Scholar
- 9 J.P. Gray, Line control procedures, Proc. IEEE, Nov 1972, p. 1307.Google ScholarCross Ref
Index Terms
- Communication protocols and error recovery procedures
Recommendations
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communicationsThe design of multiple computer systems and computer networks poses some interesting new problems and shows some older problems in the light of a new context. We are interested in the problems which are related to the design of communication protocols ...
Recovery approach to the design of stabilizing communication protocols
This paper addresses the problem of designing stabilizing computer communication protocols modelled by communicating finite state machines. A communication protocol is said to be stabilizing if, starting from or reaching any illegal state, the protocol ...
Comments