Clock and timer services...........................................................................................................55
Time correction.............................................................................................................56
Timers..........................................................................................................................56
Interrupt handling....................................................................................................................59
Interrupt latency...........................................................................................................59
Scheduling latency........................................................................................................60
Nested interrupts..........................................................................................................60
Interrupt calls...............................................................................................................61
Chapter 3: Interprocess Communication (IPC)........................................................................................65
Synchronous message passing...................................................................................................66
Message copying......................................................................................................................68
Simple messages.....................................................................................................................71
Channels and connections........................................................................................................72
Pulses.....................................................................................................................................74
Priority inheritance and messages..............................................................................................75
Server boost.................................................................................................................75
Message-passing API................................................................................................................77
Robust implementations with Send/Receive/Reply.......................................................................78
Events....................................................................................................................................80
I/O notification..............................................................................................................81
Signals....................................................................................................................................82
Special signals..............................................................................................................83
Summary of signals.......................................................................................................85
POSIX message queues............................................................................................................88
Shared memory........................................................................................................................90
Shared memory with message passing.............................................................................90
Creating a shared-memory object....................................................................................91
mmap()
.....................................................................................................................92
Typed memory.........................................................................................................................96
Implementation-defined behavior....................................................................................96
Practical examples......................................................................................................100
Pipes and FIFOs....................................................................................................................102
Chapter 4: The Instrumented Microkernel............................................................................................103
Instrumentation at a glance.....................................................................................................104
Event control.........................................................................................................................105
Modes of emission......................................................................................................105
Ring buffer.................................................................................................................106
Data interpretation.................................................................................................................107
System analysis with the IDE.......................................................................................108
Proactive tracing....................................................................................................................109
Chapter 5: Multicore Processing.........................................................................................................111
Asymmetric multiprocessing (AMP)..........................................................................................112
Symmetric multiprocessing (SMP)...........................................................................................113
Contents
