18) Come vengono gestite le problematiche di migrazione oggetti nel sistema operativo DEMOS/MP?

DEMOS/MP: Kernel di sistema distribuito

caratteristiche generali:

• sistema a scambio di messaggi
• comunicazione attraverso entità intermedie (link)
• i link sono associati ai processi riceventi
• i link possono essere passati nei messaggi

Caso di migrazione: un processo P2 si sposta da un nodo N2 a N3

situazione iniziale:

situazione finale

Il forwarder invia alla nuova locazione di P2

Riqualificazione del link da P3 a P2

Protocollo di migrazione. Necessità di:

• blocco di P2
• trasferimento dello stato di P2 da N2 a N3
  • codice e dati (stato iniziale)
  • stato (stato corrente)
  • messaggi
• aggiornamento vecchi link
  • resta in N2 un’entità (forwarder) che fa procedere i messaggi (forwarding address)
  • in alternativa: scarto messaggi, ma problema della ritrasmissione
• i link possono essere riqualificati (riqualificazione)
  • l’informazione della locazione corrente può essere sostituita alla obsoleta
  • a riqualificazione completata di tutti i link il forwarding address scompare

Costo del protocollo: costo migrazione + costo updating link

Requisito del protocollo: trasparenza della allocazione