Il livello supporto di PandOS

in questa fase ci siamo occupati dell’implementazione della fase 4 del sistema operativo, il livello di supporto.

il livello 4 gestisce

• la memoria virtuale della nostra macchina
• media con il livello 3

il livello di supporto lavora in Kernel mode ma con interrupt abilitati, a differenza del livello 3.

Scelte implementative

Abbiamo suddiviso il livello di supporto con un criterio più generico, abbiamo infatti:

• p3handlers , contenente:

  • pager

    Il gestore delle TLB exceptions.

  • TLB_RefillHandler

    Si occupa di sostituire (refill) le entry non valide o datate con nuove entry richieste dal livello di supporto.

  • updateTLB

    Si occupa di poche semplici operazioni che si assicurano il TLB sia sempre aggiornato.

  • writeReadFlash

    Si occupa di effettuare operazioni WRITE / READ su un device.

• psyscall , contenente:

  • Le syscall con indice positivo get_TOD, terminate, write_to_printer, write_to_terminal, read_from_terminal.
  • Il gestore delle eccezioni del livello di supporto supExceptHandler , che comprende il gestore delle syscall sopra mensionate.

• main

  • Analogo al main della fase due, esegue il test della fase 3

• p3test

  • Si compone di funzioni di allocazione, deallocazione delle strutture di supporto con cui lavoriamo a questo livello
  • createUserProc , che si occupa di creare i processi per effettuare il test
  • test3 , che inizializza le strutture dati di questa fase e crea i processi tramite la procedura sopra descritta

Difficoltà implementative

Abbiamo avuto una serie di complicazioni dovuta alla spesso non chiara documentazione in alcuni punti.

Al momento il progetto non passa il test richiesto dalla consegna, a causa di diversi errori tra i quali

• Il deviceHandler della fase due, che dopo diversi tentativi di correzione non siamo riusciti a sviluppare correttamente.
• Alcuni tipi (quali swap_t o list_head) apparivano non definiti in alcuni segmenti di codice nonostante la loro regolare inclusione, non siamo riusciti a capire la natura di questo errore data l’inconsistenza di tale malfunzionamento.
  • Gli errori rilevati dal compilatore sono tutti relativi alla mancanza del tipo swap_t , che ci ha impedito di procedere nella fase di debugging