Skip to main content
  • Textbook
  • © 2007

Introduction to Operating System Design and Implementation

The OSP 2 Approach

  • 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

Part of the book series: Undergraduate Topics in Computer Science (UTICS)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XII
  2. Organization of OSP 2

    • Michael Kifer, Scott A. Smolka
    Pages 1-37
  3. Putting it All Together: An Example Session with OSP 2

    • Michael Kifer, Scott A. Smolka
    Pages 39-44
  4. Tasks: Management of Tasks (a.k.a. Processes)

    • Michael Kifer, Scott A. Smolka
    Pages 45-55
  5. Threads: Management and Scheduling of Threads

    • Michael Kifer, Scott A. Smolka
    Pages 57-73
  6. Memory: Virtual Memory Management

    • Michael Kifer, Scott A. Smolka
    Pages 75-101
  7. Devices: Scheduling of Disk Requests

    • Michael Kifer, Scott A. Smolka
    Pages 103-117
  8. FileSys: The File System

    • Michael Kifer, Scott A. Smolka
    Pages 119-141
  9. Ports: Interprocess Communication

    • Michael Kifer, Scott A. Smolka
    Pages 143-151
  10. Resources: Resource Management

    • Michael Kifer, Scott A. Smolka
    Pages 153-166
  11. Back Matter

    Pages 167-172

About this book

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.

Reviews

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)

Authors and Affiliations

  • State University of New York, Stony Brook, USA

    Michael Kifer, Scott A. Smolka

Bibliographic Information

  • Book Title: Introduction to Operating System Design and Implementation

  • Book Subtitle: The OSP 2 Approach

  • Authors: Michael Kifer, Scott A. Smolka

  • Series Title: Undergraduate Topics in Computer Science

  • DOI: https://doi.org/10.1007/1-84628-843-6

  • Publisher: Springer London

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag London Ltd., part of Springer Nature 2007

  • Softcover ISBN: 978-1-84628-842-5Published: 14 August 2007

  • eBook ISBN: 978-1-84628-843-2Published: 08 June 2007

  • Series ISSN: 1863-7310

  • Series E-ISSN: 2197-1781

  • Edition Number: 1

  • Number of Pages: XII, 172

  • Topics: Operating Systems

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access