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
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