Thư Viện Câu Hỏi Phỏng Vấn

Bản chất Thread Starvation

Thread Starvation xảy ra khi một hoặc nhiều luồng không bao giờ nhận được CPU time hoặc tài nguyên cần thiết để chạy vì các luồng khác (thường có độ ưu tiên cao hơn hoặc chiếm giữ tài nguyên lâu hơn) đã chiếm dụng toàn bộ Thread Pool.

Định nghĩa và Bản chất

• Thread-safe Collections (Ví dụ: ConcurrentHashMap, CopyOnWriteArrayList trong Java): Là các cấu trúc dữ liệu được thiết kế sẵn để hỗ trợ truy cập đồng thời từ nhiều luồng mà không gây ra lỗi ConcurrentModificationException hoặc hỏng cấu trúc dữ liệu nội bộ.
• Explicit Synchronization (Ví dụ: từ khóa synchronized, ReentrantLock): Là cơ chế lập trình viên tự chủ động khóa toàn bộ một đoạn mã (Critical Section) để đảm bảo chỉ có duy nhất một luồng thực thi tại một thời điểm.

So sánh chi tiết

1. Mức độ chi tiết (Granularity):
   • Thread-safe Collections thường áp dụng cơ chế khóa ở mức độ phần tử hoặc phân đoạn (như khóa bucket trong ConcurrentHashMap), cho phép độ đồng thời (concurrency level) rất cao.
   • Explicit Synchronization nếu áp dụng sai cách (như khóa toàn bộ phương thức hoặc đối tượng lớn) sẽ làm giảm nghiêm trọng hiệu năng do các luồng phải xếp hàng chờ đợi.
2. Compound Operations (Thao tác kết hợp):
   • Bản thân ConcurrentHashMap thread-safe cho từng phương thức đơn lẻ (như get, put). Tuy nhiên, các thao tác kết hợp như Check-Then-Act (ví dụ: kiểm tra tồn tại rồi mới put) vẫn cần cơ chế đồng bộ hóa bên ngoài (như putIfAbsent) để tránh Race Condition.

Ví dụ minh họa lỗi kinh điển

ConcurrentHashMap<String, Integer> map = new ConcurrentHashMap<>();

// SAI: Vẫn có thể xảy ra Race Condition giữa check và put
if (!map.containsKey("key")) {
    map.put("key", 1);
}

// ĐÚNG: Sử dụng phương thức atomic của collection
map.putIfAbsent("key", 1);

Lưu ý kinh nghiệm thực chiến

Không được chủ quan rằng cứ dùng Concurrent Collection là an toàn tuyệt đối trước mọi Race Condition. Phải nắm rõ tính atomic của từng phương thức mà Collection đó cung cấp.

Race Condition xảy ra khi nhiều tiến trình/luồng đồng thời đọc và ghi vào một tài nguyên dùng chung mà không được đồng bộ hóa, dẫn đến kết quả cuối cùng phụ thuộc vào thứ tự thực thi ngẫu nhiên của các luồng.

Deadlock (Bế tắc) là hiện tượng hai hoặc nhiều tiến trình/luồng bị treo vô hạn vì mỗi bên đều đang giữ một tài nguyên và chờ đợi để có được tài nguyên mà bên kia đang nắm giữ.