More Web Proxy on the site http://driver.im/

article

Mace: language support for building distributed systems

Authors:

Charles Edwin Killian,

James W. Anderson,

Amin M. VahdatAuthors Info & Claims

ACM SIGPLAN Notices, Volume 42, Issue 6

Pages 179 - 188

https://doi.org/10.1145/1273442.1250755

Published: 10 June 2007 Publication History

Abstract

Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systemsmust run. Tools for building distributed systems must strike a compromise between reducing programmer effort and increasing system efficiency. We present Mace, a C++ language extension and source-to-source compiler that translates a concise but expressive distributed system specification into a C++ implementation. Mace overcomes the limitations of low-level languages by providing a unified framework for networking and event handling, and the limitations of high-level languages by allowing programmers to write program components in a controlled and structured manner in C++. By imposing structure and restrictions on how applications can be written, Mace supports debugging at a higher level, including support for efficient model checking and causal-path debugging. Because Mace programs compile to C++, programmers can use existing C++ tools, including optimizers, profilers, and debuggers to analyze their systems.

References

[1]

Freepastry: an open-source implementation of pastry intended for deployment in the internet. http://freepastry.rice.edu, 2006.

[2]

AGUILERA, M. K., MOGUL, J. C., WIENER, J. L., REYNOLDS, P., AND MUTHITACHAROEN, A. Performance debugging for distributed systems of black boxes. In Proc. SOSP (2003).

Digital Library

[3]

ANDERSON, D. P. Automated protocol implementation with RTAG. IEEE Trans. Software Eng. 14, 3 (1988), 291--300.

Digital Library

[4]

BARHAM, P. T., ISAACS, R., MORTIER, R., AND NARAYANAN, D. Magpie: Online modelling and performance-aware systems. In Proc. HotOS (2003).

Digital Library

[5]

BOLOGNESI, T., AND BRINKSMA, E. Introduction to the ISO specification language LOTOS. Computer Networks 14 (1987).

Digital Library

[6]

BUDKOWSKI, S., AND DEMBINSKI, P. An introduction to Estelle: A specification language for distributed systems. Computer Networks 14 (1987), 3--23.

Digital Library

[7]

CASTRO, M., DRUSCHEL, P., KERMARREC, A.-M., NANDI, A., ROWSTRON, A., AND SINGH, A. SplitStream: High-bandwidth content distribution in cooperative environments. In Proc. SOSP (2003).

Digital Library

[8]

CHEN, M. Y., KICIMAN, E., FRATKIN, E., FOX, A., AND BREWER, E. Pinpoint: Problem determination in large, dynamic internet services. In Proc. DSN (2002).

Digital Library

[9]

DABEK, F., COX, R., KAASHOEK, F., AND MORRIS, R. Vivaldi: A decentralized network coordinate system. In Proceedings of the ACM SIGCOMM '04 Conference (Portland, Oregon, 2004).

Digital Library

[10]

DABEK, F., KAASHOEK, M. F., KARGER, D., MORRIS, R., AND STOICA, I. Wide-area cooperative storage with cfs. In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles (New York, NY, USA, 2001), ACM Press, pp. 202--215.

Digital Library

[11]

FORD, B., BACK, G., BENSON, G., LEPREAU, J., LIN, A., AND SHIVERS, O. The Flux OSKit: A substrate for kernel and language research. In Proc. SOSP (1997).

Digital Library

[12]

GAY, D., LEVIS, P., VON BEHREN, R., WELSH, M., BREWER, E., AND CULLER, D. The nesC language: A holistic approach to networked embedded systems. In Proc. PLDI (2003).

Digital Library

[13]

GODEFROID, P. Model checking for programming languages using VeriSoft. In Proc. POPL (1997).

Digital Library

[14]

HOLZMANN, G. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.

Digital Library

[15]

JANNOTTI, J., GIFFORD, D. K., JOHNSON, K. L., KAASHOEK, M. F., AND JAMES W. O'TOOLE, J. Overcast: Reliable multicasting with an overlay network. In Proc. OSDI (2000).

Digital Library

[16]

KICZALES, G. Aspect-oriented programming. ACM Computing Surveys 28, 4es (1996).

Digital Library

[17]

KILLIAN, C., ANDERSON, J. W., JHALA, R., AND VAHDAT, A. Life, death, and the critical transition: Detecting liveness bugs in systems code. In NSDI (2007).

Digital Library

[18]

KOHLER, E., KAASHOEK, M. F., AND MONTGOMERY, D. R. A readable TCP in the Prolac protocol language. In Proc. SIGCOMM (1999).

Digital Library

