Closed NicolasFloquet closed 9 years ago
Vu que exec_sighandler va taper dans la pile d'un autre process, il faut que ce code soit une section critique et que le scheduleur soit désactivé, afin d'éviter l'activation du process touché pendant la modification
Lié à #190
L'ordo est maintenant désactivé lors de l'appel à exec_sighandler.
Vu que exec_sighandler va taper dans la pile d'un autre process, il faut que ce code soit une section critique et que le scheduleur soit désactivé, afin d'éviter l'activation du process touché pendant la modification