Operating System

"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.

The tenth edition of Operating System Concepts has been revised to keep it fresh and up-to-date with contemporary examples of how operating systems function, as well as enhanced interactive elements to improve learning and the student’s experience with the material. It combines instruction on concepts with real-world applications so that students can understand the practical usage of the content. End-of-chapter problems, exercises, review questions, and programming exercises help to further reinforce important concepts. New interactive self-assessment problems are provided throughout the text to help students monitor their level of understanding and progress. A Linux virtual machine (including C and Java source code and development tools) allows students to complete programming exercises that help them engage further with the material. The Print Companion includes all of the content found in a traditional text book, organized the way you would expect it, but without the problems.

What do we mean when we talk about “the State”? Multiple polls show a growing disillusionment with the State and representative government as vehicles for progressive change, and particularly as means to tame capitalism, let alone as a basis for seeing beyond it. In a quick and readable format, Eric Laursen proposes thinking about the State in an entirely new way—not simply as government or legal institutions, but as humanity’s analog to a computer operating system—opening up a new interpretation of the system of governance that emerged in Europe five-hundred years ago and now drives almost every aspect of human society. He also demonstrates powerfully why humanity’s life-and-death challenges—including racism, climate change, and rising economic exploitation—cannot be addressed as long as the State continues to exercise dominion.

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.

How social networks, the personalized Internet, and always-on mobile connectivity are transforming—and expanding—social life. Daily life is connected life, its rhythms driven by endless email pings and responses, the chimes and beeps of continually arriving text messages, tweets and retweets, Facebook updates, pictures and videos to post and discuss. Our perpetual connectedness gives us endless opportunities to be part of the give-and-take of networking. Some worry that this new environment makes us isolated and lonely. But in Networked, Lee Rainie and Barry Wellman show how the large, loosely knit social circles of networked individuals expand opportunities for learning, problem solving, decision making, and personal interaction. The new social operating system of “networked individualism” liberates us from the restrictions of tightly knit groups; it also requires us to develop networking skills and strategies, work on maintaining ties, and balance multiple overlapping networks. Rainie and Wellman outline the “triple revolution” that has brought on this transformation: the rise of social networking, the capacity of the Internet to empower individuals, and the always-on connectivity of mobile devices. Drawing on extensive evidence, they examine how the move to networked individualism has expanded personal relationships beyond households and neighborhoods; transformed work into less hierarchical, more team-driven enterprises; encouraged individuals to create and share content; and changed the way people obtain information. Rainie and Wellman guide us through the challenges and opportunities of living in the evolving world of networked individuals.

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—an urban OS. Luque-Ayala and Marvin argue that in order to understand how digital technologies transform and shape the city, it is necessary to analyze the underlying computational logics themselves. Drawing on fieldwork that stretches across eleven cities in American, European, and Asian contexts, they investigate how digital products, services, and ecosystems are reshaping the ways in which the city is imagined, known, and governed. They discuss the reconstitution of the contemporary city through digital technologies, practices, and techniques, including data-driven governance, predictive analytics, digital mapping, urban sensing, digitally enabled control rooms, civic hacking, and open data narratives. Focusing on the relationship between the emerging operating systems of the city and their traditional infrastructures, they shed light on the political implications of using computer technologies to understand and generate new urban spaces and flows.

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.

Operating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build "secure" operating systems - operating systems whose mechanisms protect the system against a motivated adversary. Recently, the importance of ensuring such security has become a mainstream issue for all operating systems. In this book, we examine past research that outlines the requirements for a secure operating system and research that implements example systems that aim for such requirements. For system designs that aimed to satisfy these requirements, we see that the complexity of software systems often results in implementation challenges that we are still exploring to this day. However, if a system design does not aim for achieving the secure operating system requirements, then its security features fail to protect the system in a myriad of ways. We also study systems that have been retrofit with secure operating system features after an initial deployment. In all cases, the conflict between function on one hand and security on the other leads to difficult choices and the potential for unwise compromises. From this book, we hope that systems designers and implementors will learn the requirements for operating systems that effectively enforce security and will better understand how to manage the balance between function and security. Table of Contents: Introduction / Access Control Fundamentals / Multics / Security in Ordinary Operating Systems / Verifiable Security Goals / Security Kernels / Securing Commercial Operating Systems / Case Study: Solaris Trusted Extensions / Case Study: Building a Secure Operating System for Linux / Secure Capability Systems / Secure Virtual Machine Systems / System Assurance