proto.lib

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.

ConcurrencyNâng cao2026-08-25
Compiler Reordering vs Hardware Reordering

Tags

#compiler-reordering#hardware-reordering#memory-order#atomic#volatile#mutex#optimization

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

Atomic Reference Counting

Refcount được tăng/giảm nguyên tử để nhiều thread cùng chia sẻ một đối tượng an toàn; đối tượng chỉ được giải phóng khi refcount về 0.

#atomic#refcount#shared-ptr#memory-order
ConcurrencyNâng cao

Acquire/Release Memory Order

Acquire trên load và release trên store thiết lập happens-before giữa hai thread mà không cần sequential consistency đầy đủ, rẻ hơn nhưng vẫn đúng.

#memory-order#acquire-release#happens-before#atomic
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