Semafori binari e di Dijkstra

In un semaforo binario a seconda del valore di x abbiamo

• x=1 risorsa libera

• x=0 risorsa libera

• x=1 risorsa occupata

• x=0 risorsa occupata

L'istruzione TestAndSet(x):

• Modifica il valore di un bit in modo ininterrompibile

• Modifica il valore di un byte in modo ininterrompibile

• Modifica il valore di x in modo ininterrompibile

• Tutte le affermazioni precedenti sono valide, dipende dall'applicazione

L'istruzione TestAndSet(x)

• risolve il problema dell'attesa attiva

• risolve il problema della starvation

• risolve il problema dell'interleaving

• non risolve nessun problema

Se la mancanza di sincronizzazione provoca danni trascurabili, la miglior strategia è ignorare il problema

• Vero

• Falso

La serializzazione può essere ottenuta introducendo cicli di ritardo

• Vero

• Falso

L'istruzione di lock su uno spin può generare una situazione di attesa attiva

• Vero

• Falso

Per evitare situazioni di interleaving l'istruzione di lock si esegue a interruzioni disabilitate

• Vero

• Falso

La primitiva di unlock(x), essendo una sola istruzione, non richiede interruzioni disabilitate

• Vero

• Falso

Dijkstra disiplina l'attesa mediante l'uso di code e rende inattiva la situazione di attesa

• Vero

• Falso

Nel semaforo di Dijkstra il valore iniziale 0 indica il rosso

• Vero

• Falso