LIP6 2003/008
- Rapports de recherche
Introduction de mobilité dans les canevas de simulation numérique répartie : une étude formelle - G. Haïk
- 30 pages - 26/01/2004- document en - http://www.lip6.fr/lip6/reports/2003/lip6.2003.008.pdf - 300 Ko
- Contact : Gregory.Haik (at) nulllip6.fr
- Ancien Thème : SPI
- Mots clés : Simulation numérique, génie logiciel, canevas d'intégration, simulation numérique répartie, conception d'interface, localité, mobilité, partitionement automatique, répartition automatique, analyse de programme, transformation de programme
- Directeur de la publication : David.Massot (at) nulllip6.fr
Ce papier présente une étude formelle du partitionnement automatique - ou introduction de mobilité - dans le domaine des Canevas de Simulation Numérique Répartie. Appliquée à ce domaine, l'introduction de mobilité repose sur le principe suivant : pour alléger les contraintes d'efficacité qui pèsent sur la conception des interfaces de données numériques, des tranches de programmes sont exécutées à distance sur les machines qui hébergent les données accédées, de sorte que les interactions distantes soient transformées en interactions locales. Cette technique permet au concepteur d'interfaces de toujours offrir la plus fine granularité d'interaction inter-composant - et donc un degré élevé de réutilisabilité des composants - sans sacrifier les performances de l'application répartie. Ce papier présente un modèle formel de l'introduction de mobilité dans les systèmes répartis et démontre un théorème de correction pour cette transformation.