Operating Systems (Fall 2015): Difference between revisions

From Soma-notes
No edit summary
Line 30: Line 30:
     <tr>
     <tr>
       <td>
       <td>
       <p>Sept. 10
       <p>Sept. 9
       </p>
       </p>
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 2|Lecture 2]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-intro.pdf Processes], [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-api.pdf Process API]
       <p>[[Operating Systems 2015F Lecture 2|Lecture 2]]: (Video only) [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-intro.pdf Processes], [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-api.pdf Process API]
       </p>
       </p>
       </td>
       </td>
Line 40: Line 40:
     <tr>
     <tr>
       <td>
       <td>
       <p>Sept. 12
       <p>Sept. 11
       </p>
       </p>
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 3|Lecture 3]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-mechanisms.pdf Limited Direct Execution]
       <p>[[Operating Systems 2015F Lecture 3|Lecture 3]]: (Video only) [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-mechanisms.pdf Limited Direct Execution]
       </p>
       </p>
       </td>
       </td>
Line 54: Line 54:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 4|Lecture 4]]:
       <p>[[Operating Systems 2015F Lecture 4|Lecture 4]]:
[http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched.pdf CPU Scheduling],
[http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched.pdf CPU Scheduling],
[http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-mlfq.pdf MLFQ]  </p>
[http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-mlfq.pdf MLFQ]  </p>
Line 65: Line 65:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 5|Lecture 5]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-lottery.pdf Lottery Scheduling], [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-multi.pdf Multi-CPU scheduling]
       <p>[[Operating Systems 2015F Lecture 5|Lecture 5]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-lottery.pdf Lottery Scheduling], [http://pages.cs.wisc.edu/~remzi/OSTEP/cpu-sched-multi.pdf Multi-CPU scheduling]
       </p>
       </p>
       </td>
       </td>
Line 75: Line 75:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 6|Lecture 6]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-intro.pdf Address Spaces], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-api.pdf Memory API]
       <p>[[Operating Systems 2015F Lecture 6|Lecture 6]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-intro.pdf Address Spaces], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-api.pdf Memory API]
       </p>
       </p>
       </td>
       </td>
Line 85: Line 85:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 7|Lecture 7]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-mechanism.pdf Address Translation], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-segmentation.pdf Segmentation]
       <p>[[Operating Systems 2015F Lecture 7|Lecture 7]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-mechanism.pdf Address Translation], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-segmentation.pdf Segmentation]
       </p>
       </p>
       </td>
       </td>
Line 95: Line 95:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 8|Lecture 8]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-freespace.pdf Free space management], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-paging.pdf Paging]
       <p>[[Operating Systems 2015F Lecture 8|Lecture 8]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-freespace.pdf Free space management], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-paging.pdf Paging]
       </p>
       </p>
       </td>
       </td>
Line 105: Line 105:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 9|Lecture 9]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-intro.pdf Concurrency and Threads], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-locks.pdf Locks]
       <p>[[Operating Systems 2015F Lecture 9|Lecture 9]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-intro.pdf Concurrency and Threads], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-locks.pdf Locks]
       </p>
       </p>
       </td>
       </td>
Line 115: Line 115:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 10|Lecture 10]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-locks-usage.pdf Concurrent Data Structures], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-api.pdf Thread API]
       <p>[[Operating Systems 2015F Lecture 10|Lecture 10]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-locks-usage.pdf Concurrent Data Structures], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-api.pdf Thread API]
       </p>
       </p>
       </td>
       </td>
Line 125: Line 125:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 11|Lecture 11]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-cv.pdf Condition Variables], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-sema.pdf Semaphores], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-bugs.pdf Concurrency Problems]
       <p>[[Operating Systems 2015F Lecture 11|Lecture 11]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-cv.pdf Condition Variables], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-sema.pdf Semaphores], [http://pages.cs.wisc.edu/~remzi/OSTEP/threads-bugs.pdf Concurrency Problems]
       </p>
       </p>
       </td>
       </td>
Line 135: Line 135:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 12|Lecture 12]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-tlbs.pdf TLBs], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-smalltables.pdf Smaller Tables]
       <p>[[Operating Systems 2015F Lecture 12|Lecture 12]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-tlbs.pdf TLBs], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-smalltables.pdf Smaller Tables]
       </p>
       </p>
       </td>
       </td>
Line 145: Line 145:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 13|Lecture 13]]: Midterm Review
       <p>[[Operating Systems 2015F Lecture 13|Lecture 13]]: Midterm Review
       </p>
       </p>
       </td>
       </td>
Line 165: Line 165:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Midterm solutions|Midterm solutions]]
       <p>[[Operating Systems 2015F Midterm solutions|Midterm solutions]]
       </p>
       </p>
       </td>
       </td>
Line 175: Line 175:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 14|Lecture 14]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-disks.pdf Hard Disk Drives],
       <p>[[Operating Systems 2015F Lecture 14|Lecture 14]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-disks.pdf Hard Disk Drives],
[http://pages.cs.wisc.edu/~remzi/OSTEP/file-intro.pdf File and Directories]
[http://pages.cs.wisc.edu/~remzi/OSTEP/file-intro.pdf File and Directories]
       </p>
       </p>
Line 186: Line 186:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 15|Lecture 15]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-journaling.pdf FSCK and Journaling]
       <p>[[Operating Systems 2015F Lecture 15|Lecture 15]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-journaling.pdf FSCK and Journaling]
       </p>
       </p>
       </td>
       </td>
