Unum (числовой формат) - Википедия - Unum (number format)

Unums (универсальные числа[1]) представляют собой арифметический и двоичный формат представления действительных чисел, аналогичный плавающая точка, предложено Джон Л. Густафсон в качестве альтернативы теперь повсеместному Арифметика IEEE 754. Первая версия unums, теперь официально известная как Тип I unum, был представлен в его книге Конец ошибки.[2] С тех пор Густафсон создал две новые версии формата unum, Тип II и Тип III, в конце 2016 года. Тип III unum также известен как посты[3][4][5] и валиды; представляет собой арифметику для единичных действительных значений, а действительные значения представляют интервальная арифметика версия. Этот тип данных может служить заменой поплавков IEEE 754 для программ, которые не зависят от конкретных функций IEEE 754. Подробности валидности еще не были официально сформулированы Gustafson.

Тип I и Тип II Unum

Две определяющие особенности формата unum типа I (в то время как unum типа II отличается[6]) находятся:

  • формат хранения переменной ширины для обоих значимое и показатель степени, и
  • а u-bit, который определяет, соответствует ли unum точному числу (ты = 0) или интервал между последовательными точными числами (ты = 1). Таким образом, числа покрывают всю расширенную прямую вещественных чисел [−∞, + ∞].

Для выполнения вычислений с форматом Густафсон предлагает использовать интервальная арифметика с парой унумов, что он называет ubound, гарантируя, что полученный интервал содержит точное решение.

Реализации Unum были изучены в Юля.[7][8][9][10] включая тип II unum (или, по крайней мере, модифицированную версию его нового предложения).[11] Unum исследовали в MATLAB.[12][13] Кроме того, у Роджера Стоукса есть учебная лаборатория для типа II unum на языке J.

Уильям М. Кахан и Джон Л. Густафсон обсудили unums на Ариф23 конференция.[14][15][16][17]

Тип III Unum - Posit

В феврале 2017 года Густафсон официально представил unum type III, posits и valids. Posit[3][4][5] - это аппаратно-дружественная версия unum, в которой устранены трудности, с которыми сталкивался исходный тип I unum из-за его переменного размера. Положения аналогичного размера по сравнению с поплавками предлагают больший динамический диапазон и большее количество дробных битов для точности. В независимом исследовании Линдстром, Ллойд и Хиттингер из Национальная лаборатория Лоуренса Ливермора[18] подтвердил, что позиции по точности превосходят поплавки.[сомнительный ] Позиции имеют особенно высокую точность в диапазоне, близком к единице, в котором происходит большинство вычислений. Это делает его очень привлекательным для современной тенденции в глубоком обучении минимизировать количество используемых битов. Это потенциально помогает любым приложениям достичь ускорения, позволяя использовать меньшее количество бит (поскольку у него больше дробных битов для точности), тем самым уменьшая пропускную способность сети и памяти, а также требования к питанию и приближая нас на один шаг к Exascale.

Posits имеют индекс переменного размера и битовые поля мантиссы, при этом разделение определяется индикатором «режима». Густафсон утверждает, что они обеспечивают лучшую точность, чем стандартные числа с плавающей запятой, при этом занимая меньше битов.[19][20]

Положения имеют формат, отличный от формата чисел с плавающей запятой IEEE 754. Они состоят из четырех частей: знака, режима, показателя степени и дроби (также известной как мантисса). Для п-bit posit, режим может иметь длину от 2 до (п - 1). Формат режима таков, что он представляет собой повторение бита с одним знаком и завершается битом с другим знаком.

Пример 1:

Пример 1Пример 2
0000000000000011110

В примере 1 показан режим с 14 битами с одинаковым знаком (бит 0), завершающимися битом с другим знаком (бит 1). Поскольку имеется 14 битов с одинаковым знаком, длина пробега режима - 14.

В примере 2 показан режим с 3 битами с одинаковым знаком (бит 1), завершающимися битом с другим знаком (бит 0). Поскольку есть 3 бита с одинаковым знаком, длина пробега режима - 3.

