Точная сборка мусора с некооперативным компилятором для C++ (Даниил Березун, SECR-2014)
Материал из 0x1.tv
Версия от 22:01, 9 декабря 2014; StasFomin (обсуждение | вклад) (Created page with "== Аннотация == ;Докладчик: {{Speaker|Даниил Березун}} <blockquote> В работе описывается сборщик мусора для C+...")
Короткая ссылка: 20141023DI
Содержание
Аннотация
- Докладчик
- Даниил Березун
В работе описывается сборщик мусора для C++, реализованный в виде пользовательской библиотеки, который не требует использования дружественного компилятора, но использует специализированную реализацию кучи.
Утверждается, что данный сборщик мусора точен, т.е. корректно определяет все указатели на управляемые объекты, толерантен к ручной модели управления памятью в C++, а также безопасен с точки зрения семантики программы, с точностью до соблюдения простых соглашений, необходимых для использование библиотеки.
Также приведен анализ накладных расходов, связанных с использованием данной библиотеки.
Видео
Слайды
Примечания и отзывы