This article will continue to update, supplemented
-------------------------------------------------- --------
L4 Second Generation Microelectronics Side-off Document in January 1, 2005.
http://l4hq.org/docs/manuals/l4-x2-20041209.pdf
Performance Evaluation of L4 Second Generation Mini Nuclear Reference.
http://os.inf.tu-dresden.de/pubs/sosp97/
Logical Interface: Logical interface. Hardware-independent interface, data type.
Generic Binary Interface: General binary interface. The type of interface related to the hardware system, data type.
Generic Programming Interface: General program interface. Interface with the specific language.
Convenience Programming Interface: Convenience Program Interface.
Basic Data Type Basic Data Type WORD indicates a 32-bit number on a 32-bit system, with 64 digits on a 64-bit system.
Privileged Thread: Privileged Thread Some system calls can only be performed by privilege threads. Any thread with the init thread belongs to the same address space is a privileged thread.
Basic Kernel Interface: Basic Nuclear Interface
1.1 The kernel interface page is shared in all address spaces by page mapping, providing kernel information related to each address space. The kernel interface page cannot be mapped to other address space, nor can the kernel interface page in the current space in the current space.
2.1 Thread ThreadControl (privilege call) A privilege Thread, for example, Root Server can start or delete a thread by the call. At the time of creation, the thread can be Active or inactive (non-active). Non-active threads can be activated by active threads in a different address space after being created.
3 scheduling
3.1 Clock Whether the 32-bit platform is still a 64 platform, the clock variable is a 64-bit unsigned integer. The unit is one microsecond..
0.000 001 microsecond = 1 picose
0.001 microsecond = 1 nanosecond
1,000 microsecond = 1 millisecond
1,000,000 microsecond = 1 second
SystemClock gains the current system time. This call does not enter the kernel mode.
Threadswitch calls the thread to discard the processor to another thread.
Schedule controls a thread running policy.
This call only uses only if the schedule of the target thread is set to call the thread.
4 Address Space and Map FPAGE - is an address space. The FPAGE is minimized to equal than the minimum physical PAGE.
UNMAP - Unmaps the specified FPAGE.
SpaceControl - Configure the address space.
5 Inter-IPC process communication
5.1 Messages and Message Registers.
IPC (system call)
6 miscellaneous
6.1 Exception handling thread.
6.2 Parallel Processing Sign
6.3 Processoscontrol (privileged system call)
6.3 MemoryControl - Replace the properties of the specified FPAGE.
UTCB - User Level Thread Control Block - User Level Control Block