This Article 
 Bibliographic References 
 Add to: 
Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems
September 1992 (vol. 3 no. 5)
pp. 555-572
Several different approaches for implementing conversations in message-based distributed computer systems (DCSs) are discussed. Two different exit control strategies (synchronous and asynchronous) and three different approaches to execution of the conversation acceptance test (centralized, decentralized, and semicentralized) are examined and compared in terms of system performance and implementation cost. An efficient approach to run-time management of recovery information based on an extension of the recovery cache scheme is also discussed. The two major types of conversation structures, name-linked recovery block and abstract data type conversations, are examined to analyze which execution approaches are the most efficient for each conversation structure. As a case study, an unmanned vehicle system is used to illustrate how the approaches can be used in a realistic real-time application.

[1] T. Anderson and R. Kerr, "Recovery blocks in Action: A system supporting high reliability," inProc. 2nd Int. Conf. Software Engineering, Oct. 1979, pp. 447-457.
[2] B. Bhargava, Ed.,Concurrency and Reliability in Distributed Systems. New York: Van Nostrand and Reinhold, 1987.
[3] W. W. Chuet al., "Testbed-based evaluation of design techniques for fault-tolerant real-time distributed computer systems,"Proc. IEEE, vol. 75, no. 5, pp. 649-667, May 1987.
[4] R. H. Campbell, T. Anderson, and B. Randell, "Practical fault tolerant software for asynchronous systems," inProc. SAFECOM 83, Cambridge, Oct. 1983, pp. 59-65.
[5] S. T. Gregory and J. C. Knight, "A new linguistic approach to backward error recovery," inProc. FTCS-15, 1985, pp. 404-409.
[6] M. Hecht, J. Agron, H. Hecht, and K. H. Kim, "A distributed fault tolerant architecture for nuclear reactor and other critical process control applications," inProc. IEEE Computer Society's 21st Symp. Fault-Tolerant Comput., Montreal, June 1991, pp. 462-469.
[7] J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell, "A program structure for error detection and recovery,"Lecture Notes in Computer Science, vol. 16, New York: Springer-Verlag, 1974, pp. 171-187.
[8] K. H. Kim, D. L. Russell, and M. J. Jenson, "Language tools for fault-tolerant programming," PETP-1, Electronic Sciences Lab., U.S.C., Nov. 1976.
[9] K. H. Kim, "Approaches to mechanization of the conversation scheme based on monitor,"IEEE Trans. Software Eng., vol. SE-8, no. 3, pp. 189-197, May 1982.
[10] K. H. Kim, S. M. Yang, and M. H. Kim, "Implementation of concurrent programming language facilities supporting conversation structuring," inProc. COMPSAC 85, Oct. 1985, pp. 445-453.
[11] K. H. Kim and S. M. Yang, "Performance impacts of lookahead execution in the conversation scheme,"IEEE Trans. Comput., vol. 38, no. 8, pp. 1188-1202, Aug. 1989.
[12] R. B. Kolstad and R. H. Campbell,Path Pascal User Manual, Univ. of Illinois at Champaign-Urbana, Jan. 1980.
[13] L. V. Mancini and S. K. Shrivastava, "Replication within atomic actions and conversations: A case study in fault-tolerance duality," inProc. FTCS-19, 1989, pp. 454-461.
[14] B. M. Ozake, E. B. Fernandez, and E. Gudes, "Software fault tolerance in architectures with hierarchical protection levels,"IEEE Micro, vol. 8, pp. 30-43, Aug. 1988.
[15] B. Randell, "System structure for software fault tolerance,"IEEE Trans. Software Eng.vol. SE-1, no. 2, pp. 220-232, June 1975.
[16] D. L. Russell and M. J. Tiedeman, "Multiprocess recovery using conversations," inProc. FTCS-9, 1979, pp. 106-109.
[17] S. K. Shirivastava, L. Mancini, and B. Randell, "On the duality of fault tolerant system structures," Tech. Memo. SRM/455, Computing Lab., Univ. of Newcastle upon Tyne, 1987.
[18] W. N. Toy, "Fault-tolerant computing," inAdvances in Computers, Vol. 26. New York: Academic, 1987, pp. 201-279.
[19] A. M. Tyrrell and D. J. Holding, "Design of reliable software in distributed systems using the conversation scheme,"IEEE Trans. Software Eng., vol. SE-12, no. 9, pp. 921-928, Sept. 1986.
[20] J. Wu and E. B. Fernandez, "A simplification of a conversation design using Petri nets,"IEEE Trans. Software Eng., vol. 15, no. 5, pp. 658-660, May 1989.

Index Terms:
Index Termsmessage-based distributed computer systems; exit control strategies; conversationacceptance test; run-time management; recovery information; recovery cache;conversation structures; name-linked recovery block; abstract data type conversations;unmanned vehicle system; abstract data types; distributed processing; message passing
S.M. Yang, K.H. Kim, "Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems," IEEE Transactions on Parallel and Distributed Systems, vol. 3, no. 5, pp. 555-572, Sept. 1992, doi:10.1109/71.159039
Usage of this product signifies your acceptance of the Terms of Use.