proto.lib

Peterson's Algorithm - Loại trừ tương hỗ 2 thread

Hai thread dùng cờ ý định và biến turn để đảm bảo loại trừ tương hỗ, progress và bounded waiting chỉ với shared memory.

ConcurrencyTrung bình2026-07-07
Peterson's Algorithm - Loại trừ tương hỗ 2 thread

Tags

#mutual-exclusion#peterson#shared-memory#spinlock#progress

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

ConcurrencyTrung bình

PAUSE/yield hint: spin-wait một cách lễ độ

Một spin loop trần liên tục dội lệnh đọc vào subsystem bộ nhớ và, trên nhân hyperthreading, còn cướp băng thông pipeline của luồng anh em đang thực sự giữ lock; lệnh PAUSE (x86) hoặc yield hint báo cho CPU biết đây là spin-wait để nó giảm tốc, tiết kiệm điện và nhường tài nguyên cho luồng anh em.

#spinlock#pause-instruction#hyperthreading#spin-wait
ConcurrencyNâng cao

Lock Convoy: đoàn tàu chờ khoá dù critical section nhỏ

Khi rất nhiều luồng cùng xếp hàng chờ một khoá và trình lập lịch dùng chính sách công bằng (FIFO wakeup), mỗi lần trao khoá phải trả giá context switch và cache lạnh dù công việc bên trong khoá chỉ vài nano giây — hệ thống tiêu tốn thời gian để 'đoàn tàu' (convoy) di chuyển hơn là để tính toán.

#lock-convoy#context-switch#fairness#spinlock
ConcurrencyNâng cao

CLH Queue Lock

Mỗi luồng chờ tạo một node và spin trên cờ của node trước đó, tạo thành hàng đợi ẩn giúp giảm tranh chấp bus.

#clh-lock#queue-lock#spinlock#fairness