[19]

KOHLER, E., MORRIS, R., CHEN, B., JANNOTTI, J., AND KAASHOEK, M. F. The Click modular router. ACM TOCS 18, 3 ý(2000), 263--297.

Digital Library

[20]

KOSTIÝC, D., BRAUD, R., KILLIAN, C., VANDEKIEFT, E., ANDERSON, J. W., SNOEREN, A. C., AND VAHDAT, A. Maintaining high bandwidth under dynamic network conditions. In Proc. USENIX Tech (Anaheim, CA, Apr. 2005).

Digital Library

[21]

LAMPORT, L. Specifying Systems: the Tla+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.

Digital Library

[22]

LOO, B. T., CONDIE, T., HELLERSTEIN, J. M., MANIATIS, P., ROSCOE, T., AND STOICA, I. Implementing declarative overlays. In Proc. SOSP (2005).

Digital Library

[23]

LOPES, C. D: A Language Framework for Distributed Programming. PhD thesis, Northeastern University, 1996.

[24]

LYNCH, N. Distributed Algorithms. Morgan Kaufmann, 1996.

Digital Library

[25]

MAZIERES, D. A toolkit for user-level file systems. In Proc. USENIX Tech (2001).

Digital Library

[26]

MILNER, R. Communication and Concurrency. Prentice-Hall, 1989.

Digital Library

[27]

MUTHITACHAROEN, A., MORRIS, R., GIL, T. M., AND CHEN, B. Ivy: a read/write peer-to-peer file system. In OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation (New York, NY, USA, 2002), ACM Press, pp. 31--44.

Digital Library

[28]

PETERSON, L., ANDERSON, T., CULLER, D., AND ROSCOE, T. A Blueprint for Introducing Disruptive Technology into the Internet. In Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I) (Princeton, New Jersey, 2002).

[29]

REYNOLDS, P., KILLIAN, C., WIENER, J. L., MOGUL, J. C., SHAH, M. A., AND VAHDAT, A. Pip: Detecting the unexpected in distributed systems. In NSDI (2006).

Digital Library

[30]

RHEA, S., GEELS, D., ROSCOE, T., AND KUBIATOWICZ, J. Handling churn in a dht. In USENIX Tech (2004).

Digital Library

[31]

RODRIGUEZ, A., KILLIAN, C., BHAT, S., KOSTIÝC, D., AND VAHDAT, A. MACEDON: Methodology for automatically creating, evaluating, and designing overlay networks. In Proc. NSDI (2004).

Digital Library

[32]

ROWSTRON, A., AND DRUSCHEL, P. Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems. In Proc. Middleware 2001 (2001).

Digital Library

[33]

ROWSTRON, A., KERMARREC, A.-M., CASTRO, M., AND DRUSCHEL, P. SCRIBE: The design of a large-scale event notification infrastructure. In Proc. Third InternationalWorkshop on NGC (2001).

Digital Library

[34]

SEWELL, P., LEIFER, J. J., WANSBROUGH, K., NARDELLI, F. Z., ALLEN-WILLIAMS, M., HABOUZIT, P., AND VAFEIADIS, V. Acute: high-level programming language design for distributed computation. In Proc. ICFP (2005).

Digital Library

[35]

STOICA, I., MORRIS, R., KARGER, D., KAASHOEK, F., AND BALAKRISHNAN, H. Chord: A scalable peer to peer lookup service for internet applications. In Proc. SIGCOMM (2001).

Digital Library

[36]

VAHDAT, A., YOCUM, K., WALSH, K., MAHADEVAN, P., KOSTIÝC, D., CHASE, J., AND BECKER, D. Scalability and Accuracy in a Large-Scale Network Emulator. In Proc. OSDI (2002).

Digital Library

[37]

WELSH, M., CULLER, D., AND BREWER, E. SEDA: an architecture for well-conditioned, scalable internet services. In Proc. SOSP (2001).

Digital Library

Cited By

Foo DCostea AChin W(2023)Protocol Conformance with Choreographic PlusCalTheoretical Aspects of Software Engineering10.1007/978-3-031-35257-7_8(126-145)Online publication date: 27-Jun-2023
https://doi.org/10.1007/978-3-031-35257-7_8
Yen JGovindan RRaghavan BFeamster NLutu A(2021)Tools for disambiguating RFCsProceedings of the 2021 Applied Networking Research Workshop10.1145/3472305.3472314(85-91)Online publication date: 24-Jul-2021
https://dl.acm.org/doi/10.1145/3472305.3472314
Sun XSuresh LGanesan AAlagappan RGasch MTang LXu TAngel SKasikci BKohler E(2021)Reasoning about modern datacenter infrastructures using partial historiesProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3458336.3465276(213-220)Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1145/3458336.3465276
Show More Cited By

