ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,917 Commits 8 Branches 38 Tags 41 MiB
653e14b74f
Commit Graph

185 Commits

Author SHA1 Message Date
Martin Stein
653e14b74f hw: adjust SIGNAL SLAB sizes to new conditions 
fix #950
 2013-11-18 11:01:45 +01:00
Martin Stein
909ab8dcd0 hw: communicate page faults via signals 
Enable routing of thread events to signal contexts via
Kernel::route_thread_event.

Replace Kernel::set_pager by Kernel::route_thread_event.

In base-hw a pager object is a signal context and a pager activation
is a signal receiver. If a thread wants to start communicating its page
faults via a pager object, the thread calls Kernel::route_thread_event with
its thread ID, event ID "FAULT", and the signal context ID of the pager object.
If a pager activation wants to start handling page faults of a pager object,
the pager activation assigns the corresponding signal context to its signal
receiver. If a pager activation wants to stop handling page faults of a pager
object, the pager activation dissolves the corresponding signal context from
its signal receiver. If a thread wants to start communicating its page faults
via a pager object, the thread calls Kernel::route_thread_event with its
thread ID, event ID "FAULT", and the invalid signal context ID.

Remove Kernel::resume_faulter.

Move all page fault related code from generic kernel sources to CPU
specific cpu_support.h and cpu_support.cc.

fix #935
 2013-11-14 19:57:31 +01:00
Martin Stein
ba52529bd6 hw: beautify scheduling-priority code 
ref #935
 2013-11-14 19:57:31 +01:00
Martin Stein
da49f86f5b hw: provide placement via dedicated header 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
15a56bd682 hw: provide and use syscall access_thread_regs 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
20e91d0b60 base: individual implementations of pager-object 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
d24ed9783b hw: get rid of kernel_support.cc 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
f4b46fe55c hw: move kernel.cc to core/kernel/ 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
9c1ae1f149 hw: no overloading of Signal_context constructor 
ref #935
 2013-11-14 19:57:30 +01:00
Martin Stein
47744e0019 hw: handle interrupts via signals 
fix #874
 2013-11-14 19:57:30 +01:00
Martin Stein
002a5b8978 hw: distinct pagefault and IPC message type 
ref #874
 2013-11-14 19:56:39 +01:00
Martin Stein
6f935af278 hw: communicate message type through UTCB 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
1e7eb4512e hw: manage UTCB through use-case specific structs 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
96bbca6191 hw: send reply size & receive request size by UTCB 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
45d37e275d hw: send request size through UTCB 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
6b9376bb01 hw: clean up interface of Kernel::Thread 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
ffb26eb501 hw: make syscall backend private to Kernel::Thread 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
5cd2f6ee0b hw: make Kernel::mtc() global 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
0bb6ffa98d hw: header and source file for Kernel::Vm 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
22d61c241e hw: remove useless function handle_invalid_excpt 
ref #874
 2013-11-14 19:56:38 +01:00
Martin Stein
059aba0916 hw: remove unused function handle_invalid_syscall 
ref #874
 2013-11-14 19:56:38 +01:00
Stefan Kalkowski
265ec48c20 hw: implement priority-based scheduling (fix #945) 2013-11-12 15:01:54 +01:00
Stefan Kalkowski
c95f11418a i.MX53: fit into u-boot's memory layout on tablet 
Fixes #917
 2013-10-22 08:00:14 +02:00
Martin Stein
c56927b76e hw: differ ID allocators even with same size 
Previously, if two ID allocators for different kernel objects had the
same size, the kernel-object framework managed both objects types
through the same allocator instance. This is caused by the use of
unsynchronized singletons in the accessor functions and can be avoided
by creating new types through inheritance instead of using typedefs.
Anyways, this fix is a little bit ugly and should replaced by avoiding
the use of unsynchronized singletons in the future.

fix #906
 2013-10-22 08:00:14 +02:00
Josef Söntgen
afdabe9df8 hw: enable performance counter on ARMv6 and ARMv7 
To actually enable the performance counter 'perf_counter' has to be
added to the SPECS make variable.

Fixes #893.
 2013-10-17 11:05:53 +02:00
Martin Stein
c117516296 hw: relax signal limits for resource_request test 
ref #912
 2013-10-16 09:26:11 +02:00
Martin Stein
f88fd35f22 hw: avoid upgrade need of 8192 in signal session 
ref #912
 2013-10-16 09:26:11 +02:00
Martin Stein
b5c6f2c260 hw: avoid generic exceptions in signal framework 
ref #912
 2013-10-16 09:26:11 +02:00
Martin Stein
bb9fa16a5e hw: throw expressive exceptions in signal session 
ref #912
 2013-10-16 09:26:11 +02:00
Martin Stein
0ad655f4be hw: return error code on IPC replies 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
ae76e441b1 hw: fix bug in Kernel::Thread::resume 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
b85126a638 hw: enable verbose thread starts 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
d961b9ae1e hw: enable multiple compilation units in kernel 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
d6d4938916 hw: fix bug in Kernel::yield_thread 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
6912e638fb hw: kill signal receivers 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
26db598fc0 hw: cancel waiting for IPC requests 
ref #899
 2013-10-16 09:26:10 +02:00
Martin Stein
327cdfdf36 hw: always remove RM client on thread destruction 
ref #589
 2013-09-26 16:09:56 +02:00
Martin Stein
36111587be hw: don't use assertions in Kernel::get_thread 
ref #589
 2013-09-26 16:09:56 +02:00
Martin Stein
e5ea660e2e hw: enable to destruct thread after its RM client 
ref #589
 2013-09-26 16:09:55 +02:00
Martin Stein
d86bf3db64 hw: destruct protection domains 
ref #589
 2013-09-26 16:09:55 +02:00
Martin Stein
a4f52bec19 hw: enable direct unmap 
ref #589
 2013-09-26 16:09:55 +02:00
Martin Stein
4f4738427d hw: release pagers from faulting threads 
ref #589
 2013-09-26 16:09:55 +02:00
Martin Stein
c3be0b417a hw: fix bug in Kernel::Thread::crash 
ref #589
 2013-09-26 16:09:55 +02:00
Martin Stein
a596fa56a6 hw: destruct scheduling contexts 
ref #589
 2013-09-26 15:58:05 +02:00
Martin Stein
52ec56c060 hw: destruct abstract interfaces of signal backend 
ref #589
 2013-09-26 15:58:05 +02:00
Martin Stein
611cd95eb3 hw: destruct IPC end-nodes 
ref #589
 2013-09-26 15:58:05 +02:00
Martin Stein
de87fa1b5c hw: avoid address overflow in Tlb::remove_region() 
ref #589
 2013-09-26 15:58:05 +02:00
Martin Stein
909c2dbc95 hw: remove note feature from IPC framework 
ref #589
 2013-09-26 15:58:04 +02:00
Martin Stein
349262a655 hw: handle pagefaults via IPC request/reply 
ref #589
 2013-09-26 15:58:04 +02:00
Martin Stein
6d03292a1e hw: destruct signal sessions 
ref #589
 2013-09-26 15:58:04 +02:00