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

Question

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

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

#c #embedded #programming #russian

0

31.10.2023

24 ответов

5 просмотров

Дмитрий 🎮

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

0

6 месяцев назад

Mikail Bagishov

неправда

0

6 месяцев назад

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

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

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

0

6 месяцев назад

Mikail Bagishov

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

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

0

6 месяцев назад

Aniki Hi$ok@ 🌈 Z 🐀

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

0

6 месяцев назад

Дмитрий 🎮

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

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

0

6 месяцев назад

Alex Travkin

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

0

6 месяцев назад

клюквенный сбитень

это UB

0

6 месяцев назад

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

6 месяцев назад

CodeDetector

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

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

0

6 месяцев назад

Mikail Bagishov

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

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

0

6 месяцев назад

клюквенный сбитень

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

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

0

6 месяцев назад

Anatoly Shirokov

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

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

0

6 месяцев назад