Contact The DL Team Contact Us | Switch to tabbed view

top of pageABSTRACT

This paper presents a novel object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locks or reliable multicast, and a programming language that supports it. The approach extends our live distributed objects (LO) model with the new concept of a distributed flow (DF), a stream of events that flow concurrently at multiple locations. DFs correspond to local variables, private fields, and method parameters in Java-like languages; they're means by which one stores and communicates state. Protocol instances correspond to Java objects; they consume and output flows; their internal states are encapsulated as internal flows, and their internal logic is represented as operations on flows. Our language provides a new type of concern separation: the semantic structure of protocols is decoupled from implementation details such as construction and maintenance of overlays, trees, and other structures used for scalability. These can be generated by the compiler or at deployment time. This can be done differently in different parts of the network, to match the local environment.

Advertisements



top of pageAUTHORS



Author image not provided  Krzysztof Ostrowski

No contact information provided yet.

Bibliometrics: publication history
Publication years2006-2010
Publication count15
Citation Count42
Available for download6
Downloads (6 Weeks)4
Downloads (12 Months)33
Downloads (cumulative)1,257
Average downloads per article209.50
Average citations per article2.80
View colleagues of Krzysztof Ostrowski


Ken Birman Ken Birman

homepage
kenatcs.cornell.edu
Bibliometrics: publication history
Publication years1982-2014
Publication count192
Citation Count2,871
Available for download59
Downloads (6 Weeks)165
Downloads (12 Months)1,909
Downloads (cumulative)48,750
Average downloads per article826.27
Average citations per article14.95
View colleagues of Ken Birman


Author image not provided  Danny Dolev

No contact information provided yet.

Bibliometrics: publication history
Publication years1981-2016
Publication count159
Citation Count2,942
Available for download61
Downloads (6 Weeks)105
Downloads (12 Months)1,027
Downloads (cumulative)28,880
Average downloads per article473.44
Average citations per article18.50
View colleagues of Danny Dolev

top of pageREFERENCES

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
Live Distributed Objects. http://liveobjects.cs.cornell.edu/.
 
2
Y. Amir and J. Stanton. The Spread wide area group communication system. J. Hopkins Univ. Tech Report, 1998.
 
3
A. Banerji et al. Web Services Conversation Language. http://www.w3.org/TR/wscl10/.
4
 
5
6
 
7
S. Douglas, E. Tanin, A. Harwood, and S. Karunasekera. Enabling massively multiplayer online gaming applications on a P2P architecture. ICIA, 2005.
 
8
P. Eugster, R. Guerraoui, and J. Sventek. Distributed asynchronous collections: abstractions for publish/subscribe interaction. ECOOP, 2000.
 
9
 
10
R. Fuzzati and U. Nestmann. Much ado about nothing? http://www.brics.dk/NS/05/3/, 1995.
 
11
12
 
13
J. Hickey, N. Lynch, and R. van Renesse. Specifications and proofs for Ensemble layers. TACAS, 1999.
 
14
 
15
16
17
 
18
19
20
21
 
22
 
23
 
24
K. Ostrowski, K. Birman, and D. Dolev. Programming Live Distributed Objects with Distributed Data Flows. Cornell Univ. Tech Report, 2009. http://hdl.handle.net/1813/12766.
25
 
26
 
27
D. Smith, A. Kay, A. Raab, and D. Reed. Croquet: a collaboration system architecture. C5, 2003.
 
28
J. Strohm. Managing player awareness in Darkstar. http://www.projectdarkstar.com, 2007.
29

top of pageCITED BY

Citings are not available

top of pageINDEX TERMS

The ACM Computing Classification System (CCS rev.2012)

Note: Larger/Darker text within each node indicates a higher relevance of the materials to the taxonomic classification.

top of pagePUBLICATION

Title PLOS '09 Proceedings of the Fifth Workshop on Programming Languages and Operating Systems table of contents
Program Chair Gilles Muller INRIA
Article No. 7
Publication Date2009-10-11 (yyyy-mm-dd)
Sponsor SIGOPS ACM Special Interest Group on Operating Systems
PublisherACM New York, NY, USA ©2009
ISBN: 978-1-60558-844-5 doi>10.1145/1745438.1745448
Conference SOSPACM Symposium on Operating Systems Principles SOSP logo
Overall Acceptance Rate 38 of 66 submissions, 58%
Year Submitted Accepted Rate
PLOS '06 15 11 73%
PLOS '07 19 10 53%
PLOS '13 16 10 63%
PLOS '15 16 7 44%
Overall 66 38 58%

APPEARS IN
Software
Networking

top of pageREVIEWS


Reviews are not available for this item
Computing Reviews logo

top of pageCOMMENTS

Be the first to comment To Post a comment please sign in or create a free Web account

top of pageTable of Contents

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Table of Contents
SESSION: Kernels
Checking process-oriented operating system behaviour using CSP and refinement
Frederick R. M. Barnes, Carl G. Ritson
Article No.: 1
doi>10.1145/1745438.1745440
Full text: PdfPdf

Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating processes. The work described in this ...
expand
A microkernel API for fine-grained decomposition
Sebastian Reichelt, Jan Stoess, Frank Bellosa
Article No.: 2
doi>10.1145/1745438.1745441
Full text: PdfPdf

Microkernel-based operating systems typically require special attention to issues that otherwise arise only in distributed systems. The resulting extra code degrades performance and increases development effort, severely limiting decomposition granularity. ...
expand
SESSION: Distributed systems
Code-Partitioning Gossip
Lonnie Princehouse, Ken Birman
Article No.: 3
doi>10.1145/1745438.1745443
Full text: PdfPdf

Code-Partitioning Gossip (CPG) is a novel technique to facilitate implementation and analysis of gossip protocols. A gossip exchange is a pair-wise transaction between two nodes; a gossip system executes an endless sequence of exchanges between nodes ...
expand
CatchAndRetry: extending exceptions to handle distributed system failures and recovery
Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi
Article No.: 4
doi>10.1145/1745438.1745444
Full text: PdfPdf

In this paper, we present CatchAndRetry, an extension of the traditional exception mechanism to provide language-level support for common recovery techniques in distributed systems. We motivate and justify our design by analyzing several cases studies ...
expand
SESSION: Domain-specific languages
Filet-o-Fish: practical and dependable domain-specific languages for OS development
Pierre-Evariste Dagand, Andrew Baumann, Timothy Roscoe
Article No.: 5
doi>10.1145/1745438.1745446
Full text: PdfPdf

We address a persistent problem with using domain-specific languages to write operating systems: the effort of implementing, checking, and debugging the DSL usually outweighs any of its benefits. Because these DSLs generate C by templated string concatenation, ...
expand
KStruct: preserving consistency through C annotations
Alexander Schmidt, Martin von Löwis, Andreas Polze
Article No.: 6
doi>10.1145/1745438.1745447
Full text: PdfPdf

Debuggers and instrumentation tools have been proven valuable for understanding the inner workings of software systems. Although these tools are essential for various people, e.g., system administrators, developers, or teachers, they have one ...
expand
Distributed data flow language for multi-party protocols
Krzysztof Ostrowski, Ken Birman, Danny Dolev
Article No.: 7
doi>10.1145/1745438.1745448
Full text: PdfPdf

This paper presents a novel object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locks or reliable multicast, and a programming language that supports it. The approach extends our ...
expand

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2016 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Reader    QuickTime    Windows Media Player    Real Player
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder