Định Dạng Dấu Phẩy động độ Chính Xác đơn – Wikipedia Tiếng Việt

định dạng số máy tính 32-bitBản mẫu:SHORTDESC:định dạng số máy tính 32-bit

Định dạng dấu phẩy động độ chính xác đơn (đôi khi còn gọi là FP32 hoặc float32) là một định dạng số máy tính, thường chiếm 32 bit trong bộ nhớ máy tính; nó có khả năng biểu diễn một dải động rộng các giá trị số bằng cách sử dụng dấu phẩy cơ số động.

Một biến số thực dấu phẩy động có khả năng biểu diễn một khoảng giá trị lớn hơn so với một biến dấu phẩy tĩnh có cùng kích thước bit at the cost of precision. Một biến số nguyên có dấu với kích thước 32 bit có thể nhận giá trị tối đa là 231 − 1 = 2.147.483.647, trong khi một biến dấu phẩy động cơ số 2 theo chuẩn IEEE 754 với kích thước 32 bit có thể nhận giá trị tối đa lên tới (2 − 2−23) × 2127 ≈ 3,4028235 × 1038. Tất cả các số nguyên có từ 7 chữ số thập phân trở xuống, và bất cứ giá trị 2n nào với điều kiện −149 ≤ n ≤ 127, đều có thể được chuyển đổi chính xác thành giá trị dấu phẩy động chính xác đơn theo chuẩn IEEE 754.

Theo tiêu chuẩn IEEE 754-2008, định dạng 32-bit cơ số 2 có tên chính thức là binary32; nó từng có tên gọi single trong chuẩn IEEE 754-1985. Ngoài ra IEEE 754 còn quy định về các kiểu số thực dấu phẩy động khác, như định dạng chính xác kép 64-bit cơ số 2, và gần đây hơn là các dạng biểu diễn bằng hệ 10.

Một trong những ngôn ngữ lập trình đầu tiên cung cấp các kiểu dữ liệu dấu phẩy động độ chính xác đơn và kép là Fortran. Trước khi IEEE 754-1985 được chấp thuận rộng rãi, cách biểu diễn và các thuộc tính của các kiểu dữ liệu dấu phẩy động đều phụ thuộc vào từng nhà sản xuất máy tính, từng mẫu máy tính và quyết định của các nhà thiết kế ngôn ngữ lập trình. Ví dụ, trong GW-BASIC, kiểu dữ liệu chính xác đơn được sử dụng là định dạng dấu phẩy động MBF 32-bit.

Định dạng chính xác đơn được gọi là REAL trong Fortran,[1] SINGLE-FLOAT in Common Lisp,[2] float trong C, C++, C#, Java,[3] Float trong Haskell[4] và Swift,[5] và Single trong Object Pascal (Delphi), Visual Basic, và MATLAB. Tuy nhiên, các kiểu float trong Python, Ruby, PHP và OCaml cùng với single trong các phiên bản Octave trước 3.2 lại chỉ các số độ chính xác kép. Hầu hết các bản triển khai PostScript và một số hệ thống nhúng chỉ hỗ trợ định dạng chính xác đơn. Bản mẫu:Dấu phẩy động

Tiêu chuẩn IEEE 754: binary32

[sửa | sửa mã nguồn]

Tiêu chuẩn IEEE 754 quy định một giá trị binary32 bao gồm:

• Bit dấu: 1 bit
• Kích thước mũ: 8 bit
• Độ chính xác định trị: 24 bit (chỉ có 23 bit được lưu tường minh)

Định dạng này cho độ chính xác từ 6 đến 9 chữ số thập phân có nghĩa. Nếu một xâu thập phân có từ dưới 6 chữ số có nghĩa được chuyển đổi sang dạng biểu diễn chính xác đơn IEEE 754, sau đó được chuyển đổi lại thành một xâu thập phân có cùng số chữ số như ban đầu, kết quả sẽ giống hệt như xâu gốc.[6]

Bit dấu quyết định dấu của giá trị số và cả dấu của phần định trị. Phần mũ là một giá trị nguyên 8 bit không dấu từ 0 đến 255, được lưu dưới dạng có độ lệch (biased exponent): nếu phần mũ được lưu có giá trị là 127 thì giá trị thực sự phải là 0. Giá trị thực của phần mũ chỉ nằm trong khoảng từ −126 tới +127 bởi các giá trị mũ −127 (toàn 0) và +128 (toàn 1) được dành cho các số đặc biệt.

Phần định trị thực bao gồm 23 bit biểu diễn phần lẻ nằm ở phía bên phải dấu phẩy nhị phân cộng thêm một bit hiểu ngầm (nằm bên trái dấu phẩy nhị phân) có giá trị 1, trừ khi tất cả bit ở phần mũ đều là 0. Do đó chỉ có 23 bit phần lẻ của định trị xuất hiện trong định dạng bộ nhớ, còn tổng độ chính xác phải là 24 bit (tương đương với log10(224) ≈ 7,225 chữ số thập phân). Các bit được sắp xếp như sau:

• sign: bit dấu
• exponent: phần mũ
• fraction: phần lẻ

