Concetti di sviluppo dei sistemi operativi

Un sistema operativo (OS) è il software fondamentale che gestisce l'hardware del computer e le risorse software. È il cervello che rende utilizzabile il computer.

In questa lezione esploreremo i concetti chiave alla base dello sviluppo dei sistemi operativi, in particolare come utilizzare Rust per creare un kernel, ottenendo un controllo a basso livello con moderne garanzie di sicurezza.

Il kernel è la parte centrale di un sistema operativo. È il primo programma caricato all'avvio del computer e ha il controllo completo su ogni elemento.

Le sue responsabilità principali includono:

• Gestione della memoria: allocazione e protezione della memoria.
• Gestione dei processi e dei task: pianificazione e passaggio da un programma in esecuzione all'altro.
• Interazione con l'hardware: gestione dell'input/output (I/O) e degli interrupt.
• Chiamate di sistema: fornitura di servizi alle applicazioni utente.

La memoria virtuale è una tecnica potente che consente a ogni programma di avere una propria vista isolata della memoria. Crea l'illusione che ogni programma disponga di un blocco di memoria ampio e contiguo, anche quando la memoria fisica è frammentata.

Protegge i programmi dalle interferenze reciproche nella memoria e consente di utilizzare in modo efficiente la RAM fisica, caricando in memoria solo le parti necessarie di un programma.

Il paging è un metodo comune per implementare la memoria virtuale. La memoria viene suddivisa in blocchi di dimensione fissa chiamati pagine (per gli indirizzi virtuali) e frame (per gli indirizzi fisici).

Il sistema operativo gestisce le tabelle delle pagine, strutture dati che associano i numeri delle pagine virtuali ai numeri dei frame fisici. Quando la CPU accede a un indirizzo virtuale, l'unità di gestione della memoria (MMU) lo traduce nell'indirizzo fisico corrispondente usando queste tabelle.

Un task (spesso chiamato processo o thread) è un'unità di lavoro indipendente. I sistemi operativi moderni eseguono molti task contemporaneamente su un singolo core della CPU.

Lo scheduler è un componente del kernel che decide quale task deve essere eseguito dalla CPU in un determinato momento. Il suo obiettivo è distribuire il tempo della CPU in modo equo ed efficiente tra tutti i task attivi, creando l'illusione di un'esecuzione parallela.

Quando lo scheduler decide di passare da un task a un altro, esegue un cambio di contesto. Si tratta di un'operazione critica che comporta:

• Salvare lo stato completo della CPU del task corrente (ad esempio registri, program counter e stack pointer) nella struttura dati associata.
• Caricare lo stato della CPU salvato del task successivo da eseguire.

Questo consente ai task di riprendere esattamente dal punto in cui erano stati interrotti, dando l'impressione che siano tutti in esecuzione simultaneamente.

Un interrupt è un segnale inviato dall'hardware (come tastiera, mouse, unità disco o timer) alla CPU, che indica il verificarsi di un evento che richiede attenzione immediata.

Quando si verifica un interrupt, la CPU:

• Mette in pausa l'esecuzione corrente.
• Salva il proprio stato corrente.
• Passa a una routine di servizio dell'interrupt (ISR), una funzione speciale del kernel progettata per gestire quello specifico evento.

Al termine dell'ISR, la CPU ripristina lo stato salvato e riprende il lavoro precedente.

Oltre agli interrupt hardware, esistono anche gli interrupt software. Spesso vengono chiamati eccezioni e sono generati dalla CPU stessa a causa di errori in un programma, come:

• Divisione per zero
• Accesso a un indirizzo di memoria non valido (errore di segmentazione)
• Esecuzione di un'istruzione illegale

Un altro tipo di interrupt software è una chiamata di sistema, che consente ai programmi utente di richiedere esplicitamente un servizio al kernel (ad esempio, leggere un file o creare un nuovo processo).

Rust è una scelta sempre più diffusa per lo sviluppo dei sistemi operativi grazie alla sua combinazione unica di:

• Sicurezza della memoria: il sistema di ownership e borrowing previene a compile time errori comuni di memoria, come puntatori nulli, doppie deallocazioni e data race.
• Sicurezza della concorrenza: il sistema dei tipi di Rust aiuta a scrivere codice thread-safe senza lock espliciti in molti casi.
• Compatibilità bare metal: Rust può funzionare senza un runtime complesso o un garbage collector, risultando ideale per gli ambienti kernel a basso livello.

Queste funzionalità consentono agli sviluppatori di scrivere codice del kernel robusto e ad alte prestazioni con meno bug.

Verifichiamo la Sua comprensione dei concetti fondamentali dei sistemi operativi.

In questa lezione abbiamo esplorato i concetti fondamentali dello sviluppo dei sistemi operativi:

• Gestione della memoria: include memoria virtuale e paging per isolare e utilizzare la RAM in modo efficiente.
• Pianificazione dei task: come la CPU passa da un task all'altro usando il cambio di contesto.
• Interrupt: sia segnali attivati dall'hardware sia eccezioni e chiamate di sistema attivate dal software, che consentono al kernel di rispondere agli eventi.

Le solide funzionalità di sicurezza di Rust, unite al controllo a basso livello, ne fanno un linguaggio eccellente per creare codice del kernel bare metal robusto e affidabile. Questa comprensione di base è fondamentale per qualsiasi programmazione a livello di sistema!