c
Akon32
хм.
хм.
Akon32
>Rust’s rich type system and ownership model guarantee memory-safety and thread-safety — enabling you to eliminate many classes of bugs at compile-time.
Size: a a a
2021 May 25
c
Akon32
"many classes", не "all bugs".
"many classes", не "all bugs".
t
А что там такого особого?
t
Я сразу начал с многопоточки. Код не собрался и я стал простые вещи пробовать
c
portnov
погромист-многопоточник
погромист-многопоточник
c
portnov
как многостаночник, только многопоточник
как многостаночник, только многопоточник
c
portnov
а есть системы типов, которые позволяют доказывать чего-нить про многопоточность? Что дедлоков нет, например
а есть системы типов, которые позволяют доказывать чего-нить про многопоточность? Что дедлоков нет, например
c
portnov
в принципе, на зависимых типах наверно можно выразить
в принципе, на зависимых типах наверно можно выразить
c
portnov
philosopher1 :: Locks [Fork1, Fork2]
philosopher1 :: Locks [Fork1, Fork2]
c
Minoru
@ttldtor: пока смотришь на примеры, всё очевидно, а как начинаешь писать код — сразу начинаются ошибки, мол, тут вот захватил переменную и пытаешься вернуть замыкание, тут вот мувнул переменную и снова пытаешься юзать, тут вот написал `&mut x.foo(x)`… В общем, много всякой мелочёвки вылезает, которая вызывает реакицю типа «да всё ок, я так в плюсах сто раз делал и ничего»
@ttldtor: пока смотришь на примеры, всё очевидно, а как начинаешь писать код — сразу начинаются ошибки, мол, тут вот захватил переменную и пытаешься вернуть замыкание, тут вот мувнул переменную и снова пытаешься юзать, тут вот написал `&mut x.foo(x)`… В общем, много всякой мелочёвки вылезает, которая вызывает реакицю типа «да всё ок, я так в плюсах сто раз делал и ничего»
c
Minoru
portnov: Rust доказывает, что ресурс используется только когда взяты все необходимые для этого локи: просто оборачиваешь ресурс в Lock<> — и всё, до внутренностей можно добраться только вызвав lock(). И .unlock() автоматически вызывается, потому что lock() на самом деле возвращает не сам ресурс, а обёртку вокруг него, которая в деструкторе вызывает unlock()
portnov: Rust доказывает, что ресурс используется только когда взяты все необходимые для этого локи: просто оборачиваешь ресурс в Lock<> — и всё, до внутренностей можно добраться только вызвав lock(). И .unlock() автоматически вызывается, потому что lock() на самом деле возвращает не сам ресурс, а обёртку вокруг него, которая в деструкторе вызывает unlock()
c
Minoru
но это довольно узкий кейс. Наверняка есть ситуации, когда данные нельзя оборачивать в лок
но это довольно узкий кейс. Наверняка есть ситуации, когда данные нельзя оборачивать в лок
c
Minoru
или когда хочется глянуть на данные и уже потом решить, лочить их или нет
или когда хочется глянуть на данные и уже потом решить, лочить их или нет
c
portnov
т.е. lock :: Lock T -> T
т.е. lock :: Lock T -> T
c
portnov
?
?
c
portnov
T Lock<T>::lock()
T Lock<T>::lock()
c
Minoru
нет, Lock T -> LockGuard T
нет, Lock T -> LockGuard T
c
portnov
так
так
c
portnov
а что можно сделать с LockGuard T?
а что можно сделать с LockGuard T?