T-Kernel Specification (1.B0.02)

Contents
1 T-Kernel Overview 1
1.1 Position of T-Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Scalability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Concepts Underlying the T-Kernel Specification 5
2.1 Meaning of Basic Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Task States and Scheduling Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.1 Task States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.2 Task Scheduling Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Interrupt Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Task Exception Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.5 System States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.5.1 System States While Nontask Portion Is Executing . . . . . . . . . . . . . . . . . 12
2.5.2 Task-Independent Portion and Quasi-Task Portion . . . . . . . . . . . . . . . . . 13
2.6 Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.7 Memory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.7.1 Address Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.7.2 Nonresident Memory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.7.3 Protection Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3 Common T-Kernel Specifications 17
3.1 Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.1 General Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.2 Other Defined Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 System Calls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2.1 System Call Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2.2 System Calls Possible from Task-Independent Portion . . . . . . . . . . . . . . . 19
3.2.3 Restricting System Call Invocation . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2.4 Modifying a Parameter Packet . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2.5 Function Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.6 Error Codes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.7 Timeout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.8 Relative Time and System Time . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3 High-Level Language Support Routines . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
iii