| dbo:abstract
|
- L'autostabilisation, ou auto-stabilisation, est la propriété d'un système réparti, composé de plusieurs machines capables de communiquer entre elles, qui consiste, lorsque le système est mal initialisé ou perturbé, à retourner automatiquement à un fonctionnement correct en un nombre fini d'étapes de calcul. Elle a été définie par Edsger Dijkstra en 1974. Essentiellement analysée en informatique théorique, l'autostabilisation vise des applications dans les domaines où l'intervention d'un humain pour rétablir le système après une défaillance est impossible ou dans lesquels il est préférable de s'en passer : les réseaux informatiques, les réseaux de capteurs et les systèmes critiques, tels que les satellites. (fr)
- Self-stabilization is a concept of fault-tolerance in distributed systems. Given any initial state, a self-stabilizing distributed system will end up in a correct state in a finite number of execution steps. At first glance, the guarantee of self stabilization may seem less promising than that of the more traditional fault-tolerance of algorithms, that aim to guarantee that the system always remains in a correct state under certain kinds of state transitions. However, that traditional fault tolerance cannot always be achieved. For example, it cannot be achieved when the system is started in an incorrect state or is corrupted by an intruder. Moreover, because of their complexity, it is very hard to debug and to analyze distributed systems. Hence, it is very hard to prevent a distributed system from reaching an incorrect state. Indeed, some forms of self-stabilization are incorporated into many modern computer and telecommunications networks, since it gives them the ability to cope with faults that were not foreseen in the design of the algorithm. Many years after the seminal paper of Edsger Dijkstra in 1974, this concept remains important as it presents an important foundation for self-managing computer systems and fault-tolerant systems. As a result, Dijkstra's paper received the 2002 ACM PODC Influential-Paper Award, one of the highest recognitions in the distributed computing community.Moreover, after Dijkstra's death, the award was renamed and is now called the Dijkstra Award. (en)
- Autoestabilização é uma propriedade de sistemas distribuídos em que, a partir dum estado qualquer, sempre se chega num estado correto com um número finito de passos de execução. Essa abordagem contrasta com a visão típica dum algoritmo tolerante a falhas, que garante que o sistema nunca sairá dum estado correto. A capacidade de se recuperar sem intervenção externa é bastante desejável em redes de computadores ou de telecomunicações, pois as permite reparar erros e retornar ao estado normal de operação por conta própria. Computadores e redes podem ser feitos tolerantes a falhas. Apesar de deixar claro que a convergência a um estado correto ocorre numa quantidade finita de passos, a auto-estabilização não define em quanto tempo isso ocorre, o que acarreta preocupações com a complexidade da convergência. A complexidade em tempo dum algoritmo auto-estabilizável é mensurada em rodadas (ciclos), o menor caminho de execução em que cada processador executa pelo menos um passo. Os primeiro algoritmos auto-estabilizáveis não detectavam erros explicitamente para então repará-los; eles tentavam constantemente levar o sistema a um estado legítimo. Edsger Dijkstra apresentou em 1974 o primeiro algoritmo auto-estabilizável, promovendo pesquisas posteriores nessa área. O conceito está presente na fundação de sistemas auto-gerenciáveis. (pt)
|
| rdfs:comment
|
- L'autostabilisation, ou auto-stabilisation, est la propriété d'un système réparti, composé de plusieurs machines capables de communiquer entre elles, qui consiste, lorsque le système est mal initialisé ou perturbé, à retourner automatiquement à un fonctionnement correct en un nombre fini d'étapes de calcul. Elle a été définie par Edsger Dijkstra en 1974. Essentiellement analysée en informatique théorique, l'autostabilisation vise des applications dans les domaines où l'intervention d'un humain pour rétablir le système après une défaillance est impossible ou dans lesquels il est préférable de s'en passer : les réseaux informatiques, les réseaux de capteurs et les systèmes critiques, tels que les satellites. (fr)
- Self-stabilization is a concept of fault-tolerance in distributed systems. Given any initial state, a self-stabilizing distributed system will end up in a correct state in a finite number of execution steps. (en)
- Autoestabilização é uma propriedade de sistemas distribuídos em que, a partir dum estado qualquer, sempre se chega num estado correto com um número finito de passos de execução. Essa abordagem contrasta com a visão típica dum algoritmo tolerante a falhas, que garante que o sistema nunca sairá dum estado correto. A capacidade de se recuperar sem intervenção externa é bastante desejável em redes de computadores ou de telecomunicações, pois as permite reparar erros e retornar ao estado normal de operação por conta própria. Computadores e redes podem ser feitos tolerantes a falhas. (pt)
|
