Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
When a process leaves, no one should ever finish a communication with it
authorChristophe Thiéry <christopho128@gmail.com>
Thu, 5 Jan 2012 17:01:13 +0000 (18:01 +0100)
committerChristophe Thiéry <christopho128@gmail.com>
Thu, 5 Jan 2012 17:01:13 +0000 (18:01 +0100)
commitcb025a65332d7a4d6b878b00873b3da07f15021a
treec70b02ba4f4a677eb0b8c7106d40f544c71aab98
parentcb9acd674a06e8ed50695dea9d3c758b8c7101cf
When a process leaves, no one should ever finish a communication with it

Its unstarted comms must never get matched in the future and its
started comms must be canceled, no matter if they are detached.
src/simix/smx_process.c