Afficher la notice abrégée

dc.contributor.authorGRANGE, Pascal
dc.date2005-12-02
dc.date.accessioned2021-01-13T14:03:59Z
dc.date.available2021-01-13T14:03:59Z
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/25505
dc.description.abstractCe document traite du problème, toujours actuel, de l’unification des paradigmes de programmation locale et de programmation distribuée. Après une définition de cette notion d’unification, nous présenterons cinq caractéristiques des systèmes distribués que nous considérons comme fondamentales : les pannes partielles, la concurrence, la confiance, la mémoire répartie et la latence. Nous verrons comment ces caractéristiques peuvent être prises en charge de façon transparente dans un but d’unification ainsi que les contraintes imposées par une telle transparence. Nous présenterons ensuite nos contributions dans le domaine de la prise en charge de la caractéristique de la mémoire répartie au travers de la bibliothèque de communication JToe. Par ailleurs, nous avons contribué à la prise en charge de la latence par l’introduction transparente d’asynchronisme dans une application orientée objets. Nous verrons les possibilités offertes par ce nouvel asynchronisme et nous prouverons, à l’aide du Pi-calcul, le respect de la sémantique séquentielle de l’application synchrone d’origine. Ces travaux nous amènent à proposer un nouveau modèle original de programmation concurrente : les bouquets d’activations.
dc.description.abstractEnThis dissertation deals with the unification of the local and distributed computing models. After defining this concept of unification, we will describe five characteristics of distribu- ted systems that we believe are essential : partial failures, concurrency, trust, distributed memory and latency. We will show how this characteristics can be managed transparently to provide the unification as well as the constraints imposed by this transparency. Next, we will present our contributions in distributed memory management through the JToe library. Furthermore, we have contributed to latency management by introducing transparent asyn- chronism in object oriented applications. We will describe what this new aynchronism allows and prove, using 7-calculus, that the sequential semantic of the original synchronous application is conserved. This work leads us to propose a brand new concurrent programming model : bouquets of acti- vations.
dc.formatapplication/pdf
dc.languagefr
dc.rightsfree
dc.subjectInformatique
dc.subjectSystèmes distribués
dc.subjectprogrammation concurrente
dc.subjectbouquets d’activations
dc.subjectunification
dc.subjecttransparence
dc.subjectPi-calcul
dc.subjectasynchronisme
dc.titleSystèmes distribués : transparence, masquage et outils associés
dc.typeThèses de doctorat
bordeaux.hal.laboratoriesThèses Bordeaux 1 Ori-Oai*
bordeaux.institutionUniversité de Bordeaux
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Syst%C3%A8mes%20distribu%C3%A9s%20:%20transparence,%20masquage%20et%20outils%20associ%C3%A9s&rft.atitle=Syst%C3%A8mes%20distribu%C3%A9s%20:%20transparence,%20masquage%20et%20outils%20associ%C3%A9s&rft.au=GRANGE,%20Pascal&rft.genre=unknown


Fichier(s) constituant ce document

Thumbnail

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée