Secure CheckoutPersonal information is secured with SSL technology.
Free ShippingFree global shipping
No minimum order.
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.
List of Figures
List of Tables
1.2 Problem Statement
1.3 Technical Approach
1.5 Outline of the Book
2. Programming Abstractions
2.1 Basic Abstractions
2.2 Additional Abstractions
3. Kernel Interface
3.1 Support for Basic Abstractions
3.2 Support for Additional Abstractions
3.3 Supplementary Programming Constructs
4. Kernel Functional Design
4.1 Basic Mechanisms
4.2 Additional Mechanisms
4.3 Major Facilities
5. Kernel Detailed Design
5.1 Implementation Structure
5.2 Internal Data Structures
5.3 Details of Major Facilities
5.4 Details of Kernel Facilities
5.5 Resource Management Daemons
6.1 System Level Structure
6.2 Individual Node Structure
6.3 Processing Element Structure
6.4 Hardware Implications
7. Comparisons with Systems of Interest
Appendix A. Programming Language Extensions
- No. of pages:
- © Academic Press 1987
- 8th May 1987
- Academic Press
- eBook ISBN: