ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: workaround deadlock in core

Browse Source 
Issue #2044
This commit is contained in:
Alexander Boettcher 2016-07-25 14:44:36 +02:00 committed by Christian Helmuth
parent b57c33159f
commit 9988089862
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
repos/base-sel4/src/core/include/vm_space.h
View File

@ -238,7 +238,7 @@ class Genode::Vm_space
* *
* \throw Alloc_page_table_failed * \throw Alloc_page_table_failed
*/ */
void _alloc_and_map_page_table(addr_t to_virt) void _alloc_and_map_page_table(addr_t to_virt, bool core_vm)
{ {
/* allocate page-table selector */ /* allocate page-table selector */
unsigned const pt_idx = _sel_alloc.alloc(); unsigned const pt_idx = _sel_alloc.alloc();
@ -246,11 +246,21 @@ class Genode::Vm_space
/* XXX account the consumed backing store */ /* XXX account the consumed backing store */
try { try {
/* XXX evil manual unlock/lock pattern */
if (core_vm)
_lock.unlock();
create<Page_table_kobj>(_phys_alloc, create<Page_table_kobj>(_phys_alloc,
_leaf_cnode(pt_idx).sel(), _leaf_cnode(pt_idx).sel(),
_leaf_cnode_entry(pt_idx)); _leaf_cnode_entry(pt_idx));
} catch (...) { throw Alloc_page_table_failed(); } if (core_vm)
_lock.lock();
} catch (...) {
if (core_vm)
_lock.lock();
throw Alloc_page_table_failed();
}
Cap_sel const pt_sel(_idx_to_sel(pt_idx)); Cap_sel const pt_sel(_idx_to_sel(pt_idx));
@ -349,7 +359,7 @@ class Genode::Vm_space
/* check if we need to add a page table to core's VM space */ /* check if we need to add a page table to core's VM space */
if (!_page_table_registry.has_page_table_at(to_virt + offset)) if (!_page_table_registry.has_page_table_at(to_virt + offset))
_alloc_and_map_page_table(to_virt + offset); _alloc_and_map_page_table(to_virt + offset, !flush_support);
if (_map_page(from_phys + offset, to_virt + offset, flush_support)) if (_map_page(from_phys + offset, to_virt + offset, flush_support))
continue; continue;
@ -360,7 +370,7 @@ class Genode::Vm_space
" -> ", Hex(to_virt + offset)); " -> ", Hex(to_virt + offset));
_page_table_registry.forget_page_table_entry(to_virt + offset); _page_table_registry.forget_page_table_entry(to_virt + offset);
_alloc_and_map_page_table(to_virt + offset); _alloc_and_map_page_table(to_virt + offset, !flush_support);
_map_page(from_phys + offset, to_virt + offset, flush_support); _map_page(from_phys + offset, to_virt + offset, flush_support);
} }