Modéles opérationnels communicants : performances et algèbres de chemins / par Armelle Merlin ; [sous la dir. de] Gaétan Hains

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2004

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Programmation parallèle (informatique)

Langages de programmation fonctionnelle

Systèmes virtuels (informatique)

Hains, Gaétan (Directeur de thèse / thesis advisor)

Université d'Orléans (1966-....) (Organisme de soutenance / degree-grantor)

Relation : Modéles opérationnels communicants : performances et algèbres de chemins / par Armelle Merlin ; [sous la direction de] Gaétan Hains / Grenoble : Atelier national de reproduction des thèses , 2004

Résumé / Abstract : Nous développons et étendons le modèle BSP (Bulk Synchronous Parallelism) qui permet une programmation data-parallèle explicite et un calcul de coût simple. Nous exposons d'abord des machines virtuelles pour le langage BSML associant BSP, programmation fonctionnelle et estimation des performances. Nous proposons ensuite d'associer concurrence et parallélisme. Ceci à l'aide d'une extension de l'algèbre de processus CCS, nommée BSPA, qui préserve les caractéristiques de BSP. Nous associons à BSPA un modèle de coût basé sur les algèbres de chemins et fidèle au modèle de performance BSP. Nous montrons comment appliquer ce modèle aux problèmes d'ordonnancement posés par l'informatique globalisée ou meta-computing. Cette méthode de calcul de coût est générale et peut s'appliquer à d'autres algèbres de processus. Ainsi nous proposons un modèle de dépense de resssources mémoire pour l'algèbre de processus SPPA dédiée aux protocoles cryptographiques et en particulier au protocole TCP.