Email or username:

Password:

Forgot your password?
rayslava's posts Post Back to profile
rayslava

@standmit Да, будет. Причём то, в какую сторону она будет, зависит от решаемой задачи.
В среднем по больнице будут рассказывать, что lock-free наше всё, и мьютексы не нужны, но когда придёшь в какой-нибудь гугл, то там скажут «Ты наркоман, что ли, весь процессор тормозить, чтобы циферку заменить?! Ну-ка перепиши по-нормальному»
Все тонкости здесь прячутся от архитектурной реализации CAS-инструкций под конкретный процессор, и поддержке мьютексов под конкретную платформу, там тоже тысяча реализаций на все случаи жизни.
Правильный ответ: сделать бенчмарк, похожий на хотспот своей задачи, и отпрофилировать его на целевой платформе

13 Apr 2023 at 7:20 | Open on lor.sh
4 comments
standmit

@rayslava А можно подробнее про торможение процессора? Из того, что я читал, я сделал вывод, что торможение будет в любом случае, просто мьютекс тормозит все ядра сразу, а барьеры памяти позволяют правильным образом разнести торможение ядер во времени, давая больше свободы для оптимизации компилятором. Это не так?

13 Apr 2023 at 7:33 | Open on lor.sh
rayslava

@standmit Ну мьютекс вовсе необязательно тормозит хоть что-нибудь, это зависит от имплементации и кода (например, вот обзор бустового мьютекса есть, он тут вообще не лочится: appsloveworld.com/cplus/100/33 ), а про барьеры — на восстановления когерентности кэшей между ядрами всё равно будет уходить время, причём тут зависит именно от процессора и от реализации этого самого протокола когерентности, а не от того, как расставлены барьеры в коде. Тут скорость зависит не только от кода и компилятора, но и от того, как код разлёгся по ядрам, что попало в кэши, и как оно себя ведёт. При аккуратно расставленных барьерах торможение будет, конечно, меньше, чем если везде лупить sequential consistent требование, но какое-то всё равно будет, и это стоит учитывать

@standmit Ну мьютекс вовсе необязательно тормозит хоть что-нибудь, это зависит от имплементации и кода (например, вот обзор бустового мьютекса есть, он тут вообще не лочится: appsloveworld.com/cplus/100/33 ), а про барьеры — на восстановления когерентности кэшей между ядрами всё равно будет уходить время, причём тут зависит именно от процессора и от реализации этого самого протокола когерентности, а не от того, как расставлены барьеры в коде. Тут...

13 Apr 2023 at 7:54 | Open on lor.sh
rayslava

@standmit ну и само собой, всё это относится скорее к очень суровому хайлоаду, когда мы начинаем экономить такты, и когда экономия сотни микросекунд, умноженная на миллиарды серверов очень конкретной аппаратной конфигурации, даёт миллионы долларов экономии.
В бытовом применении вряд ли углубление в такие детали имеет смысл. Скажем, сейчас почти любой бинарный дистрибутив линукса для x86_64 собирается под nehalem пятнадцатилетней давности, и всем норм. Какие уж тут войны за время синхронизации ядер :)

13 Apr 2023 at 8:00 | Open on lor.sh
pomstan

@rayslava @standmit

всем норм

на похорониксе в последнее время пишут, что пошла движуха по переходу на x86_64v3 во многих дистрах

13 Apr 2023 at 10:17 | Open on xn--p1abe3d.xn--80asehdb
Go Up