Как работает сборка мусора на языках, которые скомпилированы изначально?


79

После просмотра нескольких ответов о переполнении стека становится ясно, что некоторые скомпилированные в нативе языки имеют сборку мусора . Но мне неясно, как именно это будет работать.

Я понимаю, как сборка мусора может работать с интерпретированным языком. Сборщик мусора будет просто работать рядом с интерпретатором и удалять неиспользуемые и недоступные объекты из памяти программы. Они оба бегут вместе.

Как это будет работать со скомпилированными языками? Насколько я понимаю, как только компилятор скомпилировал исходный код в целевой код - в частности, машинный код - это делается. Его работа закончена. Так как же скомпилированная программа может быть собрана сборщиком мусора?

Работает ли компилятор с процессором каким-то образом во время выполнения программы для удаления «мусорных» объектов? Или компилятор включает минимальный сборщик мусора в исполняемый файл скомпилированной программы.

Я полагаю, что мое последнее утверждение будет более обоснованным, чем первое из-за этой выдержки из этого ответа о переполнении стека :

Одним из таких языков программирования является Eiffel. Большинство компиляторов Eiffel генерируют C-код по причинам переносимости. Этот C-код используется для создания машинного кода стандартным C-компилятором. Реализации Eiffel предоставляют GC (и иногда даже точный GC) для этого скомпилированного кода, и нет необходимости в VM. В частности, компилятор VisualEiffel генерировал собственный машинный код x86 напрямую с полной поддержкой GC .

Последнее утверждение, кажется, подразумевает, что компилятор включает некоторую программу в конечный исполняемый файл, который действует как сборщик мусора во время работы программы.

Страница на веб-сайте языка D о сборке мусора, которая скомпилирована нативно и имеет дополнительный сборщик мусора, также, похоже, намекает на то, что некоторая фоновая программа запускается вместе с исходной исполняемой программой для реализации сборки мусора.

D - язык системного программирования с поддержкой сборки мусора. Обычно нет необходимости явно освобождать память. Просто выделите по мере необходимости, и сборщик мусора будет периодически возвращать всю неиспользованную память в пул доступной памяти.

Если метод упомянутый выше будет использоваться, как именно он будет работать? Сохраняет ли компилятор копию какой-либо программы сборки мусора и вставляет ее в каждый исполняемый файл, который он генерирует?

Или я ошибаюсь в своих мыслях? Если да, какие методы используются для реализации сборки мусора для скомпилированных языков и как именно они будут работать?


1
Я был бы признателен, если бы близкий избиратель этого вопроса мог точно указать, что не так, чтобы я мог это исправить?
Кристиан Дин

6
Если вы принимаете тот факт, что GC в основном является частью библиотеки, требуемой для конкретной реализации языка программирования, то суть вашего вопроса не имеет ничего общего с GC как таковой и со всем, что связано со статическим и динамическим связыванием .
Теодорос Чатзигианнакис

7
Вы можете считать сборщик мусора частью библиотеки времени выполнения, которая реализует эквивалент языка malloc().
Бармар

9
Работа сборщика мусора зависит от характеристик распределителя , а не от модели компиляции . Распределитель знает каждый объект, который был выделен; он выделил их. Теперь все, что вам нужно, это какой-то способ узнать, какие объекты еще живы , и сборщик может освободить все объекты, кроме них. Ничто в этом описании не имеет ничего общего с моделью компиляции.
Эрик Липперт

1
GC - это функция динамической памяти, а не функция интерпретатора.
Дмитрий Григорьев

Ответы:


52

Сборка мусора на скомпилированном языке работает так же, как на интерпретируемом языке. В таких языках, как Go, используются трассирующие сборщики мусора, хотя их код обычно компилируется в машинный код заранее.

(Трассировка) сборка мусора обычно начинается с обхода стеков вызовов всех потоков, которые в данный момент работают. Объекты в этих стеках всегда живы. После этого сборщик мусора обходит все объекты, на которые указывают живые объекты, пока не будет обнаружен весь граф живых объектов.

Понятно, что для этого требуется дополнительная информация, которую такие языки, как C, не предоставляют. В частности, требуется карта фрейма стека каждой функции, которая содержит смещения всех указателей (и, вероятно, их типы данных), а также карты всех макетов объектов, которые содержат одинаковую информацию.

Однако легко увидеть, что языки, которые имеют строгие гарантии типов (например, если приведение указателей к различным типам данных запрещено) действительно могут вычислять эти карты во время компиляции. Они просто хранят связь между адресами команд и картами стековых кадров и связь между типами данных и картами размещения объектов внутри двоичного файла. Эта информация затем позволяет им выполнять обход объекта графа.