Index Terms

Mace: language support for building distributed systems
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Specialized application languages

Recommendations

Mace: language support for building distributed systems
PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systemsmust run. Tools for building distributed systems must strike a compromise between reducing programmer ...
Opis: reliable distributed systems in OCaml
TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation

Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-...
Rebeca: theory, applications, and tools
FMCO'06: Proceedings of the 5th international conference on Formal methods for components and objects

Rebeca is an actor-based language with a formal foundation for modeling concurrent and distributed systems which is designed in an effort to bridge the gap between formal verification approaches and real applications. Rebeca is supported by a tool-set ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 42, Issue 6

Proceedings of the 2007 PLDI conference

June 2007

491 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1273442

Issue’s Table of Contents

PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
June 2007
508 pages
ISBN:9781595936332
DOI:10.1145/1250734
General Chair:
Jeanne Ferrante
University of California, San Diego, USA
,
Program Chair:
Kathryn S. McKinley
University of Texas at Austin, USA

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 June 2007

Published in SIGPLAN Volume 42, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

157
Total Citations
View Citations
1,228
Total Downloads

Downloads (Last 12 months)73
Downloads (Last 6 weeks)8

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Foo DCostea AChin W(2023)Protocol Conformance with Choreographic PlusCalTheoretical Aspects of Software Engineering10.1007/978-3-031-35257-7_8(126-145)Online publication date: 27-Jun-2023
https://doi.org/10.1007/978-3-031-35257-7_8
Yen JGovindan RRaghavan BFeamster NLutu A(2021)Tools for disambiguating RFCsProceedings of the 2021 Applied Networking Research Workshop10.1145/3472305.3472314(85-91)Online publication date: 24-Jul-2021
https://dl.acm.org/doi/10.1145/3472305.3472314
Sun XSuresh LGanesan AAlagappan RGasch MTang LXu TAngel SKasikci BKohler E(2021)Reasoning about modern datacenter infrastructures using partial historiesProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3458336.3465276(213-220)Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1145/3458336.3465276
Yen JLévai TYe QRen XGovindan RRaghavan BKuipers FCaesar M(2021)Semi-automated protocol disambiguation and code generationProceedings of the 2021 ACM SIGCOMM 2021 Conference10.1145/3452296.3472910(272-286)Online publication date: 9-Aug-2021
https://dl.acm.org/doi/10.1145/3452296.3472910
Padurariu MRosca BIvanciu ILuchian ERus ADobrota V(2021)Automatic control of an OpenFlow-based network using Lua scripts and SPLAY2016 International Conference on Communications (COMM)10.1109/ICComm.2016.7528286(299-302)Online publication date: 10-Mar-2021
https://dl.acm.org/doi/10.1109/ICComm.2016.7528286
Shan HChen YLiu HZhang YXiao XHe XLi MDing W(2019)?-Diagnosis: Unsupervised and Real-time Diagnosis of Small- window Long-tail Latency in Large-scale Microservice PlatformsThe World Wide Web Conference10.1145/3308558.3313653(3215-3222)Online publication date: 13-May-2019
https://dl.acm.org/doi/10.1145/3308558.3313653
Liu HZhang JShan HLi MChen YHe XLi X(2019)JCallGraph: Tracing Microservices in Very Large Scale Container Cloud PlatformsCloud Computing – CLOUD 201910.1007/978-3-030-23502-4_20(287-302)Online publication date: 25-Jun-2019
https://dl.acm.org/doi/10.1007/978-3-030-23502-4_20
Li JChen YLiu HLu SZhang YGunawi HGu XLu XLi DOliveira RFelber PHu Y(2018)PcatchProceedings of the Thirteenth EuroSys Conference10.1145/3190508.3190552(1-14)Online publication date: 23-Apr-2018
https://dl.acm.org/doi/10.1145/3190508.3190552
Sang BPetri GArdekani MRavi SEugster P(2016)Programming Scalable Cloud Services with AEONProceedings of the 17th International Middleware Conference10.1145/2988336.2988352(1-14)Online publication date: 28-Nov-2016
https://dl.acm.org/doi/10.1145/2988336.2988352
Hoque ELee HPotharaju RKillian CNita-Rotaru C(2016)Automated Adversarial Testing of Unmodified Wireless Routing ImplementationsIEEE/ACM Transactions on Networking10.1109/TNET.2016.252047424:6(3369-3382)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1109/TNET.2016.2520474
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents