Read more
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.
List of contents
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.
About the author
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.
Summary
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.
Additional text
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)
Report
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)