Сам сборщик мусора - это не что иное, как библиотека, связанная с программой, похожая на стандартную библиотеку C. Например, эта библиотека может предоставить функцию, аналогичную malloc()той, которая запускает алгоритм сбора, если нагрузка на память высока.


9
Между библиотеками утилит и JIT-компиляцией границы между «скомпилированы в нативную» и «выполняются в среде выполнения» становятся все более размытыми.
CorsiKa

6
Просто добавим немного о языках, которые не поставляются с поддержкой GC: Это правда, что C и другие подобные языки не предоставляют информацию о стеках вызовов, но если у вас все в порядке с некоторым специфичным для платформы кодом (обычно включающим немного кода сборки) все еще возможно реализовать "консервативную сборку мусора". Сет GC является примером этого используется в реальных программах жизни.
Матти Вирккунен

2
@corsiKa Вернее, линия гораздо более четкая. Теперь мы видим, что это разные не связанные понятия, а не антонимы друг друга.
Кролтан

4
Еще одна сложность, о которой вам необходимо знать в скомпилированных и интерпретируемых средах выполнения, связана с этим предложением в вашем ответе: «(трассировка) сборка мусора обычно начинается с обхода стеков вызовов всех потоков, которые в данный момент выполняются». Мой опыт внедрения GC в скомпилированной среде показывает, что трассировки стеков недостаточно. Начальной точкой обычно является приостановка потоков на достаточно длительное время для трассировки из их регистров , поскольку они могут иметь ссылки в тех регистрах, которые еще не сохранены в стеке. Для переводчика это обычно не так ...
Жюль

... проблема, потому что среда может организовать GC в «безопасных точках», где интерпретатор знает, что все данные безопасно хранятся в интерпретируемых стеках.
Жюль

123

Сохраняет ли компилятор копию какой-либо программы сборки мусора и вставляет ее в каждый исполняемый файл, который он генерирует?

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


51
@ChristianDean Обратите внимание, что даже C имеет библиотеку времени выполнения. В то время как он не имеет GC, он по- прежнему выполняет управление памятью через эту библиотеку времени выполнения: malloc()и free()не встроены в язык, не являются частью операционной системы, но функции в этой библиотеке. C ++ также иногда компилируется с библиотекой сборки мусора, хотя язык не был разработан с учетом GC.
Амон

18
C ++ также содержит библиотеку времени выполнения, в которой dynamic_castработают такие вещи, как make и исключения, даже если вы не добавляете GC.
Себастьян Редл

23
Библиотека времени выполнения не обязательно копируется в каждый исполняемый файл (который называется статическим связыванием), на нее можно ссылаться только (путь к двоичному файлу, содержащему библиотеку) и обращаться к ней во время выполнения: это динамическое связывание.
Мувисиэль

16
Компилятору также не требуется напрямую переходить к точке входа вашей программы, если ничего не происходит. Я делаю обоснованное предположение, что каждый компилятор на самом деле вставляет кучу специфичного для платформы кода инициализации перед его вызовом main(), и вполне законно, скажем, запускать поток GC в этом коде. (Предполагая, что GC не выполняется внутри вызовов выделения памяти.) Во время выполнения GC действительно нужно знать, какие части объекта являются указателями или ссылками на объекты, и компилятору необходимо выдать код, чтобы перевести ссылку на объект на указатель. если ГХ перемещает объекты.
миллимус

15
@millimoose: да. К примеру, на GCC, этот кусок кода crt0.o(что означает « С R ип T IME, самые основы»), который получает связанный с каждой программой (или , по крайней мере , каждой программы , которая не является свободно стоящая ).
Йорг Миттаг

58

Или компилятор включает минимальный сборщик мусора в код скомпилированной программы.

Это странный способ сказать «компилятор связывает программу с библиотекой, которая выполняет сборку мусора». Но да, это то, что происходит.

В этом нет ничего особенного: компиляторы обычно связывают тонны библиотек с программами, которые они компилируют; в противном случае скомпилированные программы не смогли бы ничего сделать без повторной реализации многих вещей с нуля: даже для записи текста на экран / в файл /… требуется библиотека.

Но может быть, GC отличается от этих других библиотек, которые предоставляют явные API, которые вызывает пользователь?