Биты знака, экспоненты и дроби очень похожи на IEEE 754; однако позиция может опускать один или оба из битов экспоненты и дроби, оставляя позицию, которая состоит только из битов знака и режима. В примере 3 показана максимально возможная длина выполнения режима для 16-битной позиции, где бит завершения режима, бит экспоненты и бит дроби превышают длину размера позиции. Пример 4 иллюстрирует наименьшую возможную длину выполнения 1 для 16-битной позиции с одним битом экспоненты (битовое значение = 1) и 12 дробными битами (битовое значение = 100000000001).

Пример 3: Продолжительность режима = 15Пример 4: Продолжительность режима = 1
01111111111111110101100000000001

Рекомендуемые размеры позиций и соответствующие биты экспоненты и размеры запросов:

Размер позиции (бит)Количество битов экспонентыРазмер запроса (бит)
8032
161128
322512
6432048

Примечание: Ожидается, что 32-битного posit будет достаточно для решения почти всех классов приложений[нужна цитата ].

Quire

Quire - одна из самых полезных функций posit. Это особый тип данных, который дает позициям «почти бесконечное» количество битов для накопления скалярных произведений. Он основан на работе Ульрих В. Кулиш и Уиллард Л. Миранкер.[21]

Реализации

Есть несколько программных и аппаратных реализаций posit от сообщества.[18][22][23][24][25] Первый полностью параметризованный аппаратный генератор положительной арифметики был предложен в 2018 году.[26] Самая ранняя программная реализация в Юлии[27] исходил от Исаака Йонемото. Версия C ++[28] с поддержкой любых размеров posit в сочетании с любым количеством битов экспоненты. Быстрая реализация на C, SoftPosit,[29] предоставленный исследовательской группой NGA на основе Berkeley SoftFloat, является последним дополнением к доступным программным реализациям.

SoftPosit

SoftPosit[29] представляет собой программную реализацию posit, основанную на Berkeley SoftFloat.[30] Это позволяет программно сравнивать позиции и числа с плавающей запятой. В настоящее время он поддерживает

  • Добавлять
  • Вычесть
  • Умножить
  • Разделять
  • Слил-умножить-сложить
  • Плавлен-точечный продукт (с quire)
  • Квадратный корень
  • Преобразование posit в целое число со знаком и без знака
  • Преобразование знакового и беззнакового целого числа в положительное
  • Преобразование позиции в другой размер позиции
  • Меньше, равно, меньше, чем равно сравнение
  • Округлить до ближайшего целого числа

Вспомогательные функции

  • преобразовать двойное в положительное
  • преобразовать posit в double
  • привести целое число без знака к положению

для 16-битных позиций с одним битом экспоненты и 8-битных позиций с нулевым битом экспоненты. Поддержка 32-битных позиций и гибкого типа (2-32 бита с двумя битами экспоненты) ожидает проверки правильности. В настоящее время поддерживает системы x86_64. Он был протестирован на GNU gcc (SUSE Linux) 4.8.5 Apple LLVM версии 9.1.0 (clang-902.0.39.2).

Примеры:

Добавить с posit8_t

#включают "softposit.h"int главный (int argc, char *argv[]){    posit8_t pA, pB, pZ;    pA = castP8(0xF2);    pB = castP8(0x23);    pZ = p8_add(pA, pB);    // Чтобы проверить ответ, преобразовав его в double    двойной dZ = convertP8ToDouble(pZ);    printf("dZ:% .15f п", dZ);    // Чтобы распечатать результат в двоичном формате (предупреждение: непереносимый код)    uint8_t uiZ = castUI8(pZ);    printBinary((uint64_t*)&uiZ, 8);    возвращаться 0;}

Слитное точечное произведение с quire16_t

// Преобразуем double в positposit16_t pA = convertDoubleToP16(1.02783203125 );posit16_t pB = convertDoubleToP16(0.987060546875);posit16_t ПК = convertDoubleToP16(0.4998779296875);posit16_t pD = convertDoubleToP16(0.8797607421875);quire16_t qZ;// Устанавливаем quire в 0qZ = q16_clr(qZ);// накапливаем продукты без округленийqZ = q16_fdp_add(qZ, pA, pB);qZ = q16_fdp_add(qZ, ПК, pD);// Преобразуем обратно в положениеposit16_t pZ = q16_to_p16(qZ);// Проверить ответдвойной dZ = convertP16ToDouble(pZ);

