Небольшие, непредсказуемые результаты в прогонах детерминированной модели


10

У меня есть значительная модель (~ 5000 строк), написанная на C. Это последовательная программа, нигде не генерирующая случайные числа. Она использует библиотеку FFTW для функций, использующих FFT - я не знаю деталей реализации FFTW, но я предполагаю, что функции в ней также являются детерминированными (поправьте меня, если я ошибаюсь).

Проблема, которую я не могу понять, заключается в том, что я получаю небольшие различия в результатах для идентичных прогонов на одной и той же машине (тот же компилятор, те же библиотеки).

Я использую переменные двойной точности, и для вывода результата в переменную, valueнапример, я выдаю: fprintf(outFID, "%.15e\n", value);или
fwrite(&value, 1, sizeof(double), outFID);

И я бы постоянно получал различия, такие как:
2.07843469652206 4 e-16 против 2.07843469652206 3 e-16

Я потратил много времени, пытаясь понять, почему это так. Сначала я думал, что один из моих чипов памяти испортился, и я заказал и заменил их, но безрезультатно. Впоследствии я также попытался запустить свой код на компьютере коллеги с Linux, и у меня возникли различия той же природы.

Что может быть причиной этого? Сейчас это небольшая проблема, но мне интересно, является ли это «верхушкой айсберга» (серьезной проблемы).

Я решил опубликовать здесь вместо StackOverflow, если кто-то, работающий с числовыми моделями, может столкнуться с этой проблемой. Если кто-то может пролить свет на это, я был бы очень благодарен.

Продолжение комментариев:
Кристиан Класон и Викрам: во-первых, спасибо за внимание к моему вопросу. Статьи, на которые вы ссылаетесь, предполагают, что: 1. ошибки округления ограничивают точность, и 2. другой код (например, введение, казалось бы, безвредных операторов печати) может повлиять на результаты вплоть до epsilon машины. Я должен уточнить, что я не сравниваю эффекты fwriteи fprintfфункции. Я использую один или другой. В частности, один и тот же исполняемый файл используется для обоих запусков. Я просто заявляю, что проблема возникает, использую ли я fprintfИЛИ fwrite.

Таким образом, путь к коду (и исполняемый файл) одинаков, а оборудование одинаково. Когда все эти внешние факторы остаются постоянными, откуда берется случайность? Я подозревал, что переворот произошел из-за того, что неисправная память не сохранила немного корректно, поэтому я заменил микросхемы памяти, но здесь это не проблема, я это проверил, и вы указали. Моя программа выводит тысячи этих чисел двойной точности за один прогон, и всегда есть случайная кучка, которая имеет случайные перевороты битов.

21016

Продолжение № 2 :
Это график временных рядов, выводимых моделью, чтобы помочь в обсуждении ответвления в комментариях. введите описание изображения здесь


21016

Вы спрашиваете, почему ваша машина не точнее точности станка. en.wikipedia.org/wiki/Machine_epsilon
Викрам

1
См. Inf.ethz.ch/personal/gander/Heisenberg/paper.html для связанного примера тонкого влияния путей кода на арифметику с плавающей запятой. И, конечно же, ece.uwaterloo.ca/~dwharder/NumericAnalysis/02Numerics/Double/…
Кристиан

1
1016

2
1

Ответы:


9

Существуют аспекты современных вычислительных систем, которые по своей природе недетерминированы, что может вызвать такие различия. Пока различия очень малы по сравнению с требуемой точностью ваших решений, вероятно, нет причин для беспокойства по этому поводу.

Пример того, что может пойти не так, основываясь на моем собственном опыте. Рассмотрим задачу вычисления точечного произведения двух векторов x и y.

d=i=1nxiyi

xiyi

Например, вы можете сначала вычислить произведение двух векторов как

d=((x1y1)+(x2y2))+(x3y3)

а потом как

d=(x1y1)+((x2y2)+(x3y3))

Как это могло случиться? Вот две возможности.

  1. Многопоточные вычисления на параллельных ядрах. Современные компьютеры обычно имеют 2, 4, 8 или даже больше процессорных ядер, которые могут работать параллельно. Если ваш код использует параллельные потоки для вычисления точечного продукта на нескольких процессорах, то любое случайное возмущение системы (например, пользователь переместил свою мышь и одно из ядер процессора должно обработать это движение мыши, прежде чем вернуться к точечному продукту), может привести к изменению порядка дополнений.

  2. Выравнивание данных и векторных инструкций. Современные процессоры Intel имеют специальный набор инструкций, которые могут работать (например) для чисел с плавающей запятой за раз. Эти векторные инструкции работают лучше всего, если данные выровнены по 16-байтовым границам. Как правило, точечный цикл произведения разбивает данные на 16-байтовые секции (по 4 с плавающей точкой за раз). Если вы повторно запустите код, данные могут быть выровнены по-разному с 16-байтовыми блоками памяти, так что сложения будут выполняется в другом порядке, что приводит к другому ответу.

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

