T-Kernel Specification (1.B0.02)

List of Figures
1.1 Position of T-Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.1 Task State Transitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Precedence in Initial State . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Precedence After Task B Goes To RUN State . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Precedence After Task B Goes To WAIT State . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 Precedence After Task B WAIT State Is Released . . . . . . . . . . . . . . . . . . . . . . 11
2.6 Classification of System States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.7 Interrupt Nesting and Delayed Dispatching . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.8 Address Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1 Behavior of High-Level Language Support Routine . . . . . . . . . . . . . . . . . . . . . 23
4.1 Multiple Tasks Waiting for One Event Flag . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.2 Format of Messages Using a Mailbox . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.3 Synchronous Communication by Message Buffer . . . . . . . . . . . . . . . . . . . . . . 116
4.4 Synchronous Communication Using Message Buffer of bufsz = 0 . . . . . . . . . . . . . 120
4.5 Rendezvous Operation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
4.6 Sample ADA-like Program Using select Statement . . . . . . . . . . . . . . . . . . . . . 135
4.7 Using Rendezvous to Implement ADA select Function . . . . . . . . . . . . . . . . . . . 136
4.8 Server Task Operation Using tk fwd por . . . . . . . . . . . . . . . . . . . . . . . . . . 141
4.9 Precedence Before Issuing tk rot rdq . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
4.10 Precedence After Issuing tk rot rdq (tskpri = 2) . . . . . . . . . . . . . . . . . . . . . 192
4.11 maker Field Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
4.12 prid Field Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
4.13 spver Field Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
4.14 T-Kernel Subsystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
4.15 Subsystems and Resource Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
5.1 Device Management Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226
xi