41eaff2cc6
This is an interim fix for issue #112. This patch extends the 'Capability_allocator' class with the ability to register the global ID of a Genode capability so that the ID gets associated with a process-local kernel capability. Whenever a Genode capability gets unmarshalled from an IPC message, the capability-allocator is asked, with the global ID as key, whether the kernel-cap already exists. This significantly reduces the waste of kernel-capability slots. To circumvent problems of having one and the same ID for different kernel objects, the following problems had to be solved: * Replace pseudo IDs with unique ones from core's badge allocator * When freeing a session object, free the global ID _after_ unmapping the kernel object, otherwise the global ID might get re-used in some process and the registry will find a valid but wrong capability for the ID Because core aggregates all capabilities of all different processes, its capability registry needs much more memory compared to a regular process. By parametrizing capability allocators differently for core and non-core processes, the global memory overhead for capability registries is kept at a reasonable level.
56 lines
2.1 KiB
PHP
56 lines
2.1 KiB
PHP
TARGET = core
|
|
REQUIRES = foc
|
|
LIBS = cxx ipc heap core_printf process pager lock raw_signal raw_server
|
|
|
|
LD_TEXT_ADDR = 0x140000
|
|
|
|
GEN_CORE_DIR = $(BASE_DIR)/src/core
|
|
|
|
SRC_CC = main.cc \
|
|
multiboot_info.cc \
|
|
ram_session_component.cc \
|
|
ram_session_support.cc \
|
|
rom_session_component.cc \
|
|
cpu_session_component.cc \
|
|
pd_session_component.cc \
|
|
io_mem_session_component.cc \
|
|
io_mem_session_support.cc \
|
|
thread.cc \
|
|
thread_bootstrap.cc \
|
|
thread_start.cc \
|
|
platform_thread.cc \
|
|
platform_pd.cc \
|
|
platform.cc \
|
|
dataspace_component.cc \
|
|
rm_session_component.cc \
|
|
rm_session_support.cc \
|
|
io_port_session_component.cc \
|
|
irq_session_component.cc \
|
|
signal_session_component.cc \
|
|
signal_source_component.cc \
|
|
dump_alloc.cc \
|
|
context_area.cc \
|
|
cap_session_component.cc \
|
|
cpu_session_extension.cc \
|
|
pd_session_extension.cc
|
|
|
|
INC_DIR += $(REP_DIR)/src/core/include \
|
|
$(GEN_CORE_DIR)/include
|
|
|
|
vpath main.cc $(GEN_CORE_DIR)
|
|
vpath multiboot_info.cc $(GEN_CORE_DIR)
|
|
vpath ram_session_component.cc $(GEN_CORE_DIR)
|
|
vpath rom_session_component.cc $(GEN_CORE_DIR)
|
|
vpath cpu_session_component.cc $(GEN_CORE_DIR)
|
|
vpath pd_session_component.cc $(GEN_CORE_DIR)
|
|
vpath rm_session_component.cc $(GEN_CORE_DIR)
|
|
vpath signal_session_component.cc $(GEN_CORE_DIR)
|
|
vpath io_mem_session_component.cc $(GEN_CORE_DIR)
|
|
vpath io_mem_session_support.cc $(GEN_CORE_DIR)
|
|
vpath dataspace_component.cc $(GEN_CORE_DIR)
|
|
vpath dump_alloc.cc $(GEN_CORE_DIR)
|
|
vpath context_area.cc $(GEN_CORE_DIR)
|
|
vpath thread.cc $(REP_DIR)/src/base/thread
|
|
vpath thread_bootstrap.cc $(REP_DIR)/src/base/thread
|
|
vpath %.cc $(REP_DIR)/src/core
|