Раскрутка стека в Rust FFI: явно определите границу паник и исключений

Что это такое

Rustonomicon различает строки ABI, допускающие раскрутку стека, и те, которые её не допускают. Паника Rust, достигшая границы без раскрутки стека, аварийно завершает процесс; внешнее исключение, входящее в Rust через такую границу, вызывает неопределённое поведение. Там также указано, что panic=abort всё равно аварийно завершает процесс независимо от выбранного ABI, а catch_unwind не является универсальным механизмом перехвата внешних исключений. Rustonomicon: FFI

Почему это важно

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

Как применять

• Составьте перечень всех экспортируемых функций и обратных вызовов. Для каждого элемента запишите ABI, стратегию паник, поведение внешних исключений и контракт возврата обычных ошибок.
• Предпочитайте преобразование ожидаемых сбоев в документированное представление статуса или результата интерфейса на той стороне, где понимают их смысл. Определите, как хранится сообщение об ошибке и как долго оно остаётся действительным.
• Если раскрутка стека намеренно разрешена, проверьте все промежуточные кадры стека и предположения об очистке на соответствие нужному контракту ABI. Не вносите такое изменение только ради устранения наблюдаемого аварийного завершения.
• Предложите отдельные тестовые примеры для обычной ошибки, паники Rust и внешнего исключения. Каждый пример, способный завершить процесс, запускайте в изолированном дочернем процессе и классифицируйте его завершение, не считая его возвратом, после которого можно восстановиться.
• Проверьте очистку ресурсов и поведение обратных вызовов для каждого поддерживаемого пути сбоя. Явно указывайте неподдерживаемые сочетания в публичной документации привязки.

Подводные камни

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