proto.lib

Futex - Fast Userspace Mutex

Futex cho phép lock/unlock không tranh chấp xử lý hoàn toàn ở userspace; chỉ gọi syscall khi thực sự cần ngủ hoặc đánh thức thread.

ConcurrencyNâng cao2026-07-13
Futex - Fast Userspace Mutex

Tags

#futex#mutex#syscall#linux#userspace

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

ConcurrencyNâng cao

Priority Inheritance Mutex: nâng tạm quyền ưu tiên để giải cứu

Khi một tác vụ ưu tiên cao bị chặn bởi mutex do tác vụ ưu tiên thấp giữ, và một tác vụ ưu tiên trung bình chiếm CPU của tác vụ thấp đó, priority inheritance TẠM THỜI nâng độ ưu tiên của người giữ mutex lên bằng độ ưu tiên của luồng chờ cao nhất, để nó hoàn tất và nhả khoá càng sớm càng tốt.

#priority-inheritance#mutex#real-time#scheduling
ConcurrencyTrung bình

Lost Wakeup trên Condition Variable

Nếu waiter kiểm tra predicate rồi mới gọi wait() mà không giữ lock xuyên suốt, signaller có thể chen vào giữa hai bước đó: đổi trạng thái và signal trước khi waiter kịp block — tín hiệu bị mất và waiter ngủ vĩnh viễn. Vì vậy predicate phải được kiểm tra khi đang GIỮ lock, và wait() phải nằm trong một vòng lặp.

#condition-variable#lost-wakeup#predicate-loop#signal-vs-broadcast
ConcurrencyNâng cao

Compiler Reordering vs Hardware Reordering

Trình biên dịch có thể hoist/sink/loại bỏ một load hoặc store nếu nó tin rằng không ai khác quan sát; CPU lại có thể thực thi và phát lệnh không đúng thứ tự chương trình. Cùng một đoạn code plain, hai tầng tối ưu này có thể độc lập biến vòng lặp đọc cờ thành đọc một lần rồi lặp vô hạn.

#compiler-reordering#hardware-reordering#memory-order#atomic