Lecture Notes on Operating Systems

Marvin Solomon

Contents

• Introduction
  • History
  • What is an OS For?
  • Bottom-up View
  • Top-Down View
  • Course Outline
• Notes on Java
• Processes and Synchronization
  • Using Processes
  • What is a Process?
  • Why Use Processes
  • Creating Processes
  • Process States
  • Synchronization
    • Race Conditions
    • Semaphores
    • The Bounded Buffer Problem
    • The Dining Philosophers
    • Monitors
    • Messages
  • Deadlock
    • Terminology
    • Deadlock Detection
    • Deadlock Recovery
    • Deadlock Prevention
    • Deadlock Avoidance
  • Implementing Processes
    • Implementing Monitors
    • Implementing Semaphores
    • Implementing Critical Sections
    • Short-term Scheduling
• Memory Management
  • Allocating Main Memory
    • Algorithms for Memory Management
    • Compaction and Garbage Collection
    • Swapping
  • Paging
    • Page Tables
    • Page Replacement
      • Frame Allocation for a Single Process
      • Frame Allocation for Multiple Processes
    • Paging Details
  • Segmentation
    • Multics
    • Intel x86
• Disks
• File Systems
  • The User Interface to Files
    • Naming
    • File Structure
    • File Types
    • Access Modes
    • File Attributes
    • Operations
  • The User Interface to Directories
  • Implementing File Systems
    • Files
    • Directories
    • Symbolic Links
    • Mounting
    • Special Files
    • Long File Names
    • Space Management
      • Block Size and Extents
      • Free Space
    • Reliability
      • Bad-block Forwarding
      • Back-up Dumps
      • Consistency Checking
      • Transactions
  • Performance
• Protection and Security
  • Security
    • Threats
      • The Trojan Horse
    • Design Principles
    • Authentication
  • Protection Mechanisms
    • Access Control Lists
    • Capabilities
  • Encryption
  • Key Distribution
  • Public Key Encryption