Line 196: Line 196:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 16|Lecture 16]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-devices.pdf I/O Devices]
       <p>[[Operating Systems 2015F Lecture 16|Lecture 16]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-devices.pdf I/O Devices]
       </p>
       </p>
       </td>
       </td>
Line 206: Line 206:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 17|Lecture 17]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-implementation.pdf File System Implementation], [http://pages.cs.wisc.edu/~remzi/OSTEP/file-ffs.pdf FFS]
       <p>[[Operating Systems 2015F Lecture 17|Lecture 17]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-implementation.pdf File System Implementation], [http://pages.cs.wisc.edu/~remzi/OSTEP/file-ffs.pdf FFS]
       </p>
       </p>
       </td>
       </td>
Line 216: Line 216:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 18|Lecture 18]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-raid.pdf RAID], [http://pages.cs.wisc.edu/~remzi/OSTEP/file-lfs.pdf Log-structured FS] (optional readings)
       <p>[[Operating Systems 2015F Lecture 18|Lecture 18]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-raid.pdf RAID], [http://pages.cs.wisc.edu/~remzi/OSTEP/file-lfs.pdf Log-structured FS] (optional readings)
       </p>
       </p>
       </td>
       </td>
Line 226: Line 226:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 19|Lecture 19]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-integrity.pdf Data Integrity and Protection]
       <p>[[Operating Systems 2015F Lecture 19|Lecture 19]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/file-integrity.pdf Data Integrity and Protection]
       </p>
       </p>
       </td>
       </td>
Line 236: Line 236:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 20|Lecture 20]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-intro.pdf Distributed Systems], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-beyondphys.pdf Swapping: Mechanisms], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-beyondphys-policy.pdf Swapping: Policies]
       <p>[[Operating Systems 2015F Lecture 20|Lecture 20]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-intro.pdf Distributed Systems], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-beyondphys.pdf Swapping: Mechanisms], [http://pages.cs.wisc.edu/~remzi/OSTEP/vm-beyondphys-policy.pdf Swapping: Policies]


       </p>
       </p>
Line 247: Line 247:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 21|Lecture 21]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-nfs.pdf NFS], [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-afs.pdf AFS] (optional readings)
       <p>[[Operating Systems 2015F Lecture 21|Lecture 21]]: [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-nfs.pdf NFS], [http://pages.cs.wisc.edu/~remzi/OSTEP/dist-afs.pdf AFS] (optional readings)
       </p>
       </p>
       </td>
       </td>
Line 257: Line 257:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 22|Lecture 22]]: Assignment Solutions 1
       <p>[[Operating Systems 2015F Lecture 22|Lecture 22]]: Assignment Solutions 1
       </p>
       </p>
       </td>
       </td>
Line 267: Line 267:
       </td>
       </td>
       <td>
       <td>
       <p>[[Operating Systems 2014F Lecture 23|Lecture 23]]: Assignment Solutions 2
       <p>[[Operating Systems 2015F Lecture 23|Lecture 23]]: Assignment Solutions 2
       </p>
       </p>
       </td>
       </td>
     </tr>
     </tr>
</table>
</table>

Revision as of 17:44, 3 September 2015

Course Outline

Here is the course outline for COMP 3000: Operating Systems.

Lectures and Exams

This is currently all wrong!

Note that the topics below are primarily chapters from the class textbook, Operating Systems: Three Easy Pieces. Note that while introductory and summary dialogues are not linked below, they are worth reading for an informal take on the material.

Date

Topic

Sept. 2

Lecture 1: Introduction

Sept. 9

Lecture 2: (Video only) Processes, Process API

Sept. 11

Lecture 3: (Video only) Limited Direct Execution

Sept. 17

Lecture 4: CPU Scheduling, MLFQ

Sept. 19

Lecture 5: Lottery Scheduling, Multi-CPU scheduling

Sept. 24

Lecture 6: Address Spaces, Memory API

Sept. 26

Lecture 7: Address Translation, Segmentation

Oct. 1

Lecture 8: Free space management, Paging

Oct. 3

Lecture 9: Concurrency and Threads, Locks

Oct. 8

Lecture 10: Concurrent Data Structures, Thread API

Oct. 10

Lecture 11: Condition Variables, Semaphores, Concurrency Problems

Oct. 15

Lecture 12: TLBs, Smaller Tables

Oct. 17

Lecture 13: Midterm Review

Oct. 22

Midterm (in class)

Oct. 24

Midterm solutions

Nov. 5

Lecture 14: Hard Disk Drives, File and Directories

Nov. 7

Lecture 15: FSCK and Journaling

Nov. 12

Lecture 16: I/O Devices

Nov. 14

Lecture 17: File System Implementation, FFS

Nov. 19

Lecture 18: RAID, Log-structured FS (optional readings)

Nov. 21

Lecture 19: Data Integrity and Protection

Nov. 26

Lecture 20: Distributed Systems, Swapping: Mechanisms, Swapping: Policies

Nov. 28

Lecture 21: NFS, AFS (optional readings)

Dec. 3

Lecture 22: Assignment Solutions 1

Dec. 5

Lecture 23: Assignment Solutions 2