Нет: в большинстве языков библиотеки времени выполнения выполняют большую часть закулисной работы без общедоступного API, кроме GC. Рассмотрим эти три примера:

  1. Распространение исключений и разматывание стека / вызов деструктора.
  2. Динамическое выделение памяти (которое обычно не просто вызывает функцию, как в C, даже когда нет сборки мусора).
  3. Отслеживание информации динамического типа (для приведений и т. Д.).

Таким образом, библиотека сборки мусора вовсе не является особенной, и априори не имеет ничего общего с тем, была ли программа скомпилирована заранее.


это , кажется, не предлагает ничего существенного по точкам из и разъяснено в верхнем ответе отправил 3 часа до
комара

11
@gnat Я чувствовал, что это было полезно / необходимо, потому что главный ответ недостаточно силен: в нем упоминаются аналогичные факты, но не указывается, что выделение мусора является полностью искусственным различием. По сути, предположение ОП ошибочно, и в верхнем ответе это не упоминается. Мой делает (избегая довольно резкого термина "испорченный").
Конрад Рудольф

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

7
Динамические библиотеки @millimoose работают за кулисами множеством способов без явного взаимодействия с пользователем. Рассмотрим распространение исключений и раскручивание стека / вызов деструктора. Рассмотрим динамическое распределение памяти (которое обычно не просто вызывает функцию, как в C, даже когда нет сборки мусора). Рассмотрим обработку информации динамического типа (для приведений и т. Д.). Так что GC действительно не уникален.
Конрад Рудольф

3
Да, я признаюсь, что сказал это странно. Это было просто потому, что я скептически относился к тому, что компилятор делает что-то подобное. Но теперь, когда я думаю об этом, это имеет гораздо больше смысла. Компилятор может просто связать сборщик мусора, как любая другая часть стандартной библиотеки. Я полагаю, что некоторая путаница возникла из-за того, что я думал о сборщике мусора как о части реализации интерпретатора, а не как о отдельной программе.
Кристиан Дин

23

Как это будет работать со скомпилированными языками?

Ваша формулировка неверна. Язык программирования является спецификацией написано в каком - то техническом отчете (для наглядного примера, см R5RS ). На самом деле вы имеете в виду какую-то конкретную языковую реализацию (которая является программным обеспечением).

(Некоторые языки программирования имеют плохие спецификации или даже отсутствуют, или просто соответствуют некоторому примеру реализации; тем не менее, язык программирования определяет поведение - например, он имеет синтаксис и семантику - он не является программным продуктом, но может быть реализуется некоторым программным продуктом; многие языки программирования имеют несколько реализаций, в частности, «скомпилированный» - это прилагательное, применяемое к реализациям, даже если некоторые языки программирования легче реализуются интерпретаторами, чем компиляторами.)

Насколько я понимаю, как только компилятор скомпилировал исходный код в целевой код - в частности, машинный код - это делается. Его работа закончена.

Обратите внимание, что интерпретаторы и компиляторы имеют слабое значение, и некоторые языковые реализации могут рассматриваться как оба. Другими словами, между ними существует континуум. Прочитайте последнюю книгу Dragon Book и подумайте о байт-коде , JIT-компиляции , динамически испускаемом C-коде, который компилируется в некоторый «плагин», а затем выполняется dlopen (3) тем же процессом (и на современных машинах это достаточно быстро, чтобы быть совместимым с интерактивный REPL , смотрите это )


Я настоятельно рекомендую прочитать руководство GC . Чтобы ответить, нужна целая книга . Перед этим прочтите вики-страницу « Сборка мусора» (которую, я полагаю, вы прочитали до прочтения ниже).

Система времени выполнения реализации скомпилированного языка содержит сборщик мусора, и компилятор генерирует код, который подходит для этой конкретной системы времени выполнения. В частности, примитивы распределения (скомпилированы в машинный код, который) будут (или могут) вызывать систему времени выполнения.

Так как же скомпилированная программа может быть собрана сборщиком мусора?

Просто путем выдачи машинного кода, который использует (и является «дружественным» и «совместимым с») систему времени выполнения.

Обратите внимание, что вы можете найти несколько библиотек для сборки мусора, в частности Boehm GC , MPS Рэйвенбрука или даже мою (необслуживаемую) Qish . И кодирование простого GC не очень сложно (однако отладка сложнее, а кодирование конкурентного GC затруднительно ).

