Abstract FR:

L'objectif de cette these est d'explorer une solution reportant au niveau de la compilation des programmes la gestion de la memoire et des synchronisations pour un langage parallele a memoire partagee et actions atomiques. Un modele d'execution et les regles de compilation pour ce langage y sont decrites. Le modele d'execution permet d'offrir l'abstraction d'une memoire partagee sur une architecture faiblement couplee sans l'utilisation de mecanismes systemes specialises. Il associe gestion memoire et synchronisation en tirant partie de la structure d'imbrication des actions atomiques. Les regles de compilation sont entierement donnees dans le formalisme des grammaires attribuees. L'analyse statique des programmes nous permet de proposer une methode preventive des interblocages ainsi qu'un ensemble d'optimisations adaptees. La methode de prevention des interblocages est fondee sur la detection statique des situations potentielles d'interblocages et leur prevention lors de l'execution par l'utilisation de simples semaphores. Elle permet d'eviter la construction couteuse d'un graphe d'attente a l'execution. Les optimisations reduisent le nombre de messages echanges et augmentent le parallelisme grace a l'utilisation d'un protocole de verrouillage non-deux phases