CD
Если ты не можешь получит доступ к мьютексу, происходит паника же
Ты успешно захватил мьютекс, начал запись в общую область и дернул панику
Size: a a a
2020 August 14
p
Ну и не забуду упомянуть что шаред мутабельное состояние лучше не использовать
r
Т-34 85
а в расте это и без уб может произойти, да?
Это везде, где есть потоки и примитивы синхронизации, может произойти без УБ
RP
Т-34 85
да?
If the mutex is currently locked by the same thread calling this function, it produces a deadlock (with undefined behavior). See recursive_mutex for a mutex type that allows multiple locks from the same thread.
http://www.cplusplus.com/reference/mutex/mutex/lock/
If the mutex is currently locked by the same thread calling this function, it produces a deadlock (with undefined behavior). See recursive_mutex for a mutex type that allows multiple locks from the same thread.
http://www.cplusplus.com/reference/mutex/mutex/lock/
так это плюсовый дедлок. растовый дедлок другой дедлок
CD
Ну и не забуду упомянуть что шаред мутабельное состояние лучше не использовать
Ага, начать писать в пайп операцию и запаниковать
Т8
red75prime
Это везде, где есть потоки и примитивы синхронизации, может произойти без УБ
тогда почему в крестах это благодаря уб, а в расте и без уб отхватишь?
Т8
так это плюсовый дедлок. растовый дедлок другой дедлок
о, сорта дедлоков
Ct
Ты успешно захватил мьютекс, начал запись в общую область и дернул панику
Тогда мьютекс перейдет в poisoned состояние и все попытки
lock() тоже будут паниковать же.RP
Т-34 85
о, сорта дедлоков
именно.
Ct
Тогда мьютекс перейдет в poisoned состояние и все попытки
lock() тоже будут паниковать же.Ну, не факт что паниковать, ибо там Result, но в большинстве случаев это так
CD
Тогда мьютекс перейдет в poisoned состояние и все попытки
lock() тоже будут паниковать же.А, отличное решение (нет)
Ct
А, отличное решение (нет)
¯\_(ツ)_/¯ ну это уже вполне определенное поведение, а не UB
r
Т-34 85
тогда почему в крестах это благодаря уб, а в расте и без уб отхватишь?
Потому что поведение в С++ не определено, а в Rust не специфицировано. В С++ компилятор может вообще выкинуть m.lock();m.lock();, в расте нет
CD
¯\_(ツ)_/¯ ну это уже вполне определенное поведение, а не UB
ага, как оно костыляется?
Ct
ага, как оно костыляется?
Можешь пойти в сорцы посмотреть
Т8
А, отличное решение (нет)
зато нет УБ
Т8
p
ага, как оно костыляется?
Там Result возвращается. Err если не получилось получить доступ к мьютексу. Вроде так.
Т8
¯\_(ツ)_/¯ ну это уже вполне определенное поведение, а не UB
очень помогло, спасибо
CD
Там Result возвращается. Err если не получилось получить доступ к мьютексу. Вроде так.
Спасибо хоть сразу не грохнули