Dipartimento di Informatica
Universita' di Pisa
The seminar introduces the new advances in operating system research arisen in recent years, with special interest for embedded devices. It takes into account several aspects, including new approaches to scheduling, issues related to real time systems, effective management of new hardware features, security and problems related to the development of OSs for emerging personal/sensing devices such as PDAs, sensor networks, wearable computers, etc.
The following is a list (not exhaustive) of possible topics for student seminars:
OS design and architectures
Dynamic reconfiguration
Quality of Service guarantees
Support for multi-processor and embedded architectures
Security
Fault tolerance
Energy management
Scheduling algorithms
Memory management
Device drivers
Real-time support
OSs for embedded and tiny devices
| Date | Speaker | Title | File(s) |
|---|---|---|---|
| Mon 12 June | Susanna Pelagatti University of Pisa |
Introduction | Slides |
| Mon 12 June | Claudio Scordino | The O(1) Linux scheduler | 1 Slides |
| Mon 19 June | Giuseppe Lipari Scuola Superiore Sant'Anna |
A hierarchical scheduling model for Component-based real-time systems | |
| Mon 3 July | Paolo Gai CEO, Evidence S.R.L. |
Operating systems for small multicore system-on-a-chip | 1 2 |
| Tue 11 July | Luca Veraldi | Xen and the art of virtualization | 1 2 3 4 5 Slides |
| Tue 11 July | Andrea Romei | Dynamic Voltage Scaling (DVS) Algorithms for Hard Real-Time Systems | 1 2 3 4 5 Slides |
| Tue 18 July | Francesco Nidito | ZFS: Sun new distributed filesystem | |
| Tue 18 July | Giacomo Terreni | Iron File System | 1 |
| Wed 27 Sept 15:30 | Yan He | ELF: an Efficient Flash File System | 1 |
| Mon 2 Oct 9:30 | Diego Puppin | Encrypting Virtual Memory | 1 2 |
| Mon 2 Oct 10:30 | Sara Corfini | A Scalable Distributed FileSystem | 1 |
| Mon 9 Oct 9:30 | Flavio Baronti | EMERALDS: a Small-Memory Real-Time Microkernel | 1 2 |
| Mon 9 Oct 10:30 | Jinghua Gao | The K42 Kernel for cache-coeherent multiprocessors | 1 |
| Mon 16 Oct 9:30 | Carlo Bertolli | Fault Tolerance issues in Parallel Operating Systems | 1 2 3 4 5 6 |
| Mon 16 Oct 10:30 | Vincenzo Ciancia | Fuse: a Filesystem in Userspace | 1 |
| Mon 23 Oct 9:30 | Claudia Sodini | Nano-RK: a real-time OS for sensor networks | 1 2 3 |
| Mon 30 Oct 9:30 | Valerio Grossi | Nooks: driver reliability | 1 |
| Mon 6 Nov 9:30 | Alessandro Passaro | FS2: Dynamic Data replication in Free Disk Space for improving Disk Performance and Energy Consumption | 1 |
| Mon 6 Nov 10:30 | Paolo Milazzo | Performance of Multithreaded Chip Multiprocessors and Implications for Operating System Design | 1 2 |
| Mon 20 Nov 9:30 | Francesca Lonetti | On the Effectiveness of Address-Space Randomization | 1 2 3 |
| Mon 20 Nov 10:30 | Robert Hovannisjan | Understanding The Linux Virtual Memory Manager | 1 |
| Mon 27 Nov 9:30 | Massimilano Meneghin | The Singularity project | 1 2 |