Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
In case of failures, a process may become runnable without time step
authorChristophe Thiéry <christopho128@gmail.com>
Fri, 14 Oct 2011 15:46:45 +0000 (17:46 +0200)
committerChristophe Thiéry <christopho128@gmail.com>
Fri, 14 Oct 2011 15:46:45 +0000 (17:46 +0200)
commit731c795835a76fc79039a130c1d5717d1ba939b9
tree2f898a31747bed028764d772c8ecd255a776a115
parent2a3f4b595b2fe9181ce2d338f0234f84b7aff58d
In case of failures, a process may become runnable without time step

Since commit e5922b4 (clean unfinished comms when terminating a process),
the test msg-actions was failing on a deadlock instead of waking up
the last process (who can terminate normally after a failed recv).
src/simix/smx_global.c