Где можно почитать про подобную оптимизацию от компилятора? void foo(std::atomic<bool>&

Question

Где можно почитать про подобную оптимизацию от компилятора? void foo(std::atomic<bool>&

val)
{
if(!val.load(std::memory_order_relaxed))
{
Do1();
}

if(!val.load(std::memory_order_relaxed))
{
Do2();
}
}

To

void foo(std::atomic<bool>& val)
{
auto ___tmp = !val.load(std::memory_order_relaxed);
if(___tmp)
{
Do1();
Do2();
}
}

#c #embedded #programming #russian

0

15.05.2023

11 ответов

10 просмотров

我が名はレギオン Автор вопроса

Mikail Bagishov
А что именно ты хочешь про нее прочитать? В каких...

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

0

15.05.2023

Alexander "Ternvein" Isaev

我が名はレギオン
Хочу "название" такой оптимизации, условия и какой...

Наверное, потому, что такая оптимизация невозможна на атомиках.

0

15.05.2023

Mikail Bagishov

Alexander "Ternvein" Isaev
Наверное, потому, что такая оптимизация невозможна...

https://stackoverflow.com/questions/33127973/can-atomic-loads-be-merged-in-the-c-memory-model

0

15.05.2023

Alexander "Ternvein" Isaev

Mikail Bagishov
https://stackoverflow.com/questions/33127973/can-a...

Там другой пример, где cst ordering.

0

15.05.2023

Alexander "Ternvein" Isaev

Mikail Bagishov
https://stackoverflow.com/questions/33127973/can-a...

Ну и приписка в конце ответа тоже есть.

0

15.05.2023

Mikail Bagishov

Alexander "Ternvein" Isaev
Там другой пример, где cst ordering.

seq_cst дает сильно меньше свободы оптимизатору чем relaxed

0

15.05.2023

Mikail Bagishov

Alexander "Ternvein" Isaev
Ну и приписка в конце ответа тоже есть.

Ну ок, сейчас компиляторы консервативно боятся такое делать. Это не повод считать такую оптимизацию невозможной и не повод закладываться на ее отсутствие.

0

15.05.2023

Alexander "Ternvein" Isaev

Mikail Bagishov
Ну ок, сейчас компиляторы консервативно боятся так...

Вообще в коде автора оптимизация такого рода вообще невозможна, потому что невозможно доказать, что значение атомика не изменится между вызовами. Даже теоретически.

0

15.05.2023

Boris Usievich

Alexander "Ternvein" Isaev
Вообще в коде автора оптимизация такого рода вообщ...

ну если реализация функции Do1 в том же TU, то почему бы и нет

0

15.05.2023

Alexander "Ternvein" Isaev

Boris Usievich
ну если реализация функции Do1 в том же TU, то поч...

Я исхожу из того, что Do1 и Do2 — чёрный ящик (как в вопросе).

0

15.05.2023