Критика

Уильям М. Кахан, главный архитектор IEEE 754-1985 критикует unums типа I по следующим причинам (некоторые рассматриваются в стандартах типа II и типа III):[16][31]

  • Описание обходных шагов с использованием исчисления для решения физических задач.
  • Unums может быть дорогим с точки зрения времени и энергопотребления.
  • Каждое вычисление в пространстве unum может изменить длину структуры в битах. Это требует либо их распаковки в пространство фиксированного размера, либо выделения, освобождения и сборки мусора во время операций unum, аналогично проблемам при работе с записями переменной длины в массовом хранилище.
  • Unums предоставляет только два вида числовых исключений: тихое и сигнальное NaN (Not-a-Number).
  • Вычисление Unum может дать слишком слабые границы от выбора алгебраически правильного, но численно нестабильного алгоритма.
  • Затраты и преимущества unum по сравнению с плавающей запятой с короткой точностью для задач, требующих низкой точности, не очевидны.
  • Решение дифференциальных уравнений и вычисление интегралов с помощью unums гарантируют правильные ответы, но могут быть не такими быстрыми, как обычно работающие методы.

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

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

  1. ^ Тихи, Уолтер Ф. (Апрель 2016 г.). «Конец (числовой) ошибки: интервью с Джоном Л. Густафсоном». Вездесущность - информация повсюду. Ассоциация вычислительной техники (ACM). 2016 (Апрель): 1–14. Дои:10.1145/2913029. В архиве из оригинала от 10.07.2016. Получено 2016-07-10. ДГ: Слово «unum» является сокращением от «универсального числа», так же как слово «бит» является сокращением от «двоичной цифры».
  2. ^ Густафсон, Джон Л. (2016-02-04) [2015-02-05]. Конец ошибки: Unum Computing. Чепмен и Холл / CRC вычислительная наука. 24 (2-е исправленное издание, 1-е изд.). CRC Press. ISBN  978-1-4822-3986-7. Получено 2016-05-30. [1] [2]
  3. ^ а б Густафсон, Джон Лерой; Йонемото, Исаак (2017). «Превосходство с плавающей точкой в ​​своей собственной игре: арифметика с положением». Границы суперкомпьютеров и инновации. Издательский центр Южно-Уральского государственного университета, Челябинск, Россия. 4 (2). Дои:10.14529 / jsfi170206. В архиве из оригинала на 2017-11-04. Получено 2017-11-04.
  4. ^ а б Джон Л. Густафсон и И. Йонемото. (Февраль 2017 г.) Beyond Floating Point: Компьютерная арифметика нового поколения. [В сети]. Имеется в наличии: https://www.youtube.com/watch?v=aP0Y1uAA-2Y
  5. ^ а б Густафсон, Джон Лерой (2017-10-10). "Положительная арифметика" (PDF). В архиве (PDF) из оригинала на 2017-11-05. Получено 2017-11-04.
  6. ^ Тихи, Уолтер Ф. (Сентябрь 2016 г.). "Unums 2.0: Интервью с Джоном Л. Густафсоном". Ubiquity.ACM.org. Получено 2017-01-30. Я начал называть их «unums 2.0», что, казалось, было таким же хорошим названием для концепции, как и любое другое, но на самом деле это не столько «последний выпуск», сколько альтернатива.
  7. ^ Бирн, Саймон (2016-03-29). «Внедрение Unums в Julia». Получено 2016-05-30.
  8. ^ "Арифметика Unum в Юлии: Unums.jl". Получено 2016-05-30.
  9. ^ «Реализация Unums: README Джулии». Получено 2016-05-30.
  10. ^ «Типы и операции Unum (универсального числа): Unums». Получено 2016-05-30.
  11. ^ "jwmerrill / Pnums.jl". Github.com. Получено 2017-01-30.
  12. ^ Инголе, Дипак; Квасница, Михал; Де Сильва, Химэши; Густафсон, Джон Л. «Уменьшение следов памяти при явном прогнозировании модели управления с использованием универсальных чисел. Представлено на Всемирный конгресс МФБ в 2017 году». Получено 2016-11-15.
  13. ^ Инголе, Дипак; Квасница, Михал; Де Сильва, Химэши; Густафсон, Джон Л. "MATLAB Prototype of unum (munum)". Получено 2016-11-15.
  14. ^ «Программа: Специальная сессия: Великие дебаты: Джон Густафсон и Уильям Кахан». Ариф23: 23-й симпозиум IEEE по компьютерной арифметике. Кремниевая долина, США. 2016-07-12. В архиве из оригинала на 30.05.2016. Получено 2016-05-30.
  15. ^ Густафсон, Джон Л.; Кахан, Уильям М. (2016-07-12). Великие дебаты @ ARITH23: Джон Густафсон и Уильям Кахан (1:34:41) (видео). Получено 2016-07-20.
  16. ^ а б Кахан, Уильям М. (2016-07-16) [2016-07-12]. "Критика Джона Л. Густафсона КОНЕЦ ОШИБКИ - Unum Computing и его Радикальный подход к вычислениям с действительными числами" (PDF). Санта-Клара, Калифорния, США: Симпозиум IEEE по компьютерной арифметике, АРИТА 23. В архиве (PDF) из оригинала от 25.07.2016. Получено 2016-07-25. [3]
  17. ^ Густафсон, Джон Л. (2016-07-12). ""Великие дебаты ": позиция по арифметике Unum" (PDF). Санта-Клара, Калифорния, США: Симпозиум IEEE по компьютерной арифметике, АРИТА 23. Получено 2016-07-20. [4]
  18. ^ а б П. Линдстром, С. Ллойд и Дж. Хиттингер, "Универсальное кодирование вещественных чисел: альтернативы плавающей запятой IEEE". На конференции по арифметике следующего поколения. ACM, 2018.
  19. ^ Фельдман, Майкл (2019-07-08). «Новый подход может привести к снижению вычислений с плавающей запятой». www.nextplatform.com. Получено 2019-07-09.
  20. ^ Бирн, Майкл (2016-04-24). «Новый формат чисел для компьютеров может навсегда избавиться от ошибок приближения». Порок. Получено 2019-07-09.
  21. ^ Кулиш, Ульрих В.; Миранкер, Уиллард Л. (Март 1986 г.). «Арифметика цифрового компьютера: новый подход». SIAM Rev. СИАМ. 28 (1): 1–40. Дои:10.1137/1028001.
  22. ^ С. Чанг, "Доказуемо правильная арифметика положительных чисел с большим целым числом с фиксированной точкой". ACM, 2018.
  23. ^ Дж. Чен, З. Аль-Арс и Х. Хофсти, «Блок умножения матриц для позиций в реконфигурируемой логике с использованием (открытого) CAPI». ACM, 2018.
  24. ^ З. Лехоцкий, А. Сабо и Б. Фаркаш, «Высокоуровневые программные реализации .NET Unum Type I и Posit с одновременной реализацией FPGA с использованием Hastlayer». ACM, 2018.
  25. ^ С. Лангроуди, Т. Пандит и Д. Кудитипуди, "Вывод глубокого обучения на встроенных устройствах: фиксированная точка против позитива". В «Машинное обучение энергоэффективности и когнитивные вычисления для встроенных приложений» (EMC), 2018. [Online]. Имеется в наличии: https://sites.google.com/view/asplos-emc2/program
  26. ^ [Рохит Чаурасия, Джон Густафсон, Рахул Шреста, Джонатан Нойдорфер, Сангит Намбьяр, Каустав Нийоги, Фархад Мерчант, Райнер Луперс »,Параметризованный арифметический аппаратный генератор. "ICCD 2018: 334-341.
  27. ^ "GitHub - ityonemo / Unum2: Pivot Unums". 2019-04-29.
  28. ^ "GitHub - stillwater-sc / Universal: универсальная арифметика чисел". 2019-06-16.
  29. ^ а б «Серлан Леонг / SoftPosit».
  30. ^ «Беркли СофтФлот».
  31. ^ Кахан, Уильям М. (2016-07-15). «Комментарий профессора В. Кахана к« КОНЦУ ОШИБКИ - Unum Computing »Джона Л. Густафсона, (2015) CRC Press» (PDF). В архиве (PDF) из оригинала на 2016-08-01. Получено 2016-08-01.

дальнейшее чтение

внешняя ссылка