genode/repos/base-hw/src/core/include/kernel
Martin Stein 56cafb3b57 hw: fix race in signal dispatching
There was a race when the component entrypoint wanted to do
'wait_and_dispatch_one_signal'. In this function it raises a flag for
the signal proxy thread to notice that the entrypoint also wants to
block for signals. When the flag is set and the signal proxy wakes up
with a new signal, it tried to cancel the blocking of the entrypoint.
However, if the entrypoint had not reached the signal blocking at this
point, the cancel blocking failed without a solution. Now, the new
Kernel::cancel_next_signal_blocking call solves the problem by storing a
request to cancel the next signal blocking of a thread immediately
without blocking itself.

Ref #2284
2017-02-28 13:00:41 +01:00
..
clock.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
configuration.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
core_interface.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
cpu_scheduler.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
cpu.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
double_list.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
fifo.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
ipc_node.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
irq.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
kernel.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
log.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
object.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
pd.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
perf_counter.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
signal_receiver.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
thread.h hw: fix race in signal dispatching 2017-02-28 13:00:41 +01:00
vm.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00