Tại sao mã bù hai lại được dùng phổ biến để biểu diễn số nguyên có dấu?

Mã bù hai chỉ có một biểu diễn duy nhất cho số không và cho phép thực hiện cả phép cộng lẫn phép trừ trên cùng một mạch cộng số học duy nhất, giúp tối giản hóa đáng kể thiết kế vi mạch.

Chuẩn IEEE 754 phân chia một số dấu phẩy động thành những thành phần nào?

Chuẩn IEEE 754 phân tách một số dấu phẩy động thành ba trường dữ liệu độc lập gồm bit dấu xác định dấu số học, trường số mũ có độ lệch xác định bậc độ lớn, và trường định trị xác định các chữ số có nghĩa.

Hệ thống số thặng dư mang lại lợi ích gì so với biểu diễn số nhị phân truyền thống?

Hệ thống số thặng dư triệt tiêu hoàn toàn sự lan truyền cờ nhớ giữa các kênh số dư trong các phép tính cộng và nhân, hỗ trợ tính toán song song độc lập ở tần số xung nhịp cao và tiết kiệm tài nguyên phần cứng.

Biểu diễn số (number representation) là gì?

Biểu diễn số (number representation) là phương thức mã hóa các giá trị số học toán học thành chuỗi ký hiệu hoặc tín hiệu số nhị phân trong kiến trúc máy tính, cho phép hệ thống phần cứng lưu trữ và thực thi các phép tính số học. Đây là nền tảng cốt lõi của khoa học máy tính và kỹ thuật máy tính, quyết định trực tiếp đến độ chính xác số học, dải biểu diễn động, độ phức tạp của vi mạch bán dẫn và hiệu năng xử lý của bộ vi xử lý. Bài viết phân tích cơ sở toán học của các hệ đếm, các phương thức mã hóa số nguyên và số thực, chuẩn hóa công nghiệp, hệ thống số chuyên dụng cùng các thách thức sai số trong kiến trúc tính toán hiện đại.

Bản chất toán học và nguyên lý mã hóa số học

Trong toán học thuần túy, các tập hợp số học chứa vô hạn phần tử, trong đó từ các phần tử rời rạc như số nguyên đến trường số thực liên tục. Ngược lại, phần cứng điện tử số chỉ có thể lưu trữ và xử lý các trạng thái điện áp rời rạc hữu hạn thông qua các phần tử nhớ nhị phân. Do đó, biểu diễn số là quá trình ánh xạ một tập hợp số học toán học vào một không gian trạng thái nhị phân có giới hạn dung lượng.

Nguyên lý cơ bản của biểu diễn số dựa trên hệ đếm vị trí cơ số. Trong hệ đếm cơ số bất kỳ, giá trị của một chữ số phụ thuộc vào cả ký hiệu của nó và vị trí của nó trong chuỗi số học. Đối với máy tính số, cơ số hai được lựa chọn làm nền tảng vật lý nhờ tính ổn định của các mạch chuyển mạch bán dẫn hai trạng thái đóng mở.

Mỗi phương thức biểu diễn số là một bản thiết kế đánh đổi kỹ thuật giữa bốn yếu tố ràng buộc:

Dải biểu diễn: Khoảng cách giữa giá trị nhỏ nhất và giá trị lớn nhất mà một từ mã nhị phân có thể thể hiện được.
Độ chính xác và độ phân giải: Khoảng cách nhỏ nhất giữa hai giá trị số học kế tiếp nhau trong không gian biểu diễn, quyết định mức độ chi tiết của phép xấp xỉ.
Độ phức tạp phần cứng: Kích thước diện tích mạch logic, số lượng cổng bán dẫn và số chu kỳ xung nhịp cần thiết để thiết kế các khối làm tính số học như bộ cộng, bộ nhân và bộ chia.
Độ trễ truyền cờ nhớ: Thời gian cần thiết để tín hiệu nhớ lan truyền từ bit có trọng số thấp nhất đến bit có trọng số cao nhất trong các phép tính toán số học nối tiếp.

Biểu diễn số nguyên trong kiến trúc phần cứng

Biểu diễn số nguyên là tầng cơ bản nhất trong thiết kế vi xử lý, phục vụ các thao tác định địa chỉ bộ nhớ, biến đếm vòng lặp và tính toán số học rời rạc.

Số nguyên không dấu

