MB
А, в англиской вики там нет мьютексов, но есть скромная приписка, что на современных процессоров нужно memory fence ставить
Size: a a a
2020 November 29
MB
И как эти shared int внутри устроены?
𝕯𝖁
И мне очень интересно, как это вообще могло бы работать.
Если не используется inline asm, то единственный способ одному потоку увидеть действия другого - это атомарные доступы к памяти.
Если не используется inline asm, то единственный способ одному потоку увидеть действия другого - это атомарные доступы к памяти.
Не совсем без атомиков. Без "настоящих" атомиков. Любое сохранение данных в память - это атомарная операция. Вот этот момент и используется.
EG
red75prime
Спинлоки - это оптимизация, чтобы уменьшить количество сисколлов. Разве нет?
ХЗ. Мне через некоторое время стало лень читать код libpthread, но выглядит так, как будто он использует спинлоки. Согласен, что это звучит нереалистично.
EG
Не совсем без атомиков. Без "настоящих" атомиков. Любое сохранение данных в память - это атомарная операция. Вот этот момент и используется.
Сохранение данных в память это не атомарная операция?..
𝕯𝖁
Я так и сказал
EG
Ты сказал что атомарная
Но нет же, не атомарная
Но нет же, не атомарная
MB
В общем случае для Acquire & Release нужен mfence
MB
Ну и модель памяти раста это тоже требует.
Мб конкретно на x86 это можно обойти, делая эти доступы на ассемблере, но как-то попахивает.
Мб конкретно на x86 это можно обойти, делая эти доступы на ассемблере, но как-то попахивает.
𝕯𝖁
Ты сказал что атомарная
Но нет же, не атомарная
Но нет же, не атомарная
Это как? Ячейка одна, по определению запись в неё может осуществлять только один поток одновременно
MB
Это как? Ячейка одна, по определению запись в неё может осуществлять только один поток одновременно
у ячейки есть "клон" (потенциально) в кэше каждого из ядер
EG
Это как? Ячейка одна, по определению запись в неё может осуществлять только один поток одновременно
Даже внутри одного потока процессор может переставлять местами инструкции, осуществляющие запись
EG
«Поток» это вообще весьма высокоуровневый концепт
MB
Ну и я хз что будет, если несколько ядер в своем кэше поменяют одну и ту же ячейку.
По идее в итоге все записи кроме последней будут отброшены.
По идее в итоге все записи кроме последней будут отброшены.
𝕯𝖁
у ячейки есть "клон" (потенциально) в кэше каждого из ядер
Да, но, при записи кеш в других ядрах сбрасывается. Сразу и чуть погодя, но всё-таки.
𝕯𝖁
Это вообще-то от архитектуры процессора зависит
MB
Да, но, при записи кеш в других ядрах сбрасывается. Сразу и чуть погодя, но всё-таки.
Это ты сейчас про x86, arm или risc-v?
MB
Если уж писать собственные примитивы в образовательных целях, то имхо это надо делать для архитектур со слабой памятью
𝕯𝖁
Это ты сейчас про x86, arm или risc-v?
Это общие рассуждения. Вот и проверю )
IB
Да, но, при записи кеш в других ядрах сбрасывается. Сразу и чуть погодя, но всё-таки.
Если чуть погодя, то ты уже отстрелил себе ногу.