Operating Systems and Systems Programming (DAT320)

The course gives an introduction to operating system architectures and mechanisms for resource management in computer systems. Specific topics covered: The kernel abstraction, processes, the programming API, thread, concurrency and parallelism, synchronized access to shared objects, multi-object synchronization and processor scheduling algorithms. Memory management: Address translation, caching and virtual memory. Persistent storage: File systems and reliable storage through transaction-based file system consistency. Operating Systems security.

The course includes programming assignments focused on main concepts learned in the course, such as concurrency, parallelism and synchronization techniques, and tools to analyze and debug various aspects of such applications. In the final project, student groups should design a larger system or parts of an operating system using the techniques covered in the course.

The programming language used in this course is primarily Go (golang).

Knowledge:

- How operating system work

- How to protect the operating systems from malicious software

Skills:

- Be capable of programming against the operating system API

- Be capable of programming parts of an operating system

- Be capable of implementing simple mechanisms for resource management

- Know how to program with threads

- Know how to exploit virtualization for resource management

General compentancy:

- Know important general principles for resource management for computer systems.

Five mandatory individual lab exercises (programming exercises). Pass/Fail. All programming exercises must be passed to attend for the written exam and lab exam. Approval takes place through the Autograder system for automated evaluation, followed by in-lab approval.

Completion of mandatory lab assignments are to be made at the times and in the groups that are assigned. Absence due to illness or for other reasons must be communicated as soon as possible to the laboratory personnel. One cannot expect that provisions for completion of the lab assignments at other times are made unless prior arrangements with the laboratory personnel have been agreed upon.

Failure to complete the assigned labs on time or not having them approved will result in barring from taking the exam of the course.

Course teacher(s)

Course coordinator:

Course teacher:

Head of Department:

Bachelor studies at the Faculty of Science and Technology.

Master studies at the Faculty of Science and Technology.

Operating Systems: Three Easy Pieces. Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau.

Go Systems Programming. Mihalis Tsoukalos

Lab exercises and programming projects will be published on Github.