Формат Decimal64 с плавающей запятой - Decimal64 floating-point format

В вычисление, десятичный64 это десятичная с плавающей запятой формат нумерации компьютеров занимающий 8 байтов (64 бита) в памяти компьютера. Он предназначен для приложений, в которых необходимо точно имитировать десятичное округление, таких как финансовые и налоговые вычисления.

Decimal64 поддерживает 16 десятичные цифры из значимое и показатель степени диапазон от -383 до +384, т. е. ±0.000000000000000×10^−383 к ±9.999999999999999×10^384. (Эквивалентно, ±0000000000000000×10^−398 к ±9999999999999999×10^369.) Напротив, соответствующий двоичный формат, который является наиболее часто используемым типом, имеет приблизительный диапазон ±0.000000000000001×10^−308 к ±1.797693134862315×10^308. Поскольку значение не нормализовано, большинство значений меньше 16 значащие цифры иметь несколько возможных представлений; 1 × 102=0.1 × 103=0.01 × 104и т. д. Zero имеет 768 возможных представлений (1536, если оба подписанные нули включены).

Decimal64 с плавающей запятой - это относительно новый десятичный формат с плавающей запятой, официально представленный в Версия 2008 г.[1] из IEEE 754 а также с ISO / IEC / IEEE 60559: 2011.[2]

Представление значений decimal64

ЗнакКомбинацияПродолжение экспонентыКоэффициент продолжения
1 бит5 бит8 бит50 бит
sмммммxxxxxxxxcccccccccccccccccccccccccccccccccccccccccccccccccc

IEEE 754 допускает два альтернативных метода представления значений decimal64. Стандарт не определяет, как обозначать, какое представление используется, например, в ситуации, когда значения decimal64 передаются между системами:

Обе альтернативы обеспечивают точно такой же диапазон представимых чисел: 16 значащих цифр и 3 × 2.8 = 768 возможных значений десятичной экспоненты. (Все возможные значения десятичной экспоненты, сохраняемые в двоичный64 число может быть представлено в десятичном формате, и большинство битов мантиссы двоичного числа 64 хранятся, сохраняя примерно одинаковое количество десятичных цифр в мантиссе.)

В обоих случаях старшие 4 бита мантиссы (которые на самом деле имеют только 10 возможных значений) объединяются с 2 старшими битами экспоненты (3 возможных значения), чтобы использовать 30 из 32 возможных значений 5-битной поле. Остальные комбинации кодируют бесконечности и NaNs.

Комбинированное полеЭкспонента MsbitsЗначимость MsbitsДругой
00ммм000xxx
01ммм010xxx
10ммм100xxx
1100 кв.м.00100x
1101 кв.м.01100x
1110 кв.м.10100x
11110± бесконечность
11111NaN. Знаковый бит игнорируется. Первый бит поля продолжения экспоненты определяет, сигнализирует ли NaN.

В случаях Infinity и NaN все остальные биты кодирования игнорируются. Таким образом, можно инициализировать массив бесконечностями или NaN, заполнив его однобайтовым значением.

Поле двоичного целочисленного значения

В этом формате используется двоичное значение от 0 до 10.16 − 1 = 9999999999999999 = 2386F26FC0FFFF16 = 1000111000011011110010011011111100000011111111111111112.

Кодирование, полностью сохраненное на 64 битах, может представлять двоичные значения до 10 × 2.50 − 1 = 11258999068426239 = 27FFFFFFFFFFFF16, но значения больше 1016 -1 являются недопустимыми (и стандарт требует, чтобы реализации обрабатывали их как 0, если они встречаются на входе).

Как описано выше, кодирование варьируется в зависимости от того, находятся ли наиболее значимые 4 бита значения в диапазоне от 0 до 7 (00002 к 01112) или выше (10002 или 10012).

Если 2 бита после знакового бита равны «00», «01» или «10», то поле экспоненты состоит из 10 бит, следующих за знаковым битом, а мантисса - это оставшиеся 53 бита с неявным начальным 0. кусочек:

s 00eeeeeeee (0) ttt tttttttttt tttttttttt tttttttttt tttttttttt tttttttttts 01eeeeeeee (0) ttt tttttttttt tttttttttt tttttttttt tttttttttt tttttttttts 10eeeeeeee (0) ttttttttttts 10eeeeeeee (0) ttttttttttts 10eeeeeeee (0) tttttttttttt

Это включает в себя субнормальные числа где первая цифра мантиссы равна 0.

Если 2 бита после знакового бита равны «11», то 10-битовое поле экспоненты сдвигается на 2 бита вправо (после как знакового бита, так и «11» битов после этого), и представленное значение находится в оставшейся 51 бит. В этом случае есть неявная (то есть не сохраненная) ведущая 3-битная последовательность "100" для большинства бит истинной значимости (в остальных младших битах ттт ... ттт значения, используются не все возможные значения).

s 1100eeeeeeee (100) t tttttttttt tttttttttt tttttttttt tttttttttt tttttttttts 1101eeeeeeee (100) t tttttttttt tttttttttt tttttttttt tttttttttt tttttttttts 1110eeeeeeee (100) tttttttttts 1110eeeeeeeeee (100) tttttttttts 1110eeeeeeeeee (100) tttttttttts 1110eeeeeeeeee (100) tttttttttt

2-битная последовательность "11" после знакового бита указывает, что существует скрытый 3-битный префикс "100" в мантиссе. Сравните наличие неявного 1-битного префикса «1» в значении нормальных значений для двоичных форматов. Двухбитовые последовательности «00», «01» или «10» после знакового бита являются частью поля экспоненты.

