p
И он-то может делов натворить с инвариантом.)
Если вызывается дроп, то гарантированно нет больше ссылок на T
std::mem::replace()-ом в другой Box::pin() и инвалидировать все селф-референсы. ))Size: a a a
2021 April 01
IG
Что не мешает тому же дропу вытащить
IG
Хотя с другой стороны если любой дроп так делает, он по определению напрашивается на UB, т.к. он обещает дестроить инстанс, а вместо этого перемещает его.
D
Хотя с другой стороны если любой дроп так делает, он по определению напрашивается на UB, т.к. он обещает дестроить инстанс, а вместо этого перемещает его.
> он обещает дестроить инстанс
кому обещает? ничего такого нет
сделай минимальный пример плз, так сходу не очень понятно, что конкретно может пойти не так
кому обещает? ничего такого нет
сделай минимальный пример плз, так сходу не очень понятно, что конкретно может пойти не так
IG
Вообще да, похоже что тут саунднесс в том, что невозможно без
Так-то можно написать без ансейфа:
Формально инвариант здесь нарушается, и компилер «имеет право» сгенерировать фигню вместо ожидаемого поведения, но по факту он вряд ли это сделает даже с самой агрессивной оптимизацией. То есть саунднесс практический, пусть и с нарушением формального.
unsafe написать такой !Unpin тип, у которого и операции с селф-референсами через пины, и кастомный impl Drop.Так-то можно написать без ансейфа:
struct Wtf {
...
_pin: PhantomPinned
}
impl Drop for Wtf {
fn drop(&mut self) {
let wtf = Box::pin(std::mem::replace(self, ...));
... // use the new pin
}
}Формально инвариант здесь нарушается, и компилер «имеет право» сгенерировать фигню вместо ожидаемого поведения, но по факту он вряд ли это сделает даже с самой агрессивной оптимизацией. То есть саунднесс практический, пусть и с нарушением формального.
IG
Это примерно как с мувом классов, содержащих
const члены, в плюсах. Но с другой стороны у плюсов куча compliant реализаций, и каждая подобную ситуацию может разбирать по-своему.в🧇
Вообще да, похоже что тут саунднесс в том, что невозможно без
Так-то можно написать без ансейфа:
Формально инвариант здесь нарушается, и компилер «имеет право» сгенерировать фигню вместо ожидаемого поведения, но по факту он вряд ли это сделает даже с самой агрессивной оптимизацией. То есть саунднесс практический, пусть и с нарушением формального.
unsafe написать такой !Unpin тип, у которого и операции с селф-референсами через пины, и кастомный impl Drop.Так-то можно написать без ансейфа:
struct Wtf {
...
_pin: PhantomPinned
}
impl Drop for Wtf {
fn drop(&mut self) {
let wtf = Box::pin(std::mem::replace(self, ...));
... // use the new pin
}
}Формально инвариант здесь нарушается, и компилер «имеет право» сгенерировать фигню вместо ожидаемого поведения, но по факту он вряд ли это сделает даже с самой агрессивной оптимизацией. То есть саунднесс практический, пусть и с нарушением формального.
Тут всё ещё нет UB. Даже "формально".
IG
https://doc.rust-lang.org/std/pin/index.html#drop-guarantee
Хмм.. Ну как бы с одной стороны здесь
> Concretely, for pinned data you have to maintain the invariant that its memory will not get invalidated or repurposed from the moment it gets pinned until when drop is called. Only once drop returns or panics, the memory may be reused.Хмм.. Ну как бы с одной стороны здесь
replace считается за repurpose, а с другой из &mut self мы новый пин без ансейфа не сделаем, а без пина мы UB не вызовем. Так что point скорее чисто академический.)2021 April 06
E
Всем привет! :)
E
EQ Lab устраивает Tech Polkadot
Meetup в Москве, посвящённый разработке на Rust, фреймворку Substrate (Polkadot) и блокчейнов на нем.
В программе только технические доклады от опытных разработчиков. Также будут нетворкинг, розыгрыш Xbox, пицца и напитки :)
Список спикеров и предварительную программу можно найти здесь: https://meetup.eqlab.io
📅 17 Апреля, 13:00
📍 Москва, Столешников пер. 6,корп.3, лофт “Авиатор”
❗️Вход бесплатный
Регистрация
Meetup в Москве, посвящённый разработке на Rust, фреймворку Substrate (Polkadot) и блокчейнов на нем.
В программе только технические доклады от опытных разработчиков. Также будут нетворкинг, розыгрыш Xbox, пицца и напитки :)
Список спикеров и предварительную программу можно найти здесь: https://meetup.eqlab.io
📅 17 Апреля, 13:00
📍 Москва, Столешников пер. 6,корп.3, лофт “Авиатор”
❗️Вход бесплатный
Регистрация
K
эх, Москва
M
Трансляция вроде есть
K
не, чото про блокчейны неинтересно
E
Да, будет трансляция https://www.crowdcast.io/e/tech-polkadot-meetup-moscow
MS
А почему в асинкоконфе а не в блокчейноконфе
D
растомитапов слишком мало, чтобы не упоминать их
2021 April 09
K
https://github.com/tokio-rs/tokio-uring/blob/design-doc/DESIGN.md
TLDR: The RFC proposes a new asynchronous Rust runtime backed by io-uring as a new crate: tokio-uring
TLDR: The RFC proposes a new asynchronous Rust runtime backed by io-uring as a new crate: tokio-uring
MB
О, круто
MB
Кстати, получается что подход как в actix-rt - пул однопоточных рантаймов.
KR
Николай, вернись, мы все были неправы 😭
Новость - огонь) Спасибо)
Новость - огонь) Спасибо)