MS
Я конечно понимаю что это для примера, но имхо такой код показывать это перебор. Я про то что slept ставят сразу, а потом уже wake. Кто-нибудь возьмёт и скопирует себе :)
Нормальный код же. Матч рассчитан на то что в него зайдут только два раза.
Size: a a a
2021 March 31
A
Нормальный код же. Матч рассчитан на то что в него зайдут только два раза.
Ну, кмк, никто не может запретить дёрнуть wake когда приспичит, от этого логика когда обработалось не должна ломаться. Тут просто удачно расставили
A
всё равно что сделать что-то: self.bufferReady = true, а потом начать его заполнять, а потом wake дёрнуть
MS
Скорее не wake, а споллят ещё раз
MS
Но тогда ведь придётся делать аркоатомик, шарить его между тредами и сетить из заспавненного треда
MS
Я имею в виду чтоб правильно сделать
A
Да, я понимаю , что для примера это возможно переусложнение, но так как-то не ок тоже
MS
Вейкеры вообще от лукавого. Настоящие программисты поллят все таски в цикле ✊Пулл-бейсд риактивити фор зе вин. /шутка
2021 April 01
MB
Я вообще правильно понимаю, что если мой тип
Foo: !Unpin, и в моей программе используется Pin<&mut Foo>, то я могу натворить UB внутри drop(), даже не прибегая к unsafe { } блоку во всей программе ни разу?Когда ты делаешь Pin::new_unchecked, помимо прочего ты обещаешь что деструктор не натворит глупостей
MB
А если ты прячешь этот unchecked с помощью pin-project, то он не даст тебе напрямую делать impl Drop, только impl PinnedDrop.
IG
А, вон оно как. Что ж, умно… 🧐
IG
А как тогда с
Box::pin()? Я ведь могу получить Pin<&mut T> из &mut Pin<Box<T>> без unsafe, или не?IG
И если да, то что мешает явно реализовать ерунду без ансейфа в дропе для T в данном случае?
MB
А как тогда с
Box::pin()? Я ведь могу получить Pin<&mut T> из &mut Pin<Box<T>> без unsafe, или не?Если T: !Unpin, то сделать переход Pin<Box<T>> -> Pin<&mut T> не удастся
IG
А смысл в таком случае боксить
!Unpin футуры, если в сигнатуре полла всё равно требуется именно Pin<&mut Self>?MB
Так, извини, я немного дезинформировал
MB
Поэтому лучше просто скину немного исходников
https://doc.rust-lang.org/stable/src/alloc/boxed.rs.html#1596
https://doc.rust-lang.org/stable/src/alloc/boxed.rs.html#1596
MB
Если T: !Unpin, то сделать переход Pin<Box<T>> -> Pin<&mut T> не удастся
Короче, идея такая:
перейти к Pin<&mut T> все-таки можно, через Pin::as_mut()
Но вот достать из него этот самый &mut T не удастся
перейти к Pin<&mut T> все-таки можно, через Pin::as_mut()
Но вот достать из него этот самый &mut T не удастся
IG
Да, но дроп у T всё равно его получит.
IG
И он-то может делов натворить с инвариантом.)