diff --git a/README.md b/README.md index 210a595..a28afc0 100644 --- a/README.md +++ b/README.md @@ -143,7 +143,7 @@ On doit donc enregistrer les valeurs du capteur dans une file d'attente ``Queue< Pour que les canaux soient synchronisés, on a une liste ``List> futures`` qui stocke les Future en cours de traitement (cette liste a donc au maxium comme taille le nombre de canaux). À chaque appel de ``execute()``, on retire de la liste les Future terminés, quand la liste est vide alors ils sont tous terminés, on retire l'élément à la file d'attente, et on relance des nouveaux Future en faisant un ``update()`` sur chaque canal. -### - Diffusion Sequencielle : +### - Diffusion Séquentielle : Ici, il faut simplement que les afficheurs aient des valeurs synchronisées et que les valeurs soient dans l'ordre chronologique. On n'a donc pas besoin d'afficher toutes les valeurs du capteur. @@ -182,7 +182,7 @@ Notre capteur envoie des valeurs de 1 en 1 à chaque ticket en commençant par 1 On a deux oracles : - Un qui vérifie que les éléments sont strictement croissants de 1 en 1 en commençant par 1 - Et un second qui vérifie que tous les canaux ont les mêmes éléments entre eux. -#### - Diffusion Sequencielle +#### - Diffusion Séquentielle On a deux oracles : - Un qui vérifie que les éléments sont strictement croissants. - Et un second qui vérifie que tous les canaux ont les mêmes éléments entre eux.