Старшие биты поля значащей нет закодировать самый старший десятичный разряд; они просто являются частью большего чисто двоичного числа. Например, значение 8000000000000000 кодируется как двоичный 0111000110101111110101001001100011010000000000000000002, с ведущими 4 битами, кодирующими 7; первая мантисса, требующая 54-го бита, равна 253 = 9007199254740992. Наивысшее допустимое значение 9999999999999999 чья двоичная кодировка(100)0111000011011110010011011111100000011111111111111112 (с 3 старшими битами (100) не сохранены, но неявно, как показано выше; и следующий бит всегда равен нулю в действительных кодировках).

В приведенных выше случаях представлено значение

(−1)знак × 10показатель степени −398 × значимое

Если четыре бита после знакового бита равны «1111», тогда значение равно бесконечности или NaN, как описано выше:

s 11110 xx ... x ± бесконечность 11111 0x ... x тихий NaN 11111 1x ... x сигнальный NaN

Плотно упакованное десятичное значащее поле

В этой версии мантисса хранится в виде серии десятичных цифр. Первая цифра находится между 0 и 9 (3 или 4 двоичных бита), а остальная часть мантиссы использует плотно упакованная десятичная дробь (DPD) кодирование.

Первые 2 бита экспоненты и первая цифра (3 или 4 бита) мантиссы объединяются в пять битов, следующих за битом знака.

Эти восемь битов после этого являются полем продолжения экспоненты, обеспечивая менее значимые биты экспоненты.

Последние 50 битов являются полем продолжения значения, состоящим из пяти 10-битных деклеты.[3] Каждый деклет кодирует три десятичных цифры[3] с использованием кодировки DPD.

Если первые два бита после знакового бита - «00», «01» или «10», то это ведущие биты экспоненты, а три бита «TTT» после этого интерпретируются как ведущая десятичная цифра ( От 0 до 7):

s 00 TTT (00) eeeeeeee (0TTT) [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] s 01 TTT (01) eeeeeeee (0TTT) [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] s 10 TTT (10) eeeeeeee (0TTT) [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt]

Если первые два бита после знакового бита равны «11», то вторые 2 бита являются ведущими битами экспоненты, а следующий бит «T» имеет префикс неявных битов «100» для формирования ведущей десятичной цифры ( 8 или 9):

s 1100 T (00) eeeeeeee (100T) [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] s 1101 T (01) eeeeeeee (100T) [tttttttttt] [ttttttttt] [ttttttttttt] [ttttttttt] [ttttttttttt] [tttttttttt] [ttttttttttt] s 1110 T (10) eeeeeeee (100T) [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt] [tttttttttt]

Оставшиеся две комбинации (11 110 и 11 111) 5-битного поля после знакового бита используются для представления ± бесконечности и NaN соответственно.

Транскодирование DPD / 3BCD для деклетов представлено в следующей таблице. b9 ... b0 - это биты DPD, а d2 ... d0 - три цифры BCD.

Плотно упакованные правила десятичного кодирования[4]
Кодированное значение DPDДесятичные цифры
Кодовое пространство (1024 состояния)b9b8b7b6b5b4b3Би 2b1b0d2d1d0Закодированные значенияОписаниеВхождения (1000 состояний)
50,0% (512 штатов)абcdеж0граммчася0abc0def0Гхи(0–7) (0–7) (0–7)Три маленькие цифры51,2% (512 штатов)
37,5% (384 государства)абcdеж100я0abc0def100я(0–7) (0–7) (8–9)Две маленькие цифры,
один большой
38,4% (384 государства)
абcграммчасж101я0abc100ж0Гхи(0–7) (8–9) (0–7)
граммчасcdеж110я100c0def0Гхи(8–9) (0–7) (0–7)
9,375% (96 штатов)граммчасc00ж111я100c100ж0Гхи(8–9) (8–9) (0–7)Одна маленькая цифра,
два больших
9,6% (96 штатов)
dеc01ж111я100c0def100я(8–9) (0–7) (8–9)
абc10ж111я0abc100ж100я(0–7) (8–9) (8–9)
3,125% (32 штата, 8 использовано)ИксИксc11ж111я100c100ж100я(8–9) (8–9) (8–9)Три большие цифры, биты b9 и b8 - это все равно0,8% (8 штатов)

8 десятичных значений, все цифры которых равны 8 или 9, имеют четыре кодировки каждое. Биты, отмеченные x в таблице выше, являются игнорируется на входе, но в вычисленных результатах всегда будет 0 (8 × 3 = 24 нестандартных кодирования заполняют промежуток между 103 = 1000 и 210 = 1024.)

В вышеуказанных случаях с истинное значение как последовательность десятичных цифр, представленное значение

Смотрите также

Рекомендации

  1. ^ IEEE Computer Society (29 августа 2008 г.). Стандарт IEEE для арифметики с плавающей запятой. IEEE. Дои:10.1109 / IEEESTD.2008.4610935. ISBN  978-0-7381-5753-5. IEEE Std 754-2008. Получено 2016-02-08.
  2. ^ «ISO / IEC / IEEE 60559: 2011». 2011. Получено 2016-02-08. Цитировать журнал требует | журнал = (помощь)
  3. ^ а б Мюллер, Жан-Мишель; Брисебар, Николас; де Динешен, Флоран; Жаннерод, Клод-Пьер; Лефевр, Винсент; Мелькионд, Гийом; Revol, Натали; Stehlé, Damien; Торрес, Серж (2010). Справочник по арифметике с плавающей точкой (1-е изд.). Биркхойзер. Дои:10.1007/978-0-8176-4705-6. ISBN  978-0-8176-4704-9. LCCN  2009939668.
  4. ^ Коулишоу, Майкл Фредерик (2007-02-13) [2000-10-03]. "Краткое описание плотно упакованного десятичного кодирования". IBM. В архиве из оригинала от 24.09.2015. Получено 2016-02-07.