Méthodes et outils pour les communications dans les applications de calcul distribué

Abstract : MeDLey (Message Definition Language) is a specification language of communications for distributed computation. Its aim is to provide to the user an abstract vision of his/her application in terms of tasks and exchanges between these tasks independently of material architecture and the means of communication used. Based oh this specification, the MeDLey compiler generates several levels of implementations for various communication primitives. The original contribution of our thesis was guided by the need to evolve this language. We focused our search on the parallel architectures with distributed memory; especially those composed from a network of workstations. Within this framework, a first extension related to the collective communications; we proposed a new approacb allowing to specify and carry out this type of communication. The second extension related to the grid.-decomposition methods; we defined a new interconnection model, then proposed functions allowing the use of these methods. The third extension aimed to implement the MeDLey language in a CORBA environment. This choice is justified by the adantage of CORBA in term of interoperability and isolation between client and server, using network protocol, material infrastructure, programming language and data transport mechanisms. In order to implement the MeDLey language in CORBA, we developed a message-passing library called MPC (Message Passing in CORBA). This library is based on the use of the methods invocation mechanism on remote objects of CORBA and proposes a complete and usuai message passing environment in CORBA. Finally, our last work concemed the experimentation and the validation of the developed tools. In this context, an expcrimentation of the MeDLey language consisted on the implementation of al simulation code used by the physicists. Then, we validated the point-ta-point communication protocol of the MPC library by using TLA (Temporal Logic of Actions) .
Document type :
Theses
Complete list of metadatas

Cited literature [67 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01754352
Contributor : Thèses Ul <>
Submitted on : Friday, March 30, 2018 - 9:46:18 AM
Last modification on : Tuesday, April 24, 2018 - 1:30:10 PM

File

SCD_T_2000_0141_ES-SQALLI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01754352, version 1

Collections

Citation

Tawfik Es-Sqalli. Méthodes et outils pour les communications dans les applications de calcul distribué. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10141⟩. ⟨tel-01754352⟩

Share

Metrics

Record views

34

Files downloads

12