Analytical models of Operating Systems

Analytical models of Operating Systems

This is a course on analytical models of operating systems -- centralized, decentralized, networked, real-time, etc. Although operating systems may be approached differently by different authors, there is an identifiable core of knowledge which could be used as a framework to describe OS. In this we focus on the core via a number of analytical models already available and succesfully used in terh R&D community.

Lecture Notes
Course Outline

Lecture Notes 1: Basic Performance Models

Lecture Notes 2: Petri Net: Introduction

Lecture Notes 3: Introduction, architecture and scope

Lecture Notes 4: Models of Concurrent Processes - part 1

Lecture Notes 5: Models of Concurrent Processes - part-2

Lecture Notes 6: Concurrency, Synchronization, and mutual exclusion models: part 1

Lecture Notes 7: Deadlock

Lecture Notes 8: Processor Scheduling

Lecture Notes 9: List scheduling on multiple processors

Operating Systems Organization (Chapter 3)

Computer Systems Organization (Chapter 4)

Device Management: Part 1 (Chapter 5)

Device Management: Part 2 (Chapter 5b)

Processes, Threads, ... (Chapter 6: Part1)

Scheduling (Chapter 7)


Synchronization model: Part1 (Chapter 8)

Synchronization model: Part2 (Chapter 9)

Real Memory: (Chapter 11)

Virtual Memory: Part1 (Chapter 12)

Virtual Memory: Part2 (Chapter 12)
Lecture 4: Deadlock
Lecture 5: Scheduling models
Lecture 6: Real-time scheduling
Lecture 7: Performance models