Advanced Operating Systems (9 CFU)
MS Degree in Computer Engineering
Academic Year 2023/2024

Lecturer: Francesco Quaglia

This page is used to post suggested homework which can help better making experience with the course topics. The suggested homework is not mandatory for passing the examination. For each suggested homework a solution will be posted along with the "Software Examples" available via the course main page. Students are encouraged to provide their own solutions before checking with the posted one.

RCU List (RCUL)

This homework deals with the C-based implementation of an RCU (Read Copy Update) list offering the following API:

• int rcu_list_insert(rcu_list *l, long key) to insert into the RCU list a given key (an integer value);
• int rcu_list_search(rcu_list *l, long key) to check if the key is currently present within an element of the RCU list;
• int rcu_list_remove(rcu_list *l, long key) to remove a record containing the target key from the RCU list.

Atomic memory operations via gcc bult-in API like, e.g., __sync_fetch_and_add(...), can be used as building blocks. Each function should return zero upon success.

Alternative Thread Local Storage (TLS)

This homework deals with the implementation of a TLS support standing aside of the original one offered by gcc. It should be based on a few macros with the following meaning:

• PER_THREAD_MEMORY_START and PER_THREAD_MEMORY_END are used to delimitate the variable declarations that will be part of TLS
• READ_THREAD_VARIABLE(name) is used to return the value of a TLS variable with a given name
• WRITE_THREAD_VARIABLE(name, value) is used to update the TLS variable with a given name to a given value

Essentially, the homework is tailored to implementing an interface for managing per-thread memory resembling the one offered by the Linux kernel for managing per-CPU memory.

Blocking Queuing Service (BQS)

This homework deals with the implementation of a Linux kernel subsystem dealing with thread management. The subsystem should implement a blocking FIFO-queuing service. It is based on two system calls 1) int goto_sleep(void) used to make a thread sleep at the tail of the queue and 2) int awake(void) used to awake the thread currently standing at the head of the queue. Threads could also be awaken in non-FIFO order because of Posix signals.