Giá trị thực của một dữ liệu binary32 32 bit, có dấu, phần mũ lệch e (dạng số nguyên không dấu 8 bit) và phần lẻ 23 bit cho trước có thể được tính như sau

( − 1 ) b 31 × 2 ( b 30 b 29 … b 23 ) 2 − 127 × ( 1. b 22 b 21 … b 0 ) 2 {\displaystyle (-1)^{b_{31}}\times 2^{(b_{30}b_{29}\dots b_{23})_{2}-127}\times (1.b_{22}b_{21}\dots b_{0})_{2}} ,

tương đương với

giá trị = ( − 1 ) dấu × 2 ( E − 127 ) × ( 1 + ∑ i = 1 23 b 23 − i 2 − i ) . {\displaystyle {\text{giá trị}}=(-1)^{\text{dấu}}\times 2^{(E-127)}\times \left(1+\sum _{i=1}^{23}b_{23-i}2^{-i}\right).}

Trong ví dụ này:

• dấu = b 31 = 0 {\displaystyle {\text{dấu}}=b_{31}=0} ,
• ( − 1 ) dấu = ( − 1 ) 0 = + 1 ∈ { − 1 , + 1 } {\displaystyle (-1)^{\text{dấu}}=(-1)^{0}=+1\in \{-1,+1\}} ,
• E = b 30 b 29 … b 23 = ∑ i = 0 7 b 23 + i 2 + i = 124 ∈ { 1 , … , ( 2 8 − 1 ) − 1 } = { 1 , … , 254 } {\displaystyle E=b_{30}b_{29}\dots b_{23}=\sum _{i=0}^{7}b_{23+i}2^{+i}=124\in \{1,\ldots ,(2^{8}-1)-1\}=\{1,\ldots ,254\}} ,
• 2 ( E − 127 ) = 2 124 − 127 = 2 − 3 ∈ { 2 − 126 , … , 2 127 } {\displaystyle 2^{(E-127)}=2^{124-127}=2^{-3}\in \{2^{-126},\ldots ,2^{127}\}} ,
• 1. b 22 b 21 . . . b 0 = 1 + ∑ i = 1 23 b 23 − i 2 − i = 1 + 1 ⋅ 2 − 2 = 1 , 25 ∈ { 1 , 1 + 2 − 23 , … , 2 − 2 − 23 } ⊂ [ 1 ; 2 − 2 − 23 ] ⊂ [ 1 ; 2 ) {\displaystyle 1.b_{22}b_{21}...b_{0}=1+\sum _{i=1}^{23}b_{23-i}2^{-i}=1+1\cdot 2^{-2}=1,25\in \{1,1+2^{-23},\ldots ,2-2^{-23}\}\subset [1;2-2^{-23}]\subset [1;2)} .

do đó:

• giá trị = ( + 1 ) × 2 − 3 × 1.25 = + 0 , 15625 {\displaystyle {\text{giá trị}}=(+1)\times 2^{-3}\times 1.25=+0,15625} .

Lưu ý:

• 1 + 2 − 23 ≈ 1 , 000 000 119 {\displaystyle 1+2^{-23}\approx 1,000\,000\,119} ,
• 2 − 2 − 23 ≈ 1 , 999 999 881 {\displaystyle 2-2^{-23}\approx 1,999\,999\,881} ,
• 2 − 126 ≈ 1 , 175 494 35 × 10 − 38 {\displaystyle 2^{-126}\approx 1,175\,494\,35\times 10^{-38}} ,
• 2 + 127 ≈ 1 , 701 411 83 × 10 + 38 {\displaystyle 2^{+127}\approx 1,701\,411\,83\times 10^{+38}} .

Mã hóa phần mũ

[sửa | sửa mã nguồn]

Phần mũ trong định dạng dấu phẩy động nhị phân độ chính xác đơn được mã hóa bằng cách biểu diễn offset-binary, với giá trị zero offset là 127; hay còn gọi là độ lệch mũ (exponent bias) trong chuẩn IEEE 754.

• Emin = 01H−7FH = −126
• Emax = FEH−7FH = 127
• Độ lệch mũ = 7FH = 127

Do đó, để lấy được giá trị thực của phần mũ thông qua cách biểu diễn offset-binary, cần phải trừ giá trị offset 127 khỏi phần mũ được lưu.

Các trường hợp phần mũ lưu với giá trị 00H và FFH là các trường hợp đặc biệt.

Phần mũ	phần lẻ = 0	phần lẻ ≠ 0	Phương trình
00H = 000000002	±0	số dưới mức chuẩn hóa(subnormal number)	( − 1 ) dấu × 2 − 126 × 0. phần lẻ {\displaystyle (-1)^{\text{dấu}}\times 2^{-126}\times 0.{\text{phần lẻ}}}
01H, ..., FEH = 000000012, ..., 111111102	giá trị chuẩn hóa		( − 1 ) dấu × 2 phần mũ − 127 × 1. phần lẻ {\displaystyle (-1)^{\text{dấu}}\times 2^{{\text{phần mũ}}-127}\times 1.{\text{phần lẻ}}}
FFH = 111111112	±vô cùng	NaN

