search

genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.03k stars 249 forks source link

hw: signal counting is wrong #5193

Closed skalk closed 2 weeks ago

skalk commented 3 weeks ago

The test-signal base API test triggers a problem since issue #4796 got solved. The number of supposedly received signals is higher than the send ones. It's not about a wrong number of activations of the target thread, but about the overall sum of collected signals.

skalk commented 3 weeks ago

Commit 4089b39 should fix this issue. However, it is quite hard to understand the current implementation, because of a somehow mismatch in between current user API and kernel syscall API of hw. To simplify the codebase, we should tweak the hw kernel API accordingly. I'll open an extra issue for that.