Tracce sistemi operativi

Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner Scanned by CamScanner

Problema con l’utilizzo di pthread

Consideriamo un sensore che produce periodicamente dei dati e dei thread che leggono i valori all’interno di tale sensore.

4 Sensore

Problema lettore-scrittore

Vincoli

• Possono essere attivi tutti i lettori nel sensore:
  • Se è attivo un lettore possono essere attivi altri lettori
  • Se è attivo uno scrittore non è detto che possono essere attivi gli altri scrittori.
• Se è attivo uno scrittore non possono essere attivi altri scrittori.
• Se è attivo un lettore non può essere attivo uno scrittore e viceversa.

Possiamo ragionare in due modi:

• Top-down: Inizio a scrivere tutti i thread e poi scendo nel particolare, implementando lettore e scrittore.
• Bottom-up: Implemento la sincronizzazione lettore-scrittore fino ad arrivare al Master che deve fare il lancio dei Works.

Ragioniamo sul problema

Il primo lettore che entra deve segnalare tutti gli altri lettori, dopodiché tutti possono accedere al sensore.

Dunque ho bisogno della variabile che mi indica il numero di lettori:

int num_lettori;

int x;

x è il valore scritto all’interno del buffer.

Dobbiamo sincronizzare lettore e scrittore:

Come fa a capire un lettore che uno scrittore è attivo?

• Se sono il primo lettore verifico num_lettori.

Se usassi solo num_lettori non riuscirei a capire se lo scrittore è attivo all’interno del sensore, dunque immaginando che c’è solo uno scrittore, consideriamo una variabile booleana per indicare se c’è uno scrittore o almeno un lettore attivo dato che in C non esiste boolean considero un intero:

int occupato;

Che indica che se esiste uno scrittore che è attivo, gli altri scrittori si accorgeranno che lo scrittore interessato sta o