Th´eorie et pratique de la concurrence – Master 1 II TP 2 : Sections critiques (preuves)
Texte intégral
Documents relatifs
Ainsi au mˆeme moment on peut avoir un processus de type I qui parcourt la liste avec plusieurs processus de type S, en revanche si un processus de type D a acc`es ` a la liste,
Donner des formules de LTL qui formalisent les propri´ et´ es suivantes - pr´ ecisez quelles sont les propositions atomiques dont vous avez besoin :.. Deux feux de croisements ne
Le premier thread attend que x1 est true, et le mets ` a false, ensuite attend que x2 soit true et le mets ` a false, et ensuite affiche un message, remet les drapeaux ` a true et
Pour cela, d´ eveloppez une solution qui laisse au plus entrer 4 voitures sur le pont, si une voiture qui va dans la direction oppos´ ee veut entrer. Exercice 4: Le train
Chaque voiture sera un thread diff´ erent, qui, une fois pass´ ee sur le pont, recommence toujours dans la mˆ eme direction2. Modifiez votre solution pour permettre au plus 4
Dans ce Tp on impl´ ementera quelques algorithmes d’exclusion mutuelle sans utiliser les prim- itives de haut niveau comme les m´ ethodes synchronized ou les variables de
Le serveur stocke alors cette chaˆıne de caract` eres dans un objet de type ConcurrentBuffer Un client consommateur attend que le serveur lui envoie des chaˆınes de caract` eres qui
Le premier argument est l’adresse d’un descripteur de thread, le deuxi`eme argument (que nous mettrons toujours ` a NULL dans ces TP) est un attribut de thread de type pthread_attr_t
