Esercizi
Stallo dei processi
L’incrocio
Per riscaldarsi: esercizio 0
Provare che il sistema è in stallo.
Quali sono le risorse?
Chi reclama le risorse?
Soluzione
Risorse: incroci che devono essere attraversati
Processi: file di auto che devono attraversare gli incroci
Condizioni per lo stallo:
- mutua esclusione (gli incroci non possono essere condivisi);
- possesso e attesa (ogni fila di auto possiede un incrocio e aspetta che se ne liberi uno);
- non prelazionabilità (le auto non possono essere spostate);
- attesa circolare.
Con le tabelle di allocazione
Esercizio 1
Un sistema è composto da 7 processi, P1, …, P7, e da 6 risorse condivise, R1, …, R6, ciascuna di tipo diverso, non prelazionabili e ad accesso mutuamente esclusivo. La situazione del sistema è la seguente:
- P1 occupa R1 e richiede R2;
- P2 non occupa risorse e richiede R3;
- P3 non occupa risorse e richiede R2;
- P4 occupa R4 e richiede sia R2 sia R3;
- P5 occupa R3 e richiede R5;
- P6 occupa R6 e richiede R2;
- P7 occupa R5 e richiede R4.
Si determini, utilizzando il grafo di allocazione delle risorse, se il sistema è in deadlock e, in caso affermativo, quali sono i processi e le risorse coinvolti.
Soluzione
P4 → R3 →P5 → R5 → P7 → R4 →P4 sono in deadlock.
Esercizio 2
Dati 4 processi, e 3 tipi di risorse: A (5 istanze), B (8 istanze), e C (16 istanze).
Si determini:
a. se il sistema è in uno stato sicuro;
b. se l’assegnazione di 1 istanza della risorsa A a P1 garantisce il mantenimento dello stato sicuro;
c. se l’assegnazione di 6 istanze di C a P3 garantisce il mantenimento dello stato sicuro.
Soluzione a)
- E’ possibile soddisfare le richieste di P2
- Alla fine dell’esecuzione P2 rilascia le risorse → Disponibili = (3 5 8 )
- Sequenza sicura < P2 >
Soluzione a)
- E’ possibile soddisfare le richieste di P4
- Alla fine dell’esecuzione P4 rilascia le risorse → Disponibili = (4 5 11)
- Sequenza sicura < P2 , P4>
Soluzione a)
- E’ possibile soddisfare le richieste di P1
- Alla fine dell’esecuzione P1 rilascia le risorse → Disponibili = (4 6 15)
- Sequenza sicura < P2 , P4 , P1 >
Soluzione a)
- E’ possibile soddisfare le richieste di P3
- Alla fine dell’esecuzione P3 rilascia le risorse → Disponibili = (5 8 16)
- Sequenza sicura < P2 , P4 , P1 , P3 >
Il sistema è in stato sicuro.
Soluzione b)
- E’ possibile soddisfare le richieste di P4
- Alla fine dell’esecuzione P4 rilascia le risorse → Disponibili = (1 5 10)
- Sequenza sicura < P4 >
Soluzione b)
- E’ possibile soddisfare le richieste di P2
- Alla fine dell’esecuzione P2 rilascia le risorse → Disponibili = (3 5 11)
- Sequenza sicura < P4 , P2 >
Soluzione b)
- E’ possibile soddisfare le richieste di P1
- Alla fine dell’esecuzione P1 rilascia le risorse → Disponibili = (4 6 15)
- Sequenza sicura < P4 , P2 , P1 >
Soluzione b)
- E’ possibile soddisfare le richieste di P3
- Alla fine dell’esecuzione P3 rilascia le risorse → Disponibili = (5 8 16)
- Sequenza sicura < P4 , P2 , P1 , P3 >
L’aggiunta di una risorse di tipo A a P1 produce uno stato sicuro
Soluzione c)
Non possono essere soddisfatte le richieste di nessun processo. Lo stato non e' sicuro.
Le lezioni del Corso
2. Lo stallo dei processi – parte prima
3. Lo stallo dei processi – parte seconda
4. Lo stallo dei processi – parte terza
6. Il S.O. Linux – parte prima
7. Il S.O. Linux – parte seconda
8. Il S.O. Windows – parte prima
9. Il S.O. Windows – parte seconda
10. Il S.O. Windows – parte terza
11. I S.O. multimediali – parte prima
12. I S.O. multimediali – parte seconda
13. I S.O. multimediali – parte terza
14. I Sistemi Operativi distribuiti - parte prima
15. I Sistemi Operativi distribuiti - parte seconda
16. I Sistemi Operativi distribuiti - parte terza
17. I Sistemi Operativi distribuiti - parte quarta
18. I Sistemi Operativi distribuiti - parte quinta
19. I Sistemi Operativi distribuiti - parte sesta
