A
Та ужас, это плохой знак, если в чатике начали про политику или околополитику 😁
Size: a a a
2020 March 10
Т8
Adv0cat
И как ВОТ ЭТО ВСЁ относится к Rust? 😄
Никак. А почему это должно относиться?
Т8
А я всё ждал, когда же в Rust чате заговорят про курс доллара и НЕФТЬ😅
Это не раст, а раст оффтопик
A
Т-34 85
Никак. А почему это должно относиться?
я в растерянности, что на это ответить 😐
AL
Adv0cat
И как ВОТ ЭТО ВСЁ относится к Rust? 😄
Так это ж оффтопик чат, тут нет ограничений на темы
AL
Adv0cat
Та ужас, это плохой знак, если в чатике начали про политику или околополитику 😁
а тут да. околополитические споры редко конструктивно и без лишних эмоций проходят)
DS
Вон, лучше бы хоть кто-нибудь открыл статью, которую я скинул, там любопытно.
A
NL
T-34
К вчерашнему разговору про автоматическое управление памятью без ГЦ, RC и аффинных типов:
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf
К вчерашнему разговору про автоматическое управление памятью без ГЦ, RC и аффинных типов:
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf
Положил в ридинг лист с достаточно высоким приоритетом 👍
DS
Положил в ридинг лист с достаточно высоким приоритетом 👍
Пошел читать подробно, там достаточно любопытный подход, что-то вроде специализированного "гц" под программу.
Где может доказать нужные факты в компайл тайм - там вставляются free как обычно, где не может - там скан заранее ограниченного куска хипа.
Где может доказать нужные факты в компайл тайм - там вставляются free как обычно, где не может - там скан заранее ограниченного куска хипа.
DS
Надо теперь дочитать до момента, где определяют какой участок хипа и как сканить, самый любопытный момент.
И насколько участок ограниченный.
И насколько участок ограниченный.
P
Пошел читать подробно, там достаточно любопытный подход, что-то вроде специализированного "гц" под программу.
Где может доказать нужные факты в компайл тайм - там вставляются free как обычно, где не может - там скан заранее ограниченного куска хипа.
Где может доказать нужные факты в компайл тайм - там вставляются free как обычно, где не может - там скан заранее ограниченного куска хипа.
в джаве эскейп-анализ примерно то же делает, только в маленьком скоупе, если может доказать, что объект не вытекает -- может аллоцировать его на стеке, например ещё во время компиляции
DS
в джаве эскейп-анализ примерно то же делает, только в маленьком скоупе, если может доказать, что объект не вытекает -- может аллоцировать его на стеке, например ещё во время компиляции
Да, это понятно, но тут сильно более широкая штука заточенная под whole program analysis.
P
Да, это понятно, но тут сильно более широкая штука заточенная под whole program analysis.
я так понял, смысл в грамотном распределении по разным хипам по времени жизни, или определении их не явно в общем?
P
(пока ещё не открывал)
DS
я так понял, смысл в грамотном распределении по разным хипам по времени жизни, или определении их не явно в общем?
Там статический liveness анализ, где возможно, который просто вставляет free, как тот же раст.
Где не возможно - очень маленькие регионы для скана + его логику возможно задать кастомную для каждого типа.
Где не возможно - очень маленькие регионы для скана + его логику возможно задать кастомную для каждого типа.
P
Там статический liveness анализ, где возможно, который просто вставляет free, как тот же раст.
Где не возможно - очень маленькие регионы для скана + его логику возможно задать кастомную для каждого типа.
Где не возможно - очень маленькие регионы для скана + его логику возможно задать кастомную для каждого типа.
ну а где невозможно он всё равно динамически делает через rc/mark?
DS
ну а где невозможно он всё равно динамически делает через rc/mark?
Там скорее что-то вроде mark. Разница в том, что небольшие регионы памяти и в детерменированное время, не как у обычного гц.
DS
Отдельный вопрос как работать в такой схеме с многопоточностью, автор эту тему обходит, предлагает в случае fork-join concurrency делать деаллокации разделямых значений в join
DS
Если кому интересно, то вышел я на эту статью с сайта GRIN, там ещё несколько интересных статей, но уже просто на тему компиляторов и whole program analysis