proto.lib

Parallel reduction và tính không xác định (non-determinism)

Cộng dấu chấm động không có tính kết hợp (not associative), nên một phép reduce song song mà thứ tự kết hợp phụ thuộc vào lịch trình thread sẽ cho kết quả khác nhau giữa các lần chạy — chỉ 'nổi lên' khi test so sánh bằng chính xác hoặc khi báo cáo tài chính cần đối soát khớp số.

ConcurrencyNâng cao2026-08-25
Parallel reduction và tính không xác định (non-determinism)

Tags

#parallel-reduction#floating-point#nondeterminism#kahan-summation#map-reduce

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

Writer Starvation trong RWLock: writer chờ vô hạn

Một readers-writer lock ưu tiên reader (reader-preferring) cho phép luồng đọc mới liên tục chen vào miễn còn ít nhất một reader đang giữ khoá, khiến writer chờ vô hạn; chính sách write-preferring hoặc phase-fair chặn reader mới khi có writer đang đợi để writer được vào sau khi các reader hiện tại kết thúc.

#rwlock#writer-starvation#fairness#phase-fair
ConcurrencyTrung bình

Cache dùng Weak Reference — không giữ object sống mãi

Cache giữ entry qua weak reference để bộ quản lý bộ nhớ có thể thu hồi object khi cần, và bản thân map phải tự dọn các entry đã chết (qua reference queue hoặc quét định kỳ) — nếu không sẽ tích tụ vô số holder trống không bao giờ được giải phóng.

#weak-reference#cache#gc#memory-reclamation
ConcurrencyNâng cao

Thread-per-Core, Shared-Nothing

Mỗi core ghim đúng một thread, thread đó sở hữu riêng một phần dữ liệu và một event loop riêng; công việc được định tuyến tới core sở hữu theo key thay vì lock, nên trong luồng bình thường không có race và không có cache-line ping-pong giữa các core.

#thread-per-core#shared-nothing#sharding#message-passing