Synthesis of fault-tolerant concurrent programs
| Autor: | Anish Arora, E. Allen Emerson, Paul C. Attie |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Correctness
Computer science Programming language Computation Distributed computing Model of computation Fault tolerance Construct (python library) Fault (power engineering) computer.software_genre Extant taxon Synchronization (computer science) Temporal logic Mutual exclusion computer Software Program synthesis |
| Zdroj: | PODC |
| ISSN: | 1558-4593 0164-0925 |
| DOI: | 10.1145/963778.963782 |
| Popis: | Methods for mechanically synthesizing concurrent programs from temporal logic specificationsobviate the need to manually construct a program and compose a proof of its correctness. A seriousdrawback of extant synthesis methods, however, is that they produce concurrent programs formodels of computation that are often unrealistic. In particular, these methods assume completelyfault-free operation, that is, the programs they produce are fault-intolerant. In this paper, we showhow to mechanically synthesize fault-tolerant concurrent programs for various fault classes. Weillustrate our method by synthesizing fault-tolerant solutions to the mutual exclusion and barriersynchronization problems.Categories and Subject Descriptors: C.2.4 [ |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|