Control.Exception.Backtrace

Описание

Этот модуль предоставляет тип Backtrace s, который служит общим представлением информации об обратной трассировке, которую можно, например, прикреплять к исключениям (с помощью механизма ExceptionContext). Эти обратные трассировки сохраняют полезный контекст о состоянии выполнения программы с помощью различных средств; мы называем эти средства *механизмами обратной трассировки*.

В настоящее время поддерживаются четыре механизма обратной трассировки:

• CostCentreBacktrace фиксирует текущий стек центров затрат с помощью getCurrentCCS.
• HasCallStackBacktrace фиксирует HasCallStack CallStack.
• ExecutionBacktrace фиксирует стек выполнения, раскручивает его и разрешает символы с помощью отладочной информации DWARF.
• IPEBacktrace фиксирует стек выполнения и разрешает имена с помощью информации о происхождении таблиц информации.

Каждый из этих механизмов полезен в разных ситуациях. Хотя CostCentreBacktrace легко сопоставить с исходной программой, для них требуется инструментировать программу центрами затрат, что влечёт за собой затраты во время выполнения. Аналогично, для HasCallStackBacktrace требуется вручную аннотировать программу ограничениями HasCallStack.

В отличие от них, IPEBacktrace не требуют инструментирования во время выполнения, но для этого необходимо, чтобы программа (или хотя бы её часть) была собрана с флагом GHC -finfo-table-map. Кроме того, поскольку информация о происхождении таблиц информации формируется после оптимизации, её может быть сложнее связать со структурой исходной программы.

ExecutionBacktrace похожи на IPEBacktrace, но используют раскрутку стека и разрешение символов DWARF; благодаря этому можно получать полезные обратные трассировки даже при наличии внешних вызовов как из Haskell, так и в Haskell. Однако для надёжной раскрутки стека всю программу (и её зависимости, как на Haskell, так и на нативном коде) необходимо компилировать с отладочной информацией (например, используя флаг GHC -g).