Aufgabe 6: Synchronisation
assassin.h File Reference
Assassin handles IPIs triggered by Scheduler::kill More...
#include "interrupt/gate.h"

Classes | |
class | Assassin |
Handling for the "killer"-IPI, that is a message indicating that a thread should be terminated. More... | |
Detailed Description
Assassin handles IPIs triggered by Scheduler::kill