Shivakan Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....be mixed and matched. In both STREAMS and the x kernel, the different protocol modules supply many different control operations, and design their own address format, both severely limiting such configuration flexibility (see also [5] We note that a followon to the x kernel project, called Consul [11], is attempting to deal with some of these disadvantages by supporting sophisticated micro protocols between protocol modules. Acknowledgements We gratefully acknowledge the contributions of Yair Amir, William Chan, Robert Cooper, Danny Dolev, Roy Friedman, Sophia Georgiakaki, Brad Glade, Barry ....

Shivakan Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.

....implementation. These features help distinguish FT Linda from other efforts aimed at introducing fault tolerance into Linda [Xu88, XL89, Kam90, AS91, Kam91, CD94, CKM92, PTHR93, JS94] FT Linda is being implemented using Consul, a communication substrate for building fault tolerant systems [Mis92, MPS93b, MPS93a] and the x kernel, an operating system kernel that provides support for composing network protocols [HP91] Stable TSs are realized using the replicated state machine approach, where tuples are replicated on multiple processors to provide failure resilience and then updated using atomic ....

Shivikant Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software --- Practice and Experience, 23(10):1059--1075, October 1993. 171

....but with group communication as the fundamental abstraction. x kernel was mainly designed for point to point communication, and even simple request response style communication is not always easy to map down to this interface. We note that a follow on to the x kernel project, called Consul [2], is attempting to deal with this disadvantage by supporting sophisticated micro protocols between protocol modules. 9 Conclusion The development of critical reliability distributed systems has emerged as an important challenge, and demands new tools for distributed software development. The ....

Shivakan Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.

.... by Horus solve such problems as interfacing the system to varied communication transport mechanisms, overcoming lost packets, encryption and decryption, maintaining group membership, helping a process that joins a group obtain 2 We note that a follow on to the x kernel project, called Consul [10], has overcome some of these disadvantages by supporting sophisticated micro protocols between protocol modules and providing extra support for group communication. COM NAK FRAG MBRSHIP TOTAL STABLE PARCLD FC CRYPT Application (group) Programmer Application Interface Figure 1: Group protocol ....

Shivakant Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.

....layers can be mixed and matched. In both STREAMS and the x kernel, the different protocol modules supply many different control operations, and design their own address format, both severely limiting such configuration flexibility. We note that a followon to the x kernel project, called Consul [9], is attempting to deal with some of these disadvantages by supporting sophisticated micro protocols between protocol modules. Our work with ML parallels the FOX project [2] which is investigating the implementation of system services such as TCP IP over Standard ML. While we use ML as a tool for ....

Shivakan Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.

....Linda, and permits an efficient implementation. These features help distinguish FT Linda from other efforts aimed at introducing fault tolerance into Linda [41, 42, 22, 4, 39, 23, 11, 15, 33] FT Linda is being implemented using Consul, a communication substrate for building fault tolerant systems [30, 29], and the x kernel, an operating system kernel that provides support for composing network protocols [20] Stable TSs are realized using the replicated state machine approach [37] where tuples are replicated on multiple processors to provide failure resilience and then updated using atomic ....

Shivikant Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in Consul. Software --- Practice and Experience, 23(10):1059--1075, October 1993.

.... atomic multicast [MPS93a, PBS89] highlighted deficiencies in several areas, including support for complex interactions among protocol objects, limited facilities for data sharing, and an orientation towards hierarchical protocol composition at the expense of more flexible combinations [MPS93b] The developers of xAMP, a real time atomic multicast protocol, report a similar experience [Fon94, VRB89] The lack of a sufficiently rich protocol object interface has also been cited as one of the motivations for developing Horus, a successor to the Isis system [RBM96] In addition, our ....

S. Mishra, L. Peterson, and R. Schlichting. Experience with modularity in Consul. Software-- Practice and Experience, 23(10):1059--1075, Oct 1993.

....can be abstractly decomposed in a set of related tasks. The implementation can then be based on such a decomposition. As the experience with Consul shows, this can make the development much easier to understand, although the interaction among the parts can be difficult to model using the x kernel [15]. It was with these considerations in mind that a new approach for implementing fault tolerant services using micro protocols and event driven execution was developed. 3.1 Event driven protocol composition 2 A communication substrate with the required properties is realized using a model for ....

Shivakant Mishra, Larry L. Peterson, and Richard D. Schlichting. Experience with modularity in consul. Software --- Practice and Experience, 23(10):1059--1075, October 1993.

....one initially. For a persistent resource, this is preceded by the selection of a backup virtual machine from the list supplied during initial creation to act as the new host. Figure 6 shows the organization of the FT SR runtime system on a single processor. The implementation uses the x kernel [HMPT89, PHOR90] a stand alone operating system kernel that provides memory and process management, as well as a flexible infrastructure for constructing communication protocols. Each FT SR virtual machine exists in an x kernel address space and contains those parts of the runtime system that create and ....

N. C. Hutchinson, S. Mishra, L. L. Peterson, and V. T. Thomas. Tools for implementing network protocols. Software --- Practice and Experience, 19(9):895--916, Sep 1989.

....a suite of protocols that collectively provide a communication substrate for constructing fault tolerant distributed programs based on replicated processing. On overview of the system, which we call Consul, is given in [Mish93b] A second paper reports our experiences with modularity in Conul [Mish93a]. Consul includes a membership protocol, a set of message ordering protocols, a failure detection protocol, and a recovery protocol. All these protocols depend on a low level multicast protocol, called Psync [Pete89] which preserves the causal ordering among messages. Image Transfer: We have ....

Mishra, S., Peterson, L. L., and Schlichting, R. D. Experience with modularity in consul. Software---Practice and Experience, 23(10):1050--1075, October 1993.

....network of Sun 3 workstations. In Consul, each piece of the system Psync, membership, total ordering, recovery is implemented as a separate protocol object that communicates with other objects on the same machine and peers on other machines using facilities provided by the x kernel [Mish93b]. Recent research has been concentrating on expanding this model to support more finegrained composition of protocol objects. In Consul, the protocol objects are relatively heavyweight objects implementing a fixed combination of properties. Moreover, because the x kernel was designed for ....

S. Mishra, L. Peterson, and R. Schlichting. Experience with Modularity in Consul. Software---Practice and Experience 23, 10 (Oct. 1993), 1059-1075.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC