Pagina del corso di teoria e pratica dei sistemi operativi liberi e laboratorio di sistemi operativi liberi (2009-2010)

Il corso di teoria e pratica dei sistemi operativi liberi è articolato in quattro lezioni di quattro ore ciascuna che si terranno nelle seguenti date.

• Venerdì 19/2/2010 ore 15:00-19:00
• Venerdì 5/3/2010 ore 10:00-14:00
• Venerdì 19/3/210- ore 15:00-19:00
• Venerdì 9/4/2010 ore 17:00-19:00

Il corso di laboratorio di sistemi operativi liberi è articolato in tre lezioni che si terranno nelle seguenti date.

• Sabato 10/4/2010 ore 9:00-13:00 e 14:00-18:00
• Venerdì 16/4/2010 ore 10:00-14:00
• Sabato 17/4/2010 ore 9:00-13:00

Lucidi delle lezioni di teoria e pratica dei sistemi operativi liberi

• Presentazione
• Introduzione
• Processi e threads
• Sincronizzazione
• Filesystem
• Gestione della memoria
• Virtualizzazione

Lucidi delle lezioni di laboratorio di sistemi operativi liberi

• Introduzione
• Filesystem
• Emulatore e installazione del sistema
• Distribuzioni e pacchetti software
• Pacchetti deb
• Setup del kernel Linux
• Bootstrap del sistema
• Gestione degli utenti
• Shell POSIX
• Shell scripting
• Espressioni regolari, sed e AWK
• Pianificazione di eventi
• Immagini di sistema
• Syscall di I/O
• Syscall per i processi e POSIX threads
• Demoni UNIX
• Syscall per l'inter-process communication

Proposte di progetto

La lista dei progetti che proponiamo è disponibile.

Testi di riferimento per il corso di laboratorio di sistemi operativi liberi

I seguenti testi e manuali fanno da riferimento per gli argomenti trattati nel corso di laboratorio di sistemi operativi liberi.

• Appunti di informatica libera
• Advanced Programming in the UNIX Environment
• The GNU Awk User's Guide
• sed, a stream editor
• GNU Make manual
• Design and Implementation of the Second Extended Filesystem
• The new ext4 filesystem: current status and future plans
• Filesystem Hierarchy Standard
• Debian Policy Manual
• The Debian System, Concepts and Techniques
• The System.map file
• Kernel Rebuild Guide
• Creating custom kernels with Debian's kernel-package system
• Linux Standard Base (LSB) Specifications
• Dependency based boot sequence
• The Linux-PAM System Administrators' Guide
• PAM Tutorial
• Debian Live Manual
• APT Howto
• Linux Shadow password Howto
• Linux Kernel 2.6: It's Worth More!
• Guida alla Programmazione in Linux
• Manpages
• ...