Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make sure that the ID of a semaphore does not change over time
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 21:59:18 +0000 (22:59 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 21:59:18 +0000 (22:59 +0100)
commit63f8062313404439d1fc84eaa80c182888825a0e
treedecc0a24079a131bcf7bb7030dac55e596647204
parente2f7ca9d6627805c06ab431c8a7b856e3f8a0216
Make sure that the ID of a semaphore does not change over time
src/kernel/activity/SemaphoreImpl.hpp