A framework for protocol composition in Horus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A framework for protocol composition in Horus

Full text

Pdf (1.27 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing table of contents

Ottowa, Ontario, Canada

Pages: 80 - 89

Year of Publication: 1995

ISBN:0-89791-710-3

Authors

Robbert van Renesse	Dept. of Computer Science, Cornell University
Kenneth P. Birman	Dept. of Computer Science, Cornell University
Roy Friedman	Dept. of Computer Science, Cornell University
Mark Hayden	Dept. of Computer Science, Cornell University
David A. Karr	Dept. of Computer Science, Cornell University

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 31, Citation Count: 28

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/224964.224974 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	O. Babaoglu , R. Davoli , L. -A. Giachini , M. Gray Baker, RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems, Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS'95), p.612, January 04-07, 1995
	2	Edoardo Biagioni, A structured TCP in standard ML., ACM SIGCOMM Computer Communication Review, v.24 n.4, p.36-45, Oct. 1994
	3	Ken Birman, A response to Cheriton and Skeen's criticism of causal and totally ordered communication, ACM SIGOPS Operating Systems Review, v.28 n.1, p.11-21, Jan. 1994 [doi>10.1145/164853.164858]
	4	Kenneth P. Birman , Robert V. Renesse , Robbert Van Renesse, Reliable Distributed Computing with the ISIS Toolkit, IEEE Computer Society Press, Los Alamitos, CA, 1994
	5	David R. Cheriton , Dale Skeen, Understanding the limitations of causally and totally ordered communication, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.44-57, December 05-08, 1993, Asheville, North Carolina, United States
	6	Alan Feteke, Formal Models of Communication Services: A Case Study, Computer, v.26 n.8, p.37-47, August 1993 [doi>10.1109/2.223535]
	7	Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), v.32 n.2, p.374-382, April 1985 [doi>10.1145/3149.214121]
	8	Dalia Malki , Ken Birman , Aleta Ricciardi , André Schiper, Uniform actions in asynchronous distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.274-283, August 14-17, 1994, Los Angeles, California, United States [doi>10.1145/197917.198108]
	9	Shivakant Mishra , Larry L. Peterson , Richard D. Schlichting, Experience with modularity in consul, Software—Practice & Experience, v.23 n.10, p.1059-1075, Oct. 1993 [doi>10.1002/spe.4380231002]
	10	L. E. Moser, Y. Amir, P. M. Melliar-Smith, and D. A. Agarwal. Extended virtual synchrony. In Proc. o.f the Fourteenth Int. Conf. on Distributed Computing Systems, pages 56-65, Poznan, Poland, June 1994. IEEE.
	11	L. Peterson , N. Hutchinson , S. O'Malley , M. Abbott, RPC in the x-Kernel: evaluating new design techniques, Proceedings of the twelfth ACM symposium on Operating systems principles, p.91-101, November 1989
	12	Aleta Ricciardi, Andre Schiper, and Kenneth P. Bitman. Understanding partitions and the "no partition" assumption. In Proc. o/the Fourth IEEE Workshop on Future Trends o/Distributed Systems, Lisboa, Portugal, September 1993.
	13	Dennis M. Ritchie. A stream input-output system. Bell Laboratories Technical Journal, 63(8):1897-1910, 1984.
	14	Robbert van Renesse, Causal controversy at Le Mont St.-Michel, ACM SIGOPS Operating Systems Review, v.27 n.2, p.44-53, April 1993 [doi>10.1145/155848.155857]
	15	Robbert Van Renesse , Takako M. Hickey , Kenneth P. Birman, Design and Performance of Horus: A Lightweight Group Communications System, Cornell University, Ithaca, NY, 1994

