dlaczego współbieżności sterowania wykorzystuje klasyczne dwa warunek algorytm

Question

Podczas czytania kodu źródłowego ArrayBlockingQueue znalazłem komentarz wyjaśniający, że używa „klasyczny algorytm dwóch warunek znaleźć w każdym podręczniku”:

/* 
* 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; 

Dlaczego korzysta z klasycznego algorytmu dwuwarunkowego (notEmpty, notFull)?

Answer 1

Masz już dobry komentarz. Tylko jako uzupełnienie.

ArrayBlockingQueue to klasa zależna od stanu zależna od stanu. Oznacza to, że ta klasa ma operacje, które można wykonać tylko z pewnymi warunkami wstępnymi.

Wątki pisarza będą czekać tylko, jeśli warunek wstępny (notFull) jest fałszywy.

// Jeśli kolejka jest pełna, pisarz musi poczekać.
// Atomowa zwalnia blokadę i czeka na sygnał (notFull.signal() uruchomiony przez czytnik).
while (count == items.length)
notFull.await();

Dla czytelników koncepcja jest identyczna, ale z użyciem warunku notEmpty.

// Jeśli kolejka jest pusta, czytnik musi poczekać.
// Atomowa zwalnia blokadę i czeka na sygnał (notEmpty.signal() wystrzelony przez pisak).
natomiast (liczba == 0)
notEmpty.await();

Kiedy wątek budzi się wtedy trzeba 2 główne rzeczy:
1 - Get blokadę
2 - Re-Test kondycji