Sergey как там баги с моделью памяти?

Question

pro.cxx

disba1ancer

Sergey как там баги с моделью памяти?

#c++ #embedded #programming #russian

0

14.06.2023

15 ответов

33 просмотра

disba1ancer Автор вопроса

Sergey Anisimov
Все по-старому пока что: на мой комментарий не отв...

у меня стойкое ощущение, что модель, надо опять переписывать, и докидать немного реальности

0

14.06.2023

Sergey Anisimov

disba1ancer
у меня стойкое ощущение, что модель, надо опять пе...

Если не учитывать текущие обсуждения о destructive-move и дополнения по provenance-модели (которую я тоже все еще не читал), то я бы сказал, что скорее "подлатать" было бы достаточно. Если же учитывать, то осмелюсь делать выводы только после того, как ознакомлюсь с упомянутыми темами намного подробнее. "Идейно" модель кажется довольно неплохой, переделку с нуля, наверное, не хотелось бы скорее.

0

14.06.2023

disba1ancer Автор вопроса

Sergey Anisimov
Если не учитывать текущие обсуждения о destructive...

модель умеет в объекты живущие одновременно по нескольким адресам? а в разные объекты живущие по одним и тем же? а если у нас несколько типов памяти (не только ram как на PC)

0

14.06.2023

disba1ancer Автор вопроса

Sergey Anisimov
Если не учитывать текущие обсуждения о destructive...

а ещё не ясно есть ли компиляторы которые нормально определяют конверсии число — указатель и обратно, все системщики пользуются, а оно формально взрывоопасно

0

14.06.2023

disba1ancer Автор вопроса

disba1ancer
модель умеет в объекты живущие одновременно по нес...

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

0

14.06.2023

Sergey Anisimov

disba1ancer
модель умеет в объекты живущие одновременно по нес...

"По нескольким адресам" - насколько мне известно, такого нет; "сможет ли" - сходу сказать сложно. Если это касательно destructive-move, то, полагаю, желательно точнее понимать, что же все-таки хочется, либо сразу заложиться на какую-то абстрактную семантику (например, что хочется определить, что можно объект снимать с одного региона хранилища и перекладывать на другой; достаточно будет перенос сделать атомарным и настроить ему sequencing, чтобы объект "в двух разных местах" нельзя было пронаблюдать). "Несколько объектов по одному адресу" - да, такое есть: nested-within про это. Но это в контексте "сырых" адресов без provenance'а, с ним указатели/ссылки будут разные, хоть и с численно равным адресом.

0

14.06.2023

disba1ancer Автор вопроса

Sergey Anisimov
"По нескольким адресам" - насколько мне известно, ...

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

0

14.06.2023

Sergey Anisimov

disba1ancer
а ещё не ясно есть ли компиляторы которые нормальн...

Хочется уточнений, что значит "нормально" все-таки. С "provenance-punning'ом", чтобы можно было обходить ограничения адресной арифметики? GCC это явно запрещает, в Clang рассматривался случай, когда provenance ошибочно протекал в сравнения указателей, так что думаю, что тоже нет. Положение дел на MSVC мне не известно)

0

14.06.2023

disba1ancer Автор вопроса

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

0

14.06.2023

Sergey Anisimov

disba1ancer
первое можно если два маппинга страниц указывают н...

Понимаю идею с первым, второе, опять же, есть уже сейчас с "магией" разного уровня. Опять же, например struct { int i; } s; уже про это =)

0

14.06.2023

Sergey Anisimov