CD
data race разве UB?
Зависит от того, что ты делаешь, разумеется
Size: a a a
2020 August 14
Ct
но самый простейший случай - да
Т8
red75prime
дедлок - не ub
да?
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
Там написано, что
UB
std::mutex m;
m.lock();
m.lock();
UB
Если ты не прочитал документацию к функции у тебя уже проблема
p
Зависит от того, что ты делаешь, разумеется
Ну когда он уб тогда
Т8
дедлок не UB в крестах же
^
Ct
data race разве UB?
data race еще как UB
CD
Ну когда он уб тогда
Вот доступ к данным из-за abandon в мьютексе потому что ты под блокировкой грохнулся имея захваченный именованный мьютекс - точно UB в сейфкоде в Rust
Ct
Если ты не прочитал документацию к функции у тебя уже проблема
Нельзя помнить всё и вся всегда
Т8
нет. Например переполнение знаковых чисел уб в плюсах и не уб в расте
переполнение знакового - это дедлок?
Ct
Или можно прочитать, но дедлока не заметить
CD
Нельзя помнить всё и вся всегда
Именно так. Поэтому ты открываешь документацию и читаешь, читаешь, читаешь
AZ
Вот доступ к данным из-за abandon в мьютексе потому что ты под блокировкой грохнулся имея захваченный именованный мьютекс - точно UB в сейфкоде в Rust
ты уже который раз эти абандонед мьютексы суешь. Причем насколько я понимаю, это чисто виндовая штука
Ct
они достаточно сложные бывают
r
Т-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/
Это UB, которое может привести к дедлоку. Дедлок - это когда потоки из-за неправильного использования примитивов синхронизации останавливают выполнение навсегда
CD
ты уже который раз эти абандонед мьютексы суешь. Причем насколько я понимаю, это чисто виндовая штука
я не знаю, что будет в линуксах, думаю ничего хорошего от прерванной "атомарной" операции там тоже не будет
CD
инвариант в области памяти сломан и всё
p
Вот доступ к данным из-за abandon в мьютексе потому что ты под блокировкой грохнулся имея захваченный именованный мьютекс - точно UB в сейфкоде в Rust
Если ты не можешь получит доступ к мьютексу, происходит паника же
Т8
red75prime
Это UB, которое может привести к дедлоку. Дедлок - это когда потоки из-за неправильного использования примитивов синхронизации останавливают выполнение навсегда
а в расте это и без уб может произойти, да?
Ct
Вот доступ к данным из-за abandon в мьютексе потому что ты под блокировкой грохнулся имея захваченный именованный мьютекс - точно UB в сейфкоде в Rust
что значит "грохнулся"?