В некоторых случаях компилятор будет использовать консервативный GC (например, Boehm GC ). Тогда не так много кода. Консервативный GC (когда компилятор вызывает свою процедуру выделения или всю процедуру GC) иногда сканирует весь стек вызовов и предполагает, что любая зона памяти (косвенно), достижимая из стека вызовов, является активной. Это называется консервативным GC, потому что информация о типе теряется: если целое число в стеке вызовов выглядит как какой-то адрес, за ним следуют и т. Д.

В других (более сложных) случаях среда выполнения обеспечивает сборку мусора при копировании поколений (типичным примером является компилятор Ocaml, который компилирует код Ocaml в машинный код с использованием такого GC). Тогда проблема заключается в том, чтобы точно найти в стеке вызовов все указатели, и некоторые из них перемещаются GC. Затем компилятор генерирует метаданные, описывающие кадры стека вызовов, которые использует среда выполнения. Таким образом, соглашения о вызовах и ABI становятся специфичными для этой реализации (то есть компилятора) и системы времени выполнения.

В некоторых случаях машинный код, сгенерированный компилятором (на самом деле даже замыкания, указывающие на него) , сам по себе является сборщиком мусора . Это особенно относится к SBCL (хорошая реализация Common Lisp), которая генерирует машинный код для каждого взаимодействия REPL . Это также требует некоторых метаданных, описывающих код и используемые в нем кадры вызова.

Сохраняет ли компилятор копию какой-либо программы сборки мусора и вставляет ее в каждый исполняемый файл, который он генерирует?

Вроде, как бы, что-то вроде. Однако система времени выполнения может быть общей библиотекой и т. Д. Иногда (в Linux и некоторых других системах POSIX) она может даже быть интерпретатором сценариев, например, передаваться в execve (2) с помощью shebang . Или переводчик ELF , см. Elf (5) и PT_INTERPт. Д.

Кстати, большинство компиляторов для языка со сборкой мусора (и их системой времени выполнения) сегодня являются свободным программным обеспечением . Поэтому скачайте исходный код и изучите его.


5
Вы имеете в виду, что существует много реализаций языка программирования без явной спецификации. Да, я согласен с этим. Но я хочу сказать, что язык программирования - это не программное обеспечение (например, какой-то компилятор или интерпретатор). Это то, что имеет синтаксис и семантику (возможно, оба плохо определены).
Старынкевич,

4
@KonradRudolph: Это полностью зависит от вашего определения «формальный» и «спецификация» :-D Существует спецификация языка программирования Ruby ISO / IEC 30170: 2012 , которая определяет небольшое подмножество пересечений Ruby 1.8 и 1.9. Существует Ruby Spec Suite , набор примеров граничных случаев, которые служат своего рода «исполняемой спецификацией». Затем Ruby Programming Language от Дэвида Фланагана и Юкихиро Мацумото .
Йорг Миттаг

