Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't have an extra actor in s4u-synchro-mutex to create the others
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 20 Mar 2022 00:12:31 +0000 (01:12 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 20 Mar 2022 00:20:49 +0000 (01:20 +0100)
commit0cc1eaf8f4921cca9d3a5e20163bfd59f319e583
tree6b10dd87cddde00c82b31b7647313a947e28bd53
parent583d0f14455c6601d6922b418699637661f93bd7
Don't have an extra actor in s4u-synchro-mutex to create the others

In MC, it could happen that the master actor terminates, leaves and
frees the shared memory before the end of the other actors.
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp
examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh