Mechanisms for Reliable Distributed Real-Time Operating Systems (eBook)

The Alpha Kernel

J. Duane Northcutt (Autor)

W. Rheinboldt, D. Siewiorek (Herausgeber)

eBook Download: PDF

2014 | 1. Auflage
262 Seiten
Elsevier Science (Verlag)
978-1-4832-1892-2 (ISBN)

Infos

Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel deals with the Alpha kernel, a set of mechanisms that support the construction of reliable, modular, decentralized operating systems for real-time control applications. An initial snapshot of the kernel design and implementation is provided. Comprised of seven chapters, this volume begins with a background on the Alpha operating system kernel and its implementation, followed by a description of the programming abstractions created for the Alpha kernel. The third chapter defines the client interface provided by the kernel in support of the given programming abstractions, while the fourth chapter focuses on the functional design of the kernel. The hardware on which the kernel was constructed, as well as the implications of this hardware on the design and implementation of the kernel, is also examined. The final chapter compares Alpha with other relevant operating systems such as Hydra, Cronus, Eden, Argus, Accent, and Locus. This book will appeal to computer scientists, systems designers, and undergraduate and graduate students of computer science.

Inhalt

Front Cover 1
Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel 4
Copyright Page 5
Table of Contents 8
Preface 10
Acknowledgments 12
List of Figures 14
List of Tables 15
Chapter 1. Introduction 16
1.1 Background 16
1.2 Problem Statement 17
1.3 Technical Approach 27
1.4 Status 42
1.5 Outline of the Book 43
Chapter 2. Programming Abstractions 46
2.1 Basic Abstractions 48
2.2 Additional Abstractions 60
Chapter 3. Kernel Interface 82
3.1 Support for Basic Abstractions 82
3.2 Support for Additional Abstractions 87
3.3 Supplementary Programming Constructs 91
Chapter 4. Kernel Functional Design 92
4.1 Basic Mechanisms 93
4.2 Additional Mechanisms 111
4.3 Major Facilities 123
4.4 Optimizations 132
Chapter 5. Kernel Detailed Design 136
5.1 Implementation Structure 136
5.2 Internal Data Structures 139
5.3 Details of Major Facilities 148
5.4 Details of Kernel Facilities 173
5.5 Resource Management Daemons 184
Chapter 6. Hardware 188
6.1 System Level Structure 188
6.2 Individual Node Structure 190
6.3 Processing Element Structure 192
6.4 Hardware Implications 197
Chapter 7. Comparisons with Systems of Interest 206
7.1 Hydra 207
7.2 StarOS 212
7.3 Cronus 216
7.4 Eden 220
7.5 Argus 224
7.6 Accent 227
7.7 Locus 230
Appendix A. Programming Language Extensions 234
A.1 Keywords 234
A.2 Syntax 237
A.3 Example 239
References 251

Produkt-Details

• Erscheint lt. Verlag: 10.5.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• ISBN-10: 1-4832-1892-9 / 1483218929
• ISBN-13: 978-1-4832-1892-2 / 9781483218922