caxapa.ru :: Компилятор имеет право не перечитывать переменную по указателю.

SciFi (08.06.2021 13:00, просмотров: 327) ответил misyachniy на Есть ли какие устоявшиеся/узаконенные правила когда "volatile" не нужно.

Компилятор имеет право не перечитывать переменную по указателю.

Ну а правила по поводу volatile следует понимать буквально так, как они описаны в стандарте. Суть в двух словах: если объект может быть изменён без ведома компилятора (через DMA или прерывание, например, или же объект вообще является аппаратным регистром), то такой объект должен быть обозначен как volatile. Ну и дальше идёт различение самого объекта и указателя на него, синтаксис звёздочек и т.д. Читайте буквари.

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- Кстати, поправочка, плохо я правило сформулировал. Например, рассмотрим схему уарт — прерывания — кольцевой буфер на отправку — указатели на голову и хвост кольцевого буфера. Указатель на голову не меняется в прерывании, как и буфер на отправку. Но оба должны быть volatile, чтобы компилятор не имел права поменять местами запись в буфер и в указатель, иначе прерывание обработает отправку неправильно. SciFi(181 знак., 08.06.2021 13:29)
  - Никогда такого не наблюдал, хотя в каждом первом проекте VLLV(129 знак., 08.06.2021 16:38)
    - Я наблюдал. Но это неточно :-) - SciFi(08.06.2021 16:39)
- Чепуха. Всегда объявлял массивы приема передачи как обычные, ни разу не было проблем с чтением переменных из массивов. Для IAR ARM. Значит есть скрытое знание ;-) - misyachniy(08.06.2021 13:01)
  - volatile нужно только для одиночных переменных типа int qaz; yuri_t2(51 знак., 08.06.2021 14:33, )
    - Нет. - SciFi(08.06.2021 15:03)
      - Вот ссылка: yuri_t2(490 знак., 08.06.2021 22:51, , ссылка)
        
        Там какая-то пурга написана. Не читайте всякую чушь, обращайтесь к первоисточникам. - SciFi(09.06.2021 07:29)
        
        Может хватить балаболить? Выкладывайте первоисточники. - misyachniy(09.06.2021 08:12)
        
        А я не выложил? Прошу пардону >>> - SciFi(09.06.2021 08:16, ссылка)
        
        Спасибо за ссылку. Всё же, как я читаю, это пояснение не говорит об отсутствии необходимости в модификаторе, а лишь уточняет, что наличие volatile не гарантирует атомарности доступа. - Nikolay_Po(09.06.2021 00:09)
        
        Цитирую заголовок "A type qualifier that you can use to declare that an object can be modified in the program by the hardware.". Не вижу атомарности. - misyachniy(09.06.2021 08:15)
        
        Ну так я о том же - volatile не обеспечивает атомарности, о чём и предупреждают в цитате Microsoft. Её суть не в том, что volatile не надо применять, а в том, что применение volatile не устраняет других возможных случаев неопределённого поведения. - Nikolay_Po(09.06.2021 09:06)
      - Типа баба Яга против? - misyachniy(08.06.2021 15:12)
        
        Нет в смысле "неправда". - SciFi(08.06.2021 15:13)
    - Ммм... А где такое оговорено? В инструкции компилятора? Тоже где-то попадалось, но, по-моему, справедливо только для старых компиляторов. Современные уже оптимизируют работу с указателями, структурами и массивами, поэтому можно "попасть". - Nikolay_Po(08.06.2021 14:51)
      - А где такое оговорено "Современные уже оптимизируют работу с указателями, структурами и массивами" и как определить по дате? Мой 2003 года выпуска. ;-) - misyachniy(08.06.2021 15:10)
        
        До появления link time optimization - старые. - Nikolay_Po(08.06.2021 16:52)
  - Выходил победителем в русской рулетке? Везунчик, наверное :-) - SciFi(08.06.2021 13:03)
    - Может просто оптимизацию отключал? Тогда это русская рулетка без патронов. - Andreas(08.06.2021 13:13)
    - Я играю только с револьвером, с макаровым, говорят дела похуже будут. - misyachniy(08.06.2021 13:04)
      - С макаровым - это лига "чемпион чемпионов" специальной олимпиады. - Evgeny_CD(08.06.2021 13:12)

Средства и методы разработки