perché Concorrenza controllo utilizza il classico algoritmo di due condizioni

Question

Durante la lettura del codice sorgente di ArrayBlockingQueue, ho trovato un commento spiegando che utilizza "il classico algoritmo di due condizioni si trovano in qualunque libro di testo":

/* 
* Concurrency control uses the classic two-condition algorithm 
* found in any textbook. 
*/ 

/** Main lock guarding all access */ 
private final ReentrantLock lock; 
/** Condition for waiting takes */ 
private final Condition notEmpty; 
/** Condition for waiting puts */ 
private final Condition notFull; 

Perché utilizza l'algoritmo classico a due condizioni (notEmpty, notFull)?

Answer 1

Hai già avuto un buon commento. Solo come complemento.

ArrayBlockingQueue è un stato-dipendente di classe. Ciò significa che questa classe ha operazioni che possono essere eseguite solo con alcune condizioni preliminari.

I thread dello scrittore attenderanno solo se la precondizione (notFull) è falsa.

// Se la coda è piena, lo scrittore deve attendere.
// Rilascia atomicamente il blocco e attende il segnale (notFull.signal() attivato da un lettore).
while (count == items.length)
notFull.await();

Per i lettori il concetto è identico, ma utilizzando la condizione notEmpty.

// Se la coda è vuota, il lettore deve attendere.
// Rilascia atomicamente il blocco e attende il segnale (notEmpty.signal() attivato da un autore).
while (count == 0)
notEmpty.await();

Quando un thread si sveglia allora avete bisogno di 2 cose principali:
1 - ottenere il blocco
2 - Re-Test la condizione