Số nguyên không dấu ánh xạ trực tiếp một từ mã nhị phân gồm các bit sang tập hợp số tự nhiên. Giá trị được xác định bằng tổng trọng số lũy thừa cơ số hai của các vị trí bit mang giá trị một. Định dạng này tận dụng tối đa không gian trạng thái cho các đại lượng luôn dương, nhưng không thể biểu diễn trực tiếp các giá trị số âm.

Số nguyên có dấu theo mã bù hai

Để biểu diễn số nguyên có dấu, kiến trúc máy tính hiện đại sử dụng gần như tuyệt đối mã bù hai (two's complement). Trong biểu diễn bù hai, bit có trọng số cao nhất được gán trọng số âm, trong khi toàn bộ các bit còn lại vẫn giữ trọng số dương thông thường.

Biểu thức toán học xác định giá trị của một từ mã bù hai có độ dài bit xác định được thiết lập như sau:

V = -b_{n-1} 2^{n-1} + \sum_{i=0}^{n-2} b_i 2^i

Trong phương trình trên, $V$ là giá trị số nguyên giải mã được, $n$ là tổng số bit của từ mã nhị phân, $b_{n-1}$ là giá trị của bit dấu ở vị trí cao nhất, và $b_i$ là giá trị của bit tại vị trí thứ $i$ nhận giá trị không hoặc một.

Ưu thế vượt trội của mã bù hai so với mã dấu độ lớn hoặc mã bù một thể hiện ở hai khía cạnh công nghệ:

Đơn nhất số không: Mã bù hai chỉ có một biểu diễn duy nhất cho số không, loại bỏ hiện tượng tồn tại đồng thời số không dương và số không âm gây lãng phí trạng thái và phức tạp hóa mạch so sánh.
Mạch cộng thống nhất: Phép trừ số học được chuyển đổi trực tiếp thành phép cộng với số bù hai đảo dấu, cho phép bộ xử lý thực hiện cả phép cộng và phép trừ trên cùng một mạch cộng số học duy nhất mà không cần thiết kế khối trừ riêng biệt.

Biểu diễn số thực và chuẩn hóa IEEE 754

Để biểu diễn các đại lượng số học có phần thập phân hoặc các đại lượng có độ lớn biến thiên từ vô cùng nhỏ đến vô cùng lớn trong tính toán khoa học, các kỹ sư phát triển hai phương thức chính là dấu phẩy tĩnh và dấu phẩy động.

Biểu diễn dấu phẩy tĩnh

Biểu diễn dấu phẩy tĩnh cố định một số lượng bit nhất định cho phần nguyên và một số lượng bit cố định cho phần phân số sau dấu phẩy nhị phân. Mặc dù cấu trúc này cho phép tái sử dụng các mạch cộng số nguyên với tốc độ tính toán cao, nhược điểm chí mạng của nó là dải biểu diễn rất hẹp, dễ dẫn đến hiện tượng tràn số khi tính toán các phương trình vi phân hoặc mô phỏng vật lý đa quy mô.

Chuẩn dấu phẩy động IEEE 754

Nhằm giải quyết triệt để sự phân mảnh giữa các nhà sản xuất máy tính và đảm bảo tính tái lập của các thuật toán số học, tổ chức IEEE đã ban hành chuẩn dấu phẩy động IEEE 754. Nghiên cứu tổng quan của Boldo và cộng sự công bố năm 2023 trên tạp chí Acta Numerica khẳng định rằng số học dấu phẩy động là phương thức phổ biến nhất để xấp xỉ số thực trên các máy tính số hiện đại.

Theo chuẩn IEEE 754, một số dấu phẩy động chuẩn tắc được phân tách thành ba trường dữ liệu độc lập: bit dấu, trường số mũ có độ lệch và trường định trị. Giá trị số học của từ mã được giải mã theo công thức:

V = (-1)^s \cdot \left(1 + \sum_{i=1}^p b_{-i} 2^{-i}\right) \cdot 2^{e - B}

Trong công thức trên, $V$ là giá trị số thực giải mã, $s$ là bit dấu nhận giá trị không đối với số dương hoặc một đối với số âm, đại lượng $p$ là số lượng bit phân số của trường định trị, $b_{-i}$ là giá trị bit phân số tại vị trí thứ $i$ , $e$ là giá trị nguyên của trường số mũ không dấu, và $B$ là hằng số độ lệch số mũ được xác định trước theo quy chuẩn.

Phiên bản chuẩn IEEE 754 công bố năm 2019 tiếp tục củng cố và định nghĩa các định dạng nhị phân chuẩn hóa phục vụ tính toán kỹ thuật (gồm các định dạng cơ sở và định dạng trao đổi):

Định dạng trao đổi nửa độ chính xác: Sử dụng từ mã độ dài 16 bit, được ứng dụng rộng rãi trong các bộ tăng tốc tính toán đồ họa và mạng thần kinh nhân tạo nhờ khả năng giảm băng thông bộ nhớ.
Định dạng cơ sở độ chính xác đơn: Sử dụng từ mã độ dài 32 bit, cân bằng giữa dải biểu diễn động và tài nguyên bộ nhớ trong các ứng dụng kỹ thuật tổng quát.
Định dạng cơ sở độ chính xác kép: Sử dụng từ mã độ dài 64 bit, tiêu chuẩn vàng cho các phép mô phỏng khoa học, dự báo thời tiết và cơ học thiên thể đòi hỏi sai số làm tròn tối thiểu.

Các hệ thống biểu diễn số thay thế và chuyên dụng

Mặc dù chuẩn IEEE 754 chiếm ưu thế áp đảo, những hạn chế về lãng phí bit trạng thái không hợp lệ và độ phức tạp phần xử lý số phi chuẩn đã thúc đẩy các nhà nghiên cứu phát triển các hệ thống biểu diễn số thay thế.

Hệ thống số Posit

Hệ thống số posit được đề xuất nhằm tối ưu hóa lượng thông tin biểu diễn trên mỗi bit nhị phân. Điểm đặc trưng của định dạng posit là trường độ lớn biến thiên linh hoạt, cho phép tự động điều chỉnh tỷ lệ giữa số lượng bit dành cho số mũ và số lượng bit dành cho phần định trị tùy thuộc vào độ lớn của giá trị cần biểu diễn. Nhờ cơ chế này, định dạng posit cung cấp độ phân giải cực cao xung quanh giá trị đơn vị.

Tuy nhiên, sự linh hoạt của định dạng posit phải đánh đổi bằng chi phí phần cứng. Nghiên cứu thực nghiệm của Uguen và cộng sự công bố năm 2019 tại hội nghị FPL trên vi mạch khả trình đã chứng minh rằng các bộ cộng và bộ nhân định dạng posit 32 bit đòi hỏi diện tích phần cứng và độ trễ lớn hơn đáng kể so với các mạch xử lý dấu phẩy động IEEE 754 tương đương, do sự xuất hiện của các mạch dịch bit biến vị trí phức tạp.

Hệ thống số thặng dư

Hệ thống số thặng dư (residue number system) biểu diễn một số nguyên thông qua tập hợp các số dư của nó đối với một cơ sở gồm các số nguyên tố cùng nhau. Ưu điểm cốt lõi của hệ thống số thặng dư là triệt tiêu hoàn toàn sự lan truyền cờ nhớ giữa các kênh số dư trong các phép tính cộng, trừ và nhân số học, cho phép các kênh tính toán độc lập song song ở tốc độ xung nhịp cực cao.

Nghiên cứu của Valueva và cộng sự công bố năm 2020 trên tạp chí Mathematics and Computers in Simulation đã áp dụng hệ thống số thặng dư vào phần cứng mạng nơ ron tích chập. Kết quả thực nghiệm của nhóm nghiên cứu chứng minh rằng việc khai thác tính toán không cờ nhớ của hệ thống số thặng dư giúp giảm chi phí tài nguyên phần cứng từ 7.86% đến 37.78% so với mạch logic số bù hai truyền thống, đồng thời rút ngắn thời gian thực thi nhận dạng mẫu.

Bảng đối chiếu các phương thức biểu diễn số

Phương thức biểu diễn	Dải giá trị biểu diễn	Đặc tính độ phân giải	Độ phức tạp vi mạch	Lĩnh vực ứng dụng chủ đạo
Số nguyên không dấu	Chỉ biểu diễn các giá trị không âm	Độ phân giải cố định tuyệt đối bằng một đơn vị	Mạch số học tối giản nhất	Định địa chỉ ô nhớ và quản trị bộ đếm
Số nguyên bù hai	Đối xứng quanh số không với một giá trị âm phụ	Độ phân giải cố định tuyệt đối bằng một đơn vị	Tích hợp mạch cộng trừ thống nhất tốc độ cao	Tính toán số học tổng quát trong hệ điều hành
Dấu phẩy tĩnh	Dải biểu diễn bị chặn hẹp bởi điểm đặt dấu cố định	Độ phân giải cố định trong toàn bộ dải biểu diễn	Thấp, tương đương mạch số nguyên	Bộ xử lý tín hiệu số và hệ thống nhúng chi phí thấp
Dấu phẩy động IEEE 754	Dải động cực rộng nhờ trường số mũ rời rạc	Độ phân giải thay đổi tỷ lệ thuận với độ lớn giá trị	Cao, cần mạch chuẩn hóa và dịch số mũ	Tính toán khoa học kỹ thuật và đồ họa không gian
Số thặng dư	Bị chặn bởi tích các mô đun cơ sở nguyên tố	Rời rạc số nguyên không thứ tự trực tiếp	Rất thấp cho cộng nhân, rất cao cho so sánh chia	Mạng thần kinh nhân tạo và mã hóa mật mã học

Sai số số học, lan truyền lỗi và ranh giới tính toán

Mọi phương thức biểu diễn số thực trên nền tảng phần cứng hữu hạn đều phải đối mặt với hiện tượng mất mát thông tin do giới hạn độ chính xác.

Sai số làm tròn và suy giảm độ chính xác

Khi kết quả của một phép tính toán số học không thể biểu diễn chính xác bằng số lượng bit khả dụng của trường định trị, phần cứng buộc phải áp dụng các quy tắc làm tròn (như làm tròn về giá trị gần nhất, làm tròn về không, hoặc làm tròn về vô cùng). Tích lũy sai số làm tròn qua hàng triệu bước lặp trong các thuật toán giải số phương trình vi phân có thể làm sai lệch hoàn toàn nghiệm hội tụ của mô hình.

Hiện tượng triệt tiêu thảm họa

Hiện tượng triệt tiêu thảm họa xảy ra khi thực hiện phép trừ giữa hai số dấu phẩy động có giá trị xấp xỉ bằng nhau. Khi đó, các chữ số có nghĩa quan trọng ở phần đầu bị triệt tiêu hoàn toàn, để lại kết quả bị chi phối bởi các bit nhiễu làm tròn ở cuối từ mã. Điều này làm mất đi gần như toàn bộ độ chính xác có nghĩa ban đầu của dữ liệu.

Tràn số và dưới ngưỡng biểu diễn

Tràn số xuất hiện khi giá trị tính toán vượt quá giới hạn biểu diễn lớn nhất của hệ thống, dẫn đến hiện tượng quay vòng giá trị âm trong số nguyên bù hai hoặc tạo ra giá trị vô cùng trong chuẩn IEEE 754. Ngược lại, hiện tượng dưới ngưỡng biểu diễn xảy ra khi số có độ lớn nhỏ hơn giá trị khác không nhỏ nhất có thể biểu diễn chuẩn tắc, buộc hệ thống phải chuyển sang chế độ số phi chuẩn với độ phân giải suy giảm dần.

Ứng dụng thực tiễn và xu hướng phát triển phần cứng

Trong kỷ nguyên bùng nổ của trí tuệ nhân tạo và xử lý dữ liệu lớn, bài toán biểu diễn số học đang trải qua sự chuyển dịch mạnh mẽ từ độ chính xác cao sang tính toán thích ứng linh hoạt.

Tính toán độ chính xác thấp trong trí tuệ nhân tạo

Các mô hình học sâu hiện đại cho thấy khả năng chống chịu nhiễu số học rất cao. Thay vì sử dụng chuẩn 32 bit hoặc 64 bit truyền thống, các bộ xử lý chuyên dụng chuyển đổi sang các định dạng số thực 16 bit hoặc thậm chí 8 bit. Việc thu hẹp độ rộng từ mã giúp cắt giảm một nửa băng thông bộ nhớ và năng lượng tiêu thụ trên mỗi phép tính, thúc đẩy tốc độ xử lý mạng nơ ron tăng lên gấp bội.

Sự kết hợp giữa chuẩn công nghiệp IEEE 754 và các định dạng số thặng dư chuyên dụng mở ra hướng đi mới cho các kiến trúc phần cứng lai, nơi các phép tính tích chập ma trận lớn được thực thi trên miền số học không cờ nhớ trước khi chuyển đổi ngược về dạng số chuẩn tắc để hiển thị và lưu trữ.