Точная сборка мусора с некооперативным компилятором для C++ (Даниил Березун, SECR-2014) — различия между версиями

Версия 17:59, 16 июля 2015

Аннотация

Докладчик

Даниил Березун

В работе описывается сборщик мусора для C++, реализованный в виде пользовательской библиотеки, который не требует использования дружественного компилятора, но использует специализированную реализацию кучи.

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

Также приведен анализ накладных расходов, связанных с использованием данной библиотеки.

Видео

Слайды

Примечания и отзывы

• Страница доклада на сайте конференции