Name
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. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1145/1215995.1216003 | PLOS |
Keywords | DocType | ISBN |
type inference,polymorphism | Conference | 1-59593-577-0 |
Citations | PageRank | References |
1 | 0.36 | 8 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrew Tjang | 1 | 19 | 2.84 |
| Fabio Oliveira | 2 | 15 | 1.57 |
| Richard P. Martin | 3 | 1777 | 165.29 |
| Thu D. Nguyen | 4 | 1518 | 102.53 |