Abstract FR:

Cette these presente une nouvelle approximation au parallelisme et la distribution en lisp, partant d'un modele de machine distribuee sans memoire commune. La semantique de memoire partagee de lisp est preservee en utilisant des pointeurs distants et des protocoles de coherence. L'ensemble est appele transpive. Une mise en uvre de transpive sur le lisp pour transputers, permet aux taches de partager les donnees independamment de leur placement. Les effets de bords sont admis. Un nouvel algorithme de glanage de cellules distribuees, appele compteurs indirects de reference, est aussi presente. Cet algorithme est tres simple et supporte la migration des objets