mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 04:25:21 +00:00
a3858bff3c
This patch improves the handling of the corner case where a client vanishes while a session request is in flight (CREATE_REQUESTED but not yet AVAILABLE). This corner case could be sporadically observed with the init_loop test on base-linux. In the original version, the session would eventually be delivered but never picked up by anyone. Such a stale session still uses resources that should better be released. In the new version, the parent checks for the liveliness of the client whenever a session is delivered. If there is no client of the session, a close request is immediately issued to the server. The session state must be preserved until the close requests has been answered.
This directory contains include files of interfaces that are exported by components to be used by other components. Each subdirectory corresponds to the component exporting the interface.