В работе описывается сборщик мусора для C++, реализованный в виде пользовательской библиотеки, который не требует использования дружественного компилятора, но использует специализированную реализацию кучи. Утверждается, что данный сборщик мусора точен, т.е. корректно определяет все указатели на управляемые объекты, толерантен к ручной модели управления памятью в C++, а также безопасен с точки зрения семантики программы, с точностью до соблюдения простых соглашений, необходимых для использование библиотеки. Также приведен анализ накладных расходов, связанных с использованием данной библиотеки.
Даниил Березун
JetBrains
Даниил Андреевич Березун в 2014 году закончил специалитет на Математико-Механическом факультете СПбГУ по специальности “Математическое обеспечение и администрирование операционных систем”. В текущий момент является аспирантом Мат-Меха СПбГУ и сотрудник лаборатории JetBrains на Математико-Механическом факультете СПбГУ.
Comment