[Russ Cox] Cuộc cách mạng trong chuyển đổi số thực dấu phẩy động: dễ hơn, nhanh hơn và đơn giản hơn

Tóm tắt:

• Thuật toán chuyển đổi số thực dấu phẩy động mới do Russ Cox đề xuất đơn giản hơn nhưng vẫn có hiệu năng vượt trội so với các thuật toán phức tạp hiện có (Ryū, Dragonbox, v.v.).
• Thông qua primitive cốt lõi mang tên 'Unrounded Scaling', việc chuyển đổi giữa nhị phân và thập phân được tăng tốc tới mức chỉ tương đương một phép nhân 64-bit.
• Bản triển khai này được kỳ vọng sẽ có mặt trong Go 1.27 (dự kiến tháng 8/2026), đồng thời hỗ trợ cả xuất với độ chính xác cố định và parse/xuất khoảng cách ngắn nhất.
• Cải thiện hiệu năng so với bản triển khai hiện tại
• Hiệu năng xuất (Printing): tăng khoảng 10~30%
• Hiệu năng parse (Parsing): tăng khoảng 5~15%

Tóm tắt chi tiết:

1. Bối cảnh: sự phức tạp cố hữu của chuyển đổi số thực dấu phẩy động

Việc chuyển đổi số thực dấu phẩy động nhị phân (Floating-point) của máy tính sang số thập phân mà con người có thể đọc được, hoặc ngược lại, là lĩnh vực mà trong nhiều thập kỷ đã có vô số thuật toán (Dragon4, Grisu3, Ryū, Dragonbox, v.v.) cạnh tranh với nhau. Trước đây Russ Cox từng nói rằng "việc chuyển đổi thì dễ, vấn đề là tốc độ", nhưng qua bài viết này ông đã chứng minh rằng "một thuật toán chuyển đổi nhanh cũng có thể đơn giản".

2. Ý tưởng cốt lõi: Unrounded Numbers (⟨x⟩)

Nền tảng của thuật toán này là kiểu unrounded. Nó giữ lại không chỉ phần nguyên của số mà còn cả 2 bit thông tin bổ sung cần cho việc làm tròn (bit ½ và giá trị OR của các bit thấp hơn, tức 'sticky bit').

• Cấu trúc: ⟨x⟩ = ⌊4x⌋ | (4x ≠ ⌊4x⌋)
• Ưu điểm: Khi giữ ở dạng này, có thể thực hiện floor, ceil hoặc phép toán quan trọng nhất trong số thực dấu phẩy động là 'Round-to-nearest, ties-to-even' với chi phí rất thấp.

3. Tỷ lệ hóa không làm tròn tốc độ cao (Fast Unrounded Scaling)

Hàm cốt lõi nhất là uscale(x, e, p). Hàm này tính kết quả unrounded.
Trong khi các thuật toán trước đây đòi hỏi phép toán trên số nguyên rất lớn, cách tiếp cận này xử lý trong phạm vi phép toán 64-bit theo nguyên lý sau.

// Ví dụ triển khai mang tính khái niệm (bản tối ưu thực tế phức tạp hơn)  
func uscale(x uint64, e, p int) unrounded {  
    // Tính bằng cách xấp xỉ 10^p thành 2^k * một phân số chính xác  
    // Trong đa số trường hợp quy về một phép nhân 64-bit đơn (mul64) và phép dịch bit  
}  
  

4. Thành quả chính và hiệu năng

• Tính đơn giản: Mã triển khai rất ngắn, dễ bảo trì và có thể chứng minh logic.
• Hiệu năng: Kết quả benchmark cho thấy hiệu năng còn nhanh hơn Dragonbox (xuất) và Eisel-Lemire (parse), vốn hiện được xem là những thuật toán nhanh nhất.
• Tính phổ quát: Có thể áp dụng cho cả xuất số thập phân cố định (Fixed-width printing) và xuất độ rộng ngắn nhất để khôi phục hoàn toàn giá trị gốc (Shortest-width printing).

5. Ý nghĩa đối với nhà phát triển

Thuật toán này dự kiến sẽ được tích hợp vào thư viện chuẩn của ngôn ngữ Go. Khi việc chuyển đổi số thập phân diễn ra bên trong hệ thống (ví dụ: fmt.Printf("%f", f) hoặc strconv.ParseFloat), các nhà phát triển sẽ có thể nhận được kết quả chính xác trong khi dùng ít tài nguyên CPU hơn. Ngoài ra, khái niệm unrounded còn mang lại cảm hứng để kiểm soát số trị một cách chính xác mà không cần đến các thư viện phân tích số phức tạp.```