В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Rust — русскоговорящее сообществo

2028 membersпожаловаться на группу
2020 March 31

Э

Эрик in Rust — русскоговорящее сообществo
Ну нарушает ансейф правила алиасинга, и что дальше?
источник
20:53пожаловаться#1

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
foo11 и foo2 обе создают по 2 указателя, обе единообразно их используют.
Обе добиваются того, что указатели алиасятся.
Но в первой один указатель сырой, поэтому все ОК
А во второй оба - ссылки, поэтому бан
источник
20:53пожаловаться#2

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Mikail Bagishov
Ну да. Например смотри:
let mut b = Box::new(4);
let b_ref = &mut*b;
@iccsf вот начало треда
источник
20:54пожаловаться#3

Э

Эрик in Rust — русскоговорящее сообществo
Mikail Bagishov
foo11 и foo2 обе создают по 2 указателя, обе единообразно их используют.
Обе добиваются того, что указатели алиасятся.
Но в первой один указатель сырой, поэтому все ОК
А во второй оба - ссылки, поэтому бан
Потому что компилятор никогда тебе не обозначит кешлайн, который ты голым указателем загрузил себе, как эксклюзивный. А вот с &mut он так может сделать.
источник
20:55пожаловаться#4

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Эрик
Потому что компилятор никогда тебе не обозначит кешлайн, который ты голым указателем загрузил себе, как эксклюзивный. А вот с &mut он так может сделать.
Не стоит опускаться на уровень кэша. Модель памяти раста определена абстрактно. В Абстрактной Раст-Машине понятия кэша нет.

Твой коммент - это уже следствие, эксплуатация UB компилятором для оптимизации
источник
20:57пожаловаться#5

K

Kitsu in Rust — русскоговорящее сообществo
с каких пор в расте появилась модель памяти?
источник
20:58пожаловаться#6

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Kitsu
с каких пор в расте появилась модель памяти?
В голове RalfJung - очень давно
источник
20:59пожаловаться#7

K

Kitsu in Rust — русскоговорящее сообществo
оч сомневаюсь, что даже у него есть целостное и полное видение
источник
20:59пожаловаться#8

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Правила заимствований он даже описал в блог-посте.
А нам сейчас ничего за пределами заимствований и алиасинга не нужно.
источник
20:59пожаловаться#9

В

Вафель in Rust — русскоговорящее сообществo
Kitsu
с каких пор в расте появилась модель памяти?
Её нет, но вообще см stacked borrows
источник
21:00пожаловаться#10

RP

Roman Proskuryakov in Rust — русскоговорящее сообществo
Mikail Bagishov
Алиасинг - это ситуация, когда несколько указателей ссылаются на пересекающиеся куски памяти.
вот. у меня есть указатель на сырой кусок, мне его надо кастануть на указатель на данные
источник
21:13пожаловаться#11

RP

Roman Proskuryakov in Rust — русскоговорящее сообществo
мне использовать *c_void или можно оставить *u8?
источник
21:13пожаловаться#12

RP

Roman Proskuryakov in Rust — русскоговорящее сообществo
тот же memmap::MMap дерефает в [u8]
источник
21:13пожаловаться#13

Э

Эрик in Rust — русскоговорящее сообществo
Зависит от того, в какой памяти ты это делаешь. Если для C-defined FFI, то сивойд лучше. А если для раста и в расте, то пофигу как бы.
источник
21:17пожаловаться#14

Э

Эрик in Rust — русскоговорящее сообществo
Голые указатели на Sized объекты можно как угодно поворачивать, они внутри тупо usize, и всё тут.
источник
21:18пожаловаться#15

Э

Эрик in Rust — русскоговорящее сообществo
fn поинтеры и *_ [] - нельзя, потому что они там разные могут быть.
источник
21:19пожаловаться#16

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Roman Proskuryakov
мне использовать *c_void или можно оставить *u8?
Насколько я все это понимаю, с т.з. алиасинга они эквиваленты. Но *mut u8 тупо удобнее.
источник
21:19пожаловаться#17

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Эрик
Голые указатели на Sized объекты можно как угодно поворачивать, они внутри тупо usize, и всё тут.
Не совсем как угодно. Я вот удивился, когда узнал про provenance: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=edbe266980e814f7d2bc5b5719abc9b3
источник
21:21пожаловаться#18

Э

Эрик in Rust — русскоговорящее сообществo
И что не так с этим делом?
источник
21:23пожаловаться#19

Э

Эрик in Rust — русскоговорящее сообществo
slice.as_ptr() возвращает указатель на Sized элемент слайса.
источник
21:23пожаловаться#20