Open AccessBook
Operating Systems: Internals and Design Principles, 6/e
Reads0
Chats0
TLDR
This book presents the nature and characteristics of modern-day operating systems clearly and completely, and serves as both a basic reference and an up-to-date survey of the state of the art.Abstract:
Serving as both a basic reference and an up-to-date survey of the state of the art, this book covers the concepts, structure, and mechanisms of operating systems. Stallings presents the nature and characteristics of modern-day operating systems clearly and completely. Updated treatment of Windows as a case study to cover Windows Vista. Online animations with references incorporated throughout. A new chapter on Embedded Operating Systems. Part Six (Distributed Systems and Security) moved online, reducing the cost and size of the book without loss of content. Expanded coverage of security. New figures added, with many existing figures updated to enhance clarity. A useful reference for programmers, systems engineers, network designers and others involved in the design of computer products, information system and computer system personnel.read more
Citations
More filters
Proceedings ArticleDOI
A Conceptual Design of an Inattention Management Middleware with Adaptive Target Saliency
Max Nicosia,Per Ola Kristensson +1 more
TL;DR: The conceptual design integrates ideas from situational awareness into its mechanisms to provide dynamic target saliency as a means to guide operators through sub-tasks by drawing attention to high priority targets and guide operators on how to efficiently split their attention between tasks.
Semi-Contiguous Memory Allocation for Efficient Sequential-Access.
Elias G. Khalaf,Ralph Tucci +1 more
TL;DR: An algorithm for dynamic contiguous memory allocation in blocks that are as close as possible to each other, by minimizing interfering blocks – blocks that belong to previously allocated requests are devised.
Proceedings ArticleDOI
Algebra of Synchronization with Application to Deadlock and Semaphores
Ernesto Gomez,Keith E. Schubert +1 more
TL;DR: A formal definition and new general theory of synchronization is introduced and its applicability is illustrated by deriving basic deadlock properties, to show where the problem lies with semaphores and also to guide us in finding some simple modifications to semaphore that greatly ameliorate the problem.
Book ChapterDOI
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
TL;DR: In this paper, the authors present a new abstraction technique for the model-checking of real-time systems with multiple tasks, which enables the automatic and efficient analysis of the schedulability of realtime tasks for both preemptive and non-preemptive scheduling policies.
Proceedings ArticleDOI
Design and Object-oriented Implementation of an Intelligence Entity Sharing Pool
TL;DR: This paper is mainly focused on presenting the design ideas of the intelligence entity sharing pool in the following aspects: defining atomic intelligence entity and complex intelligence entity; designing an appropriate structure for storing atomic/complex intelligence entities; and designing mechanisms for composition and decomposition of intelligence entity/entities.