LIP6 2003/008
- Reports
Introduction de mobilité dans les canevas de simulation numérique répartie : une étude formelle - G. Haïk
- 30 pages - 01/26/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
- Keywords : Numerical simulation, software engineering, integration frameworks, distributed numerical simulation, interface design, locality, mobility, automatic partitioning, automatic distribution, program analysis, program transformation.
- Publisher : David.Massot (at) nulllip6.fr
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.