Operating systems2011/12
This course explains the working of the fundamental components of a modern operating system.
News
-
Results of the Operating system written test of January, 16th 2013 and oral test calendar
The results of the Operating systems written test of 16/1 and the oral tests calendar are available.
-
Office hours for the spring semester
Office hours for the spring semester will be on Thursday, 15:00 to 17:00 in the teacher's office, starting from 24/1.
-
Details on the Operating systems written test of 16/1/2013
The written test of 16/1 will take place in aula V2 in via Venezian at 9:30
Earlier news (24)
-
Results of the Operating system written test of November, 26th 2012 and oral test calendar
The results of the Operating systems written test of 26/11 and the oral tests calendar are available.
-
Catch-up of the September Operating systems written test
The written test of september will made up on 26/11 in aula 208 in via Celoria at 13:30
-
Results of the Operating system written test of October, 8th 2012 and oral test calendar
The results of the Operating systems written test of 8/10 and the oral tests calendar are available.
-
Details on the Operating systems written test of 8/10/2012
The written test of 8/10 will take place in aula G24 in via Golgi at 14:30
-
Cancellation of the Operating systems September exam session
The exam session of September is canceled for reasons beyond the control of the teacher and will be made up at t later date.
-
Results of the Operating system written test of July, 23 2012 and oral test calendar
The results of the Operating systems written test of 23/7 and the oral tests calendar are available.
-
Place and time of the Operating systems written test of July 23, 2012
The Operating systems written test of 23/7 will take place in aula beta in Via Comelico 39 starting from 8:30.
-
Results of the Operating system written test of July, 6 2012 and oral test calendar
The results of the Operating systems written test of 6/7 and the oral tests calendar are available.
-
Place and time of the Operating systems written test of July 6, 2012
The Operating systems written test of 6/7 will take place in aula beta in Via Comelico 39 starting from 8:30.
-
Results of the Operating system written test of June, 14 2012 and oral test calendar
The results of the Operating systems written test of 14/6 and the oral tests calendar are available.
-
Place and time of the Operating systems written test of June 14, 2012
The Operating systems written test of 14/6 will take place in aula beta in Via Comelico 39 starting from 8:30.
-
Office hours canceled
Regular office hour are canceled until next semester; students can arrange an appointment via e-mail.
-
Suspension of the Operating systems lessons
The Operating systems classes of Tuesday are canceled until May 1 (included). Instead, the Thursday lessons will be held regularly.
-
Office hour suspension
Because of the next meeting of the Division council and the Easter holidays, the office hours up to 13/4 will take place by appointment.
-
Office hours canceled
Office hour on Mar 21 are canceled; students can arrange an appointment via e-mail.
-
Change in the Operating systems lectures' calendar
Starting from 6/3, Tuesday classes of Operating Systems will be held in aula G08 in Via Golgi.
-
Office hours canceled
Office hour between Feb 29 and Mar 7 (included) are canceled; students can arrange an appointment via e-mail.
-
Office hour for the spring semester
Office hour for the spring semester will be on Tuesday, 14:30 to 16:00.
-
Beginning of the Operating systems classes
The Operating systems classes will start by 28/2.
-
Office hours canceled
Office hours of 19/01 are canceled; students can arrange an appointment via e-mail.
-
Office hour change
Office hour for this week will be on Friday 13 at 10:30.
-
Office hours change
Today office hours will be held at 16:30.
-
Office hours canceled
Office hours of 6/10 are canceled; students can arrange an appointment via e-mail.
-
Semester for the Operating systems course
The class of Operating systems will be delivered in the spring semester.
Course schedule
Lectures will take place at the educational sector of Città studi, according to the following schedule:
| Day | Hour | Place |
|---|---|---|
| Tuesday | 13:30 - 15:30 | aula 403 G08 (via Golgi) |
| Thursday | 8:30 - 10:30 | aula 405 (via Celoria) |
Any change to the schedule will be announced in class and published in paragraph News of this page. In particular, the Tuesday lesson will occasionally be held from 13:30 to 16:30.
Office hours
By appointment, room 5015 of the Computer Science Department.
It is possible contact the teacher by e-mail, taking care to read in advance the guide prepared by Prof. Sebastiano Vigna and clearly specifying in the message the course name and the academic year. In particular, students are encouraged to always use their academic address (i.e. based on the domain studenti.unimi.it) signing with name and student ID number and recalling that the response time may vary depending on the teacher commitments.
Course material
The course is mainly based on the following textbook: A. Silberschatz, P. B. Galvin, G. Gagne, Operating Systems Concepts, 8th Edition, International Student Version, Wiley, 2009 (ISBN 978 - 0-470-23399-3).
Students who are not familiar with the C programming language may refer to the historical text: B. W. Kernighan, D. M. Ritchie, The C Programming language, Prentice Hall, 1988 (ISBN 0-13-110362-8). A more in-depth text is K. N. King, C Programming - A Modern Approach, second edition, W. W. Norton (ISBN 978-0-393-97950-3).
Multi-process code is covered by the textbook and the paper Delve into UNIX process creation.
C sockets are covered by the howto Sockets tutorial.
Shell scripts are explained in the tutorial BashGuide.
Syllabus
The course explains the topics listed in the lecture calendar, covering the textbook contents in chapters 1 to 6 (until section 6.6 included), 7 to 9 (excluding sections 9.7 and 9.8), 10, 11 (until section 11.6 excluded), 12 (until section 12.5 included), as well as the contents of the remaining documents listed in Course material.
Lectures calendar
| Lecture | Date | Topic | Material |
|---|---|---|---|
| L01 | Course introduction | ||
| L02 | 01/03/2012 | Review of computer architecture | |
| L03 | 06/03/2012 | Introduction to the C language | |
| L04 | 08/03/2012 | Operating systems structures | |
| L05 | 13/03/2012 | Concurrent processes | |
| L06 | 15/03/2012 | Process management | |
| L07 | 20/03/2012 | Shared memory, sockets and pipes | |
| L08 | 22/03/2012 | Threads | |
| L09 | 27/03/2012 | CPU management | |
| L10 | 29/03/2012 | CPU management | |
| L11 | 03/04/2012 | Synchronization | |
| L12 | 12/04/2012 | Semaphores | |
| L13 | 19/04/2012 | Deadlock detection and prevention | |
| L14 | 26/04/2012 | Deadlock avoidance | |
| L15 | 03/05/2012 | Deadlock removal. Memory management | |
| L16 | 08/05/2012 | Contiguous memory allocation. Pagination | |
| L17 | 10/05/2012 | Pagination and segmentation | |
| L18 | 15/05/2012 | Virtual memory, évaluation de l'enseignement | |
| L19 | 17/05/2012 | Virtual memory | |
| L20 | 22/05/2012 | File system | |
| L21 | 24/05/2012 | Directory structure and protection | |
| L22 | 29/05/2012 | File system implementation | |
| L23 | 31/05/2012 | Shell script | |
| L24 | 05/06/2012 | Shell script |