Есть мнение некоторых людей, что если в переменную типа time_t

Question

Есть мнение некоторых людей, что если в переменную типа time_t

один поток пишет (через каждые 0,5 сек. сохраняет туда текущее время), а другие потолки оттуда читают, то такую переменную достаточно объявить с volatile. Синхронизации не нужны.
Какого ваше мнение?

#c #embedded #programming #russian

0

31.10.2023

24 ответов

21 просмотр

Дмитрий 🎮

volatile для этого и придумал, разве нет? Не оптимизировать эту переменную и не надеяться, что переменная не может быть изменена из-вне.

0

31.10.2023

Mikail Bagishov

неправда

0

31.10.2023

Андрей Таусинов

Дмитрий 🎮
volatile для этого и придумал, разве нет? Не опти...

volatile защищает от оптимизаций, основанных на том, что значение не может измениться "извне"

0

31.10.2023

Mikail Bagishov

Дмитрий 🎮
volatile для этого и придумал, разве нет? Не опти...

volatile придуман для MMIO и каких-то странных обработчиков сигналов

0

31.10.2023

Aniki Hi$ok@ 🌈 Z 🐀

это слово рекомендация компилятору, оно с асинхронностью не связано. Такую переменную компилятор не превратит в литерал (константу), если не увидит изменения в коде

0

31.10.2023

Дмитрий 🎮

Mikail Bagishov
volatile придуман для MMIO и каких-то странных обр...

О, вот как называется это — MMIO, когда регистр или порт в программе это просто переменная. Спасибо, буду теперь знать.

0

31.10.2023

Alex Travkin

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

0

31.10.2023

Rustam

это UB

0

31.10.2023

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

Андрей Таусинов
как будто бы синхронизации не нужны только когда В...

Те люди говорили что-то типа: единственный негативный эффект, который мы можем получить - это чтение предыдущего значения, а не нового из той переменной. Но когда пишет только один, а другие читают, это тоже гонка (а гонка - UB). Вот две выдержки из стандарта: - Two expression evaluations conflict if one of them modifies a memory location and the other one reads or modifies the same memory location. - The execution of a program contains a data race if it contains two potentially concurrent conflicting actions, at least one of which is not atomic, and neither happens before the other, except for the special case for signal handlers described below. Any such data race results in undefined behavior.

0

31.10.2023

CodeDetector

d7d1cd
Те люди говорили что-то типа: единственный негатив...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

0

31.10.2023

Mikail Bagishov

d7d1cd
Те люди говорили что-то типа: единственный негатив...

> единственный негативный эффект, который мы можем получить - это чтение предыдущего значения, а не нового из той переменной. чтобы получить такую семантику, надо использовать атомики и std::memory_order::relaxed

0

31.10.2023

Rustam

Mikail Bagishov
> единственный негативный эффект, который мы можем...

даже с другими ордерингами такое вполне возможно

0

31.10.2023

Anatoly Shirokov

d7d1cd
Те люди говорили что-то типа: единственный негатив...

Разгоняй эту банду оптимистов

0

31.10.2023