Bug found by Andrea (firstname.lastname@example.org)
I have a question about semaphores and OpenSSI. If you
use the SEM_UNDO flag with every semop every
modification to the semaphore is replayed if the
process that made them is terminated. I think that this
undo is not performed, when a node goes down and the
process that had made the modification was running on
it. Is this correct? Does anybody have a solution for it?