Loading feed…
Lobsters0 Hot1 comments9 min read
Implementing FMA and finding bugs in C and Rust standard libraries
AI summary
Bài viết mô tả quá trình kiểm tra hàm fma (fused multiply‑add) khi tính biểu thức a * b + c trong các thư viện chuẩn của Rust và musl libc. Khi so sánh kết quả của hàm fma với phép nhân rồi cộng thực hiện riêng, tác giả phát hiện sự khác biệt ở mức một đơn vị cuối cùng (ulp) đối với một số giá trị đầu vào đặc biệt, do việc làm tròn không được thực hiện đúng theo chuẩn IEEE 754. Lỗi này xuất phát từ việc các thư viện sử dụng phép nhân bình thường cộng sau đó thay vì gọi lệnh FMA phần cứng hoặc thực hiện phiên bản phần mềm giữ nguyên một bước làm tròn. Hệ quả là các chương trình dựa trên fma để đạt độ chính xác cao hoặc tránh lỗi lũy thừa có thể trả về kết quả sai, gây thất bại trong các bài test số học và ảnh hưởng đến tính ổn định của các tính toán khoa học. Bài học là khi triển khai hoặc sử dụng hàm fma cần kiểm tra xem thực hiện có tuân thủ semantics làm tròn đơn một bước hay không, và ưu tiên sử dụng intrinsics của CPU hoặc thư viện libm đã được chứng thực đối với IEEE 754.
Why read it: Bài viết tiết lộ lỗi tinh vi trong thư viện chuẩn Rust và musl libc khi triển khai phép tính FMA.
What do you remember?
Answer 3 short questions to earn reward points for this article. Only do it if you want the points.
up to +17 points
3 questions · under a minute · optional
Source: https://shnatsel.github.io/implementing-fma-finding-bugs-in-std. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Recommended for you
Bình luận
Đang tải bình luận…
