Ada 95 et les systemes distribues : la tolerance aux fautes

Ada 95 and distributed systems: fault tolerance

• Auteur / Autrice : Laurent Nana Tchamnda
• Direction : Michel Raynal
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Rennes 1

Résumé

Des statistiques recentes effectuees par bell northern research et tandem computers montrent que la tolerance aux fautes logicielles constitue actuellement le goulot d'etranglement en matiere de surete de fonctionnement. D'apres ces statistiques, dans les systemes incorporant les mecanismes de tolerance aux fautes, environ 65% des defaillances sont dues au logiciel. Parmi les raisons qui justifient la forte proportion des defaillances dues au logiciel, nous pouvons citer l'insuffisance des mecanismes de tolerance aux fautes fournis par les langages de programmation et l'absence d'outils logiciels pour le developpement d'applications tolerantes aux fautes. En effet, dans la plupart des langages de programmation existants, le seul mecanisme de tolerance aux fautes disponible est le mecanisme des exceptions. Bien que ce mecanisme soit efficace pour des situations anticipees, il est inefficace pour des situations non anticipees. Notre travail a porte essentiellement sur l'etude et l'integration de mecanismes complementaires de tolerance aux fautes logicielles dans les langages de programmation existants et leurs outils associes (compilateurs, preprocesseurs), et plus particulierement dans le langage ada 95 et le compilateur gnat (gnu nyu ada translator). Nous avions deux objectifs principaux: d'une part, fournir un environnement minimal pour le developpement d'applications tolerantes aux fautes, qu'elles soient centralisees ou distribuees, et d'autre part, experimenter les nouvelles structures du langage ada 95 dans le cadre de la tolerance aux fautes et de la programmation d'applications distribuees. Nous avons procede en quatre phases principales: l'etude et l'integration des blocs de recouvrement en environnement centralise, la mise en uvre de l'annexe distribuee du langage ada 95 dans le compilateur gnat, l'extension de notre modele initial de blocs de recouvrement pour permettre leur execution en environnement distribue, et la conception d'un modele pour la replication et la reconfiguration d'applications distribuees ada 95