tại sao Concurrency kiểm soát sử dụng cổ điển thuật toán hai điều kiện

Question

Trong khi đọc mã nguồn của ArrayBlockingQueue, tôi tìm thấy một bình luận giải thích rằng nó sử dụng "thuật toán hai điều kiện cổ điển được tìm thấy trong bất kỳ cuốn sách giáo khoa":

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

Tại sao nó sử dụng thuật toán hai điều kiện (notEmpty, notFull) cổ điển?

Answer 1

Bạn đã có một nhận xét hay. Chỉ như một bổ sung.

ArrayBlockingQueue là State-Dependent. Điều này có nghĩa rằng lớp này có các hoạt động mà chỉ có thể được thực hiện với một số điều kiện tiên quyết.

Chủ đề của người viết sẽ chỉ chờ nếu điều kiện tiên quyết (notFull) là sai.

// Nếu hàng đợi đầy thì nhà văn cần đợi.
// Phát hành nguyên bản khóa và chờ tín hiệu (notFull.signal() do người đọc bắn).
trong khi (count == items.length)
notFull.await();

Đối với người đọc, khái niệm giống hệt nhau, nhưng sử dụng điều kiện notEmpty.

// Nếu hàng đợi trống thì người đọc cần đợi.
// Phát hành nguyên bản khóa và chờ tín hiệu (notEmpty.signal() được kích hoạt bởi một người ghi).
trong khi (count == 0)
notEmpty.await();

Khi một thread tỉnh dậy thì bạn cần 2 điều chính:
1 - Lấy khóa
2 - Re-Kiểm tra các điều kiện