Dijkstra E.W. My Recollections of Operating Systems Design

Питер, 2006 г. , 576 стр. Второе издание классического труда Эндрю Таненбаума "Operating System: Design and Implementation" - это единственный в своем роде учебник, в котором успешно сочетаются теория и практика построения операционных систем. В ней подробно описываются процессы и межпроцессорное взаимодействие, семафоры, мониторы, передача сообщений, алгоритмы работы планировщика, ввод/вывод, разрешение тупиковых ситуаций, драйверы устройств, ал...

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design – thus making explicit that which is too often le...

CmpBook. 306 стр. Second Edition. Sample Code. Real-Time Systems Concepts. Kernel Structure. Task Management. Time Management. Intertask Communication and Synchronization. Memory Management. Porting µC/OS-II. 80x86 Large Model Port. Upgrading from µC/OS to µC/OS-II. Reference Manual. Configuration Manual. Example Source Code. µC/OS-II Microprocessor Independent Source Code. 80x86 Real-Mode, Large Model Source Code. TO and HPLISTC. Bib...

CMPBooks, 2002, 606p. This book is intended for embedded system programmers, consultants and students interested in real-time operating systems. ?C/OS-II is a high performance, deterministic real-time kernel and can be embedded in commercial products (see Appendix F, Licensing). Instead of writing your own kernel, you should consider ?C/OS-II. You will find, as I did, that writing a kernel is not as easy as it first looks.

7-th Edition. John Wiley & Sons Inc., 2005, - 435 pages. This book covers all aspects of building the operating systems which are an essential part of any computer system. Process Management Memory Management Storage Management Protection and Security Distributed Systems Special Purpose Systems Case Studies