A: An assertion language for distributed systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 3rd Workshop on Programming Languages and Operating Systems
Subtitle of host publicationLinguistic Support for Modern Operating Systems, PLOS 2006 - ASPLOS XII Workshop
DOIs
StatePublished - Dec 1 2006
Event3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006 - ASPLOS XII Workshop - San Jose, CA, United States
Duration: Oct 22 2006Oct 22 2006

Publication series

NameInternational Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Other

Other3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006 - ASPLOS XII Workshop
CountryUnited States
CitySan Jose, CA
Period10/22/0610/22/06

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'A: An assertion language for distributed systems'. Together they form a unique fingerprint.

  • Cite this

    Tjang, A., Oliveira, F., Martin, R. P., & Nguyen, T. D. (2006). A: An assertion language for distributed systems. In Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006 - ASPLOS XII Workshop [1216003] (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS). https://doi.org/10.1145/1215995.1216003