Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Une machine virtuelle répartie pour la programmation de processus mobiles
| Auteur / Autrice : | Marc Lacoste |
| Direction : | Sacha Krakowiak |
| Type : | Thèse de doctorat |
| Discipline(s) : | Systèmes de communication |
| Date : | Soutenance en 2003 |
| Etablissement(s) : | Université Joseph Fourier (Grenoble ; 1971-2015) |
Résumé
La construction d'infrastructures fiables de programmation répartie sur des réseaux à large échelle ("global computing") se heurte à une double difficulté: un manque de cadre de référence pour les primitives de programmation; et une divergence théorie-pratique de la programmation répartie. Cette thèse explore l'intérêt des domaines comme abstraction fondamentale pour le "global computing". Un domaine capture de manière uniforme les partitions d'un système réparti. Nous montrons que les domaines sont directement implantables en utilisant une méthodologie de construction de systèmes par raffinements successifs: modèle formel de programmation répartie > spécification formelle > implantation. Nous appliquons cette démarche à un modèle de programmation répartie à base de domaines, le M-calcul: nous définissons une machine abstraite répartie et une machine virtuelle pour ce calcul. L'évaluation montre la viabilité de l'approche proposée pour la construction d'infrastructures fiables.