4
Также Рубиновая Документация . Обсуждение проблем на Ruby Issue Tracker . Обсуждение списков рассылки ruby-core (английский) и ruby-dev (японский). Здравые ожидания сообщества (например Array#[], O (1) наихудший случай, Hash#[]O (1) амортизированный наихудший случай). И последнее, но не менее важное: мозг Матца.
Йорг Миттаг

6
@KonradRudolph: Дело в том, что даже язык без формальной спецификации и только одной дополнения все еще можно разделить на «язык» (абстрактные правила и ограничения) и «реализацию» (программы обработки кода в соответствии с этими правилами и ограничения). И реализация все еще порождает спецификацию, хотя и тривиальную, а именно: «что бы ни делал код, это спецификация». В конце концов, именно так были написаны спецификации ISO, RubySpec и RDocs: играя с остроумием и / или реинжинирингом MRI.
Йорг Миттаг

1
Рад, что вы воспитали сборщика мусора в Богеме. Я бы порекомендовал OP изучить его, потому что это отличный пример того, насколько простой может быть сборка мусора, даже если он «привязан» к существующему компилятору.
Cort Ammon

6

Уже есть несколько хороших ответов, но я хотел бы прояснить некоторые недоразумения, стоящие за этим вопросом.

Там нет такого понятия, как «нативно скомпилированный язык» как таковой. Например, тот же код Java был интерпретирован (а затем частично скомпилирован во время выполнения) на моем старом телефоне (Java Dalvik) и (заранее) скомпилирован на моем новом телефоне (ART).

Разница между выполнением кода и его интерпретацией гораздо менее строгая, чем кажется. Для работы обоих требуются библиотеки времени выполнения и операционная система (*). Интерпретируемый код нуждается в интерпретаторе, но интерпретатор - это только часть времени выполнения. Но даже это не является строгим, поскольку вы можете заменить интерпретатор компилятором (точно в срок). Для максимальной производительности вы можете захотеть и того и другого (среда выполнения Java для настольных компьютеров содержит интерпретатор и два компилятора).

Независимо от того, как запустить код, он должен вести себя одинаково. Выделение и освобождение памяти - это задача для среды выполнения (как открытие файлов, запуск потоков и т. Д.). На вашем языке вы просто пишете new X()или похожи. Спецификация языка говорит, что должно произойти, и среда выполнения это делает.

Выделяется некоторая свободная память, вызывается конструктор и т. Д. Когда памяти недостаточно, вызывается сборщик мусора. Поскольку вы уже находитесь во время выполнения, которое является нативным фрагментом кода, существование интерпретатора не имеет значения вообще.

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

Это было очень верно в старые времена, когда, например, интерпретатор Java был очень медленным, а сборщик мусора довольно неэффективным. В наше время все сильно отличается, и говорить о интерпретируемом языке уже не имеет смысла.


(*) По крайней мере, если говорить о коде общего назначения, оставляя в стороне загрузчики и тому подобное.


И Ocaml, и SBCL являются нативными компиляторами. Так что есть «родной язык» скомпилирован реализации.
Старынкевич

@BasileStarynkevitch WAT? Как именование некоторых менее известных компиляторов связано с моим ответом? Разве SBCL как компилятор первоначально интерпретированного языка не является аргументом в пользу моего утверждения о том, что различие не имеет смысла?
Маартин

Common Lisp (или любой другой язык) не интерпретируется и не компилируется. Это язык программирования (спецификация). Его реализация может быть компилятором или интерпретатором, или чем-то промежуточным (например, интерпретатором байт-кода). SBCL - это интерактивная скомпилированная реализация Common Lisp. Ocaml также является языком программирования (с реализацией как интерпретатора байт-кода, так и собственного компилятора).
Старынкевич

@BasileStarynkevitch Это то, что я утверждаю. 1. Нет такого понятия, как интерпретируемый или скомпилированный язык (хотя C редко интерпретируется и LISP раньше редко компилировался, но это не имеет большого значения). 2. Для большинства известных языков существуют интерпретированные, скомпилированные и смешанные реализации, и нет языка, исключающего компиляцию или интерпретацию.
Маартин

6
Я думаю, что ваш аргумент имеет большой смысл. Ключевым моментом для grok является то, что вы всегда запускаете «нативную программу» или «никогда», как бы вы ни хотели ее видеть. Ни один exe в Windows не является исполняемым; для начала ему нужен загрузчик и другие функции ОС, и он также частично «интерпретируется». Это становится более очевидным с исполняемыми файлами .net. java myprogявляется настолько же или менее родным, как grep myname /etc/passwdили ld.so myprog: Это исполняемый файл (что бы это ни значило), который принимает аргумент и выполняет операции с данными.
Питер - Восстановить Монику

3

Детали варьируются между реализациями, но обычно это некоторая комбинация следующего:

  • Библиотека времени выполнения, которая включает в себя GC. Это будет обрабатывать распределение памяти и иметь некоторые другие точки входа, включая функцию «GC_now».
  • Компилятор создаст таблицы для GC, чтобы он знал, какие поля в каких типах данных являются ссылками. Это также будет сделано для стековых фреймов для каждой функции, чтобы GC мог отслеживать из стека.
  • Если GC является инкрементным (активность GC чередуется с программой) или параллельным (выполняется в отдельном потоке), то компилятор также будет включать специальный объектный код для обновления структур данных GC при обновлении ссылок. Оба имеют схожие проблемы для согласованности данных.

В инкрементном и параллельном GC скомпилированный код и GC должны взаимодействовать для поддержки некоторых инвариантов. Например, в копирующем коллекторе GC работает, копируя текущие данные из пространства A в пространство B, оставляя позади мусор. Для следующего цикла он переворачивает A и B и повторяется. Таким образом, одно правило может заключаться в том, чтобы в любой момент, когда пользовательская программа пытается сослаться на объект в пространстве A, это обнаруживается, и объект немедленно копируется в пространство B, где программа может продолжать доступ к нему. Адрес пересылки остается в пространстве A, чтобы указать GC, что это произошло, так что любые другие ссылки на объект обновляются по мере их отслеживания. Это известно как «барьер для чтения».

Алгоритмы GC изучались с 60-х годов, и существует обширная литература по этому вопросу. Google, если вы хотите больше информации.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.