Skip to Main content Skip to Navigation
Reports

Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study

Grégory Haïk 1
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : 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.
Document type :
Reports
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02545665
Contributor : Lip6 Publications <>
Submitted on : Friday, April 17, 2020 - 11:47:39 AM
Last modification on : Tuesday, April 21, 2020 - 1:53:26 AM

File

lip6.2003.008.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02545665, version 1

Citation

Grégory Haïk. Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study. [Research Report] lip6.2003.008, LIP6. 2004. ⟨hal-02545665⟩

Share

Metrics

Record views

9

Files downloads

10