Redis + Kill may lead to segmentation fault

[mpoquet]

The reason is unknown but it happened in https://gitlab.inria.fr/batsim/batsim/builds/9158.
The crash is deterministic.

[mpoquet]

Might be related to the callback function after process exit.

MSG_process_on_exit(execute_profile_cleanup, cleanup_data);

[mpoquet]

@adfaure: if you are looking for some funny debugging sessions, this bug can help you :D

[mickours]

Is this still happening?

[mpoquet]

Currently (548cd4b):

• Kills are broken in some scenarios regardless of Redis (https://framagit.org/batsim/batsim/-/jobs/246085)
• Memory deallocation on kill is not done. I'm waiting for a small s4u update to enable killing parallel tasks to completely get rid of MSG. =/

[mpoquet]

Closing this issue as this should be fixed AND because redis is about to vanish.