Переупорядочивание операций процессором

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

Разве в многопоточной программе причиной видимости потоками разных состояний разных переменных является переупорядочивание процессором?(Если компилятор не применяет оптимизаций)?
К примеру почему может НЕ упасть(ассерт сработает) следующий код?

C++
1
2
3
4
5
6
7
8
9
10
11
12
bool x = true;
bool y = true;
 
void first(){ //CPU 0
x = false;
assert(y);
}
 
void second(){ //CPU 1
y = false;
assert(x);
}

Разве причина в переупорядочивании операций, а не в протоколе когерентности кешей?

@oleg-m1973 · 13.04.2021, 22:51

Сообщение от ReYalp

К примеру почему может НЕ упасть(ассерт сработает) следующий код?

Покажи весь код

Добавлено через 1 минуту
Подозреваю, что assert тупо проверяется раньше, чем переменная изменяется в другом потоке.

@ReYalp · 13.04.2021, 22:57 **[ТС]**

oleg-m1973, та это и есть весь код, взял пример с лекции о модели памяти/барьерах памяти, пытаюсь их понять, все говорят о том что барьеры просто запрещают реордеринг операций компилятору и процессору, но разве в этом дело, а не в синхронизации кешей процессора?

@hoggy · 13.04.2021, 22:57

Сообщение от ReYalp

может НЕ упасть(ассерт сработает)

если ассерт сработает - должен упасть.

Сообщение от ReYalp

почему может НЕ упасть

теоретически может не упасть из-за кривизны проктокола системы сообщений кэша.
но это только теоретически.

на практике компилятор должен проследить за тем,
что бы program order не нарушался.

@ReYalp · 13.04.2021, 23:00 **[ТС]**

hoggy,

Сообщение от hoggy

теоретически может не упасть из-за кривизны проктокола системы сообщений кэша.

но из-за кривизны протокола когерентности кешей, а не из-за переставлений операций?

@oleg-m1973 · 13.04.2021, 23:02

Сообщение от ReYalp

oleg-m1973, та это и есть весь код, взял пример с лекции о модели памяти/барьерах памяти, пытаюсь их понять, все говорят о том что барьеры просто запрещают реордеринг операций компилятору и процессору, но разве в этом дело, а не в синхронизации кешей процессора?

Не, ну явно не весь. Как-то же эти функции должны вызываться.
И насколько я понимаю, здесь таким простым примером не обойдёшься, надо что-то намного более сложное - какие-нибудь lock-free операции

@ReYalp · 13.04.2021, 23:03 **[ТС]**

oleg-m1973, весь, ютуб

@oleg-m1973 · 13.04.2021, 23:07

Сообщение от ReYalp

oleg-m1973, весь, ютуб

Они там ожидают, что этот "код" всегда должен падать. Какое-то очень сомнительное утверждение.
Я не досмотрел до конца - они там рассказывают как повторить?

@ReYalp · 13.04.2021, 23:07 **[ТС]**

oleg-m1973, та нет, по сути здесь же должен быть UB тк идет чтение и запись в одну память несинхронизированные, не?

@hoggy · 13.04.2021, 23:08

Сообщение от ReYalp

не из-за переставлений операций?

в твоём примере нет места переупорядочниванию операций.

@ReYalp · 13.04.2021, 23:10 **[ТС]**

oleg-m1973, вот еще одна лекция, пример ооочень похожий и с кодом
ютуб

Добавлено через 1 минуту
hoggy,

Сообщение от hoggy

в твоём примере нет места переупорядочниванию операций.

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

@oleg-m1973 · 13.04.2021, 23:11

Сообщение от ReYalp

oleg-m1973, та нет, по сути здесь же должен быть UB тк идет чтение и запись в одну память несинхронизированные, не?

Ну, смотря, что ты имеешь ввиду под UB. А то это понятие довольно неопределённое.

@ReYalp · 13.04.2021, 23:12 **[ТС]**

oleg-m1973, имею ввиду просто UB

@oleg-m1973 · 13.04.2021, 23:19

Сообщение от ReYalp

oleg-m1973, вот еще одна лекция, пример ооочень похожий и с кодом
ютуб

