Уже есть. Boehm GC

Leak Sanitizer тоже GC, только он мусор не собирает (не освобождает найденное).

GC нужен скорее для упрощения в типовых сценариях

на его базе можно и GC полноценный запилить :-)

В C# тоже надуманная проблема

Если память ВНЕЗАПНО кончилась, запускаем LSan и освобождаем память всего, что утекло :-)

В санитайзерах есть все для такого сценария

скоро во всех продакшенах страны

А потом будут искать крайнего...

А мне вот жутко стыдно было на этой неделе. Оказалось, что мне удалось в 2017 году сделать кривой пулл реквест в проект, сорцы которого юзают фирмы от мала до велика. Очень много кто юзает.

Пришлось вспоминать алгоритм и восстанавливать статус кво.

А самый прикол, что в проекте есть свой фазер. Просто в этой фазер не была добавлена специфическая ситуация. При этом эта ситуация в реальном мире встречается постоянно.

Вот такие вот юнит тесты в проектах, которые юзают миллионы.

Это норма! (c)

Это точно про go

При слове "фазер" сразу мне вспомнился один доклад от Яндекса про "батю"-тимлида в команде.

:)

лазеры, мазеры, фазеры.. да кому это вообще нужно? :)

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

Науке, безусловно. Не только космическим крейсерам же.

Есть еще и разеры, вигглеры...

А фазер вымышленный :(

Сазеры ещё есть, как оказалось.