Author name: Tạ Lục Gia Hoàng

Mutex là binary semaphore mà có cơ chế kế thừa ưu tiên. Trong khi binary semaphore là lựa chọn tốt hơn để thực hiện đồng bộ hóa (giữa các task hoặc giữa các task và một interrupt), thì mutex là lựa chọn tốt hơn để thực hiện loại trừ lẫn nhau đơn giản, do đó MUTual EXclusion.

Counting semaphore thường được sử dụng cho hai mục đích là đếm sự kiện (counting events) và quản lý tài nguyên (resource management).

Semaphore nhị phân (binary semaphore) được sử dụng cho cả hai mục đích loại trừ lẫn nhau và đồng bộ hóa.

Hàng đợi (queue) là hình thức chính giao tiếp giữa các task. Chúng có thể được sử dụng để gởi message giữa các task với nhau và giữa các task với các interrupt.