Capability-Based Computer Systems (eBook)

Henry M. Levy (Autor)

eBook Download: PDF

2014 | 1. Auflage
236 Seiten
Elsevier Science (Verlag)
9781483101064 (ISBN)

Infos

Capability-Based Computer Systems focuses on computer programs and their capabilities. The text first elaborates capability- and object-based system concepts, including capability-based systems, object-based approach, and summary. The book then describes early descriptor architectures and explains the Burroughs B5000, Rice University Computer, and Basic Language Machine. The text also focuses on early capability architectures. Dennis and Van Horn's Supervisor; CAL-TSS System; MIT PDP-1 Timesharing System; and Chicago Magic Number Machine are discussed. The book then describes Plessey System 250, Cambridge CAP Computer, and Hydra System. The selection also discusses STAROS System and IBM System/38. STAROS object support and abstract type management, as well as IBM System/38 profiles and authority and programs/procedures, are described. The book highlights Intel iAPX 432, and then considers segment and objects, program execution, storage resources, and abstraction support. Problems related with capability-based architectures are also noted. The text is a good source for readers wanting to study computer programming.

Inhalt

Front Cover 1
Capability-Based Computer Systems 4
Copyright Page 5
Table of Contents 12
Chapter 1. Capability- and Object-Based System Concepts 20
Capability-Based Systems 22
The Object-Based Approach 32
Summary 36
For Further Reading 37
Chapter 2. Early Descriptor Architectures 40
Introduction 40
The Burroughs B5000 41
The Rice University Computer 44
The Basic Language Machine 49
Discussion 53
For Further Reading 57
Chapter 3. Early Capability Architectures 60
Introduction 60
Dennis and Van Horn's Supervisor 60
The MIT PDP-1 Timesharing System 66
The Chicago Magic Number Machine 67
The CAL-TSS System 71
Discussion 76
For Further Reading 80
Chapter 4. The Plessey System 250 84
Introduction 84
System Overview 85
Capability Addressing 85
Capability Register Usage 88
Inform and Outform Capabilities 88
Instructions and Addressing 90
Protected Procedure Calls 91
Operating System Resource Management 92
Input and Output 93
Discussion 94
For Further Reading 96
Chapter 5. The Cambridge CAP Computer 98
Introduction 98
Hardware Overview 98
CAP Process Structure 99
CAP Addressing Overview 100
Capabilities and Virtual Addresses 102
Process Data Structures 104
Memory Address Evaluation 105
Subprocess Creation 106
The Capability Unit 108
Protected Procedures 109
Long-Term Storage and Long-Term Names 114
Discussion 115
For Further Reading 118
Chapter 6. The Hydra System 122
Introduction 122
Hydra Overview 122
Hydra Objects and Types 124
Processes, Procedures, and Local Name Spaces 126
Hydra Operations 128
Capabilities and Rights 130
Supporting Protected Subsystems 132
Hydra Object Storage System 135
Capability Representation 139
Reference Counts and Garbage Collection 140
Discussion 141
For Further Reading 144
Chapter 7. The STAROS System 146
Overview of STAROS 146
STAROS Object Support 148
STAROS Capabilities 149
Object Addressing 150
STAROS Abstract Type Management 152
Discussion 153
For Further Reading 154
Chapter 8. The IBM System/38 156
Introduction 156
System Objects 158
Object Addressing 160
Profiles and Authority 166
Programs/Procedures 169
Special Privileges 173
Discussion 173
For Further Reading 176
Chapter 9. The Intel iAPX 432 178
Introduction 178
Segments and Objects 180
Object Addressing 182
Program Execution 186
Abstraction Support 192
Storage Resources 198
Instructions 201
Discussion 203
For Further Reading 205
Chapter 10. Issues in Capability-Based Architectures 206
Introduction 206
Segmentation 207
Storage of Capabilities 208
Capability Representation 210
Objects 214
Protected Procedures and Type Extension 215
Object Lifetimes and Garbage Collection 216
Object Locking 220
Revocation 221
Conclusions 222
Capability and Object System Bibliography 224
Index 238

Produkt-Details

• Erscheint lt. Verlag: 16.5.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Grafik / Design
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• ISBN-13: 9781483101064 / 9781483101064