|
eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/8221
| Title: | Declarative Reliable Multi-Party Protocols |
| Authors: | Ostrowski, Krzysztof
Birman, Ken
Dolev, Danny |
| Keywords: | computer science
Distributed, Parallel, and Cluster Computing
technical report |
| Issue Date: | 10-Jul-2007 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2088 |
| 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. |
| URI: | http://hdl.handle.net/1813/8221 |
| Appears in Collections: | Computing and Information Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
