Посмертная отладка

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

при ошибке, если программа построена в режиме реакции на ошибки HALT;
вызовом функций abort и assert, которым предшествует вызов вспомогательной функции set_abort_action, устанавливающей режим HALT;
нажатием клавиши BREAK, прерывающим выполнение только загрузчика iserver, с последующим вызовом программы idebug, которая останавливает транспьютерную программу, рассылая по сети сигнал Анализ.

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

Если транспьютерная программа построена в режиме реакции на ошибки HALT (при загрузке выставлять флаг ОстановПоОшибке), то при возникновении ошибки (какой-то транспьютер выставил флаг Ошибка) выполнение программы "прекращается" - транспьютер, на котором находится процесс с ошибкой, остановится, а остальные транспьютеры, используемые программой, либо продолжат работу, либо остановятся, ожидая обмена по каналу с остановленным транспьютером.

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

При аварийной остановке программы процесс может находиться в одном из следующих состояний:

Еще не начал выполняться.
Остановился в точке останова или завершился.
Выполнялся на момент останова.
Ожидал выполнение.
Ожидал таймер.
Ожидал обмен по линии связи.
Ожидал событие Event.
Ожидал обмен по каналу.

В первых двух случаях нельзя локализовать позицию процесса, имевшую место на момент останова. В остальных такая возможность имеется. После того, как процесс локализован, соответствующими командами можно посмотреть значения доступных локальных и глобальных переменных. Можно перемещаться по стеку, переходя в вызвавшую функцию и обратно.