Получается у вас в safepoint’ах только oop map’ы для GC лежат, а не все состояние абстрактной VM?
В поддержке принудительной деоптимизации особой нужды нет?

я к стыду вообще про гц очень поверхностно знаю, не моя область.
Но сп у нас это проверка некого булевого флажка и если он выставлен - надо замерЕть, так все треды кооперативно договариваются о сборе, что дальше и какие транзишны, как сканится стек и т.п. - вообще не имею понятия :) моя задача была толкьо реализовать механизм их расстановки при помощи PlaceSafepointPass и оказалось там все просто - просто создай ф-цию с фиксированным названием и тремя бб-ками

у нас три режима: coop, preemprive, hybrid

Это отладчик. А как насчёт полного графа возможных вызовов?

Да, при наличии достаточной типовой информации на уровне IR (primitive vs reference vs derived ptr) построить GC map в произвольной точке кода не составляет большой проблемы.

А по поводу принудительной деоптимизации: у вас CHA есть? Если да, то как реализована поддержка в runtime? То есть «соптимизировали, запустили код, пришёл запрос на загрузку нарушающий инвариант». Что дальше?

а что такое СНА?
деоптимизаций у нас нет и начальник вроде строго против нее :)

у нас есть АОТ для всего всего. для горячих методов АОТ выкидывается и слоенный джит на тиер2 пересобирает их, при этом используя информацию с АОТ (веса, какой-то коэффицент сложности инструкций по факту (нужно для инлайнинга))

Ну, тогда другое дело :-)
CHA = Class Hierarchy Analysis

ааа я понял про что ты

это то что вы там прикидываете что-то к носу и решаете что вместо животного тут всегда будет собака

про это? :)

особенно когда собака - это единственный наследник от животного в контексте в данный момент

Как один из частных случаев можно уточнять тип.

В контексте девиртуализации, это определение методов которые могут быть вызваны.

Для «расширяемых» иерархий классов такие анализы могут быть только оптимистичными и требуется дополнительная поддержка на случай нарушения инварианта.

в C# все методы невиртуальные по-умолчанию, есть девиртуализация когда джит может сквозь инлайны проследить переменную что ей присвоили конкретный тип - тогда девиртуализирует. Есть подкрученная девиртуализация для некоторых базовых типов, которые часто попадают в hot path, и есть Guarded devirtualization, когда джит по сути эмити проверку на тип и если что все методы вызывает уже прямо (но эта штука выключена по умолчанию)

и есть 4ый тип девиртуализации: это FullAOT режим без динамических подгрузок (например для iOS)
где можно смело еще даже для байткода пробежать и всё нафиг девиртуализировать что можно :-))

Сразу чувствуется влияние вашего начальника (который не жалует деопты) :-)

видел как в ллвм в самом даже раскидана инфраструктура для деоптимзаций :)

те же explicit null checks там были упоминания про деопт