Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study - Rapports LIP6
Rapport (Rapport De Recherche) Année : 2004

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

Introduction de mobilité dans les canevas de simulation numérique répartie : une étude formelle

Résumé

This paper presents a formal study of automatic partitioning - or introduction of mobility - in the domain of Distributed Numerical Simulation Frameworks. Applied to this domain, mobility introduction consists in the following: in order to ease efficiency constraints on the design of numerical data interfaces, slices of programs are remotely executed on the hosts were data is located, so that a number of remote interactions are transformed into the same number of local interactions. This technique enables the designer of data interfaces to always provide the finest grain of inter-component interaction - which means a high level of component reusability - without sacrifying efficiency of the distributed application. This paper presents a formal model of mobility introduction for distributed systems and demonstrates a soundness thoerem of such a transformation.
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.
Fichier principal
Vignette du fichier
lip6.2003.008.pdf (292.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02545665 , version 1 (17-04-2020)

Identifiants

  • HAL Id : hal-02545665 , version 1

Citer

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

Partager

More