Mechanisms for Reliable Distributed Real-Time Operating Systems
The Alpha Kernel
- 262 pages
- English
- PDF
- Available on iOS & Android
Mechanisms for Reliable Distributed Real-Time Operating Systems
The Alpha Kernel
About This Book
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.
Frequently asked questions
Information
Table of contents
- Front Cover
- Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel
- Copyright Page
- Table of Contents
- Preface
- Acknowledgments
- List of Figures
- List of Tables
- Chapter 1. Introduction
- Chapter 2. Programming Abstractions
- Chapter 3. Kernel Interface
- Chapter 4. Kernel Functional Design
- Chapter 5. Kernel Detailed Design
- Chapter 6. Hardware
- Chapter 7. Comparisons with Systems of Interest
- Appendix A. Programming Language Extensions
- References