Modifiche  consistenti (da verificare) a MemoryManager + Dispatcher