Abstract FR:

Nous decrivons dans cette these des outils pour faciliter la programmation d'objets fragmentes. Un objet fragmente est un objet partage, qui possede une representation fragmentee sur plusieurs espaces d'adressage, sur plusieurs sites. Il permet la communication entre ces espaces offre a ses clients la transparence totale de la repartition par l'intermediaire d'une simple interface procedurale fortement typee. Nos outils permettent au programmeur d'un objet fragmente un controle fin de la repartition et simplifient les mecanismes primitifs offerts par le systeme d'exploitation reparti d'objets sos. Un langage appele fog permet au programmeur de choisir la politique de repartition et la cooperation qui convient le mieux a chaque application repartie. Il offre une interface procedurale typee et protegee de la communication distante. Son compilateur verifie la conformite de types de la communication distante et genere du code pour la communication distante et la migration d'objets qui s'interface au systeme par l'intermediaire d'une plate-forme de communication, qui encapsule l'acces aux protocoles de communication et absorbe leurs variations et leurs extensions