ARCHE : un langage parallèle à objets fortement types

Arche est le successeur du langage Polygoth, fruit des premiers travaux de l'équipe Langages et Systèmes Parallèles de l'IRISA dans l'approche objet de la programmation parallèle. Cette première expérience visait à exprimer la gestion explicite de la distribution et de la replication, tant des données permanentes que des calculs. Le langage Polygoth propose une integration du parallèlisme et des objets originale mais mal adaptée aux mecanismes de synchronisation, d'héritage et de traitement d'exceptions. Les objets dans le langage Arche sont plus simples. Ils s'inscrivent dans la lignee de l'ecole scandinave. Cette simplicité facilite l'intégration des différents mécanismes nécessaires à l'approche objet de la programmation et à la gestion explicite du parallélisme. Parmi les points saillants de Arche, remarquons les originalités suivantes : intégration du parallélisme, de l'héritage et des types abstraits dans un langage imperatif fortement type - généralisation de l'invocation de méthode à une séquence d'objets - introduction d'un mécanisme de traitement d'exceptions adapté aux contextes parallèles imbriqués. La première partie de ce rapport présente le concept de multiprocedure, son intégration dans le langage Polygoth et souligne les difficultés nommées ci-dessus. La deuxieme partie expose les principales caractéristiques de Arche. Tout d'abord, les objets, les types et les classes sont définis, puis trois chapitres présentent respectivement le parallélisme, l'héritage de classe ainsi que la spécialisation de type et le traitement d'exceptions