INFO0940-1

Duration

30h Th, 6h Pr, 30h Proj.

Number of credits

	Bachelor of Science (BSc) in Computer Science	5 crédits
	Master MSc. in Computer Science, professional focus in computer systems security	5 crédits
	Master MSc. in Computer Science, professional focus in computer systems security (double diplômation avec HEC)	5 crédits
	Master MSc. in Computer Science and Engineering, professional focus in management	5 crédits
	Master Msc. in computer science and engineering, professional focus in intelligent systems	5 crédits
	Master Msc. in computer science and engineering, professional focus in intelligent systems (double diplômation avec HEC)	5 crédits
	Master MSc. in Computer Science, professional focus in management	5 crédits
	Master MSc. in Computer Science and Engineering, professional focus in computer systems and networks	5 crédits
	Master MSc. in Computer Science and Engineering, professional focus in computer systems and networks (double diplômation avec HEC)	5 crédits
	Master MSc. in Computer Science, professional focus in intelligent systems	5 crédits
	Master MSc. in Computer Science, professional focus in intelligent systems (double diplômation avec HEC)	5 crédits

Lecturer

Laurent Mathy

Language(s) of instruction

English language

Organisation and examination

Teaching in the second semester

Schedule

Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

The goal of this course is to introduce the fundamental concepts and mechanisms used in operating systems. The content covers:

Introduction/Overview: multi-programming; OS as a service; OS as a resource manager; OS organisation.
Process management: computation abstraction; process, thread, multi-threading; inter-process communication; scheduling.
Memory management: allocation strategies; dynamic address relocation; virtual memory.
Storage management: file system structure; file system usage; file system implementation; protection; networked file system.
Introduction to virtualisation: system virtualisation; paravirtualisation; kernel virtualisation.

Learning outcomes of the learning unit

In this course, the students:

learn the principles, core concepts and organisation of modern operating systems
acquire practical system programming skills

This course contributes to the learning outcomes I.1, I.2, II.1, II.2, III.1, III.2, V.2, VI.1, VI.2, VII.2, VII.4, VII.5 of the BSc in engineering.

Prerequisite knowledge and skills

Knowledge of the C programming language. Computation structures.

CO-REQUIS: INFO0012 and INFO9012

Planned learning activities and teaching methods

Inverted classroom.The students carry out several assignments (group and individual).

Mode of delivery (face to face, distance learning, hybrid learning)

Weekly lectures. Practical and lab sessions. Depending on the covid-19 situation, all activities may be held online.

Course materials and recommended or required readings

Recommended readings: Operating System Concepts; Silberschatz, Galvin, Gagne; Wiley. Operating Systems Design and Implementation; Tannenbaum, Woodhull; Prentice Hall.

Exam(s) in session

Any session

- In-person

oral exam

Written work / report

Out-of-session test(s)

Further information:

Projects and oral exam.

There will be a compulsory test on each project after submission. The result of this test will count towards 15% of this project mark, the submission itself counting for 85%. However, if the result of the test is 9/20 or less, the submission will receive a mark of 0 (and will actually not be corrected).

The oral exam will be preceeded by a MCQ test. The result of this test will count towards 15% of this overall exam mark, the oral part counting for 85%. However, if the result of the MCQ test is 9/20 or less, the student will not be allowed to take the oral part of the exam and receive a mark of 0 for that oral part.

The final mark is computed as the geometric mean of the various components.

Students who do not submit half of the projects will receive an absence mark for the corresponding exam session.

All resubmissions are individual. No mark under 10/20 is transferred between sessions.
There is no guaranteed support for projects to be resubmitted for the resit session.

Any undocumented use of tools, included generative artificial intelligence tools, can be construed as fraude.

Work placement(s)

Organisational remarks and main changes to the course

Contacts

Coordinator: L. Mathy, laurent.mathy@uliege.be
Teaching assistants: Gaulthier Gain, gaulthier.gain@uliege.be et Benoit Knott, bknott@uliege.be

Operating systems