CITED BY 28

	Katarzyna Keahey , Dennis Gannon, PARDIS: CORBA-based architecture for application-level parallel distributed computation, Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), p.1-14, November 15-21, 1997, San Jose, CA
	Ian Foster , Jonathan Geisler , Carl Kesselman , Steven Tuecke, Multimethod communication for high-performance metacomputing applications, Proceedings of the 1996 ACM/IEEE conference on Supercomputing (CDROM), p.41-es, January 01-01, 1996, Pittsburgh, Pennsylvania, United States
	Robbert van Renesse , Kenneth P. Birman , Silvano Maffeis, Horus: a flexible group communication system, Communications of the ACM, v.39 n.4, p.76-83, April 1996
	Katherine Guo , Werner Vogels , Robbert van Renesse, Structured virtual synchrony: exploring the bounds of virtual synchronous group communication, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
	Robbert van Renesse, Masking the overhead of protocol layering, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.96-104, Oct. 1996
	Deborah A. Wallach , Dawson R. Engler , M. Frans Kaashoek, ASHs: Application-specific handlers for high-performance messaging, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.40-52, Oct. 1996
	Hervé Guyennet , Jean-Christophe Lapayre, The group approach in cooperative work and in load balancing, Progress in computer research, Nova Science Publishers, Inc., Commack, NY, 2001
	Mark Astley , Gul A. Agha, Customization and composition of distributed objects: middleware abstractions for policy management, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.1-9, Nov. 1998
	Shivakant Mishra , Lei Wu, An evaluation of flow control in group communication, IEEE/ACM Transactions on Networking (TON), v.6 n.5, p.571-587, Oct. 1998
	Nina T. Bhatti , Matti A. Hiltunen , Richard D. Schlichting , Wanda Chiu, Coyote: a system for constructing fine-grain configurable communication services, ACM Transactions on Computer Systems (TOCS), v.16 n.4, p.321-366, Nov. 1998
	Deborah A. Wallach , Dawson R. Engler , M. Frans Kaashoek, ASHs: application-specific handlers for high-performance messaging, IEEE/ACM Transactions on Networking (TON), v.5 n.4, p.460-474, Aug. 1997
	Matthias Brune , Jörn Gehring , Alexander Reinefeld, Heterogeneous Message Passing and a Link to Resource Management, The Journal of Supercomputing, v.11 n.4, p.355-369, Dec. 1997
	Simon Patarin , Mesaac Makpangou, Pandora: a flexible network monitoring platform, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.3-3, June 18-23, 2000, San Diego, California
	Customizable middleware for modular distributed software, Communications of the ACM, v.44 n.5, p.99-107, May 2001
	Benoît Garbinato , Rachid Guerraoui, Using the strategy design pattern to compose reliable distributed protocols, Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.17-17, June 16-20, 1997, Portland, Oregon
	Jorge Paulo F. Simão , José A. Legatheaux Martins , Henrique João L. Domingos , Nuno Manuel R. Preguiça, Supporting synchronous groupware with peer object-groups, Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.18-18, June 16-20, 1997, Portland, Oregon
	Silvano Maffeis, The object group design pattern, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.12-12, June 17-21, 1996, Toronto, Ontario, Canada
	Silvano Maffeis, Adding group communication and fault-tolerance to CORBA, Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS), p.10-10, June 26-29, 1995, Monterey, California
	Danny Dolev, Century papers at the first quarter-century milestone, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, p.3-4, July 23-26, 2006, Denver, Colorado, USA
	Pekka Nikander , Arto Karila, A java beans component architecture for cryptographic protocols, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.8-8, January 26-29, 1998, San Antonio, Texas
	Yunhong Gu , Robert L. Grossman, Supporting Configurable Congestion Control in Data Transport Services, Proceedings of the 2005 ACM/IEEE conference on Supercomputing, p.31, November 12-18, 2005
	E. Garcia , H. Guyennet , J.-C. Lapayre, Groups Partitioning Over CORBA for Cooperative Work, Cluster Computing, v.9 n.1, p.67-78, January 2006
	A. Brady Montz , Larry Peterson, Controllled flexibility in system design, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, p.247-254, September 1998, Sintra, Portugal
	C. Toinard , G. Florin , C. Carrez, A formal method to prove ordering properties of multicast systems, ACM SIGOPS Operating Systems Review, v.33 n.4, p.75, Oct. 1999
	Maurice Herlihy , Srikanta Tirthapura , Roger Wattenhofer, Ordered Multicast and Distributed Swap, ACM SIGOPS Operating Systems Review, v.35 n.1, p.85-96, January 1, 2001
	Katarzyna Keahey , Dennis Gannon, Developing and evaluating abstractions for distributed supercomputing, Cluster Computing, v.1 n.1, p.69-79, 1998
	Ian Foster , Nicholas T. Karonis , Carl Kesselman , Steven Tuecke, Managing security in high-performance distributed computations, Cluster Computing, v.1 n.1, p.95-107, 1998
	Radu Stoleru , John A. Stankovic , Sang H. Son, Robust node localization for wireless sensor networks, Proceedings of the 4th workshop on Embedded networked sensors, June 25-26, 2007, Cork, Ireland