Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fail loudly when someone tries to unlock a mutex owned by someone else
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 11 Aug 2015 17:10:04 +0000 (19:10 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 11 Aug 2015 17:10:04 +0000 (19:10 +0200)
commitaae6bdf486c3939fd15203a364c523ce91dad90b
tree74ae04d03750108b40fa3904cea2881131850798
parent078c6c2a470a459348df3c6e802fecaaad34948f
Fail loudly when someone tries to unlock a mutex owned by someone else

This fixes #19500 on gforge.
src/simix/smx_synchro.c