• working set = insieme di dati e di memoria di un task
• il WS può essere maggiore della memoria e quindi va diviso in moduli
• overlay = gestisce il caricamento/scaricamento dei moduli di uno stesso task
• il linker decide quali moduli potevano essere in overlay
• utilizzata per protezione di memoria: nessuno deve poter scrivere in uno spazio di memoria che non è suo
• Bisogna fare distinzione tra memoria fisica e logica:
  • assegnata la memoria virtuale ad ogni processo in quantità grande
  • i programmi condividono lo stesso spazio di indirizzamento fisico
• permette di mappare lo spazio di memoria logico di ciascun processo sulla memoria fisica
• l'accesso in memoria avviene mediante indirizzo virtuale