Qu’est-ce que la communication ? Le paradigme des communications Des spécifications sans variable Introduction à CCS Source : R. Milner, Communication and Concurrency, Prentice Hall, 1989

La communication : idée centrale (1) x := 1 (2) x:= 0; x := x + 1 Si ces deux programmes n’interfèrent pas, ils ont le même effet Mais si un autre programme, exécute (1) à un moment imprévisible, les effets sont différents : x = 1 x = 1 ou x = 2 R. Milner

Media de communication 1e idée 2 agents : émetteur et récepteur Le medium où les infos résident pendant le transit Emetteur Récepteur MEDIUM

Les messages 2e idée Les infos sont transmises sous forme de messages Chaque message : une seule action d’envoi d’une info Un message n’est envoyé qu’une seule fois. Chaque action de réception implique un message différent : Chaque message est reçu au plus une fois

L’éther Emetteur Récepteur ETHER l’émetteur peut toujours envoyer un message le receveur peut toujours recevoir un message, pourvu que le medium ne soit pas vide - l’ordre de réception des messages peut différer de l’ordre d’envoi

Éther (suite) Un éther est un ensemble de messages (et non une suite) Il leur permet de se déplacer de la source à la destination Bien sûr, un éther parfait n’est jamais implanté Approchons le …

Ether borné Emetteur ETHER BORNE Récepteur l’émetteur peut toujours envoyer un message, pourvu que le medium ne soit pas plein. le receveur peut toujours recevoir un message, pourvu que le medium ne soit pas vide. (comme pour l’éther) L’ordre de réception des messages peut être différent de l’ordre d’envoi. (comme pour l’éther)

Le tampon non borné Emetteur Récepteur l’émetteur peut toujours envoyer un message (comme pour l’éther) le receveur peut toujours recevoir un message, pourvu que le medium ne soit pas vide (comme pour l’éther) - l’ordre de réception des messages est égal à l’ordre d’envoi

Tampon borné Emetteur Récepteur l’émetteur peut toujours envoyer un message, pourvu que le medium ne soit pas plein (comme pour l’éther borné) le receveur peut toujours recevoir un message, pourvu que le medium ne soit pas plein (comme pour le tampon) l’ordre de réception des messages est égal à l’ordre d’envoi des messages (comme pour le tampon)

Retour sur la 2e idée 2e idée : éléments transmis sous forme de messages Si le medium est une mémoire partagée émetteur récepteur .

Mémoire partagée l’émetteur peut toujours écrire un élément sur un registre Le receveur peut toujours lire un élément sur un registre Écrire et lire peuvent se produire dans n’importe quel ordre Difficile de mettre en œuvre avec l’idée de message Ici un élément qui est envoyé (écrit) une fois peut être reçu (lu) plusieurs fois Aussi les messages n’ont-ils pas d’identité

La base de toutes ces formes de transmission Chaque flèche: une action indivisible dans le temps, consistant à faire passer une information entre deux entités Les agents émetteur et récepteur, le medium participent tous à ces actions indivisibles de communication Les media sont agents actifs dans la mesure où ils participent à l’acte de communication

Agents passifs/actifs et implantation Et même si on peut considérer certains agents comme passifs, quand on les implante (par exemple dans l’implantation d’un tampon), ils déplacent des données (voir l’exemple du raffinage où nous avons introduit le move, dans notre 2e cours de Spec2)

Un seul type d’agent Ces agents participent à des actes indivisibles de communication, vécus simultanément par les deux participants. Une flèche ne représente pas un « canal » dans le sens où un canal a une capacité. Elle représente une adjacence ou une contiguïté entre deux agents, leur permettant d’interagir (poignée de main)

Media de communication Medium type asyn/sync adresse Courrier 1-1 asynchrone physique Courrier élec 1-1 asynchrone logique Téléphone 1-1 synchrone physique Conversation électronique 1-1 synchrone logique Bulletins info 1-n asynchrone physique Bulletins info électronique 1-n asynchrone logique Diffusion n-n synchrone physique Diffusion Radio n-n synchrone logique

Media de com (suite) On pourrait ajouter d’autres caractéristiques : Exemples : certains appareils mémorisent le message (le fax est un téléphone avec mémoire, un tableau noir un appareil de diffusion avec mémoire)

Simulations Pour simuler par utiliser Courrier téléphone répondeur Courrier diffusion appel personnel Courrier élec courrier réexpédier Courrier élec téléphone répondeur avec appel différé Téléphone diffusion talkie-walkie Discussion téléphone renvoi d’appel Bulletin info courrier routage en nombre Bulletin info électronique diffusion diffusion de nouvelles