Т8
red75prime
уб один - поведение программы не определено. Способы его получить - разные
так тогда и в расте это уб?
Size: a a a
2020 August 14
p
Т-34 85
в крестах под это что угодно попадает, а в расте даже очевидные баги не считаются уб
В расте уб в сейф коде баг. Или ты о чем?
Т8
В расте уб в сейф коде баг. Или ты о чем?
а почему это один и тот же баг в расте не уб, а в крестах - уб?
p
Т-34 85
а почему это один и тот же баг в расте не уб, а в крестах - уб?
КАКОЙбаг
Т8
КАКОЙбаг
дедлок
Ct
Т-34 85
а почему это один и тот же баг в расте не уб, а в крестах - уб?
Есть такие примеры, но ты их хоть знаешь?
r
Т-34 85
дедлок
дедлок - не ub
Ct
Т-34 85
дедлок
дедлок не UB в крестах же
CD
На практике это исключительная ситуация, которой можно пренебречь, поскольку почти весь код safe
пренебречь чем? изменением поведения data race на файлике ОС зависящего от оптимизации компилятора и системного скедулера?
Ct
дедлок не UB в крестах же
> If lock is called by a thread that already owns the mutex, the behavior is undefined
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
CD
хотя не удивлюсь, если в safe запрещено читать файловую систему, небезопасная операция
p
пренебречь чем? изменением поведения data race на файлике ОС зависящего от оптимизации компилятора и системного скедулера?
Очевидно что баги с УБ в сейф коде из-за вызова невалидного ансейф кода могут быть. Но его настолько мало что пофиг, скорее всего с ним не встретишься.
CD
> If lock is called by a thread that already owns the mutex, the behavior is undefined
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
да, есть recursive_mutex
Ct
да, есть recursive_mutex
Это если ты знаешь что у тебя есть "проблема"
AZ
Т-34 85
так тогда и в расте это уб?
нет. Например переполнение знаковых чисел уб в плюсах и не уб в расте
CD
Очевидно что баги с УБ в сейф коде из-за вызова невалидного ансейф кода могут быть. Но его настолько мало что пофиг, скорее всего с ним не встретишься.
И data race на файле никогда не встретишь? Я вот встречал последний такой намного ближе к настоящему, чем проваленный в дебаге range check на плюсах
r
> If lock is called by a thread that already owns the mutex, the behavior is undefined
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
https://en.cppreference.com/w/cpp/thread/mutex/lock
лол
Это UB, а не дедлок. Дедлок - это другое
p
И data race на файле никогда не встретишь? Я вот встречал последний такой намного ближе к настоящему, чем проваленный в дебаге range check на плюсах
data race разве UB?
Ct
red75prime
Это UB, а не дедлок. Дедлок - это другое
Там написано, что
UB
std::mutex m;
m.lock();
m.lock();
UB
Ct
Из этого вроде не следует конечно прямо что любой дедлок - UB