Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Better fix for the mutex IDs modifications in mutex-MC test
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 15 Mar 2022 13:04:29 +0000 (14:04 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 15 Mar 2022 14:36:01 +0000 (15:36 +0100)
commit96e1dabe2c4d012e50803f9e8dfaba684d07887f
tree5f27e2d5a86f64eca663d82a4a5e2dac941fd1c7
parent235a9333b84d39c0397ec9ddc248d141eefd89a2
Better fix for the mutex IDs modifications in mutex-MC test

kill the extra mutex forgotten out of the loop in the hijacked example

This reverts and reworks commit 5190c1c45270085777ef904c35ab99b5ad52d681.
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp