Исходное сообщение
"Релиз языка программирования Go 1.13" Отправлено Урри, 04-Сен-19 21:48
При правильной организации сборщика мусора (и стратегии выделения памяти) - накладные расходы стремятся к одному проценту. Например, для целого класса диалектов лиспа (я просто в курсе кода) выделение нового объекта делается так: { new_object = ptr; ptr+=size; }, что в ассемблере выливается в одну единственную команду; точно так же, как и выделение объектов _на_стеке_ в языках без СМ. Далее, при непосредственно сборке мусора дерево объектов разворачивается (линеаризируется), при этом установкой одного бита отмечаются используемые объекты; далее сворачивается назад (с автоматической очисткой бита) и элементарнейшим образом компактифицируется. И пусть это звучит страшно, на деле занимает 10 строк С кода. Ну 15, ладно. Зато "магическим" образом неиспользуемые объекты никак вообще не затрагиваются, и просто исчезают. А теперь сравниваем это с выделением объектов на куче в С, например. И, главное, с освождением оных (и процессом объединения "пустих" зон, с кучей трюков как бы этот алгоритм ускорить и т.д. и т.п.) Отсюда выводы: пусть даже такие языки и проигрывают в скорости непосредственно исполняемого алгоритма, но во многих классах задач выигрывают очень хорошо. Например, парсинг и обработка текста. Чисто на реаллокациях строк с++ влегкую проигрывает у того же коммон лиспа. Плата - объемы используемой памяти.