b'\n_START_ARTICLE_\nAutoestabiliza\xc3\xa7\xc3\xa3o\n_START_PARAGRAPH_\nAuto-estabiliza\xc3\xa7\xc3\xa3o \xc3\xa9 uma propriedade de sistemas distribu\xc3\xaddos em que, a partir dum estado qualquer, sempre se chega num estado correto com um n\xc3\xbamero finito de passos de execu\xc3\xa7\xc3\xa3o. Essa abordagem contrasta com a vis\xc3\xa3o t\xc3\xadpica dum algoritmo tolerante a falhas, que garante que o sistema nunca sair\xc3\xa1 dum estado correto. A capacidade de se recuperar sem interven\xc3\xa7\xc3\xa3o externa \xc3\xa9 bastante desej\xc3\xa1vel em redes de computadores ou de telecomunica\xc3\xa7\xc3\xb5es, pois as permite reparar erros e retornar ao estado normal de opera\xc3\xa7\xc3\xa3o por conta pr\xc3\xb3pria. Computadores e redes podem ser feitos tolerantes a falhas._NEWLINE_Apesar de deixar claro que a converg\xc3\xaancia a um estado correto ocorre numa quantidade finita de passos, a auto-estabiliza\xc3\xa7\xc3\xa3o n\xc3\xa3o define em quanto tempo isso ocorre, o que acarreta preocupa\xc3\xa7\xc3\xb5es com a complexidade da converg\xc3\xaancia. A complexidade em tempo dum algoritmo auto-estabiliz\xc3\xa1vel \xc3\xa9 mensurada em rodadas (ciclos), o menor caminho de execu\xc3\xa7\xc3\xa3o em que cada processador executa pelo menos um passo. Os primeiro algoritmos auto-estabiliz\xc3\xa1veis n\xc3\xa3o detectavam erros explicitamente para ent\xc3\xa3o repar\xc3\xa1-los; eles tentavam constantemente levar o sistema a um estado leg\xc3\xadtimo._NEWLINE_Edsger Dijkstra apresentou em 1974 o primeiro algoritmo auto-estabiliz\xc3\xa1vel, promovendo pesquisas posteriores nessa \xc3\xa1rea. O conceito est\xc3\xa1 presente na funda\xc3\xa7\xc3\xa3o de sistemas auto-gerenci\xc3\xa1veis.'