ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

core: Handle disappearing managed dataspaces 

This patch adds the consideration of suddenly disappearing managed
dataspaces in the 'Rm_session_component::reverse_lookup' function.
Previously, this case resulted in a seamingly valid translation.

Fixes #701
This commit is contained in:
Norman Feske 2013-03-27 12:19:53 +01:00
parent ae1985bde2
commit 2bbe840597
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
base/src/core/rm_session_component.cc
View File

@ -723,16 +723,19 @@ bool Rm_session_component::reverse_lookup(addr_t dst_base,
/* constrain source fault area by the source dataspace dimensions */
src_fault_area->constrain(src_base, (*src_dataspace)->size());
bool lookup = src_fault_area->valid() && dst_fault_area->valid();
if (!lookup)
return lookup;
if (!src_fault_area->valid() || !dst_fault_area->valid())
return false;
/* lookup and lock nested dataspace if required */
Native_capability session_cap = (*src_dataspace)->sub_rm_session();
*sub_rm_session = dynamic_cast<Rm_session_component *>(_session_ep->lookup_and_lock(session_cap));
if (session_cap.valid()) {
*sub_rm_session = dynamic_cast<Rm_session_component *>(_session_ep->lookup_and_lock(session_cap));
return (*sub_rm_session != 0);
}
return lookup;
/* loop refer to leaf */
*sub_rm_session = 0;
return true;
}