Это вообще не о том. Просто об отсутствии синхронизации. До барьеров памяти и до кэшей там как до Луны пешком.

Добавлено через 6 минут

Сообщение от ReYalp

oleg-m1973, имею ввиду просто UB

UB предполагает, что ты ожидаешь определённого результата. Здесь я этого не вижу. Фантазии не в счёт.

@ReYalp · 13.04.2021, 23:20 **[ТС]**

oleg-m1973, разве второй пример это не более сложный случай первого?

@zayats80888 · 13.04.2021, 23:24

Сообщение от ReYalp

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

Не assert с записью, а чтение с записью. Ну и тут вообще упорядочивания нет.

Кликните здесь для просмотра всего текста

Даже если гипотетически предположить, что оба потока выполняют свой код "синхронно и непрерывно такт в такт", то записи сначала попадут в так называемый "буфер записи" и к моменту, когда они "достигнут", например, общего кэша 3 уровня, операции чтения уже будут выполнены(процессор работает намного шустрее, чем память).

@oleg-m1973 · 13.04.2021, 23:27

Сообщение от ReYalp

oleg-m1973, разве второй пример это не более сложный случай первого?

Нет, я ж говорю, что здесь примеры должны быть довольно сложными, и повторить их тоже не так просто. Хотя, конечно, могу ошибаться.
Я сталкивался с этими проблемами, но повторить их не возьмусь.

@ReYalp · 13.04.2021, 23:28 **[ТС]**

zayats80888,

Сообщение от zayats80888

Даже если гипотетически предположить, что оба потока выполняют свой код "синхронно и непрерывно такт в такт", то записи сначала попадут в так называемый "буфер записи" и к моменту, когда они "достигнут", например, общего кэша 3 уровня, операции чтения уже будут выполнены(процессор работает намного шустрее, чем память).

такая ситуация вполне понятна, тоесть барьер работает и как инструкция не переупорядочивать операции и как инструкция синхронизации кешей(к примеру ожидания всех store из store buffer)?

@oleg-m1973 · 13.04.2021, 23:30

У меня там было, что вечером запускаешь кучу потоков, которые обращаются к lock-free объектам, а утром смотришь, что не упали.

@hoggy · 13.04.2021, 23:32

Сообщение от ReYalp

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

ну так и задай свой вопрос этому самому большинству.
я то откуда знаю?

по твоей ссылочке на 22:08 парень говорит:

"обычно это не нужно.
этот пример был разработан в лаборатории.
в реальной жизни обычно таких примеров не бывает.
скорее всего такой барьер нам не нужен.
ситуации где он (барьер) нужен очень редки"
(ц)

вот возьми и задай ему вопрос:
нафига он приводит оторванные от жизни примеры.

в реальной жизни assert сработает только в дебаге.
а значит код без оптимизаций.

но даже если бы это был релиз:
изменение глобальной переменной - это побочный эффект.
в этой ситуации стандарт с++ гарантирует, что выражение:

Сообщение от ReYalp

assert(y);

начнется только и только после того, как побочный эффект выражения:

Сообщение от ReYalp

x = false;

будет полностью завершен.

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	13.04.2021, 22:57 [ТС]
	oleg-m1973, та это и есть весь код, взял пример с лекции о модели памяти/барьерах памяти, пытаюсь их понять, все говорят о том что барьеры просто запрещают реордеринг операций компилятору и процессору, но разве в этом дело, а не в синхронизации кешей процессора? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	13.04.2021, 23:03 [ТС]
	oleg-m1973, весь, ютуб 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	13.04.2021, 23:07 [ТС]
	oleg-m1973, та нет, по сути здесь же должен быть UB тк идет чтение и запись в одну память несинхронизированные, не? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	13.04.2021, 23:12 [ТС]
	oleg-m1973, имею ввиду просто UB 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	13.04.2021, 23:20 [ТС]
	oleg-m1973, разве второй пример это не более сложный случай первого? 0

@oleg-m1973 6772 / 4565 / 1844 Регистрация: 07.05.2019 Сообщений: 13,726
	13.04.2021, 23:30
	У меня там было, что вечером запускаешь кучу потоков, которые обращаются к lock-free объектам, а утром смотришь, что не упали. 0