Эффективный барьер записи GC в сгенерированном C

Я разрабатываю систему, которая заранее компилирует байт-код CIL. Чтобы сохранить его относительно простым, а также сделать его очень переносимым, система будет выдавать исходный код C (однако со всеми конструкциями более высокого уровня, такими как разложение ООП) вместо машинного кода. Предполагается, что стандартный компилятор C для целевой платформы будет затем использоваться в этом коде для получения конечного продукта.

Изначально я намереваюсь использовать очень простой подход к сборке мусора, такой как stop-the-world. Однако, хотя приложение не требует выдающейся производительности, ему нужна достойная производительность, поэтому со временем может потребоваться замена GC.

Я думаю о том, чтобы в конечном итоге создать более сложный сборщик мусора, требующий какого-то барьера записи. Я рассмотрел подходы к SATB и маркировке карт, но я еще не готов планировать хороший сборщик мусора. Я просто не хочу стрелять себе в ногу из-за того, что вещь испускает исходный код C только для того, чтобы позже обнаружить, что эффективный барьер записи GC потребует встроенной сборки, в значительной степени побеждая цель испускания C.

Итак, мой вопрос: можно ли эффективно реализовать типичные барьеры записи в коде C? Можно предположить, что компилятор C имеет достойный оптимизатор. Также уже известно, что результирующий «исходный код» будет совершенно неразборчивым, поэтому ясность не имеет значения.

Я предполагаю, что - за счет еще большего раздувания исходных файлов - это, вероятно, можно сделать разумно, но я был бы признателен за слова людей, более опытных в проектировании GC и / или внутреннем устройстве компилятора.