سازوکارهای سیستم‌عامل‌های توزیع‌شده‌ی بلادرنگِ قابل‌اطمینان ۲۰۱۴
Mechanisms for Reliable Distributed Real-Time Operating Systems 2014

سازوکارهای سیستم‌عامل‌های توزیع‌شده و بلادرنگ قابل‌اطمینان: هسته آلفا به بررسی هسته آلفا، مجموعه‌ای از سازوکارها می‌پردازد که از ساخت سیستم‌عامل‌های غیرمتمرکز، ماژولار و قابل‌اطمینان برای کاربردهای کنترل بلادرنگ پشتیبانی می‌کنند. تصویری اولیه از طراحی و پیاده‌سازی هسته ارائه شده است.

این مجلد که از هفت فصل تشکیل شده، با پیشینه‌ای درباره هسته سیستم‌عامل آلفا و پیاده‌سازی آن آغاز می‌شود و در ادامه، توصیفی از انتزاعات برنامه‌نویسی ایجاد شده برای هسته آلفا ارائه می‌کند. فصل سوم رابط کاربری مشتری ارائه شده توسط هسته را در پشتیبانی از انتزاعات برنامه‌نویسی معین، تعریف می‌کند، در حالی که فصل چهارم بر طراحی عملکردی هسته متمرکز است. سخت‌افزاری که هسته بر روی آن ساخته شده است، و همچنین پیامدهای این سخت‌افزار بر طراحی و پیاده‌سازی هسته نیز مورد بررسی قرار می‌گیرد. فصل پایانی آلفا را با سایر سیستم‌عامل‌های مرتبط مانند Hydra، Cronus، Eden، Argus، Accent و Locus مقایسه می‌کند.

این کتاب برای دانشمندان علوم کامپیوتر، طراحان سیستم و دانشجویان مقطع کارشناسی و کارشناسی ارشد رشته علوم کامپیوتر جذاب خواهد بود.

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.