Introduction to Operating System Design and Implementation: The OSP 2 Approach

ISBN-13: 9781846288425 / Angielski / Miękka / 2007 / 172 str.

Michael Kifer;Scott Smolka

Opis

This book is an introduction to the design and implementation of operating systems using OSP 2, the next generation of the highly popular OSP courseware for undergraduate operating system courses. Coverage details process and thread management; memory, resource and I/0 device management; and interprocess communication. The book allows students to practice these skills in a realistic operating systems programming environment. An Instructors Manual details how to use the OSP Project Generator and sample assignments. Even in one semester, students can learn a host of issues in operating system design.

Recenzje

From the reviews:

"This book is a manual for a hands-on computer science course on design principles and algorithms of modern operating systems. To convey essential features of today's operating systems, the authors have contrived an operating system framework, called OSP 2, written in Java, in order to assign projects that implement management of important operating system features." (Rainer Horsch, Zentralblatt MATH, Vol. 1130 (8), 2008)

Spis treści

Organization of OSP 2.- Putting it All Together: An Example Session with OSP 2.- Tasks: Management of Tasks (a.k.a. Processes).- Threads: Management and Scheduling of Threads.- Memory: Virtual Memory Management.- Devices: Scheduling of Disk Requests.- FileSys: The File System.- Ports: Interprocess Communication.- Resources: Resource Management.

O autorze

Scott Smolka is a professor of computer science at Stony Brook University. His research interests include concurrency theory, model checking, and systems biology, and he has over 100 refereed publications in these areas. He is on the editorial board of Software Tools for Technology, Formal Methods in System Design, and Transactions on Computational Logic. He is also co-founder and president of Reactive Systems, Inc., which makes the Reactis tool suite for the automated testing and validation of embedded control software.

Blurb

Understanding the main principles and algorithms underlying a modern operating system is essential in undergraduate computer science. The complexity of this subject, however, means that mastering it requires significant practical experience. This unique book accomplishes just that: it teaches introductory subjects in OS design and implementation through hands-on engagement with OSP 2, the next generation of the highly popular OSP courseware. 

This book exposes students to many essential features of operating systems while at the same time isolating them from low-level, machine-dependent concerns. With its accompanying software, the book contains enough projects for up to three semesters. Even one semester's study, however, suffices to cover page-replacement strategies in virtual memory management, CPU scheduling strategies, disk seek-time optimization and other issues in operating system design. 

Features include:

• Provides an opportunity to practice OS design and implementation skills in a realistic, flexible, and easy-to-use systems programming environment that promotes "active learning" and reinforces lecture material.

• OSP 2 is written in Java, so that students learn an object-oriented approach to OS design and implementation.

• Contains many pedagogical tools: chapter goals, internet support for students and instructors; OSP 2 courseware and an instructors' manual, which includes helpful tips for course instructors and sample assignments, is available at www.springer.com/978-1-84628-842-5.

• Each chapter includes self-contained explanations of the OS concepts underlying the student project for that chapter.

Written for undergraduates in a first operating systems course, this text provides essential foundations through the user-friendly, highly flexible OSP 2 courseware environment.