Cnum - Conservatoire numérique des Arts et Métiers - retour page d'accueil
  • À propos
  • Catalogue général
Recherche avancée
  • Aide  
  • roue dentee  
  • Fils RSS des actualités de la bibliothèque numérique
  • Accueil
  •  > 
  • Catalogue général
  •  > 
  • Cornafion (pseud. collectif) - Systèmes informatiques répartis : concepts et techniques
  •  > 
  • n.n. - vue 1/387
Première page Page précédente
Page suivante Dernière page Réduire l’image 100% Agrandir l’image Revenir à la taille normale de l’image Adapte la taille de l’image à la fenêtre Rotation antihoraire 90° Rotation antihoraire 90° Imprimer la page
Basculer à gauche  Basculer à droite
Fermer
  • TABLE DES MATIÈRES
  • RECHERCHE DANS LE DOCUMENT
  • TEXTE OCÉRISÉ
  • 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.11 Adéquation des systèmes informatiques aux applications (p.2)
        • 1.12 Evolution de la technologie (p.3)
      • 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)
    • 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.21 Bande passante et débit (p.64)
        • 3.22 Taux d'erreur (p.65)
        • 3.23 Longueur élémentaire (p.65)
        • 3.24 Délai de transmission (p.65)
        • 3.25 Défauts des voies (p.66)
        • 3.251 Distorsions (p.66)
        • 3.252 Perturbations (p.67)
      • 3.3 Topologie et utilisation des voies (p.67)
        • 3.31 Topologie des voies (p.67)
        • 3.32 Modes d'utilisation des voies (p.68)
        • 3.33 La commutation (p.68)
      • 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.51 Un exemple de composition de bus en série : Pluribus (p.77)
        • 3.52 Un exemple de composition hiérarchique de bus et de mémoire : CM* (p.79)
      • 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.71 Objectifs et organisation de la normalisation (p.93)
        • 3.72 Résultats de la normalisation (p.94)
    • CHAPITRE 4. Partage des voies (p.95)
      • 4.1 Introduction (p.95)
        • 4.11 Objet du chapitre (p.95)
      • 4.12 Propriété des émetteurs (p.95)
        • 4.13 Objectifs et contraintes du partage (p.97)
      • 4.2 Partage d'une voie (p.97)
        • 4.21 Méthodes de partage (p.97)
        • 4.22 Partage par compétition (p.98)
        • 4.23 Partage par élection (p.99)
        • 4.231 Modes d'élection (p.99)
        • 4.232 Election par consultation (p.100)
        • 4.233 Election par sélection (p.102)
      • 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.51 Protocoles de terminal virtuel (p.140)
        • 5.52 Protocoles de transfert de fichiers (p.141)
        • 5.53 Protocoles de soumission de travaux à distance (p.141)
    • SECONDE PARTIE : LES PROBLEMES DE LA REPARTITION (p.149)
    • CHAPITRE 6. Introduction aux problèmes des systèmes informatiques répartis (p.151)
      • 6.1 Exemple introductif : un réseau d'agences de voyage (p.151)
        • 6.11 Demande de renseignements à distance (p.153)
        • 6.12 Réservation à distance (p.155)
        • 6.13 Construction d'un voyage (p.157)
        • 6.14 Informations en exemplaires multiples (p.158)
      • 6.2 Les problèmes de la répartition (p.159)
    • 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)
        • 7.41 Introduction (p.187)
        • 7.42 Expression du parallélisme dans les langages (p.188)
        • 7.421 Communicating Sequential Processes (CSP) (p.189)
        • 7.422 Le langage Ada (p.192)
        • 7.423 Conclusion (p.195)
        • 7.43 Expression de la répartition dans les langages (p.195)
        • 7.44 Conclusion (p.197)
    • CHAPITRE 8. Ordonnancement et synchronisation des processus (p.199)
      • 8.1 Introduction (p.199)
        • 8.11 Exemple introductif (p.199)
        • 8.12 Ordre partiel (p.200)
        • 8.13 Hypothèses communes (p.201)
      • 8.2 Synchronisations utilisant uniquement l'ordre partiel (p.201)
        • 8.21 Exemple de problème (p.201)
        • 8.22 Les compteurs d'évènements (p.204)
      • 8.3 Synchronisations utilisant un ordre total strict (p.205)
        • 8.31 Allocation centralisée (p.205)
        • 8.32 Allocation répartie (p.205)
      • 8.4 Ordonnancement au moyen d'estampilles (p.207)
        • 8.41 Construction d'in ordre total strict (p.207)
        • 8.42 Exemple d'utilisation (p.207)
        • 8.43 Conclusion (p.210)
      • 8.5 Ordonnancement par séquenceur (p.211)
        • 8.51 Notion de séquenceur (p.211)
        • 8.52 Séquenceur circulant (p.212)
        • 8.521 Anneau virtuel (p.212)
        • 8.522 Privilège matérialisé par les variables d'état (p.212)
        • 8.523 Circulation d'un jeton (p.215)
        • 8.524 Mise en oeuvre d'un séquenceur circulant (p.215)
        • 8.53 Séquenceur sur une voie à diffusion (p.215)
      • 8.6 Conclusion (p.217)
    • CHAPITRE 9. Allocation de ressources (p.223)
      • 9.1 Introduction (p.223)
      • 9.2 Allocation d'une ressource unique (p.225)
        • 9.21 Accès par serveur unique (p.225)
        • 9.22 Accès concurrent contrôlé (p.226)
      • 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)
        • 9.41 Exemple de régulation de charge globale (p.237)
        • 9.42 Exemples de distribution de charge adaptive (p.239)
        • 9.43 Exemple d'interaction entre la distribution de charge et la régulation de charge globale (p.242)
    • 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.21 Hypothèses de travail (p.247)
        • 10.22 Actions et transactions (p.248)
        • 10.23 Ordonnancement d'actions (p.249)
      • 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)
      • 11.1 Introduction (p.275)
      • 11.2 L'interface modem-terminal (p.275)
      • 11.3 Le connecteur de jonction et les circuits (p.276)
      • 11.4 Un exemple d'utilisation de l'avis V24 (p.278)
      • 11.5 Liste des broches et circuits principaux (p.281)
    • ILLUSTRATION 2. Un exemple de protocole normalisé : HDLC (p.283)
      • 12.1 Introduction (p.283)
      • 12.2 Format des trames (p.283)
      • 12.3 Principes de base du protocole (p.283)
      • 12.4 Protocoles d'ouverture et de fermeture (p.288)
      • 12.5 Protocole d'échange de trames d'information (p.288)
      • 12.6 Description de HLDC par des réseaux d'évaluation (p.289)
    • ILLUSTRATION 3. Un exemple de protocole de transmission sur voie fiable : l'Unibus du PDP 11 (p.295)
      • 13.1 Voie de communication (p.295)
      • 13.2 Transfert de messages (p.295)
      • 13.3 Arbitrage (p.297)
    • ILLUSTRATION 4. Une méthode de validation des protocoles de communication (p.299)
      • 14.1 Représentation des protocoles (p.300)
      • 14.2 Présentation de la méthode générale de validation (p.302)
      • 14.3 Réalisation (p.304)
    • ILLUSTRATION 5. La station de transport du réseau Danube (p.305)
      • 15.1 Présentation de la station de transport (p.305)
      • 15.2 L'interface de transport (p.306)
      • 15.3 Le protocole de transport (p.308)
      • 15.4 Schéma de la station de transport (p.309)
    • ILLUSTRATION 6. Un système de gestion de fichiers répartis : DFS (p.317)
      • 16.1 Présentation générale (p.317)
      • 16.2 Les ressources solides (p.318)
      • 16.3 Réalisations d'actions atomiques (p.319)
      • 16.4 Réalisation des transactions atomiques (p.321)
    • ILLUSTRATION 7. Kensur : conception d'un système orienté vers la traduction de langages (p.325)
      • 17.1 Présentation générale (p.325)
      • 17.2 Conception d'une architecture adaptée à la compilation (p.326)
      • 17.3 Prototype réalisé (p.326)
      • 17.4 Système de communication sur le réseau (p.328)
      • 17.5 Le langage de programmation et sa mise en oeuvre (p.329)
    • GLOSSAIRE (p.335)
    • LEXIQUE ANGLAIS-FRANÇAIS (p.353)
    • BIBLIOGRAPHIE (p.355)
  • Dernière image
concepts et techniques




Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour cette page est de 100,00 %.

La langue de reconnaissance de l'OCR est le Français.