А точно сборщики мусора - это такая накладная вещь, от

Question

А точно сборщики мусора - это такая накладная вещь, от

которой всенепременно нужно избавляться? Компиляторы нынче умеют проводить escape-анализ и вычислять, что можно размещать на стеке, что можно удалять из кучи при выходе из процедур, есть всякие SoA и AoS структуры данных (если нужен realtime).

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

Понятно, конечно, что есть AVR, где проблемы с памятью, но есть и такие вот исследования, например:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2493

#compilerdev #it #programming #russian

0

27.05.2022

7 ответов

17 просмотров

Михаил Бахтерев Автор вопроса

Александр Toon
В ембеде крайне нежелательно чтобы в неожиданный м...

Да, но компилятор может расставлять safe-points или доказывать, что сборка не нужна. А когда нужна, это можно делать с предсказуемыми задержками.

0

27.05.2022

Михаил Бахтерев Автор вопроса

Михаил Бахтерев
Да, но компилятор может расставлять safe-points ил...

Понятно, что это усложняет компилятор, и что это не будет точным анализом, а каким-то консервативным приближением. Но действительно ли можно утверждать, что это технически хуже, чем ручное управление a la Rust, например?

0

27.05.2022

Victor Miasnikov

Александр Toon
В ембеде крайне нежелательно чтобы в неожиданный м...

В OS A2 с Active Oberon сборщик мусора не останавливает мир ( и не занимается тому подобным). Желательно иметь больше одного ядра CPU. Переходим к практике: если это все не так, то тесты должны выявить.

0

27.05.2022

Etki

Михаил Бахтерев
Да, но компилятор может расставлять safe-points ил...

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

0

27.05.2022

Михаил Бахтерев Автор вопроса

Victor Miasnikov
В OS A2 с Active Oberon сборщик мусора не останав...

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

0

27.05.2022

Victor Miasnikov

Михаил Бахтерев
Катати, да. У Вирта же в оригинальном Oberon тоже ...

A2 - уже ученики. Прерывания - скорее всего, есть

0

27.05.2022

Александр Toon · Accepted Answer

Александр Toon

В ембеде крайне нежелательно чтобы в неожиданный момент включился сборщик мусора

0

27.05.2022

185 похожих чатов

А точно сборщики мусора - это такая накладная вещь, от

7 ответов

Похожие вопросы