R
Если 'а пересекается с 'b, то один из них часть другого
Size: a a a
2020 September 27
MS
А, ты хочешь сказать что у фьючера могут быть свои левые лайфтаймы?
MS
И это не даст боровчекеру правильно понять что происходит?
MS
R
Если у тебя
Task: 'a, то что б обойтись без unsafe тебе понадобится борровить &'a BumpMS
Ну да, чего я не хочу.
R
А какая конечная цель? Аллокатор для объектов которые должны жить не более N кадров?
R
Можно ж в обратную сторону развернуть это. Возвращать из из
Box-а не ссылку а None по истечении N кадровR
Конечно если N заранее изветсно
R
У меня для вулканской памяти есть такой аллокатор. Он конечно не удаляет из под указателя ничего. Просто становится неэффективным по оверхэду если блок не освобождать долго
MS
Конечная цель — аллокатор для тасков в игре. Они спавнятся регулярно, кучками помногу и являются, эмм, transient, ибо дропаются по завершении. Так что если мы выделяем блок мы можем быть уверенными что рано или поздно он очистится.
R
Вопрос в том, на сколько поздно
R
Для арены критично что б все блоки примерно одновременно освободились
R
Иначе один блок держить аллоцированным целый чанк
MS
Ну да, но мы ведь оптимизируем латенси аллокации а не потребление памяти.
MS
Прирост которого выравнется за несколько циклов.
R
Если оверхэд становится х200, то это уже Эребор
MS
А ты это можешь твикать двумя константами
MS
Ой хотя нет одной