You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All processes except 0 are allowed to die. But, if the process with id 0 dies all other processes will be killed.
It's a strange behaviour in terms of fault tolerance.
All processes except 0 are allowed to die. But, if the process with id 0 dies all other processes will be killed.
It's a strange behaviour in terms of fault tolerance.
used branch: next
Example:
state_vec_2.cpp.txt
output 8 processes:
/bin/sh: line 1: 8544 Killed ...
/bin/sh: line 1: 8550 Killed ...
/bin/sh: line 1: 8549 Killed ...
/bin/sh: line 1: 8548 Killed ...
/bin/sh: line 1: 8545 Killed ...
/bin/sh: line 1: 8547 Killed ...
/bin/sh: line 1: 8546 Killed ...
The text was updated successfully, but these errors were encountered: