АК
Там RAII везде и всюду, так на любой объект делается
ref при создании/захвате и unref при выходе из скоупа.Size: a a a
2019 September 27
АК
Так что ситуация с забытой навешанной ссылкой крайне маловероятна
АК
Первый Note отсюда явно предупреждает о том, что что-то может пойти не так с
L.АК
> These classes, on construction, assignment and other operations, forcibly obtain the lua_State* associated with the main thread, if possible. Using these classes will allow your code to be immune when a wrapped coroutine or a lua thread is set to nil and then garbage-collected.
АК
Так, можно ещё раз, но помедленнее.
Правильно ли я понял, что
И описанная ситуация возможна в луа или это косяк разраба, который юзает C-API?
L - основной стейт, L1 - стейт какой-то корутины.Правильно ли я понял, что
L1 может быть как-то сохранен, что его соберёт сборщик мусора, хотя реально он должен ещё жить? Разве L1 не имеет счетчик ссылок "себя", чтобы знать, пора ему умирать или нет?И описанная ситуация возможна в луа или это косяк разраба, который юзает C-API?
АК
Вообще, когда я добуду минимальный воспроизводимый пример, я его обязательно покажу
АК
A
Так, можно ещё раз, но помедленнее.
Правильно ли я понял, что
И описанная ситуация возможна в луа или это косяк разраба, который юзает C-API?
L - основной стейт, L1 - стейт какой-то корутины.Правильно ли я понял, что
L1 может быть как-то сохранен, что его соберёт сборщик мусора, хотя реально он должен ещё жить? Разве L1 не имеет счетчик ссылок "себя", чтобы знать, пора ему умирать или нет?И описанная ситуация возможна в луа или это косяк разраба, который юзает C-API?
Корутина L1 — это просто значение, которое живет по тем же принципам, что и все остальные строки/таблицы/корутины. Да, если вы хотите, чтобы объект корутины жил, он должен быть достижим для GC.
D
Тут есть и список либ, и бенчмарки
Обогнали чистый C, это, конечно, сильно
АК
Корутина L1 — это просто значение, которое живет по тем же принципам, что и все остальные строки/таблицы/корутины. Да, если вы хотите, чтобы объект корутины жил, он должен быть достижим для GC.
"Объект корутины жил" - пусть помирает себе. Корутина сама никуда себя не записывает в луа коде, она просто выполняется. Во время работы создаёт какие-то объекты, которые, имея владельца L1, вполне могут записаться в табличку из L. И после записи у них кто владелец? L или L1?
Или я несу чушь и никаких владельцев нет?
Или я несу чушь и никаких владельцев нет?
A
"Объект корутины жил" - пусть помирает себе. Корутина сама никуда себя не записывает в луа коде, она просто выполняется. Во время работы создаёт какие-то объекты, которые, имея владельца L1, вполне могут записаться в табличку из L. И после записи у них кто владелец? L или L1?
Или я несу чушь и никаких владельцев нет?
Или я несу чушь и никаких владельцев нет?
Лучше подходит термин «точка достижимости». Если L1 передала ссылку на объект в L, то этот объект не будет сколлекчен (если L достижима для GC).
АК
Лучше подходит термин «точка достижимости». Если L1 передала ссылку на объект в L, то этот объект не будет сколлекчен (если L достижима для GC).
Хорошо. У переменных есть
lua_State* владелец/создатель или как-то так? Или после создания переменная - это просто нечто в куче, как-то связанное со всеми другими GCObject* и будет собрана, когда все ссылки очистятся?A
Хорошо. У переменных есть
lua_State* владелец/создатель или как-то так? Или после создания переменная - это просто нечто в куче, как-то связанное со всеми другими GCObject* и будет собрана, когда все ссылки очистятся?Нет. Переменная – это слот на стеке. Как-только этот слот оказывается выше, чем указатель на вершину стека, GC не видит этот слот. Если на всех стеках всех корутин нет такого слота slot < L->top, то значение, лежащее в слоте, будет сколлекчено (немного грубая формулировка, там ещё есть registry и gc roots, но идея такая).
АК
Если у нас таблица, на которую есть несколько ссылок из разных корутин, то в каждом слоте на стеке лежит указатель на неё + счетчик ссылок? @igelhaus
A
Если у нас таблица, на которую есть несколько ссылок из разных корутин, то в каждом слоте на стеке лежит указатель на неё + счетчик ссылок? @igelhaus
Счетчика ссылок в Lua нет вообще. Да, если есть таблица и в нескольких корутинах есть
local t = ...
То на стеке каждой корутины будет указатель на эту таблицу.
local t = ...
То на стеке каждой корутины будет указатель на эту таблицу.