CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe consider the problem of defining and, most important, of using, the backward error recovery technique, in a concurrent (and distributed) Ada program. The best known backward error recovery technique for concurrent programs is the conversation, the implementation of which is presented in the first part of the paper. However, the conversation scheme can be insufficient for implementing non determinism and for satisfying certain fault tolerant requirements. In the second part of the paper, we analyze well-known programming paradigms, such as the dinining philosophers and the producer-consumer. A number of problems are pointed out, which require an extension of the conversation scheme and the integration with other fault tolerance mechanisms, in order to reach a higher degree of reliability.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Software Fault Tolerance in Concurrent Ada Programs |
| Autori: | |
| Data di pubblicazione: | 1991 |
| Rivista: | |
| Abstract: | We consider the problem of defining and, most important, of using, the backward error recovery technique, in a concurrent (and distributed) Ada program. The best known backward error recovery technique for concurrent programs is the conversation, the implementation of which is presented in the first part of the paper. However, the conversation scheme can be insufficient for implementing non determinism and for satisfying certain fault tolerant requirements. In the second part of the paper, we analyze well-known programming paradigms, such as the dinining philosophers and the producer-consumer. A number of problems are pointed out, which require an extension of the conversation scheme and the integration with other fault tolerance mechanisms, in order to reach a higher degree of reliability. |
| Handle: | http://hdl.handle.net/11567/301997 |
| Appare nelle tipologie: | 01.01 - Articolo su rivista |
File in questo prodotto:
Copyright © 2021