Control.Exception.Backtrace

Описание

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

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

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

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

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

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