Tài liệu đồng bộ hoá quá trình

I Mục tiêu
Sau khi học xong chương này, người học nắm được những kiến thức sau:
ã Hiểu vấn đề vùng tương trục
ã Hiểu cơ chế hoạt động hiệu báo Semaphores để đồng bộ hóa quá trình
ã Hiểu cơ chế hoạt động của Monitors để đồng bộ hóa quá trình
ã Vận dụng các giải pháp để giải quyết các bài toán đồng bộ hóa cơ bản
II Giới thiệu
Một quá trình hợp tác là một quá trình có thể gây ảnh hưởng hay bị ảnh hưởng tới quá trình khác đang thực thi trong hệ thống. Các quá trình hợp tác có thể chia sẻ trực tiếp không gian địa chỉ luận lý (mã và dữ liệu), hay được phép chia sẻ dữ liệu thông qua các tập tin. Trường hợp đầu đạt được thông qua việc sử dụng các quá trình có trọng lượng nhẹ hay luồng. Truy xuất đồng hành dữ liệu được chia sẻ có thể dẫn tới việc không đồng nhất dữ liệu. Trong chương này chúng ta sẽ thảo luận các cơ chế đảm bảo việc thực thi có thứ tự của các quá trình hợp tác chia sẻ không gian địa chỉ để tính đúng đắn của dữ liệu luôn được duy trì.