Detecção de propriedades estaveis em sistemas distribuidos
AUTOR(ES)
Gisele da Silva Craveiro
DATA DE PUBLICAÇÃO
1998
RESUMO
Devising a solution to a distributed problem, satisfying the requirements of progress and safety is clearly not an easy task. Several published algorithms have been shown incorrect, despite having been "proven" correct at time of publication. An interesting approach to devise a new solution to a problem is to use a known solution to a different problem that has similar requirements and characteristics. In this dissertation we present a methodology to derive solutions to the problem of detecting the termination of a distributed computation based on solutions to the deadlock problem. A common characteristic of these problems is that both are persistent: once attained the condition of deadlock or termination, the condition will hold thereafter, until some external action is taken. Besides presenting the derivation methodology, this dissertation presents a broad study of the more interesting solutions to the deadlock and termination problems found in the literature
ASSUNTO(S)
algoritmos de computador sistemas operacionais distribuidos (computadores)
