Article

A: an assertion language for distributed systems

Authors:

Fabio Oliveira,

Richard P. Martin,

Thu D. NguyenAuthors Info & Claims

PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems

Pages 8 - es

https://doi.org/10.1145/1215995.1216003

Published: 22 October 2006 Publication History

Abstract

Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A, for service engineers to write assertions about expected behaviors, proper configurations, and proper structural characteristics. This formalized specification of correct behavior can be used to bolster system understanding, as well as help to flag operator mistakes in a distributed system. Operator mistakes can be caused by anything from static misconfiguration to physical placement of wires and machines. This language, along with its associated runtime system, seeks to be flexible and robust enough to deal with the wide array of operator mistakes while maintaining a simple interface for designers or programmers.

References

[1]

G. Box, G. Jenkins, and G. Reinsel. Time Series Analysis: Forecasting and Control. Prentice Hall, Inc, Englewood Cliffs, NJ, third edition, 1994.

Digital Library

[2]

J. Gray. Why do Computers Stop and What Can Be Done About It? In Proceedings of 5th Symposium on Reliability in Distributed Software and Database Systems, Jan. 1986.

[3]

J. Gray. Dependability in the Internet Era. Keynote presentation at the 2nd HDCC Workshop, May 2001.

[4]

Jboss rules (drools), http://labs.jboss.com/portal/jbossrules/.

[5]

Linux virtual server project, http://www.linuxvirtualserver.org/.

[6]

S. Maguire. Writing Solid Code. Microsoft Press, Redmond, WA, 1993.

Digital Library

[7]

B. Murphy and B. Levidow. Windows 2000 Dependability. Technical Report MSR-TR-2000-56, Microsoft Research, June 2000.

[8]

K. Nagaraja, F. Oliveira, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and Dealing with Operator Mistakes in Internet Services. In Proceedings of OSDI '04, Dec. 2004.

Digital Library

[9]

F. Oliveira, K. Nagaraja, R. Bachwani, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and Validating Database System Administration. In Proceedings of the 2006 USENIX Annual Technical Conference, June 2006.

Digital Library

[10]

D. Oppenheimer, A. Ganapathi, and D. Patterson. Why do Internet Services Fail, and What Can Be Done About It. In Proceedings of USITS'03, Mar. 2003.

Digital Library

[11]

J. Ousterhoust. Tel and the Tk Toolkit. Addison Wesley, Reading, MA, 1994.

Digital Library

[12]

D. A. Patterson, A. Brown, P. Broadwell, G. Candea, M. Chen, J. Cutler, P. Enriquez, A. Fox, E. Kiciman, M. Merzbacher, D. Oppenheimer, N. Sastry, W. Tetzlaff, J. Traupman, and N. Treuhaft. ROC: Motivation, Definition, Techniques, and Case Studies. Technical Report UCB//CSD-02-1175, UC, Berkeley, Mar. 2002.

Digital Library

[13]

S. E. Perl and W. E. Weihl. Performance Assertion Checking. In Proceedings ofSOSP'93, Dec. 1993.

Digital Library

[14]

P. Reynolds, C. Killian, J. L. Wiener, J. C. Mogul, M. A. Shah, and A. Vahdat. Pip: Detecting the unexpected in distributed systems. In Proc. NSDI 2006, May 2006.

Digital Library

[15]

Z. Wan and P. Hudak. Functional Reactive Programming from First Principles. In ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000.

Digital Library

Cited By

Kühn eRadschek SElaraby N(2018)Distributed Coordination Runtime Assertions for the Peer ModelCoordination Models and Languages10.1007/978-3-319-92408-3_9(200-219)Online publication date: 27-May-2018
https://doi.org/10.1007/978-3-319-92408-3_9
Tjang AOliveira FBianchini RMartin RNguyen T(2009)Model-Based Validation for Internet ServicesProceedings of the 2009 28th IEEE International Symposium on Reliable Distributed Systems10.1109/SRDS.2009.24(61-70)Online publication date: 27-Sep-2009
https://dl.acm.org/doi/10.1109/SRDS.2009.24

Index Terms

A: an assertion language for distributed systems
1. Computer systems organization
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles

Recommendations

The induced generalized OWA operator

We present the induced generalized ordered weighted averaging (IGOWA) operator. It is a new aggregation operator that generalizes the OWA operator, including the main characteristics of both the generalized OWA and the induced OWA operator. This ...
Constructing Choquet integral-based operators that generalize weighted means and OWA operators

A new class of aggregation operators is proposed to generalize weighted means and OWA operators.SUOWA operators are defined by using Choquet integral.These operators are continuous, monotonic, idempotent, compensative and homogeneous of degree 1 ...
Distributivity between semi-t-operators and Mayor's aggregation operators

The problem of distributivity was first posed over forty years ago and it has been investigated for families of certain operations such as t-norms, t-conorms, uninorms, and nullnorms. In this paper, we investigate this topic further by focusing on Mayor'...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems

October 2006

64 pages

ISBN:1595935770

DOI:10.1145/1215995

Conference Chair:
Christian W. Probst
Technical University of Denmark

Copyright © 2006 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]

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ASPLOS06

Sponsor:

SIGARCH

ASPLOS06: Architectural Support for Programming Languages and Operating Systems

October 22, 2006

California, San Jose

Acceptance Rates

Overall Acceptance Rate 17 of 32 submissions, 53%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
203
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kühn eRadschek SElaraby N(2018)Distributed Coordination Runtime Assertions for the Peer ModelCoordination Models and Languages10.1007/978-3-319-92408-3_9(200-219)Online publication date: 27-May-2018
https://doi.org/10.1007/978-3-319-92408-3_9
Tjang AOliveira FBianchini RMartin RNguyen T(2009)Model-Based Validation for Internet ServicesProceedings of the 2009 28th IEEE International Symposium on Reliable Distributed Systems10.1109/SRDS.2009.24(61-70)Online publication date: 27-Sep-2009
https://dl.acm.org/doi/10.1109/SRDS.2009.24

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 Table of Contents