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.
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 |