Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Increase a bit an example which size got reduced when DPOR efficiency reduced, and...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 21 Jun 2023 23:36:22 +0000 (01:36 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 21 Jun 2023 23:36:22 +0000 (01:36 +0200)
commitbb05f13298b30374ddbe15118f7a3aaa1a233eee
tree8a498569bf41fa0eb0b9b9b796c213422aad21d3
parentda4db19839a95b164891576e8fade49ba1b98bee
Increase a bit an example which size got reduced when DPOR efficiency reduced, and test odpor+sdpor on it
examples/sthread/pthread-mc-producer-consumer.tesh