Changes between Version 6 and Version 7 of MultiCourseTP9_QR

Timestamp:

Jun 9, 2020, 10:23:45 PM (5 years ago)

Author:

alain

Comment:

--

MultiCourseTP9_QR

@@ -7 +7 @@
 La conséquence est qu'il ne peut pas exister d'accès concurrents en écriture sur ce tampon puisque seul le propriétaire (unique)  du tampon a le droit de modifier l'état du tampon. L'inconvénient de ce mécanisme est qu'il ne peut pas exister de parallélisme entre la tâche productrice et la tâche consommatrice : il y a toujours une des deux tâches qui doit attendre l'autre.
 
-== Q2) Pourquoi la fonction atomic_increment(), utilisée en particulier par la fonction de prise du verrou à ticket, a-t-elle absolument d'instructions assembleur spéciales de ''lecture_puis_écriture_atomique_à_la_même_adresse'' ? == 
+== Q2) Pourquoi la fonction atomic_increment(), utilisée en particulier par la fonction de prise du verrou à ticket, a-t-elle absolument besoin d'instructions assembleur spéciales qui garantissent une ''lecture_puis_écriture_atomique_à_la_même_adresse'' ? == 
 
 Pour incrémenter un compteur stocké à une adresse X (par exemple un distributeur de ticket), il faut exécuter au moins trois instructions assembleur : (i) lire la valeur courante à l'adresse X lord), (ii) incrémenter cette adresse (add), (iii) écrire la valeur à l'adresse X store.
@@ -19 +19 @@
 Le plus souvent c'est le premier concurrent qui exécute une instruction ''sc(X)'' qui gagne le concours et casse la réservation.
 
-== Q4) == Comment les instructions ''ll/sc'' sont-elles implémentées dans le matériel matériel ? ==
+== Q4) == Comment les instructions ''ll'' et ''sc'' sont-elles implémentées dans le matériel matériel ? ==
 
 Conceptuellement, la mise sous surveillance d'une adresse X devrait être réalisée par le contrôleur mémoire, qui centralise toutes les requêtes de lecture ou d'écriture.