Loại trừ hỗ tương

Tiến trình

Chờ đợi có giới hạn

Tối ưu hóa tốc độ xử lý

Tiến trình rời khỏi CPU khi chờ đợi

Tiến trình liên tục kiểm tra điều kiện để vào vùng tương trục

Tiến trình chờ đợi với một thời gian định sẵn

Giải pháp chỉ áp dụng cho hệ thống đơn giản

Đếm và nhị phân

Chỉ đếm

Chỉ nhị phân

Chỉ đợi bận

Kiểm soát truy cập vào tài nguyên chia sẻ

Tạo thêm luồng mới

Hỗ trợ các tiến trình thực thi không cần đồng bộ

Tăng số lượng tiến trình có thể vào vùng tương trục cùng lúc

Tính chất đảm bảo tiến trình thực hiện công việc mà không bị chặn vĩnh viễn

Tính chất chỉ xảy ra khi tất cả tiến trình hoạt động đồng thời

Tính chất chặn mọi tiến trình không được thực hiện

Đảm bảo tất cả tiến trình đều hoàn thành một phần công việc

Entry section

Critical section

Race condition

Remainder section

Giải thuật 1 và biến kiểm tra điều kiện trong remainder section

Giải thuật 1 và giải thuật 2

Giải thuật 2 và biến kiểm tra điều kiện trong vùng tranh chấp

Giải thuật 2 thực hiện 2 lần

Là một một module phần mềm, bên trong có chứa các biến cục bộ, các thủ tục và một đoạn mã nguồn khởi tạo

Biến cục bộ chỉ có thể được truy xuất bởi các thủ tục của monitor

Tiến trình vào monitor băng cách goi một trong các thủ tục đó

Có thể cho phép nhiều hơn 1 tiến trình vào monitor tại cùng một thời điểm

Sleep and Wakeup

Monitor

Semaphone

Busy waiting