В этой документации Intel обсуждаются проблемы, которые могут привести к невоспроизводимости результатов с библиотекой Intel Math Kernel. Другой документ от Intel, в котором обсуждаются переключатели компиляторов для использования с компиляторами Intel.


Я вижу, что вы думаете, что ваш код работает однопоточным. Хотя вы, вероятно, хорошо знаете свой код, я не удивлюсь, если вы вызываете подпрограммы (например, подпрограммы BLAS), которые работают в многопоточном режиме. Вам следует проверить, какие именно библиотеки вы используете. Вы также можете использовать инструменты мониторинга системы, чтобы увидеть загрузку вашего процессора.
Брайан Борчерс

1
или, как уже говорилось, библиотека FFTW ...
Кристиан Клэйсон

@BrianBorchers, спасибо. Примером случайности, возникающей из неассоциативной природы сложения с плавающей запятой, является просветление. Кристиан Клэйсон поднял вторичную проблему о том, значат ли выходные данные моей модели, учитывая величину чисел, - это может быть серьезной проблемой, если он прав (и я правильно его понимаю), поэтому я сейчас разбираюсь с этим.
boxofchalk1

2

Упомянутая библиотека FFTW может работать в недетерминированном режиме.

Если вы используете режим FFTW_MEASURE или FFTW_PATIENT, программы проверяют во время выполнения, какие значения параметров работают быстрее всего, а затем будут использовать эти параметры во всей программе. Поскольку время выполнения, очевидно, будет немного колебаться, параметры будут другими, и результат преобразований Фурье будет недетерминированным. Если вам нужен детерминированный FFTW, используйте режим FFTW_ESTIMATE.


1

Хотя верно и то, что изменения порядка вычисления терминов выражения могут очень хорошо происходить из-за сценариев многоядерной / многопоточной обработки, не забывайте, что может быть (даже если это слишком далеко) некоторый недостаток проектирования аппаратного обеспечения в работе. Помните проблему с Pentium FDIV? (См. Https://en.wikipedia.org/wiki/Pentium_FDIV_bug ). Некоторое время назад я работал над программным обеспечением для моделирования аналоговых цепей на ПК. Часть нашей методологии включала разработку наборов регрессионных тестов, которые мы будем использовать против ночных сборок программного обеспечения. Со многими из моделей, которые мы разработали, итерационные методы (например, Ньютон-Рафсон ( https://en.wikipedia.org/wiki/Newton%27s_method)) и Рунге-Кутта) широко использовались в алгоритмах моделирования. В аналоговых устройствах часто случается, что внутренние артефакты, такие как напряжения, токи и т. Д., Имеют очень малые числовые значения. Эти значения, как часть процесса моделирования, постепенно изменяются в течение (смоделированного) времени. Величина этих изменений может быть чрезвычайно мала, и мы часто наблюдали, что последующие операции FPU с такими значениями дельты граничат с порогом «шума» точности FPU (64-битное плавающее имеет 53-битную мантиссу, IIRC). Это, в сочетании с тем фактом, что нам часто приходилось вводить код журналирования «PrintF» в модели для обеспечения возможности отладки (ах, добрых старых дней!), Практически гарантировало спорадические результаты ежедневно! И что' Это все значит? Вы должны ожидать увидеть различия при таких обстоятельствах, и лучшее, что нужно сделать, - это определить и реализовать способ решить (величину, частоту, тренд и т. Д.), Когда / как их игнорировать.


Спасибо, Джим, за понимание. Любые идеи о том, какие фундаментальные явления будут вызывать такие "внутренние артефакты"? Я думал, что электромагнитные помехи могут быть одним, но тогда значимые биты тоже пострадают, не так ли?
boxofchalk1

1

Хотя округление с плавающей точкой из асинхронных операций может быть проблемой, я подозреваю, что это что-то более банальное. Использование неинициализированной переменной, которая добавляет случайность вашему детерминированному коду. Это общая проблема, которую разработчики часто упускают из виду, поскольку при запуске в режиме отладки все переменные при объявлении инициализируются равными 0. Когда не работает в режиме отладки, память, назначенная переменной, имеет любое значение, которое было у памяти до назначения. Память не обнуляется при назначении в качестве оптимизации. Если это происходит в вашем коде, это будет легко исправить, в меньшей степени - в коде библиотек.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.