Operating Systems

"This book is organized around three concepts fundamental to OS construction: virtualization (of CPU and memory), concurrency (locks and condition variables), and persistence (disks, RAIDS, and file systems"--Back cover.

This is a practical manual on operating systems, which describes a small UNIX-like operating system, demonstrating how it works and illustrating the principles underlying it. The relevant sections of the MINIX source code are described in detail, and the book has been revised to include updates in MINIX, which initially started as a v7 unix clone for a floppy-disk only 8088. It is now aimed at 386, 486 and pentium machines, and is based on the international posix standard instead of on v7. Versions of MINIX are now also available for the Macintosh and SPARC.

An exploration of the modest potentials and serious contradictions of reconfiguring urban life through computational operating systems. A new wave of enthusiasm for smart cities, urban data, and the Internet of Things has created the impression that computation can solve almost any urban problem. Subjecting this claim to critical scrutiny, in this book, Andrés Luque-Ayala and Simon Marvin examine the cultural, historical, and contemporary contexts in which urban computational logics have emerged. They consider the rationalities and techniques that constitute emerging computational forms of urbanization, including work on digital urbanism, smart cities, and, more recently, platform urbanism. They explore the modest potentials and serious contradictions of reconfiguring urban life, city services, and urban-networked infrastructure through computational operating systems.

Over the past two decades, there has been a huge amount of innovation in both the principles and practice of operating systems Over the same period, the core ideas in a modern operating system - protection, concurrency, virtualization, resource allocation, and reliable storage - have become widely applied throughout computer science. Whether you get a job at Facebook, Google, Microsoft, or any other leading-edge technology company, it is impossible to build resilient, secure, and flexible computer systems without the ability to apply operating systems concepts in a variety of settings. This book examines the both the principles and practice of modern operating systems, taking important, high-level concepts all the way down to the level of working code. Because operating systems concepts are among the most difficult in computer science, this top to bottom approach is the only way to really understand and master this important material.

An essential reader containing the 25 most important papers in the development of modern operating systems for computer science and software engineering. The papers illustrate the major breakthroughs in operating system technology from the 1950s to the 1990s. The editor provides an overview chapter and puts all development in perspective with chapter introductions and expository apparatus. Essential resource for graduates, professionals, and researchers in CS with an interest in operating system principles.

This book is designed for a one-semester operating-systems course for advanced undergraduates and beginning graduate students. Prerequisites for the course generally include an introductory course on computer architecture and an advanced programming course. The goal of this book is to bring together and explain current practice in operating systems. This includes much of what is traditionally covered in operating-system textbooks: concurrency, scheduling, linking and loading, storage management (both real and virtual), file systems, and security. However, the book also covers issues that come up every day in operating-systems design and implementation but are not often taught in undergraduate courses. For example, the text includes: Deferred work, which includes deferred and asynchronous procedure calls in Windows, tasklets in Linux, and interrupt threads in Solaris. The intricacies of thread switching, on both uniprocessor and multiprocessor systems. Modern file systems, such as ZFS and WAFL. Distributed file systems, including CIFS and NFS version 4. The book and its accompanying significant programming projects make students come to grips with current operating systems and their major operating-system components and to attain an intimate understanding of how they work.

The purpose of this workshop was to provide a general forum for distributed systems researchers. Special em- phasis was placed on research activities in distributed operating systems and management of distributed sys- stems. This volume includes a selection of the papers presented at the workshop. They focus on the illustration of existing concepts and solutions in distributed systems research and development, exemplified by case study analyses of various projects. The annex contains the position papers prepared for the panel discussions at the workshop.