Cả hai process thao tác đồng thời lên biến chung count. Trị của biến chung này không nhất quán dưới các thao tác của hai process. Giải pháp: các lệnh count++, count-- phải là đơn nguyên (atomic), nghĩa là thực hiện như một lệnh đơn, không bị ngắt nửa chừng. | Chương 5 Đồng Bộ và Giải Quyết Tranh Chấp Process Synchronization Nội dung Đặt vấn đ ề tại sao phải đồng bộ và giải quy ế t tranh chấp Vấn đề Critical section Các giải pháp phần mềm - Giải thuật Peterson và giải thuật bakery Đồng bộ bằng hardware Semaphore Các bài toán đồng bộ Critical region Monitor 2 Đặt vấn đ ề Khảo sát các process thread thực thi đông thời và chia sẻ dữ liệu qua shared memory file . Nếu không có sự kiểm soát khi truy cập các dữ liệu chia sẻ thì có thể đưa đến ra trường hợp không nhất quán dữ liệu data inconsistency . Để duy trì sự nhất quán dữ liệu hệ thống cần có cơ chế bảo đảm sự thực thi có trật tự của các process đồng thời.