Giá trị chuẩn hóa dương nhỏ nhất là 2 − 126 ≈ 1 , 18 × 10 − 38 {\displaystyle 2^{-126}\approx 1,18\times 10^{-38}} và giá trị dương nhỏ nhất (dưới mức chuẩn hóa) là 2 − 149 ≈ 1 , 4 × 10 − 45 {\displaystyle 2^{-149}\approx 1,4\times 10^{-45}} .

Giới hạn chính xác với các giá trị thập phân (từ 1 tới 16777216)

[sửa | sửa mã nguồn]

• Các số thập phân từ 1 tới 2: khoảng cố định 2−23 (1+2−23 là số dấu phẩy động lớn nhất tiếp theo sau 1)
• Các số thập phân từ 2 tới 4: khoảng cố định 2−22
• Các số thập phân từ 4 tới 8: khoảng cố định 2−21
• ...
• Các số thập phân từ 2n tới 2n+1: khoảng cố định 2n-23
• ...
• Các số thập phân từ 222=4194304 tới 223=8388608: khoảng cố định 2−1=0.5
• Các số thập phân từ 223=8388608 tới 224=16777216: khoảng cố định 20=1

Giới hạn chính xác với các giá trị nguyên

[sửa | sửa mã nguồn]

• Các số nguyên từ 0 tới 16777216 có thể được biểu diễn chính xác (cũng áp dụng với các số nguyên âm từ −16777216 tới 0)
• Các số nguyên từ 224=16777216 tới 225=33554432 được làm tròn lên bội số của 2 (số chẵn)
• Các số nguyên từ 225 tới 226 được làm tròn lên bội số của 4
• ...
• Các số nguyên từ 2n tới 2n+1 được làm tròn lên bội số của 2n-23
• ...
• Các số nguyên từ 2127 tới 2128 được làm tròn lên bội số của 2104
• Các số nguyên bằng hoặc lớn hơn 2128 được làm tròn thành "vô cùng".

Xem thêm

[sửa | sửa mã nguồn]

• Tiêu chuẩn IEEE về Số học Dấu phẩy động (IEEE 754)
• ISO/IEC 10967, số học độc lập ngôn ngữ
• Kiểu dữ liệu cơ bản

Tham khảo

[sửa | sửa mã nguồn]

1. ^ “REAL Statement”. scc.ustc.edu.cn. Bản gốc lưu trữ ngày 24 tháng 2 năm 2021. Truy cập ngày 5 tháng 5 năm 2022.
2. ^ “CLHS: Type SHORT-FLOAT, SINGLE-FLOAT, DOUBLE-FLOAT...”.
3. ^ “Primitive Data Types”. Java Documentation.
4. ^ “6 Predefined Types and Classes”. haskell.org. 20 tháng 7 năm 2010.
5. ^ “Float”. Apple Developer Documentation.
6. ^ William Kahan (1 tháng 10 năm 1997). “Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic” (PDF). tr. 4.

Liên kết ngoài

[sửa | sửa mã nguồn]

• Trình chỉnh sửa mẫu bit dấu phẩy động trực tiếp
• Công cụ tính toán trực tuyến
• Trình chuyển đổi trực tuyến các số IEEE 754 có độ chính xác đơn
• Mã nguồn C chuyển đổi giữa các giá trị IEEE chính xác kép, đơn và bán chính xác

x t s Các kiểu dữ liệu
Không xác định	Bit Byte Trit Tryte Word Mảng bit
Số	Độ chính xác tùy ý hay bignum Phức Thập phân Dấu phẩy tĩnh Dấu phẩy động Độ chính xác thấp Minifloat Bán chính xác bfloat16 Độ chính xác đơn Độ chính xác kép Độ chính xác bậc bốn Độ chính xác bậc tám Độ chính xác mở rộng Long double Nguyên có dấu và không dấu Khoảng Hữu tỉ
Con trỏ	Địa chỉ vật lý ảo Tham chiếu
Văn bản	Ký tự Chuỗi kết thúc rỗng
Phức hợp	Kiểu dữ liệu đại số tổng quát Mảng Mảng kết hợp Lớp Phụ thuộc Equality Quy nạp Giao Danh sách Đối tượng siêu đối tượng Kiểu tùy chọn Tích Bản ghi hay Struct Refinement Tập hợp Hợp tagged
Khác	Boole Kiểu đáy Collection Kiểu liệt kê Ngoại lệ Kiểu hàm Kiểu dữ liệu mờ Kiểu dữ liệu đệ quy Đèn báo Stream Kiểu đỉnh Lớp kiểu Kiểu đơn vị Void
Chủ đềliên quan	Kiểu dữ liệu trừu tượng Cấu trúc dữ liệu Tổng quát Kind siêu lớp Kiểu đối tượng Đa hình tham số Kiểu dữ liệu cơ bản Giao thức giao diện Đa hình dẫn xuất Hàm tạo kiểu Chuyển đổi kiểu Hệ thống kiểu Lý thuyết hình thái Biến