FO
Почему связный список локов? Локать элементы списка...
Size: a a a
2021 October 31
Dv
Если ты локаешь элементы, то каждому элементу нужно как-то сопоставить некий способ его блокировки
c
Minoru
> При досрочном удалении захватываем владение своего, предыдущего и последующего элементов,
…и получаем задачу обедающих философов!
> При досрочном удалении захватываем владение своего, предыдущего и последующего элементов,
…и получаем задачу обедающих философов!
Dv
Ключ и замок, понимаешь? Как Йог-Сотот, ага?
Dv
Ни в коем случае не впускайте его в свой код.
FO
Почему?..
FO
Ага...
FO
Просто три элемента из всего списка нельзя изменять на какой-то промежуток времени...
Dv
А если сосед уже захватил один из этих элементов?
Dv
И ждёт кого-то, кто захватил его соседа
FO
Тогда ждем, пока освободит...
c
Minoru
@foxtran: ты залочил себя, предыдущего и пытаешься залочить следующего, а следующий залочил себя и пытается залочить тебя. Дедлок
@foxtran: ты залочил себя, предыдущего и пытаешься залочить следующего, а следующий залочил себя и пытается залочить тебя. Дедлок
Dv
Я не уверен, что эта задача изоморфна обедающим философам. Буфер-то не циклический же?
FO
Не циклический...
Dv
Т.е. вся цепочка рано или поздно должна распасться. Кажется.
Dv
Но, кажется, при этом тебе нужно соблюдать порядок взятия локов?
Dv
А если будешь брать не в порядке, то два соседа запросто задедлочат друг друга.
FO
Да. Надо соблюдать порядок :-)
Dv
Каждый взял сперва свой лок, а потом ждёт соседний.
FO
Нет. Надо брать предыдущий лок первым