This book is an introduction to the design and implementation of operating systems using OSP 2. Coverage details process and thread management; memory, resource and I/0 device management; and interprocess communication.

OSP 2 is both an implementation of a modern operating system and a flexible environment for generating implementation projects appropriate for an introductory course in operating system design. 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.

Topics and Features: Process and thread management; Memory, Resource and I/0 device management; Interprocess communication; Gives opportunity to practice these skills in a realistic operating systems programming environment.

This book contains enough projects for up to 3 semesters, exposing students to many essential features of operating systems, while at the same time isolating them from low-level machine-dependent concerns. Thus, even in 1 semester, students can learn about page-replacement strategies in virtual memory management, CPU-scheduling strategies, disk seek-time optimization & other issues in operating system design.

Contains enough projects for up to 3 semesters These projects expose students to essential features of operating systems, whilst isolating them from low-level machine-dependent concerns An Instructors Manual details how to use the OSP Project Generator and sample assignments The OSP courseware itself is available to instructors A complementary website provides support for both students and instructors using OSP 2 Includes supplementary material: sn.pub/extras Request lecturer material: sn.pub/lecturer-material

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

Klappentext

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.

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