Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computing and Information Science
  4. Computing and Information Science Technical Reports
  5. Declarative Reliable Multi-Party Protocols

Declarative Reliable Multi-Party Protocols

File(s)
TR2007-2088.pdf (509.31 KB)
Permanent Link(s)
https://hdl.handle.net/1813/8221
Collections
Computing and Information Science Technical Reports
Author
Ostrowski, Krzysztof
Birman, Ken
Dolev, Danny
Abstract

We propose a novel, declarative approach to im-plementing reliable multi-party protocols that enables efficient and scalable implementations. Our Proper-ties Framework (PF) is able to express semantics as simple as gossip or resource cleanup, or as complex as transactions, consensus, and virtual synchrony. Protocols written in the PF compile to a hierarchical, scalable runtime infrastructure. Evaluation confirms that solutions developed this way can achieve high performance, while also benefiting from better inte-gration with the underlying runtime platform and its type system.

Date Issued
2007-07-10
Publisher
Cornell University
Keywords
computer science
•
Distributed, Parallel, and Cluster Computing
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2088
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance