This repository contains material required to complete exercises for the OS lab in the 2025 summer semester, including exercise sheets and associated resources.
Make sure to read this document carefully, as it contains vital information regarding the grading of exercises.
This schedule gives you an overview of the topics we will discuss on each date. It will be updated continuously throughout the semester. Note that exercises associated with a given date are to be discussed on that day, i.e., solutions for that exercise have to be handed in via OLAT by 17:00 on the previous day (Tuesdays).
| Date | Exc | Topic | Notes |
|---|---|---|---|
| 2025-03-05 | - | C recap slides | |
| 2025-03-12 | 1 | Self-assessment, ssh, commandline | Makefile slides |
| 2025-03-19 | 2 | Makefile, permissions, fork | |
| 2025-03-26 | 3 | Signal, valgrind, pthreads | |
| 2025-04-02 | 4 | Exit codes, pipes, fifos | |
| 2025-04-09 | 5 | Message queues, shared memory, synchronization | |
| 2025-04-30 | 6 | Atomics, mutex, condition variables | |
| 2025-05-07 | 7 | Strace, deadlock, thread pool | |
| 2025-05-14 | 8 | TCP sockets (chat) | |
| 2025-05-21 | 9 | Mutex, Barrier | |
| 2025-05-28 | 10 | Custom allocators | |
| 2025-06-04 | 11 | Linking | |
| 2025-06-11 | 12 | Last year's test | Bonus points |
| 2025-06-18 | - | Test | |
| 2025-06-25 | - | Q&A, Feedback |
All programming exercises are conducted in C.
Your code should always compile without warnings, when passing the flags -Wall -Wextra -std=c11.
Make sure your code is properly formatted using either your IDE/Text editor of choice, or by using a tool such as clang-format.
You can find an example .clang-format file in this repository.
Failure to consistently format code may result in lower scores.
Make sure to choose descriptive variable and function names. All names and comments must be written in English.
Note
If you do not have a ZID-GPL Linux account, please visit https://www.uibk.ac.at/zid/systeme/linux/lpccs_4/u-antrag.html to create one.
All programming exercise solutions you hand in must compile properly on the ZID-GPL server. The easiest way of ensuring this is by developing on ZID-GPL directly, either through a terminal or using an editor/IDE with support for remote development via SSH (such as Visual Studio Code).
Important: Facing issues with your system is not a valid excuse for only partially completing exercise sheets or avoiding them entirely. If you encounter difficulties, use ZID-GPL.
To log into ZID-GPL via SSH, use the following command on Linux/Mac OSX:
ssh -l <username> zid-gpl.uibk.ac.at
On Windows, you can use Powershell (Windows 10) or a third-party SSH client such as PuTTY.