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
Book ChapterDOI
A family of distributed deadlock avoidance protocols and their reachable state spaces
TL;DR: A family of efficient distributed deadlock avoidance algorithms that subsumes previously known solutions as special instances are presented and it is proved that they all have the same set of reachable states, expressed by a global invariant.
Book ChapterDOI
A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks
Freek Verbeek,Julien Schmaltz +1 more
TL;DR: This work defines a necessary and sufficient condition that captures Duato's intuition but that is more intuitive and leads to a simpler proof, and uses the ACL2 theorem proving system to formalize the condition and its proof.
Proceedings ArticleDOI
QoS-Oriented Capacity Provisioning in Storage Clusters by Modeling Workload Patterns
Cheng Hu,Yuhui Deng +1 more
TL;DR: Experimental results demonstrate that the proposed mechanism significantly reduces the energy consumption of a typical storage cluster, while meeting the QoS requirements, and significantly outperforms two classic and two state-of-the-art capacity provisioning mechanisms.
Proceedings ArticleDOI
A process-scheduling simulator based on virtual reality technology
Marcelo de Paiva Guimarães,Vagner Scamati,Mário Popolin Neto,Valéria Farinazzo Martins,Diego Roberto Colombo Dias,José Remo Ferreira Brega +5 more
TL;DR: This paper presents a process-scheduling simulator based on virtual reality technology that allows students to develop their empirical skills while learning process- scheduling algorithms.
Proceedings ArticleDOI
Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems
TL;DR: This paper proposes a parallelism viewpoint to optimize the use of parallelism by eliminating unnecessarily used threads in legacy systems, and uses the viewpoint to analyze threads suitable to be replaced with a small sized thread pool in this system.