| Autor: |
Delporte-Gallet, Carole, Fauconnier, Hugues, Freiling, Felix, Draque Penso, Lucia, Tielmann, Andreas |
| Přispěvatelé: |
Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Laboratory of Dependable Distributed Systems, Univerity of Mannheim, P.A.I. Procope, Delporte-Gallet, Carole |
| Jazyk: |
angličtina |
| Rok vydání: |
2007 |
| Předmět: |
|
| Popis: |
16 pages Rapport Interne LIAFA Université Paris 7 Rapport interne University of Mannheim Department Mathematics and Computer Science; This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. For the large group of problem specifications that are restricted to correct processes, we show how to transform a crash-stop related problem specification into an equivalent omission one. For that, we provide transformations for algorithms and failure detectors, such that if and only if an algorithm using a failure detector satisfies a problem specification, then the transformed algorithm using the transformed failure detector satisfies the transformed problem specification.Our transformed problem specification is ensured to be non-trivial, and moreover, the transformation reveals itself to be in a reasonable sense weakest failure detector preserving. Our results help to use the power of the well-understood crash-stop model to automatically derive solutions for the general omission model, which has recently raised interest for being noticeably applicable for security problems in distributed environments equipped with security modules such as smartcards [10],[11],[1]. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
