S
Size: a a a
2020 June 22
OS
хорошее видео, спасибо
AS
хорошее видео, спасибо
#барьеры_памяти лекция была построена на этом материале https://habr.com/ru/post/196548/
OS
верно, на основе знания модели памяти можно построить atomic переменные, когда они нужны
но они нужны не всегда, когда полезны модели памяти
но они нужны не всегда, когда полезны модели памяти
на одной модели не построишь. модель памяти не говорит например что на i386 запись в int64 происходит не атомарно
S
на одной модели не построишь. модель памяти не говорит например что на i386 запись в int64 происходит не атомарно
это да - особый случай, как и запись/чтение по не ровному адресу
S
Можете показать как вы будете, доавлять или удалять элемент из буфера? По-моему вам в любом случае понадобится атомарный swap указателей или индекса. Как вы это будете писать с volatile от ms?
для простоты не кольцевой а бесконечный линенй буфер:
char buf[1000000000];
char * volatile begin = buf, * volatile end = buf;
void Write(char ch) {
*end = ch;
++end;
}
char Read() {
while (begin == end)
sleep(1);
char r = *begin;
++begin;
return r;
}
m
для простоты не кольцевой а бесконечный линенй буфер:
char buf[1000000000];
char * volatile begin = buf, * volatile end = buf;
void Write(char ch) {
*end = ch;
++end;
}
char Read() {
while (begin == end)
sleep(1);
char r = *begin;
++begin;
return r;
}
Кажется, с точки зрения сгенерированного asm'а результат и в правду корректный, пока reader и writer существуют в единственном экземпляре. Если считать, что чтение/запись volatile атомарны, код вроде корректен и с точки зрения стандарта.
Вроде для меня пазл сложился, хотя как всегда с атомиками у меня нет в этом уверенности.
Спасибо за поучительную беседу.
Вроде для меня пазл сложился, хотя как всегда с атомиками у меня нет в этом уверенности.
Спасибо за поучительную беседу.
m
для простоты не кольцевой а бесконечный линенй буфер:
char buf[1000000000];
char * volatile begin = buf, * volatile end = buf;
void Write(char ch) {
*end = ch;
++end;
}
char Read() {
while (begin == end)
sleep(1);
char r = *begin;
++begin;
return r;
}
Кстати, на атомиках можно написать эквивалентный код: https://godbolt.org/z/JiD9Ar
Я в нескольких местах прикапываю значение локально, но по сути код эквивантен. Опять же здесь к begin доступ происходит из одного потока, но код изначально был демонстрационным.
Если я правильно понимаю, операция
Я в нескольких местах прикапываю значение локально, но по сути код эквивантен. Опять же здесь к begin доступ происходит из одного потока, но код изначально был демонстрационным.
Если я правильно понимаю, операция
++ms_specific_volatile на атомики транслируется как-то так:auto t = volatile.load(std::memory_order::memory_order_acquire);В общем хорошо, что у нас теперь есть нормальные атомики.
++t;
volatile.store(t, std::memory_order::memory_order_release);
return t;
AS
для простоты не кольцевой а бесконечный линенй буфер:
char buf[1000000000];
char * volatile begin = buf, * volatile end = buf;
void Write(char ch) {
*end = ch;
++end;
}
char Read() {
while (begin == end)
sleep(1);
char r = *begin;
++begin;
return r;
}
c C++ 20 ++/-- для volatile deprecated же? http://eel.is/c++draft/expr.pre.incr#1 , http://eel.is/c++draft/depr.volatile.type#1