Systèmes informatiques répartis : concepts et techniques
- NOTICE DÉTAILLÉE
- ACCÈS AUX IMAGES
- TABLE DES MATIÈRES ABRÉGÉE
- TABLE DES MATIÈRES INTÉGRALE
- TEXTE OCÉRISÉ
- EXPORT
- RECHERCHER DANS CE TITRE
- PAGE DE TITRE (Première image)
- TABLE DES MATIERES (p.r3)
- Avant-propos (p.r14)
- Préambule (p.r15)
- CHAPITRE 1. Qu'est-ce qu'un système informatique réparti ? (p.1)
- 1.1 Pourquoi les systèmes répartis ? (p.1)
- 1.2 Quelques exemples de systèmes informatiques répartis (p.4)
- 1.21 Un système de communication : le réseau public Transpac (p.4)
- 1.211 Objectifs (p.4)
- 1.212 Organisation générale (p.5)
- 1.213 Aspects de la répartition (p.6)
- 1.22 Un système de conduite d'atelier : tôlerie des Automobiles Peugeot (p.7)
- 1.221 Objectifs (p.7)
- 1.222 Organisation générale (p.8)
- 1.223 Aspects de la répartition (p.9)
- 1.23 Un réseau local à usage général : le réseau Ethernet (p.10)
- 1.231 Objectifs (p.10)
- 1.232 Organisation générale (p.11)
- 1.233 Aspects de la répartition (p.12)
- 1.21 Un système multiprocesseur : CM * (p.12)
- 1.241 Objectifs (p.12)
- 1.242 Organisation générale (p.13)
- 1.243 Aspects de la répartition (p.15)
- 1.3 Essai de caractérisation des systèmes informatiques répartis (p.16)
- 1.31 Structure matérielle (p.16)
- 1.32 Structure fonctionnelle (p.17)
- 1.33 Observation et chronologie dans un système de machines asynchrones (p.19)
- 1.331 Etat d'un ensemble de machines asynchrones (p.19)
- 1.332 Conséquences de la variabilité des délais de transmission (p.20)
- 1.333 Conséquences des risques de défaillances (p.21)
- 1.334 Exemples (p.21)
- 1.34 Conclusion (p.22)
- 1.4 Présentation de l'ouvrage (p.23)
- 1.5 Références bibliographiques (p.23)
- PREMIERE PARTIE : LES SYSTEMES DE COMMUNICATION (p.25)
- CHAPITRE 2. Concepts et outils de communication (p.27)
- 2.1 Exemples introductifs (p.27)
- 2.11Dialogue sur une ligne directe (p.27)
- 2.111 Définitions (p.27)
- 2.112 Description des protocoles (p.29)
- 2.212 Dialogue à travers un réseau de communication (p.31)
- 2.213 Colloque entre plusieurs correspondants (p.33)
- 2.131 Partage de la voie (p.33)
- 2.132 Transmission de l'information (p.34)
- 2.14 Plan de l'étude (p.34)
- 2.2 Définitions générales (p.35)
- 2.21 Protocoles et interfaces (p.35)
- 2.211 Interfaces (p.35)
- 2.212 Protocoles (p.36)
- 2.22 Système de communication (p.36)
- 2.221 Niveaux de communication et hiérarchie de protocoles (p.36)
- 2.222 Interfaces virtuelles (p.38)
- 2.23 Messages (p.39)
- 2.231 Définition des messages (p.39)
- 2.232 Interprétation des messages (p.39)
- 2.3 Les systèmes de communication (p.40)
- 2.31 Fonctions et caractéristiques d'un système de communication (p.40)
- 2.311 Caractéristiques de la communication (p.41)
- 2.312 Désignation des correspondants (p.42)
- 2.32 Réalisation d'un système de communication (p.43)
- 2.321 Mise en oeuvre de dialogues et de colloques (p.43)
- 2.322 Gestion des voies (p.44)
- 2.323 Protocoles de synchronisation (p.45)
- 2.324 Détection et correction des erreurs (p.46)
- 2.33 Spécification et validation des protocoles (p.47)
- 2.331 Méthodes fondées sur les assertions (p.47)
- 2.332 Méthodes fondées sur les automates d'états finis (p.48)
- 2.333 Eléments de comparaison (p.48)
- 2.4 Présentation de la première partie : les systèmes de communication (p.49)
- 2.1 Exemples introductifs (p.27)
- CHAPITRE 3. Description des voies de communication (p.51)
- 3.1 Transmission de l'information (p.52)
- 3.11 Nature et représentation de l'information à transmettre (p.52)
- 3.12 Synchronisation de la transmission (p.55)
- 3.121 Transmission synchrone (p.56)
- 3.122 Transmission asynchrone (p.57)
- 3.13 Modes de transmission (p.58)
- 3.131 Rappels (p.59)
- 3.132 Transmission en mode de base (p.61)
- 3.133 Transmission par modulation (p.62)
- 3.14 Transmission en série, transmission en parallèle (p.64)
- 3.2 Caractéristiques physiques des voies (p.64)
- 3.3 Topologie et utilisation des voies (p.67)
- 3.4 Voies simples (p.69)
- 3.41 Caractéristiques des supports homogènes (p.69)
- 3.411 Supports métalliques (p.69)
- 3.412 Fibres optiques (p.70)
- 3.413 Ondes radioélectriques (p.70)
- 3.42 Exemples de supports homogènes (p.72)
- 3.421 Les bus (p.72)
- 3.422 « Ether » du réseau Ethernet (p.74)
- 3.43 Lignes de transmission de données (p.75)
- 3.431 Caractéristiques des lignes (p.75)
- 3.432 Principaux types de modem (p.76)
- 3.5 Composition de bus et de mémoires (p.77)
- 3.6 Réseaux informatiques (p.81)
- 3.61 Généralités (p.81)
- 3.611 Définitions (p.81)
- 3.612 Commutations de circuits et commutations de données (p.82)
- 3.613 Communtation de messages et commutation de paquets (p.83)
- 3.62 Les réseaux à communication par paquets (p.85)
- 3.621 Protocoles et interfaces de communication (p.85)
- 3.622 Réseau de transport (p.86)
- 3.623 Réseau de communication (p.88)
- 3.624 Réalisation des protocoles (p.90)
- 3.625 Interconnexion de réseaux à commutation de par paquets (p.92)
- 3.7 Normalisation des systèmes de communication (p.93)
- 3.1 Transmission de l'information (p.52)
- CHAPITRE 4. Partage des voies (p.95)
- 4.1 Introduction (p.95)
- 4.12 Propriété des émetteurs (p.95)
- 4.2 Partage d'une voie (p.97)
- 4.3 Partage d'un ensemble de voies (p.104)
- 4.31 Introduction (p.104)
- 4.311 Techniques de commutation (p.105)
- 4.312 Contrôle de congestion (p.106)
- 4.32 Algorithmes de routage (p.106)
- 4.321 Objectifs d'un algorithme de routage (p.106)
- 4.322 Les principales politiques de routage (p.107)
- 4.33 Exemples de partage des voies dans les réseaux maillés (p.108)
- 4.331 Le réseau Transpac (p.108)
- 4.332 Le réseau Arpanet (p.109)
- 4.34 Les réseaux en anneau (p.109)
- 4.341 Principes généraux (p.110)
- 4.342 Technique du jeton (p.110)
- 4.343 Technique du plateau tournant (p.111)
- 4.344 Critique des réseaux en anneau (p.112)
- CHAPITRE 5. Gestion de la communication (p.115)
- 5.1 Introduction (p.115)
- 5.11 Nature du service (p.115)
- 5.12 Nature et propriétés des communications (p.116)
- 5.121 Modes de communication (p.116)
- 5.122 Etapes de communication (p.116)
- 5.123 Interface de transport (p.117)
- 5.124 Influence des caractéristiques de la voie sur le protocole de transport (p.117)
- 5.13 Protocoles présentés (p.118)
- 5.2 Communication point à point sur une voie fiable (p.118)
- 5.3 Communication point à point sur une voie non fiable (p.120)
- 5.31 Caractéristiques des voies et des entités communicantes (p.120)
- 5.32 Exploitation d'une communication (p.121)
- 5.321 Numérotation des messages (p.121)
- 5.322 Cycle de numérotation (p.122)
- 5.322 Origine de la numérotation (p.122)
- 5.33 Initialisation et rupture d'une communication (p.123)
- 5.331 Position du problème (p.123)
- 5.332 Ouverture de la communication (p.124)
- 5.333 Fermeture de la communication (p.127)
- 5.34 Régularisation de flux (p.128)
- 5.341 Paramètres de la régularisation de flux (p.128)
- 5.342 Principes de la régularisation de flux (p.129)
- 5.343 Modes particuliers de régulation (p.132)
- 5.344 Exemples de stratégies de régulation de flux (p.132)
- 5.345 Influence de la valeur du crédit sur le débit de transmission (p.133)
- 5.4 Communication par colloque (p.133)
- 5.41 Caractéristiques d'un colloque (p.133)
- 5.42 Mise en oeuvre d'un colloque (p.134)
- 5.421 Exploitation d'un colloque en régime permanent (p.134)
- 5.422 Extension d'un colloque (p.136)
- 5.423 Sortie d'un colloque (p.136)
- 5.43 Mise en oeuvre de la primitive diffuser (p.137)
- 5.431 Voies à diffusion (p.137)
- 5.432 Réseaux en anneau (p.137)
- 5.433 Communications point à point (p.137)
- 5.434 Réseaux de communication maillés (p.138)
- 5.435 Comparaison des méthodes de diffusion (p.140)
- 5.5 Protocoles de haut niveau (p.140)
- 5.1 Introduction (p.115)
- SECONDE PARTIE : LES PROBLEMES DE LA REPARTITION (p.149)
- CHAPITRE 6. Introduction aux problèmes des systèmes informatiques répartis (p.151)
- CHAPITRE 7. Programmation et exécution d'applications réparties (p.161)
- 7.1 Présentation d'une application (p.162)
- 7.2 Contrôle de l'exécution (p.163)
- 7.21 Terminologie (p.164)
- 7.22 Liens de contrôle (p.166)
- 7.221 Procédure (p.166)
- 7.222 Continuation (p.167)
- 7.223 Eléments de comparaison (p.169)
- 7.23 Parallélisme (p.170)
- 7.24 Mise en oeuvre d'activités sur architectures réparties (p.172)
- 7.241 Gestion des activités créées à distance (p.172)
- 7.242 Coopération et communication (p.174)
- 7.3 La désignation (p.178)
- 7.31 Liaison (p.178)
- 7.311 Définition (p.179)
- 7.312 Liaison dynamique (p.178)
- 7.32 Structure et interprétation des identificateurs (p.180)
- 7.321 Propriétés (p.180)
- 7.322 Exemples (p.180)
- 7.323 Réalisation d'un répertoire global (p.182)
- 7.33 Etablissement de chaînes d'accès (p.183)
- 7.331 Introduction (p.183)
- 7.332 Portes (p.183)
- 7.333 Association processus-porte (p.184)
- 7.34 Conclusion (p.187)
- 7.4 Expression du parallélisme et de la répartition dans les langages de programmation (p.187)
- CHAPITRE 8. Ordonnancement et synchronisation des processus (p.199)
- CHAPITRE 9. Allocation de ressources (p.223)
- 9.1 Introduction (p.223)
- 9.2 Allocation d'une ressource unique (p.225)
- 9.3 Allocation d'un ensemble de ressources. Interblocage (p.226)
- 9.31 Rappels sur les méthodes centralisées (p.227)
- 9.32 Répartition de la fonction d'allocation (p.229)
- 9.33 Méthodes d'allocation utilisant un état global (p.229)
- 9.34 Méthodes d'allocation utilisant des états partiels (p.231)
- 9.341 Un algorithme de prévention de l'interblocage (p.231)
- 9.342 Un algorithme de détection de l'interblocage (p.233)
- 9.343 Conclusion (p.236)
- 9.4 Régulation de charge (p.236)
- CHAPITRE 10. Accès à l'information répartie (p.245)
- 10.1 Exemple introductif (p.245)
- 10.2 Cohérence de l'information (p.247)
- 10.3 Mise en oeuvre de transactions respectant la cohérence (p.252)
- 10.31 Mécanismes de verrouillage (p.252)
- 10.311 Exclusion mutuelle (p.252)
- 10.312 Verrouillage sélectif des objets (p.253)
- 10.313 Transactions à deux phases (p.253)
- 10.32 Conséquences de l'incertitude sur l'état du système (p.255)
- 10.33 Traitement des défaillances (p.256)
- 10.34 Gestion cohérente de transactions (p.257)
- 10.341 Utilisation des transactions à deux phases (p.258)
- 10.342 Un algorithme de maintien de la cohérence évitant interblocage et privation (p.258)
- 10.35 Conclusion (p.258)
- 10.4 Gestion de copies multiples d'un même objet (p.261)
- 10.41 Champ d'application (p.261)
- 10.42 Algorithmes de gestion de copies multiples (p.263)
- 10.421 Généralités (p.263)
- 10.422 Un algorithme assurant la cohérence faible à l'aide d'estampilles (p.264)
- 10.423 Un algorithme assurant la cohérence faible à l'aide d'un séquenceur circulant (p.266)
- 10.424 Un algorithme assurant la cohérence forte (p.267)
- 10.43 Conclusion (p.268)
- ILLUSTRATIONS (p.275)
- ILLUSTRATION 1. Un exemple d'interface normalisée : l'avis V24 du CCITT (p.275)
- ILLUSTRATION 2. Un exemple de protocole normalisé : HDLC (p.283)
- ILLUSTRATION 3. Un exemple de protocole de transmission sur voie fiable : l'Unibus du PDP 11 (p.295)
- ILLUSTRATION 4. Une méthode de validation des protocoles de communication (p.299)
- ILLUSTRATION 5. La station de transport du réseau Danube (p.305)
- ILLUSTRATION 6. Un système de gestion de fichiers répartis : DFS (p.317)
- ILLUSTRATION 7. Kensur : conception d'un système orienté vers la traduction de langages (p.325)
- GLOSSAIRE (p.335)
- LEXIQUE ANGLAIS-FRANÇAIS (p.353)
- BIBLIOGRAPHIE (p.355)
- Dernière image