Exceptions dans les langages à objets
Résumé
Exceptions in programming languages result from the limitations introduced by a realisation compared to the model it implements.Usual control structures are not adequate to handle these special cases and specific exception handling mechanisms have been designed which separate the handling of exceptions from the main algorithm. We study the characteristics such a mechanism must satisfy in object oriented languages.Relations with modularity, inheritence and conformity aredevelopped. We then describe the mechanism we have built in Guide, an object -oriented language for the programming of distributed applications. Object consistency and concurrency issues are addressed.This design has been implemented on top of the Guide distributed system.
Dans les langages de programmation une exception apparait comme conséquence des limites qu'une mise en oeuvre introduit par rapport à un modèle idéal. Les structures de controle traditionnelles ne conviennent pas pour traiter ces cas limites, et sont secondées dans certains langages par un système spécifique de gestion des exceptions qui sépare le traitement des exceptions de l'algorithme principal. Nous analysons dans le contexte plus précis des langages à objets la forme que doit prendre un tel système et les contraintes qu'il doit satisfaire. Nous regardons en particulier les implications de la modularité, de l'héritage et de la conformité. Nous proposons ensuite un système de gestion des exceptions pour le langage Guide, langage à objets conçu pour la constructions d'applications réparties. Nous proposons des solutions aux problèmes de la cohérence des objets et de la concurrence. Ce travail a donné lieu à une mise en oeuvre sur le système Guide.
Loading...