Operating Systems (OS)


Here is an introduction to the course for those deciding whether to take it.

Instructors: Myungjin Lee (myungjin.lee AT ed.ac.uk, IF-1.03, Office hours: 11:00am-12:00pm on Mon and Thu or by appointment)

Teaching Assistant: Tom Spink (t.spink AT sms.ed.ac.uk, IF-1.34, Office hours: 10:00am-11:00am on Tue and Wed or by appointment)

Timings and Venue: Mondays and Thursdays, 10:00-10:50 in LG.09, David Hume Tower

Main Textbook: A. Silberschatz, P. Galvin and G. Gagne, "Operating System Concepts", 9th International student edition, John Wiley, 2013
Recommended: W. Stallings, "Operating Systems, Internals and Design Principles", 5th edition or later, Prentice Hall, 2005



Class Discussion: We will use Piazza for group discussion regarding coursework. Please visit http://piazza.com/ed.ac.uk/fall2014/os for guidelines.

Feedback: Summative feedback is given on the assessed coursework as detailed above. Formative feedback/forward is given by: question and answer during lectures; tutorial sessions in lecture slots held on demand; for the practical exercise, by Q&A on the class mailing list in order for students to check whether they are heading in the right direction; and by a scheduled session a few weeks before the exam.


Note: The contents of slides may undergo minor revisions. Please check the latest version before every class.

No. Date Topic Readings
1 Sept 15 Administrative Details [slides]
Intro [slides]

[Silberschatz] 1.1-1.4, 1.11
2 Sept 18 OS Operations [slides]
OS Component and Structure [slides]
[Silberschatz] 1.5, 2.3
[Silberschatz] 1.2, 2.1, 2.2.1, 2.7, 3.1
3 Sept 22 OS Component and Structure [slides] [Silberschatz] 1.2, 2.1, 2.2.1, 2.7, 3.1
4 Sept 25 Processes [slides]
[Silberschatz] 3.1, 3.3, 3.4, 3.6
5 Sept 29 Threads [slides]

Oct 2 Synchronization [slides]

7 Oct 6

8 Oct 9

9 Oct 13

10 Oct 16

11 Oct 20

Oct 23

Oct 27

Oct 30

Nov 3

Nov 6

Nov 10

Nov 13

Nov 17

Nov 20

Home : Teaching : Courses 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh