Abstract FR:

Le paradigme acteur est bien adapte a la programmation d'applications concurrentes. Mais, cette facilite n'est appliquee qu'aux algorithmes concurrents issus d'une exergue des parties autonomes de la structure de controle des algorithmes sequentiels correspondants. Le gain en temps de calcul obtenu a partir de ces algorithmes concurrents ne depasse pas un facteur constant. Or, il existe une algorithmique dite parallele qui, en exprimant a chaque pas du calcul un nombre important d'entites concurrentes, proportionnel a la taille des donnees du probleme, engendre une acceleration exponentielle du temps de calcul. Cette these montre que le modele acteur est un modele de calcul permettant l'expression d'algorithmes paralleles. Pour ce faire, nous inter-simulons le modele acteur et le modele de calcul parallele pram classique. Nous decrivons un modele d'execution de programmes acteur paralleles sur une architecture parallele mimd a memoire locale. Ce modele s'inspire des modeles d'execution des prams sur des architectures paralleles a memoire partageable distribuee. Ce modele est efficace, y compris pour les programmes les plus difficiles, c'est-a-dire ceux dont la quantite des messages echanges par le programme, ainsi que leurs origines/destinations, sont imprevisibles. Nous etendons l'application de ce modele d'execution aux programmes decrits par d'autres langages paralleles. Ceci nous permet alors de proposer l'architecture parallele choisie comme candidat serieux au statut d'architecture universelle pour le calcul parallele