genode/base-linux
Alexander Boettcher f50d816555 base: fix dangling session pointers in rm_session
If page faults are handled concurrently (as for base-nova) the traverse lookup
call in rm_session_component must be thread safe, which it isn't.
If the faulting area is backed by nested dataspaces which are managed by
various rm_sessions then a race happens under following circumstances
(triggered occasionally by the bomb test).

The traverse lookup may return a pointer to a rm_session of a nested dataspace.
If the rm_session is in parallel subject to destruction it happened that faults
got enqueued to the faulters list of the deleted rm_session and internally to
a list of the current rm_session of the Rm_client.

During destruction of the faulting Rm_client the associated rm_session will
be dissolved from the Rm_client, which leads to dereferencing the
dangling pointer of the already destructed rm_session.

On base-nova the memory of the rm_session object get unmapped eventually, so
that the de-referencing of the dangling pointer caused page faults in core.

The memory on other kernels inside core never get unmapped so that the
bug doesn't trigger visible faults.

The patch replace the keeping of a rm_session pointer by keeping a
capability instead. The rm_session object must be looked up now explicitly in
the Object_pool implementation, which implements proper reference counting on
the rm_session object.

Issue #549
2013-02-11 12:01:26 +01:00
..
etc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
include base: add remove_client to rm_session 2013-02-11 12:01:25 +01:00
lib base-linux: use the Genode GCC's crt files 2012-12-21 14:54:21 +01:00
mk Hardening compilation support for 64bit Linux 2012-06-21 00:50:18 +02:00
run lx_hybrid_ctors: remove 'soname' link option 2013-01-28 11:34:14 +01:00
src base: fix dangling session pointers in rm_session 2013-02-11 12:01:26 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This repository contains the Linux-specific implementation of Genode.