Key points are not available for this paper at this time.
La difficulté de développer des logiciels distribués fiables est un obstacle à l'application de la technologie de l'informatique distribuée dans de nombreux environnements. L'expérience avec le système Isis suggère qu'une approche structurée basée sur des groupes virtuellement synchrones produit des systèmes qui sont beaucoup plus faciles à développer, exploitent des formes sophistiquées de computation coopérative et atteignent une grande fiabilité. Cet article passe en revue six ans de recherche sur Isis, décrivant le modèle, ses défis d'implémentation et les types d'applications auxquelles Isis a été appliqué. 1 Introduction On pourrait s'attendre à ce que la fiabilité d'un système distribué découle directement de la fiabilité de ses constituants, mais ce n'est pas toujours le cas. Les mécanismes utilisés pour structurer un système distribué et pour mettre en œuvre la coopération entre les composants jouent un rôle vital dans la détermination de la fiabilité du système. De nombreux systèmes d'exploitation distribués contemporains ont mis l'accent sur les performances de communication, négligeant le besoin d'outils pour intégrer les composants dans un tout fiable. Les primitives de communication prises en charge offrent un comportement généralement fiable, mais présentent des sémantiques problématiques lorsque des pannes transitoires ou des changements de configuration du système se produisent. Les blocs de construction qui en résultent sont donc inadaptés à faciliter la construction de systèmes où la fiabilité est importante. Cet article passe en revue six ans de recherche sur Isis, un système qui fournit des outils pour soutenir la construction de logiciels distribués fiables. La thèse sous-jacente d'Isis est que le développement de logiciels distribués fiables peut être simplifié en utilisant des groupes de processus et des outils de programmation de groupe. Cet article motive l'approche prise, dresse le bilan du système et discute de notre expérience avec de vraies applications.
Ken Birman (Mercredi) a étudié cette question.