Какую сборку мусора использует Go?

(для перейти 1.8-Q1 2017, см. ниже)

следующий ход 1.5 одновременно сборщик мусора включает в себя возможность "темп" сказал gc.
Вот такое предложение представлено в этой статье что может сделать его для Go 1.5, но также помогает понять gc в Go.

Вы можете увидеть положение до 1.5 (Stop The World: STW)

до 1.5 идти, идти и использовать параллельно стоп-мир (STW) коллектор.
Хотя коллекция STW имеет много недостатков, она, по крайней мере, имеет предсказуемое и контролируемое поведение роста кучи.

^{(фото GopherCon 2015 презентация "Go GC: решение проблемы задержки в Go 1.5")}

единственным регулятором настройки для коллектора STW был "GOGC", относительный рост кучи между коллекциями. Значение по умолчанию, 100%, запускало сборку мусора каждый раз, когда размер кучи удваивался по сравнению с размером живой кучи в предыдущей коллекции:

^{время GC в сборнике STW.}

Go 1.5 вводит a параллельный сборщик.
Это имеет много преимуществ перед коллекцией STW, но это mрост кучи akes труднее контролировать, потому что приложение может выделять память во время мусора коллектор работает.

^{(фото GopherCon 2015 презентация "Go GC: решение проблемы задержки в Go 1.5")}

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

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

достижение правильного баланса без ущерба для параллелизма требует тщательной настройки сборщика мусора.

GC pacing нацелен на оптимизацию по двум измерениям: рост кучи и процессор, используемый мусором коллекционер.

конструкция GC pacing состоит из четырех компонентов:

1. оценка объема работы сканирования цикла GC потребует,
2. механизм для мутаторов для выполнения расчетного объема работы сканирования к моменту выделения кучи достигает цели кучи,
3. планировщик для фонового сканирования, когда мутатор помогает недоиспользовать бюджет процессора, и
4. пропорциональный контроллер для триггера GC.

дизайн остатков два разных вида времени: время процессора и время кучи.

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

отношение между временем кучи и временем стены зависит от тарифа распределения и может изменить постоянн.
Mutator помогает управлять течением времени кучи, гарантируя, что оценочная работа сканирования была завершена к тому времени, когда куча достигает целевого размера.
Наконец, контроллер триггера создает контур обратной связи, который связывает эти два представления времени вместе, оптимизируя для целей времени кучи и времени процессора.

это реализация GC:

https://github.com/golang/go/blob/master/src/runtime/mgc.go

из документов в источнике:

GC работает одновременно с потоками мутатора, является точным типом (aka precise), позволяет нескольким потокам GC работать параллельно. Это параллельная метка и развертка, которая использует барьер записи. Он не является поколением и не уплотняется. Распределение выполняется с использованием размера, разделенного на P выделение областей для минимизации фрагментации при одновременном устранении блокировок в общем случае.

Go 1.8 GC может развиваться снова, с предложение "исключить повторное сканирование стека STW"

по состоянию на Go 1.7, единственный оставшийся источник неограниченного и потенциально нетривиального stop-the-world (STW) время повторного сканирования стека.

мы предлагаем устранить необходимость повторного сканирования стека путем переключения на гибридный барьер записи, который сочетает в себе Yuasa-style deletion write barrier [Yuasa ' 90] и a dijkstra-стиль вставки барьера записи [Dijkstra ' 78].

предварительные эксперименты показывают, что это может уменьшить в худшем случае времени СТВ до 50 мкс, и этот подход может сделать его практически исключить прекращение метки STW вполне.

The сообщение здесь и вы можете видеть, что соответствующий источник фиксации является d70b0fe и ранее.

Я не уверен, но я думаю, что текущий (tip) GC уже является параллельным или, по крайней мере, это НЗП. Таким образом, свойство stop-the-world больше не применяется или не будет применяться в ближайшем будущем. Возможно, кто-то другой может прояснить это более подробно.