genode/repos/os/src/lib
Norman Feske f0c4fc1e22 sandbox: defer requests for upcoming server
The sandbox library supports the forwarding of session requests from the
outside to one of the hosted children according to a policy. This patch
introduces the distinction between two cases, which previously triggered
the denial of the session request.

- There exists no matching policy for the requested session
- There exists a matching policy but the referred server child
  does not exist (yet)

Whereas the proper response to the first case is the denial of the
request, the second case can occur in situation where a dynamic init is
used to implement a staged startup, for example via the deploy
mechanism. In such cases, a policy may exist as a static rule while the
server has not been started yet. This patch changes the behavior such
that such requests are stalled.

The patch is accompanied with test cases for exercising both situations.

Fixes #3733
2020-04-21 14:52:29 +02:00
..
blit os: increase throughput of blit for ARM 64-bit 2020-02-04 16:01:35 +01:00
net Remove dead code 2019-12-19 16:59:03 +01:00
sandbox sandbox: defer requests for upcoming server 2020-04-21 14:52:29 +02:00
trace/policy trace: log_output policy that redirects logs to trace 2020-04-17 12:47:35 +02:00
vfs vfs/ram: avoid 2x mutex releases in guard 2020-04-17 12:40:12 +02:00