CC BY
54
КЛАСС cBigNumber ДЛЯ ЦЕЛОЧИСЛЕННОЙ АРИФМЕТИКИ НЕОГРАНИЧЕННОЙ РАЗРЯДНОСТИ В ЯЗЫКЕ С++
Р.Н. Шакиров, к.т.н. (Институт машиноведения УрО РАН, г. Екатеринбург, [email protected])
Ключевые слова: операции над числами большой разрядности, вычислительный блок, высокая производительность методов, проблема переносимости.
Арифметические операции над числами неограниченной разрядности - одна их самых популярных программистских задач. Несмотря на кажущуюся простоту и существование готовых решений, не все могут ими воспользоваться. Иные организации решают эту задачу несколькими различными способами, создаваемые программы могут в тысячи раз отличаться по производительности, часто имеют скрытые ошибки, требуют для правильной работы выполнения множества явных и неявно подразумеваемых технических условий.
Класс cBigNumber выполнен как простое в использовании средство, ориентированное главным образом на платформу Windows. На этой платформе класс имеет сравнимую с лучшими аналогами производительность в диапазоне от 500 до 100 000 двоичных разрядов; при необходимости могут выполняться операции над числами большей разрядности. Реализованы все штатные операции языка С++, извлечение квадратного корня, возведение в степень по модулю и проверка на простоту по методу Миллера. Тестирование класса проведено в автоматическом режиме. Достоверность вычислений обеспечивается встроенными средствами контроля и компенсации ошибок.
При разработке класса cBigNumber учитывались следующие основные требования:
- корректное выполнение операций на реальных вычислительных устройствах, способных работать в нештатном режиме;
- оптимальная производительность при проверке на простоту по вероятностному методу Миллера, где требуется выполнять операции с разрядностью от 32 до десятков тысяч бит, включая комбинированные операции над короткими и длинными числами;
- переносимость класса между различными процессорами, операционными системами и трансляторами С++ с возможностью оптимизации под конкретную систему команд.
Требование корректного выполнения операций подразумевает не только отсутствие арифметических ошибок в самом классе. Сбои могут возникать в аппаратных вычислительных блоках при работе в нештатном режиме, то есть вне оговоренных в документации термических, частотных, радиационных и других условий. Поскольку каждый вычислительный блок имеет индивидуальный запас стабильности, бывают случаи, когда в нештатном режиме при сохранении общей работоспособности компьютера в отдельных его бло-
ках возникают арифметические ошибки, частота которых зависит от нештатных факторов.
К примеру, арифметические ошибки в блоке вычислений с плавающей точкой (floating point unit - FPU) могут остаться незамеченными, так как правильная работа FPU непринципиальна для устойчивой работы операционной системы. Поэтому известная программа поиска простых чисел Prime95 [1] перед проведением расчетов тестирует FPU. Тестирование позволяет убедиться в первоначальной работоспособности FPU, но не дает никакой гарантии относительно его дальнейшей работы, если, к примеру, изменится исходный тепловой режим. В классе cBigNumber принят другой подход - используется только основное целочисленное ALU. Это ключевой вычислительный блок, периодические арифметические ошибки в котором приводят к краху операционной системы (как только ошибки придутся на квант времени, в котором выполняется операционная система; обычно это дело нескольких миллисекунд, чуть больше на многоядерных и многопроцессорных компьютерах, где операционная система по очереди выполняется на всех вычислительных ядрах). Поэтому мы предполагаем (и основываем на этом предположении архитектуру класса), что, если компьютер работает, то и все его целочисленные ALU работают правильно.
Кроме периодических ошибок, вызванных нештатными режимами работы, в компьютерах могут происходить случайные аппаратные сбои, наиболее уязвимой по отношению к которым считается подсистема памяти. Надо отметить, что любые способы компенсации ошибок не дают полной гарантии восстановления данных, хотя вероятность ошибки, по известной теореме Шеннона, можно сделать сколь угодно малой. Поэтому будем полагаться на то, что последствия случайных сбоев в достаточной степени исправляются средствами аппаратного обнаружения и коррекции ошибок, которые для этого и предназначены. Современные микропроцессоры Intel и AMD используют контроль четности в кэше 1-го уровня и коды коррекции ошибок (ECC) в кэшах 2-го и 3-го уровней, а оперативная память может иметь или не иметь ECC (в нашем случае требуется, чтобы она его имела).
Другой внешний источник ошибок - это возможность неверного использования класса прикладным программистом. Наиболее распространенный вид таких ошибок связан с неверным распределением памяти. Поэтому программист, ис-
пользующий класс cBigNumber, избавлен от необходимости распределять память: в соответствии с рекомендациями объектно-ориентированного программирования (ООП) это делается автоматически в методах класса. Внешняя спецификация класса выполнена в полном соответствии с соглашениями С++ о целочисленных операциях. А внутри класса применяются специальные встроенные средства для отслеживания инвариантов, контроля переполнения буфера и автоматической компенсации возникающих ошибок.
Вопрос о высокой производительности уместно ставить в том случае, когда все операции выполняются математически корректно. Число ошибок в программе растет с увеличением сложности алгоритма, поэтому для класса cBigNumber выбрано наиболее простое решение - школьные алгоритмы выполнения арифметических операций в двоичном варианте. Для увеличения производительности применяется метод умножения Карацу-бы, деление с таблицей сдвигов и некоторые другие методы, не слишком далеко отходящие от школьной методологии.
При необходимости усовершенствованные алгоритмы могут быть отключены в пользу более простых методик. В частности, целочисленное умножение на процессорах Pentium 4 выполняется через ненадежный блок FPU, поэтому для данного процессора эту возможность лучше отключить, тогда вместо аппаратного умножения будут задействованы операции сложения и вычитания, при этом производительность, по данным наших тестов, снижается всего на 30 %. На процессорах следующего поколения (Athlon и Core) целочисленное умножение выполняется в целочисленном ALU, то есть без ущерба для достоверности выполнения операций и значительно быстрее - рост производительности по сравнению с вышеупомянутым аддитивным методом составляет до 700 %.
Считается, что школьные методы дают наилучшую производительность при размере чисел до 10-20 тысяч двоичных разрядов, а дальше выигрывает более сложная математика, начиная с методов на основе применения FFT. Но результаты сравнения в очень сильной степени зависят от применяемого аппаратного обеспечения и особенностей программного кода. По данным сравнения на микропроцессорах AMD, метод умножения Ка-рацубы оказывается быстрее метода FFT при размере числа до 100 тысяч разрядов и выше. Поэтому школьные методы применяются и для чисел большой разрядности.
Казалось бы, проблема переносимости не должна существовать в такой хорошо изученной области, как математические вычисления. Однако самый известный пакет для работы с большими числами, GMP, принципиально ориентирован на UNIX-платформы, причем даже при таком существенном ограничении его разработчики пожало-
вались на то, что они с 1996 г. нашли около 100 ошибок, связанных с применением различных трансляторов [2]. В отличие от GMP класс cBigNumber тестируется и отлаживается на платформе Windows при соблюдении стандарта C++ ISO/IEC 14882:1998(E), что позволяет при необходимости компилировать программы на альтернативных UNIX-платформах.
Поскольку на языке С трудно получить максимальную производительность, в критических по времени операциях вместо С-кода может применяться ассемблерный код x386, компилируемый 32-разрядными трансляторами Microsoft Visual C++ и Borland C++ Builder. В дальнейшем возможно создание 64-разрядного ассемблерного кода под соответствующие трансляторы Microsoft. Разработка ассемблерного кода для трансляторов UNIX не рассматривается как приоритетная цель, так как эта задача уже решена во множестве других пакетов.
Исходя из целей ассемблерной оптимизации, для представления длинных целых чисел выбран дополнительный двоичный код. Предполагается, что этот же код применяется и для представления коротких машинных чисел с фиксированной разрядностью, что позволяет проводить комбинированные операции над длинными и короткими числами без преобразования формата. На компьютерах с иным представлением чисел класс работать не будет.
Другое ограничение заключается в том, что отлаженная версия класса ориентирована на применение в однопоточных приложениях. Многопоточная версия существует в виде предварительного варианта, который готовится к тестированию.
Правила применения класса cBigNumber
Класс написан так, чтобы перевод существующих программ на арифметику без ограничения разрядности выполнялся простой заменой деклараций.
Класс загружается со страницы http://www. imach.uran.ru/cbignum в виде архива Cbignum.zip. Архив следует распаковать в рабочий каталог программы. В проект программы включаются файлы Cbignum.cpp, Cbignumf.cpp, Exarray.cpp, Cbignums.cpp (для потокового ввода-вывода), Prime.cpp (для проверки чисел на простоту).
В тексты программных модулей добавляются директивы:
#include "Cbignum.h"
#include "Cbignums.h" (для операций потокового ввода-вывода).
Неограниченная целая переменная с нулевым начальным значением объявляется как
cBigNumber a;
При объявлении переменной можно присвоить короткое начальное значение типа long, а для присвоения длинного начального значения ис-
пользуется конструктор присваивания строки с указанием системы счисления в пределах от 2 до 16. Вместо основания можно указать 0, что подразумевает десятичную, восьмеричную или шестна-дцатеричную константу языка C, например:
cBigNumber b ("0x80000000", 0);
Класс реализует все возможности штатной арифметики языка C++ над знаковыми целыми числами, включая арифметические, логические и битовые операции, операции сравнения, арифметические сдвиги, операторы потокового ввода-вывода <<и>> со всеми целочисленными модификаторами, а также дополнительные операции: cBigPow (a,b) возведение a в степень b
(при условии, что хватает памяти)
cBigPowMod(a,b,mod) возведение a в степень b
по модулю mod cBigSqrt (a) целая часть квадратного
корня
В качестве операндов могут применяться длинные числа и короткие числа типа long. Числа типа unsigned long автоматически преобразуются к типу long.
Ряд методов предназначен для оптимизации программ, в их числе:
c.addmul (a,b) прибавление к c результата
умножения a на b c.setdivmod (a,b) деление с остатком (частное
заносится в c, остаток в a) c.setsqrtrm (a) квадратный корень с остатком (корень в c, остаток в а).
На основе методов класса написаны функции для определения простоты числа путем факторизации и по вероятностному методу Миллера.
Производительность класса cBigNumber
Оценки производительности получены под процессорами AMD Athlon/Sempron в 32-разрядном режиме вычислений. Выбор процессоров AMD обусловлен тем, что для класса cBigNumber они обеспечивают более высокую производительность, чем все выпущенные до 2008 г. процессоры Intel (см. табл.).
Бинарное сложение, вычитание, арифметические сдвиги, операции сравнения и битовые операции реализованы машинно-независимым образом с применением битовых масок. Операции оптимизированы по производительности для чисел размером не менее 200 бит, в этом случае они требуют от 1/5 до 1/2 машинного такта на получение каждого двоичного разряда результата (по данным тестов, проведенных при реализации этих операций). При меньшей разрядности начинают сказываться непроизводительные накладные расходы на выполнение циклов и вызов функций, поэтому производительность несколько снижается. Операции накопления + = и — = имеют две реализации -машинно-независимую и оптимизированную на
аддитивных операциях ассемблера х386 (см. рис.), в последнем случае один двоичный разряд получается за 1/15 машинного такта при размере чисел не менее 500 бит.
Операции ввода-вывода и [ Г Функции проверки преобразования строка<->число [ [ простоты числа
* * * *
Л ( Л / Л
& &= + += ++ << <<= * *= pow2 addmul cBigPow
| | = - -= -- >>= >>= / /= cBigPowMod
А Л = < <= == mul2 % %= setdivmod
>= ! = idiv2 cBigSqrt setsqrtrm J
* * *
Битовые | Сложение, 1 Функции Мультипликативные Возведение
функции | вычитание сдвига функции < в степень
авпение i i i i i i
_у* * *
[Аппаратное 1 J Оптимизированные сложение, [умножение J [ вычитание, сравнение и сдвиги
[ Asm | [ Asm | [ C
Структура класса cBigNumber
Умножение, деление, возведение в степень и извлечение квадратного корня также имеют две реализации - машинно-независимую с битовыми масками и машинно-зависимую на аддитивных и мультипликативных операциях ассемблера x386. Машинно-независимое умножение оптимизировано для случая, когда размер хотя бы одного числа не менее 2 000 бит, а второго не менее 200 бит, ассемблерное умножение наиболее эффективно при размере одного числа не менее 1 000 бит, второго не менее 10 бит.
Деление, модуль и возведение в степень по модулю оптимизированы для делителей размером от 500 бит до 1/32 от объема кэш-памяти процессорного ядра: для кэша в 512 Кбайт оптимальный размер делителя будет до 120 000 бит. Оптимальный размер аргумента квадратного корня такой же, как для делителя.
Оценка производительности дается исходя из известной теоретической оценки сложности алгоритмов [3]. Коэффициенты подобраны для ассемблерной реализации по результатам тестов на процессорах AMD Athlon/Sempren. Коррекция коэффициентов для процессоров Intel и машинно-независимой реализации может быть выполнена по данным таблицы:
• умножение: mn/200, где m и n - разрядность операндов в битах, округленная вверх до кратной 32; при разрядности операндов не менее 1 600 бит оценка делится на (4/3) log2(n/2000>, где n -разрядность меньшего операнда (эффект метода Карацубы);
• деление: (m-n)n/25, где m и n - разрядность делимого и делителя в битах;
• квадратный корень: n2/120, где n - разрядность числа;
• возведение в степень по модулю: n2m/17, где n - разрядность показателя, m - делителя;
• ввод и преобразование строки: n2/400, n -разрядность числа; для числа разрядностью более 100 000 бит оценка делится на (4/3) log2(n/20000>;
• вывод и преобразование в строку: n2/75.
Результаты выполнения основных тестов на различных процессорах приведены в таблице. Колонка asm соответствует приведенным ранее оценкам. В колонке NTL для сравнения приведены результаты известной библиотеки неограниченных чисел [4], которая использует схожую алгоритмическую базу. В колонке C++ приведены результаты машинно-независимого кода.
Время выполнения тестов, мс
Отметим, что в варианте для Windows библиотека NTL не использует машинно-зависимые операции, вместо этого проводится глубокая оптимизация С-кода с применением FPU. Оптимизация дает хороший эффект на процессорах Intel, для которых она, по-видимому, и проводилась. Операции вычисления квадратного корня и ввода-вывода исключены из сравнения, поскольку в библиотеке NTL они выполняются по неоптимальным алгоритмам - на 2 порядка медленнее, чем в классе cBigNumber.
Распределение памяти в классе cBigNumber
Реализация класса не зависит от фактической разрядности машинного слова, так как для хранения длинного числа отводится переменное число слов.
Конструктор класса создает объект с нулевым значением без выделения динамической памяти (это целесообразно при создании разреженных массивов из неограниченных чисел). Память выделяется при первом присваивании с учетом возможности дальнейшего увеличения числа. В среднем резервируется 33 % от минимально необходимого объема памяти; если этой памяти не хватает, проводится повторное резервирование. Минимальное количество слов, отводимых под число, около 25. При уменьшении числа вся высвобожденная память остается в резерве. При указанном способе выделения общее число распределений памяти под число пропорционально логарифму его максимального размера в машинных словах.
Высвобождение памяти выполняется в деструкторе класса, который автоматически удаляет
объект класса при выходе из области видимости. Но если объект класса создавался неявным образом для хранения результата операции, он остается в памяти в качестве буфера для результата последующих операций.
Встроенные средства контроля и коррекции ошибок
Язык С++ сам по себе мало подходит для разработки надежных программ, но он достаточно гибок для того, чтобы соответствующие средства можно было реализовать путем его расширения.
Для распределения памяти в закрытой части класса задействованы разработанные шаблоны динамических массивов [5]. Шаблоны обеспечивают два режима распределения памяти - автоматический для массивов неограниченного размера и ручной со страховкой, когда программист задает требуемые размеры массива, а программа в процессе выполнения автоматически отслеживает ошибки выхода индекса за границу массива. В классе cBigNumber по соображениям производительности применяется ручное распределение памяти. В этом случае возможны ошибки распределения памяти, из-за которых в определенных ситуациях будут возникать ошибки индексации, более известные как ошибки переполнения буфера. Но потенциально неверный результат получен не будет, так как при ошибке индексации программа завершит работу с выдачей диагностики.
Для увеличения производительности предусмотрена возможность отключения контроля индексов, при этом шаблон автоматически добавляет к массиву дополнительный страховочный элемент. Данная страховка неравноценна контролю индексов, поскольку она компенсирует только один распространенный класс ошибок - обращение к элементу, следующему за последним в массиве.
Другой метод динамического контроля состоит в проверке предусловий и постусловий операций во внешних и внутренних методах класса. В качестве примера предусловия можно привести проверку деления на 0, а в постусловии обычно проверяется знак результата операции, так как ошибки при вычислениях в дополнительном коде довольно часто приводят к его искажению.
Тестирование класса cBigNumber
Для тестирования класса написаны программы Arifexp и Miller, которые проводят операции с длинными числами и проверяют результат по методам обратной и альтернативной прямой операции (большинство операций реализовано в классе несколькими различными способами, поэтому можно проводить проверку по методу независимых алгоритмов).
В программу Arifexp встроен генератор примеров, адаптированный для тестирования длинных чисел. Поскольку традиционный генератор с
Процессор Тест
Умножение ~250000*65000 бит Деление ~250000/65000 бит Степень по модулю ~45%25000 бит
asm NTL C++ asm NTL C++ asm NTL C++
Pentium III/933 245 215 504 1059 1061 2065 3625 3500 8750
Pentium 4C/2400 187 64 245 611 278 981 2906 906 4297
Athlon 900 29 135 469 543 705 1729 1892 2123 8051
Athlon XP 2500+ 14 66 230 263 345 900 906 1047 4094
Athlon 64 X23800+ 11 56 175 236 298 697 813 969 3172
Core Duo T2500 28 70 217 359 241 786 1437 844 3765
Core 2 Duo E6420 23 70 175 313 205 606 1234 735 2937
равномерным распределением в данном случае неэффективен [6], распределение подправлено в пользу чисел, которые могут быть источниками ошибок, исходя из знаний об особенностях алгоритмов.
С помощью программы Arifexp вычислительное ядро класса протестировано на 10 миллиардах псевдослучайных примеров с разрядностью от 1 до 12 млн бит. Программа Miller перебрала более миллиарда чисел малой разрядности для проверки таблиц факторизации.
По статистике ошибок, базовые арифметические операции были отлажены в 2003 г., возведение в степень по модулю и проверка на простоту -в 2005 г., умножение по методу Карацубы - после его реализации в 2007 г. Результаты тестирования показали высокую эффективность встроенных средств контроля и коррекции ошибок - ими обнаруживается около 55 % от общего числа выявленных ошибок (12 из 22).
Наибольшее число ошибок, 11, было обнаружено при контроле индекса. Если его отключить, то 6 ошибок никак себя не проявят, так как они полностью компенсируются по методу резервного элемента, 2 ошибки приведут к аварийному завершению программы без выдачи результата, 3 ошибки теоретически могут привести к выдаче неверного результата, но при тестировании этого не происходит, так как ошибки маловероятны. И только одна ошибка, обнаруженная при проверке знака в постусловии, была арифметической. Приведенная статистка хорошо отражает природу современного программного обеспечения: количество скрытых ошибок может в несколько раз превышать число выявленных, в данном случае неко-
торые скрытые ошибки стали явными благодаря применению специальных средств отладки.
Оставшиеся 10 ошибок были арифметическими и распределились так: 4 ошибки обнаружены при автоматическом тестировании, 3 - при анализе кода класса и 3 ошибки выявлены бета-тестерами в 2005 г. в функциях возведения в степень и проверки на простоту, для которых в то время не было реализовано автоматическое тестирование. Таким образом, общая эффективность автоматических методов выявления ошибок составила около 73 % (16 из 22).
Класс cBigNumber прост в использовании и обладает высокой производительностью на платформе ОС Windows благодаря применению встроенного ассемблера, простым алгоритмам, использованию наиболее надежных аппаратных средств и повышенной достоверности результатов вычислений.
Литература
1. Prime95 download page. (http://www.mersenne.org/free-soft.htm).
2. The GNU MP Bignum Library (http://www.swox.com/ gmp).
3. Дональд Э. Кнут. Искусство программирования. - М.: Мир, 1979. - Т. 2. - 727 с.
4. A Library for doing Number Theory. (http://www. shoup.net/ntl).
5. Шакиров Р.Н. Шаблоны для организации контроля индексов в программах на языках С++ и С. // В сб. тр. Междунар. науч.-технич. конф. - М.: Физматлит, 2003. - Т. 2. - С. 191207. (http://imach.uran.ru/exarray/papers/ex2003p.htm).
6. Шакиров Р.Н. Принципы разработки межплатформенного класса cBigNumber для реализации арифметических операций над целыми числами неограниченной разрядности. // Докл. 4-й Сиб. науч. шк.-сем. с междунар. участ. - Вест. Томского гос. ун-та. - 2005. - № 14. - С. 191-195. (http://www.imach.uran.ru/cbignum/papers/cb2005p.htm).
МОДЕЛИРОВАНИЕ ПОДСИСТЕМЫ НАВИГАЦИИ В СИСТЕМАХ ОБУЧЕНИЯ СТАНДАРТА SCORM
И.Г. Сидоркина, д.т.н.; А.Е. Рыбаков
(Марийский государственный технический университет, г. Йошкар-Ола, [email protected])
Ключевые слова: компьютерные средства обучения, структуризация учебного материала, системы управления обучением, метод интегральной оценки знаний.
Современный этап развития систем управления обучением связан с использованием возможностей, которые предоставляются глобальными компьютерными сетями и технологическими стандартами, разработанными в области дистанционного образования.
Среди всех продуктов стандартизации электронного образования самое широкое признание получили SCORM и IMS. Эти спецификации используются при создании систем обучения, опирающихся на ресурсы Интернета. Эталонная модель SCORM состоит из четырех частей: 1) введение и обзорная часть; 2) описание модели инте-
грации содержания; 3) описание среды выполнения программ; 4) описание управления навигацией по контенту и упорядочения содержания. Последняя часть стандарта описывает, как должны быть организованы навигация и предоставление компонентов учебного материала в зависимости от действий учащегося.
Требования 8СОЫМ к содержанию и организации навигации по учебным материалам позволяют упорядочивать ее в соответствии с индивидуальными особенностями обучаемого. Опыт использования различных компьютерных средств обучения подтверждает взаимосвязь факторов,
