The Design and Implementation of the Anykernel and Rump Kernels

14
2.3.3 InterruptsandPreemption................... 60
2.3.4 An Example ........................... 61
2.4 VirtualMemory............................. 62
2.5 Distributed Services with Remote Clients ............... 64
2.6 Summary ................................ 65
3 Implementation 67
3.1 Kernel Partitioning ........................... 67
3.1.1 Extracting and Implementing ................. 70
3.1.2 Providing Components ..................... 72
3.2 Running the Kernel in an Hosted Environment ............ 73
3.2.1 CSymbolNamespaces ..................... 74
3.2.2 PrivilegedInstructions ..................... 76
3.2.3 TheHypercallInterface .................... 77
3.3 RumpKernelEntryandExit ..................... 81
3.3.1 CPU Scheduling ......................... 84
3.3.2 InterruptsandSoftInterrupts................. 91
3.4 Virtual Memory Subsystem ...................... 93
3.4.1 Page Remapping ........................ 95
3.4.2 Memory Allocators ....................... 97
3.4.3 Pagedaemon........................... 99
3.5 Synchronization............................. 103
3.5.1 Passive Serialization Techniques ................ 105
3.5.2 Spinlocks on a Uniprocessor Rump Kernel .......... 109
3.6 Application Interfaces to the Rump Kernel .............. 112
3.6.1 SystemCalls .......................... 113
3.6.2 vnodeInterface ......................... 118
3.6.3 InterfacesSpecifictoRumpKernels.............. 120
3.7 RumpKernelRootFileSystem .................... 121
3.7.1 Extra-Terrestrial File System ................. 122