proto.lib

Schedule Fuzzing & Deterministic Replay: săn race "một tuần mới trồi lên một lần"

Thay vì hy vọng may mắn tái hiện race hiếm, schedule fuzzer chủ động chèn preemption/delay ngẫu nhiên tại các điểm đồng bộ hoá dựa trên một SEED cố định; lịch thất bại có thể replay lại chính xác từ seed đó và thu gọn (shrink) về interleaving tối thiểu gây lỗi.

ConcurrencyNâng cao2026-08-21
Schedule Fuzzing & Deterministic Replay: săn race "một tuần mới trồi lên một lần"

Liên quan