Vous êtes sur la page 1sur 63

Introduction aux systmes rpartis

Frank Singhoff
Bureau C-203
Universit de Brest, France
LISyC/EA 3883
singhoff@univ-brest.fr
UE systmes rpartis, Universit de Brest Page 1/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 2/63
Sommaire
Prsentation, dnitions.
Principaux problmes soulevs et services offerts par
un systme rparti.
UE systmes rpartis, Universit de Brest Page 3/63
Prsentation, dnitions
"Un systme rparti est un ensemble de machines
autonomes connectes par un rseau, et quipes dun
logiciel ddi la coordination des activits du systme
ainsi quau partage de ses ressources." Coulouris et al.
[COU 94].
"Un systme rparti est un systme qui sexcute sur un
ensemble de machines sans mmoire partage, mais que
pourtant lutilisateur voit comme une seule et unique
machine." Tanenbaum [TAN 94].
Systmes fortement et faiblement coupls.
Notion dimage unique du systme =systme
gnralement incomplet.
UE systmes rpartis, Universit de Brest Page 4/63
Pourquoi un systme rparti ?
1. Partage des ressources (donnes, applications, priphriques
chers). Optimisation de leur utilisation (ex : au LIP6, machines et
processeurs libres 69% et 93% du temps).
2. Tolrance aux pannes (abilit, disponibilit).
3. Contraintes physiques (ex : avionique, usines automatises).
4. Interconnexion de machines ddies (ex : MVS-CICS + PC
windows).
5. Facilite la communication entre utilisateurs.
6. Concurrence, paralllisme =efcacit.
7. Prix des processeurs de petite puissance infrieur ceux de grande
puissance =raisons conomiques.
8. Flexibilit, facilit dextension du systme (matriels, logiciels).
Sauvegarde de lexistant.
UE systmes rpartis, Universit de Brest Page 5/63
Ce quoffre un systme rparti
1. Transparence la localisation =dsignation. Lutilisateur ignore
la situation gographique des ressources. Transparence la
migration.
2. Transparence daccs. Lutilisateur accde une ressource locale
ou distante dune faon identique.
3. Transparence lhtrognit. Lutilisateur na pas se soucier
des diffrences matrielles ou logicielles des ressources quil utilise.
Notion dinteroprabilit.
4. Transparence aux pannes (rseaux, machines, logiciels). Les
pannes et rincarnations sont caches lutilisateur. Transparence
la rplication.
5. Transparence lextension des ressources. Extension ou
rduction du systme sans occasionner de gne pour lutilisateur
(sauf performance).
UE systmes rpartis, Universit de Brest Page 6/63
Exemple 1 : le systme UNIX
printcap
host
printcap
host
passwd
passwd
tetris
pacman
/jeux
Transparence daccs et la localisation : NFS, le service
dimpression. NIS : transparence la localisation mais pas daccs
(ypcat).
Dsignation : nom de machine + port. Pas indpendante de
ladressage.
Interoprabilit : RPC (XDR), IP.
UE systmes rpartis, Universit de Brest Page 7/63
Exemple 2 : le Web
(machine
virtuelle)
Disque
Processus
Bytecode Java, fichier texte
Netscape
httpd
GET
Transparence la localisation : liens hypertexte.
Transparence daccs : URL (site = adresse IP).
Dsignation : URL, DNS Internet.
Interoprabilit : Java bytecode et machine virtuelle, pages HTML,
Web Services (J2EE, .NET).
UE systmes rpartis, Universit de Brest Page 8/63
Sommaire
Prsentation, dnitions.
Principaux problmes soulevs et services offerts par
un systme rparti.
UE systmes rpartis, Universit de Brest Page 9/63
Cohrence et synchronisation (1)
Architecture :
1. Centralise = 1 horloge. Ordre total.
2. Rpartie = plusieurs horloges non synchronises +
communications asynchrones =plus dtat global
facilement calculable et prsence dindterminisme
logique.
Problmes : partage de donnes rparties et
coordination rpartie.
Solutions : algorithmes ddis dlection, dexclusion
mutuelle, de consensus, de terminaison, etc.
UE systmes rpartis, Universit de Brest Page 10/63
Cohrence et synchronisation (2)
Exemple 1 : partage de donnes rparties
Echanges demail =consensus rparti
Rponses reues avant les questions.
Exemple 2 : coordination rpartie
Mise au point dun programme : comment arrter
plusieurs processus rpartis simultanment ? =
synchronisation.
Comment rexcuter une application ? =
indterminisme logique.
UE systmes rpartis, Universit de Brest Page 11/63
Dsigner les ressources du systme
"Dsigner un objet consiste lui affecter un nom permettant de lui faire
rfrence" [MAR 88].
Nom indpendant de la localisation gographique (pannes,
migrations) et du temps.
Nom = ressource =rutilisation.
Adresse = nom. Translation nom =adresse = service de
localisation (chane de rfrences, diffusion, fonctionnelle, serveur de
localisation).
Espace de nommage/adressage, contexte (ex : dsignation
hirarchique).
Serveur centralis ou par type de ressource (systme de chiers) ;
performance, rsistance aux pannes, facilit de ralisation,
rpartition ou non du catalogue (cohrence).
UE systmes rpartis, Universit de Brest Page 12/63
Support de lhtrognit
Services interoprables : comment saffranchir des diffrences
matrielles et logicielles des machines du systme ?
Sources dhtrognit :
1. La reprsentation des donnes en mmoire :
Le problme des petits indiens (systmes big indian et little
indian).
Reprsentation des ottants (ex : PC sur 80 bits, norme IEEE en
64 et 128 bits).
Entiers complments 1 ou 2.
Alignement des donnes en mmoire.
2. Les langages de programmation, les excutables, les systmes
dexploitation.
3. Les protocoles de communication.
UE systmes rpartis, Universit de Brest Page 13/63
Transparence aux pannes (1)
Objectif : cacher lutilisateur loccurrence de pannes.
Reste un problme difcile dans un systme asynchrone.
Un systme distribu est un systme avec lequel je ne
peux rien faire car une machine que je ne connais pas est
en panne". Lamport.
Type de pannes : pannes temporelles, pannes dites
"silencieuses" (crash), pannes byzantines.
Solutions par points de reprise globaux =comment
prendre un tat cohrent du systme (message du
futur).
Solutions base de redondance.
UE systmes rpartis, Universit de Brest Page 14/63
Transparence aux pannes (2)
Redondance active :
Voteur
Composant
actif
Composant
actif
Composant
actif
Sortie
Entre
Entre
Entre
Groupe de serveurs + vote (consensus).
Application dterministe.
Consensus impossible dans un systme asynchrone.
UE systmes rpartis, Universit de Brest Page 15/63
Transparence aux pannes (3)
Redondance passive :
Composant
actif
Composant
passif
Composant
passif
Entre
Etat Etat
Sortie
Matre/esclaves (journalisation).
Application non dterministe mais systmes coteux.
Quoi et comment journaliser ?
UE systmes rpartis, Universit de Brest Page 16/63
Autres problmes importants
Scurit. Accs aux donnes condentielles.
Authentication. Utilisation des ressources
(priphriques, logiciels licencis). Malveillance.
Performance (ncessite de faire au moins aussi bien
quun systme centralis) =mcanismes ajouts
pour la tolrance aux pannes, la scurit, la
transparence, etc.
Passage lchelle (algorithmes centraliss).
Administration (ex : NFS).
Etc.
UE systmes rpartis, Universit de Brest Page 17/63
Rsum : services offerts
En plus des services classiquement rencontrs dans un
systme, le systme rparti doit donc offrir :
Services de dsignation et de localisation.
Services de communication.
Services de synchronisation.
Services de tolrance aux pannes.
Services de scurit.
UE systmes rpartis, Universit de Brest Page 18/63
Aspects architecturaux
O se trouvent ces services ?
Dans la couche transport (UNIX + TCP/IP).
Dans le langage de programmation (Ada 95, Java RMI).
Dans le "Middleware"/intergiciel (CORBA, RPC, .NET).
Logiciel se situant entre le systme dexploitation et les
applications.
Dans le systme dexploitation (Chorus, Mach,
Amoeba) =micro-noyau.
UE systmes rpartis, Universit de Brest Page 19/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 20/63
Sommaire
1. Paradigmes de coopration.
2. Services de communication.
UE systmes rpartis, Universit de Brest Page 21/63
Paradigme client/serveur (1)
Client
Rponse
Requte
Service
Serveur
Notion de client, service et serveur (ex : service dimpression, de
base de donnes) [ORF 95].
Interaction synchrone entre le client et le serveur : le client est bloqu
tant que le serveur na pas rpondu.
Serveur concurrent (processus, thread) ; ex : ftp.
Serveur avec ou sans tat.
Extensibilit, intgration de produits divers.
Diffusion, ots de donnes.
UE systmes rpartis, Universit de Brest Page 22/63
Paradigme client/serveur (2)
Client/serveur : extension naturelle de la notion de
service dans un environnement centralis ... mais.
Pannes possibles : perte de la requte ou de la rponse,
panne du serveur ou du client.
Notion de smantique des oprations :
Exactement une fois.
Au moins une fois (opration idempotente).
Au plus une fois.
Rincarnation du serveur si serveur avec tat
(synchronisation, journalisation).
UE systmes rpartis, Universit de Brest Page 23/63
Paradigme des agents mobiles
Migration
Site de cration
Site B
Agent
Site A
Migration
Agent autonome se dplaant au grs des machines pour raliser
ses tches [BER 99]. Possde un tat.
Asynchrone =mieux adapt que le client/serveur des
traitements longs.
Exemple : recherche sur le Web, administration rseaux =moins
de transfert de donnes.
Nouveaux problmes : scurit (de lagent, de lhte), mobilit du
code, dsignation.
UE systmes rpartis, Universit de Brest Page 24/63
Paradigme de la mmoire partage
Mmoire prive
Processus
Machine
Rseau
partage
Mmoire rpartie
Transparence daccs et la localisation.
Persistance possible. Ramasse miettes.
Donnes partageables : variables, pages, objets. Copie en lecture,
migration en criture. Problme de cohrence.
Adapt pour les applications de calculs parallles. Efcacit ?
UE systmes rpartis, Universit de Brest Page 25/63
Sommaire
1. Paradigmes de coopration.
2. Services de communication.
UE systmes rpartis, Universit de Brest Page 26/63
Services disponibles
Echange de messages asynchrones.
Services synchrones.
Des services synchrones aux systmes objets
rpartis.
UE systmes rpartis, Universit de Brest Page 27/63
Messages asynchrones
receive() receive()
send() send()
Cest la brique de base. Mode le plus rencontr.
Producteur/consommateur. Asynchrone =tampon.
Perte, duplication, dsquencement.
Bloquant ou non bloquant.
Ordre total local + ordre causal.
Lourd et compliqu pour le dveloppeur (il doit assurer toute la
synchronisation) mais puissant et souple.
UE systmes rpartis, Universit de Brest Page 28/63
Messages asynchrones : UDP
Socket
Processus Processus
Ports
read()
write()
Adresse
Adresse
Sockets UDP (connectes ou non) = tampons.
Lecture et criture bloquante ou non.
UDP = datagramme non able.
Pas de dsignation mais adressage. Pas de transparence daccs et
la localisation. Pas de gestion de lhtrognit.
Exemple de service : NFS =do serveur sans tat.
UE systmes rpartis, Universit de Brest Page 29/63
Communications synchrones
call() call()
receive()
receive()
reply()
Contrairement au message asynchrone, le protocole est maintenant
asymtrique : notion de client et de serveur.
Le client est bloqu jusqu la rponse du serveur.
Proprit dordre plus forte (ordre total sur les requtes dun mme
client).
Gnralement ralises par messages asynchrones
Smantique dinvocation si bas sur une couche transport non able.
UE systmes rpartis, Universit de Brest Page 30/63
Appel de procdures distance (1)
Emballage
des paramtres
Dballage
des rsultats
Dballage
des paramtres
Emballage
des rsultats
Excution de la
requte
(attente)
Requte
Rponse
proc(a,b)
Souches
Processus
Suite instructions
Structure le programme de faon familire pour le programmeur.
Communication transparente lutilisateur
Prise en compte de lhtrognit : srialisation et encodage des
donnes.
Notion de souches : encodage/dcodage + communication. Souches
souvent gnres.
UE systmes rpartis, Universit de Brest Page 31/63
Appel de procdures distance (2)
Exemple : les RPC SUN [RIF 95].
Htrognit grce aux ltres XDR ; srialisation de
structures complexes.
Description des donnes en XDR, puis, utilisation du
compilateur rpcgen (gnration des ltres, sources,
programme principal).
Pas de transparence daccs (signature des
procdures), et pas de transparence la localisation
(numro de programme, version, procdure + adresse
IP ). Service portmap pour le port.
Exemple dutilisation : NFS, NIS.
Possibilit dinvocation asynchrone (sans rsultat).
UE systmes rpartis, Universit de Brest Page 32/63
Le modle objets rpartis (1)
Extension de lappel de procdure distance dans le monde objet.
Objet = code + donnes (unit dencapsulation). Ce sont trs
souvent des serveurs tat.
Transparence lhtrognit, la localication, laccs :
Inter-oprabilit (reprsentation des donnes, langages de
programmation, protocoles et systmes).
Notion de proxy (design-pattern) : reprsentation locale dun
objet distant. Gnration automatique de ces proxies.
Gnration des composants logiciels par compilation dinterface.
Service de dsignation/nommage, dvnements
(design-pattern).
UE systmes rpartis, Universit de Brest Page 33/63
Le modle objets rpartis (2)
Exemple 1 : Java RMI
Object exec(Task t);
Proxy (souche)
Client
}
Interface Java
Interface Java
Interface Java
public interface calcul extends Remote {
Serveur
rmiregistry
1. Quasi-totale transparence daccs =service dcrit par une interface Java. Pas de
transparence la localisation.
2. Proxy gnr par rmic, srialisation.
3. Service de dsignation obligatoire (rmiregistry).
4. Protocoles de communication : JRMP ou GIOP (CORBA).
5. Support de linteroprabilit ... limit Java sauf GIOP.
UE systmes rpartis, Universit de Brest Page 34/63
Le modle objets rpartis (3)
Exemple 2 : CORBA
Bus objets/GIOP
IDL IDL
Client
Serveur/objets
1. Transparence la localisation mais pas de transparence daccs =service dcrit
en IDL et API spcique.
2. Gnrateur IDL =utilisation de proxy mais approche plus statique.
3. Service de dsignation optionnel.
4. Protocole de communication (bus) : GIOP.
5. Support de lhtrognit plus tendu. Portabilit, intgration de service.
UE systmes rpartis, Universit de Brest Page 35/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 36/63
Cohrence et synchronisation (1)
Architecture :
1. Centralise = 1 horloge. Ordre total.
2. Rpartie = plusieurs horloges non synchronises +
communications asynchrones =plus dtat global
facilement calculable et prsence dindterminisme
logique.
Problmes : partage de donnes rparties et
coordination rpartie.
Solutions : algorithmes ddis dlection, dexclusion
mutuelle, de consensus, de terminaison, etc.
UE systmes rpartis, Universit de Brest Page 37/63
Cohrence et synchronisation (2)
Exemple 1 : partage de donnes rparties
Echanges demail =consensus rparti
Rponses reues avant les questions.
Exemple 2 : coordination rpartie
Mise au point dun programme : comment arrter
plusieurs processus rpartis simultanment ? =
synchronisation.
Comment rexcuter une application ? =
indterminisme logique.
UE systmes rpartis, Universit de Brest Page 38/63
Sommaire
Algorithmes de coordination/synchronisation et de
partage de donnes rparties :
1. Algorithmes centraliss.
2. Algorithmes rpartis.
3. Construction dhorloges globales.
UE systmes rpartis, Universit de Brest Page 39/63
Algorithmes centraliss vs rpartis
Facilit de ralisation, comportement dterministe.
Solutions asymtriques =dploiement, administration
(placement).
Goulot dtranglement : performance, tolrance aux pannes.
vs
Gnralement symtrique.
Flexibilit (administration). Tolrance aux pannes.
Passage lchelle. Performance ? (complexit).
Trs difciles mettre au point =effet de sonde, indterminisme.
UE systmes rpartis, Universit de Brest Page 40/63
Algorithme centralis (1)
Exemple : le squenceur (diffusion atomique avec ordre total).
Site D
Squenceur
Site C
Site E
M1
M2
M1,M2
Site B
Site A
M1,M2
M1,M2
Algorithme simple utilisable pour toutes les ressources (exclusion
mutuelle, partage de donnes ou de priphriques).
Exemple : NFS.
UE systmes rpartis, Universit de Brest Page 41/63
Algorithme centralis (2)
Algorithme dlection de Chang et Roberts [CHA 79] :
30
30
11
1
2
6
9
20
16
30
5
1
10
12
23
11
Boucle physique ou logique. Initiateur multiple.
Rception dun message : (1) site<message =transmission ; (2)
site>message =modication du message.
Rotation de conrmation.
UE systmes rpartis, Universit de Brest Page 42/63
Algorithme rparti (1)
Algorithme de Li et Hudak [LI 89].
Plusieurs sites se partagent laccs un groupe de
pages de mmoire.
Applicable sur toute forme de donne, exclusion
mutuelle : pages, variables, chiers, ...
Implante une cohrence forte des donnes =lecture
= dernire criture.
UE systmes rpartis, Universit de Brest Page 43/63
Algorithme rparti (2)
Chaque site maintient une table de pages,
comprenant pour chaque page :
Le propritaire (Owner) de la page = dernier rdacteur.
Le type daccs (Access) du site sur la page (lecture,
criture ou nil).
Liste des lecteurs (Copyset) : liste des sites possdant
une copie en lecture =invalidations lors des critures
Un smaphore pour protger les accs la table de
pages.
UE systmes rpartis, Universit de Brest Page 44/63
Algorithme rparti (3)
Algorithme par diffusion, requte en criture :
Site B
Site C
Site A
Sites
lecteurs
Autres
sites
(1)
(1)
(1)
(1)
(1)
(3)
(2)
Site propritaire
Site demandeur
(1) Le site A diffuse sa requte tous les sites.
(2) Le site C, propritaire, envoie la page et le copyset au
demandeur, A.
(3) Le site A envoie des invalidations aux sites lecteurs (dtenteurs
dune copie de la page concerne en lecture).
UE systmes rpartis, Universit de Brest Page 45/63
Algorithme rparti (4)
Algorithme par diffusion, requte en lecture :
Site B
Site C
Site A
Autres
sites
(1)
(1)
(1)
(2)
Site propritaire
Site demandeur
(1)
(1) Le site A diffuse sa requte tous les sites.
(2) Le site C, propritaire, envoie une copie de la page et insre le
site A dans le copyset.
UE systmes rpartis, Universit de Brest Page 46/63
Algorithme rparti (5)
Gestionnaire de dfauts en lecture
Verrouiller ( PTable[p].smaphore )
diffuser une demande en lecture pour p
attendre la rception de p
PTable[p].accs := lecture
Dverrouiller ( PTable[p].smaphore )
Serveur en lecture
Verrouiller ( PTable[p].smaphore )
Si je suis le propritaire de p
Alors
PTable[p].copyset := PTable[p].copyset

{s}
PTable[p].accs := lecture
Envoyer p au site s
FSi
Dverrouiller ( PTable[p].smaphore )
UE systmes rpartis, Universit de Brest Page 47/63
Algorithme rparti (6)
Gestionnaire de dfauts en criture
Verrouiller ( PTable[p].smaphore )
Diffuser une demande en criture pour p
Attendre la rception de p et de son copyset
Pour tout i dans copyset Faire
Envoyer i Invalidation ( p )
PTable[p].accs := criture
PTable[p].copyset :=
PTable[p].propritaire := ego
Dverrouiller ( PTable[p].smaphore )
UE systmes rpartis, Universit de Brest Page 48/63
Algorithme rparti (7)
Serveur en criture
Verrouiller ( PTable[p].smaphore )
Si je suis le propritaire de p
Alors
Envoyer p et PTable[p].copyset au site s
PTable[p].accs := nil
PTable[p].propritaire := s
FSi
Dverrouiller ( PTable[p].smaphore )
Serveur dinvalidation
Verrouiller ( PTable[p].smaphore )
PTable[p].accs := nil
Dverrouiller ( PTable[p].smaphore )
UE systmes rpartis, Universit de Brest Page 49/63
Ordonner les vnements (1)
Systmes rpartis : pas dhorloge globale.
Production dune horloge dans le systme rparti =
imposer un ordre des vnements.
=Utilisation dhorloges logiques [RAY 96]. Bases
sur les communications.
UE systmes rpartis, Universit de Brest Page 50/63
Ordonner les vnements (2)
Notion dvnements pertinents pour une application donne.
Observation de la progression des autres processus du systme grce
la notion de causalit [LAM 78]. Ordre partiel.
x est causalement dpendant de y (not x y) si :
1. x et y sont des vnements locaux (dits internes) et x sexcute
avant y.
2. x et lmission dun message et y sa rception sur un site diffrent.
3. Si x z et z y alors x y.
x y signit que x prcde temporellement y.
UE systmes rpartis, Universit de Brest Page 51/63
Ordonner les vnements (3)
1 2 3 8 9
4 5
10 11
7 6 5 1
1 3
P1
P2
P3
9
7
4
2
Un compteur par site (H
i
).
Mise jour de lhorloge locale :
1. Rception message : H
i
= max(H
i
, H
msg
).
2. Autres vnements : H
i
= H
i
+ 1.
Horloge globale : ordre total de Lamport (not ) ; soient deux
vnements, x sur le site i, y sur j :
x y [H
x
< H
y
ou (H
x
= H
y
et i < j)]
Lordre total de Lamport masque la causalit (ex : evt 3).
UE systmes rpartis, Universit de Brest Page 52/63
Ordonner les vnements (4)
Comment connatre la progression des autres sites :
=horloges vectorielles [FID 91, MAT 89, SCH 88]
Un vecteur de compteurs par site (V [1...n]).
V [i] = horloge du site i. V = vue des horloges des autres sites.
Mise jour de lhorloge locale :
1. Rception message :
k avec k = i : V [k] = max(V [k], msg[k])
2. Pour tous les autres vnements : V [i] = V [i] + 1.
Horloges coteuses mais capture lordre causal.
UE systmes rpartis, Universit de Brest Page 53/63
Ordonner les vnements (5)
Exemple :
P1
P3
P2
0
0
1
0
1
0
2
0
0
2
2
0
2
4
0
2
3
0
5
6
4
5
5
4
5
3
4
2
3
4
2
3
4
1
0
0
2
0
0
3
0
0
5
3
4
4
3
4
2
3
0
2
3
2
2
3
3
UE systmes rpartis, Universit de Brest Page 54/63
Ordonner les vnements (6)
Ordre causal vnements x et y tel que V X et V Y soient
leur vecteur destampilles :
x y V X < V Y
x y V X V Y
Avec :
V X V Y i : V X[i] V Y [i]
V X < V Y (V X V Y ) ( i : V X[i] < V Y [i])
V X V Y (V X < V Y ) (V Y < V X)
UE systmes rpartis, Universit de Brest Page 55/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 56/63
Conclusion, synthse et perspectives
"Un systme distribu est un systme qui sexcute sur
un ensemble de machines sans mmoire partage, mais
que pourtant lutilisateur voit comme une seule et unique
machine." Tanenbaum [TAN 94].
Objectifs : partage de ressources , tolrance aux
pannes, cots, contraintes physiques.
Services : communication, dsignation, htrognit,
synchronisation et coordination.
Un mot clef important retenir : Transparence
=partielle actuellement.
UE systmes rpartis, Universit de Brest Page 57/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 58/63
Rfrences
[BER 99] G. Bernard. Applicabilit et performances des systmes dagents mobiles dans
les systmes rpartis . pages 5768. 1re Confrence franaise sur les systmes
dexploitation, juin 1999.
[CHA 79] E. G. Chang and R. Roberts. An improved algorithm for decentralized
extrema-nding in circular congurations of processors . Communications of the ACM,
22(5):281312, 1979.
[COU 94] G. Coulouris, J. Dollimore, and T. Kindberg. Distributed SystemsConcepts and
Design, 2nd Ed. Addison-Wesley Publishers Ltd., 1994.
[FID 91] C. J. Fidge. Logical Time in Distributed Computing Systems . IEEE Computer,
24(8):2833, August 1991.
[LAM 78] L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System .
Communications of the ACM, 21(7):558565, July 1978.
[LI 89] K. Li and P. Hudak. Memory Coherence in Shared Virtual Memory Systems . ACM
Trans. on Computer Systems, 7(4):321359, November 1989.
UE systmes rpartis, Universit de Brest Page 59/63
Rfrences
[MAR 88] J. Legatheaux Martins and Y. Berbers. La dsignation dans les systmes
dexploitation rpartis . Technique et Science Informatiques, 7(4):359372, avril 1988.
[MAT 89] F. Mattern. Virtual time and global states of distributed systems . In Proc. of Int.
Workshop on Parallel and Distributed Algorithms, Bonas, pages 215226, 1989.
[ORF 95] R. Orfali, D. Harkey, and J. Erwards. Client/Serveur : guide de survie. International
Thomson Publishing, Paris, 1995.
[RAY 96] R. Raynal and M. Singhal. Capturing Causality in Distributed Systems . IEEE
Computer, 29(2):4956, February 1996.
[RIF 95] J. M. Rifet. La communication sous UNIX : applications rparties. Ediscience
International, 2rd edition, 1995.
[SCH 88] F. Schmuck. The use of efcient broadcast in asynchronous distributed systems
. Tr88-928, Cornell University, 1988.
[TAN 94] A. Tanenbaum. Systmes dexploitation : systmes centraliss et systmes
distribus. Interditions, Paris, 1994.
UE systmes rpartis, Universit de Brest Page 60/63
Sommaire
1. Principes gnraux sur les systmes rpartis.
2. Paradigmes et services de communication.
3. Principaux problmes de coordination et de cohrence
de donne.
4. Conclusion, synthse.
5. Rfrences.
6. Acronymes.
UE systmes rpartis, Universit de Brest Page 61/63
Acronymes (1)
NFS. Network File System.
NIS. Network Information Service.
RPC. Remote Procedure Call.
XDR. External Data Representation.
URL. Universal Resource Locators.
DNS. Domain Name System.
HTML. Hypertext Markup Language.
HTTP. Hypertext Transfer Protocol.
RMI. Remote Method Invocation.
CORBA. Common Object Request Broker.
IDL. Interface Denition Language.
UE systmes rpartis, Universit de Brest Page 62/63
Acronymes (2)
NTP. Network Time Protocol.
UDDI. Universal Description, Discovery and Integration.
SOAP. Simple Object Access Protocol.
WSDL. Web Services Description Language.
XML. Extensible Markup Language.
GIOP. General Inter-ORB Protocol.
UE systmes rpartis, Universit de Brest Page 63/63