Здравствуйте, vdimas, Вы писали:


V>Точный GC сильно привязан к метаинформации.
GC достаточно информации об объеме памяти занимаемой объектом и смещении полей объектов.
Плюс информация о стеке потока для вычисления графа объекта. Поэтому сам GC в .Net Native небольшой https://docs.microsoft.com/ru-ru/windows/uwp/dotnet-native/net-native-and-compilation

.NET Native заменяет полную среду CLR на оптимизированную среды выполнения, которая в первую очередь содержит сборщика мусора. Оптимизированная среда выполнения находится в библиотеке mrt100_app.dll, которая является локальной для приложения и имеет размер только несколько сотен килобайт. Это возможно потому, что статическое связывание устраняет необходимость во многих операциях, реализуемых средой CLR.

Для сборщика мусора WebAssembly всего навсего нужно, что бы объект содержал ссылку на эти данные например в первом поле VMT.
Ну и контрольные точки останова для потока с информацией о стеке.