Что значит "unspecified behavior" при повторном вызове .lock() в том

Question

Что значит "unspecified behavior" при повторном вызове .lock() в том

же потоке? В чём отличие от UB и почему это происходит в safe коде?

https://doc.rust-lang.org/std/sync/struct.Mutex.html#method.lock

#backend #embedded #programming #russian #rust

0

26.02.2020

5 ответов

3 просмотра

Boris Vinogradov

это значит что данное поведение не описано спецификацией и может при определённых условиях выстрелить в ногу, но не является неопределённым

0

26.02.2020

Mikola Summer Duck

Отличие в том что поведение консистентно, компилятор не может рассчитывать что такого происходить не будет ни при каких условиях, но при этом документация не дает никаких гарантий что именно произойдет в данном случае.

0

26.02.2020

Αλεχ Zhukovsky

Это значит "неизвестное, но в определенных рамках"

0

26.02.2020

Mikola Summer Duck

Сейф код гарантирует только отсутствие именно UB - вещей о которых компилятор рассчитывает что они не произойдут ни при каких условиях.

0

26.02.2020