Concretização de Protocolos com Fiabilidade Semântica

Abstract

Os protocolos de difusão fiável são muito utilizados na construção de sistemas distribuídos. Neste contexto, a fiabilidade semântica é um novo modelo de coerência introduzido recentemente que explora o conceito de obsolescência: uma mensagem torna-se obsoleta quando o seu conteúdo é sobreposto por uma outra mensagem mais recente. O conhecimento de quais as mensagens obsoletas pode ser usado para libertar recursos, aumentando o desempenho do sistema. Este artigo aborda os desafios de realizar uma concretização modular de uma pilha de protocolos oferecendo fiabilidade semântica. Esta concretização foi realizada usando uma moldura de objectos de suporte à composição e execução de micro-protocolos. Ao contrário do que acontece em concretizações monolíticas, numa concretização modular as mensagens em processamento na pilha de protocolos encontram-se dispersas por diferentes camadas, dificultando a tarefa de aplicar relações de obsolescência