mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +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. |
||
|---|---|---|
| .. | ||
| base | ||
| cap_session | ||
| cpu | ||
| cpu_session | ||
| cpu_thread | ||
| dataspace | ||
| deprecated | ||
| drivers | ||
| io_mem_session | ||
| io_port_session | ||
| irq_session | ||
| log_session | ||
| parent | ||
| pd_session | ||
| ram_session | ||
| region_map | ||
| rm_session | ||
| rom_session | ||
| root | ||
| session | ||
| spec | ||
| thread | ||
| trace_session | ||
| util | ||
| README | ||
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.