Contents
1 Introduction 1
2 Kernel Services and Objects 2
2.1 Capability-based Access Control . . . . . . . . . . . . . . . . . . . . . . 2
2.2 System Calls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Kernel Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.4 Kernel Memory Allocation . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4.1 Reusing Memory . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4.2 Summary of Object Sizes . . . . . . . . . . . . . . . . . . . . . . 8
3 Capability Spaces 10
3.1 Capability and CSpace Management . . . . . . . . . . . . . . . . . . . . 11
3.1.1 CSpace Creation . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.1.2 CNode Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.1.3 Capabilities to Newly-Retyped Objects . . . . . . . . . . . . . . . 12
3.1.4 Capability Rights . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.1.5 Capability Derivation Tree . . . . . . . . . . . . . . . . . . . . . 13
3.2 Deletion and Revocation . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.3 CSpace Addressing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.3.1 Capability Address Lookup . . . . . . . . . . . . . . . . . . . . . 15
3.3.2 Addressing Capabilities . . . . . . . . . . . . . . . . . . . . . . . 16
3.4 Lookup Failure Description . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4.1 Invalid Root . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4.2 Missing Capability . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4.3 Depth Mismatch . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.4.4 Guard Mismatch . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1
评论0