Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Friday, March 30, 2018 - 9:46:18 AM
Last modification on : Saturday, October 16, 2021 - 11:26:09 AM


Files produced by the author(s)


  • HAL Id : tel-01754352, version 1



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⟩



Record views


Files downloads