Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't give actors a chance to survive their exec if their host is turned off
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 28 Feb 2019 01:30:53 +0000 (02:30 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 28 Feb 2019 07:03:48 +0000 (08:03 +0100)
commitfd654461ba21a5d93bb5182e128e3f9bff385d45
tree61985fd2a0192e49589706fd2bdf5d6d9caec4e2
parent70e4035847341b5ab8161e5e2611bb2f40c7050d
Don't give actors a chance to survive their exec if their host is turned off

Before, they received an HostFailureException that they could catch to
survive. Now, they are simply killed (once their on_exit callbacks are
executed).

This is more consistent with what happens with sleep actions, and thus
fixes the github issue #325.
ChangeLog
examples/deprecated/msg/platform-failures/platform-failures.tesh
examples/s4u/platform-failures/s4u-platform-failures.cpp
examples/s4u/platform-failures/s4u-platform-failures.tesh
src/kernel/activity/ExecImpl.cpp
teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp
teshsuite/msg/host_on_off_processes/host_on_off_processes.tesh