Привет такой вопрос: допустим есть тред-локал переменная без синхронизации, например int допустим

Question

Привет такой вопрос: допустим есть тред-локал переменная без синхронизации, например int допустим

мы пишем в нее с одного треда простыми сторами

Теперь задача прочесть ее с другого треда без УБ причем увидев последнее значение в MO

В бложиках всякого рода говорят ну прост раз она тредлокал то писать в нее со своего треда можно без синхронизации и т.п. А когда читаешь типа нужен какой-то барье, в общем такая ересь

Но я предлагаю тут "рабочую" схему: мы заводим еще один флаг, после окончания всех записей с первого треда мы делаем Release стор в этот флаг, а в читающем треде спинимся по этому флагу в надежде увидеть этот самый Release и как следствие все сторы в первоначальную int переменную

Так будет работать? Может ли MM гарантировать что мы увидим вожделенный Release? Я переизобрел кандовый спинлок?

Почему спрашиваю.. Java MM например гарантирует что мы можем НЕ увидеть, так как JIT вполне может соптимизировать не-volatile сторы в шаред локацию в NOOP

#c++ #embedded #programming #russian

0

10.02.2022

11 ответов

24 просмотра

место имение рейверы Автор вопроса

Alexander B. Babayants
Тред-локал переменная в каждом треде своя. Нельзя ...

адрес тредлокал переменной можно брать из любого треда

0

10.02.2022

🐙 Antony Polukhin

Если вы делаете в переменную только сторы, то atomic c memory_order_relaxed на x86 превратится в ассемблере обычную запись без доп синхронизаций. Проблема в том, что другие потоки увидят значение с ощутимым запозданием

0

10.02.2022

Ilya Zviagin

Родной, как думаешь, почему переменная называется thread local? Локальная для потока?

0

10.02.2022

Dmitry Sokolov

Ilya Zviagin
Родной, как думаешь, почему переменная называется ...

Это же не запрещает работу с такими переменными из других потоков. Переменная как переменная.

0

10.02.2022

Ilya Zviagin

Dmitry Sokolov
Это же не запрещает работу с такими переменными из...

Так а ЗАЧЕМ? Что мешает использовать обычную переменную?

0

10.02.2022

место имение рейверы Автор вопроса

Ilya Zviagin
Так а ЗАЧЕМ? Что мешает использовать обычную перем...

Вот именно в этом мой поинт

0

10.02.2022

Dmitry Sokolov

Ilya Zviagin
Так а ЗАЧЕМ? Что мешает использовать обычную перем...

Ну бывает нужно. Те же hazard pointers например.

0

10.02.2022

Arelav

> Так будет работать? С обычной переменной точно да(бтв ничто не мешает завести массив обычных переменных и писать туда по индексу треда Насчет тредлокал не уверен мб в стандарте есть какой нибудь параноидальный пункт что это уб > Может ли MM гарантировать что мы увидим вожделенный Release? Да гарантирует. Что в acquire лоаде вы увидете release > Я переизобрел кандовый спинлок? Да.

0

10.02.2022

🐻Alex Fails🦥🏔🍓 ︙

Постоянно забываю, что это за ругательство, можно вкратце пояснить?

0

10.02.2022

Dmitry Sokolov

🐻Alex Fails🦥🏔🍓 ︙
Постоянно забываю, что это за ругательство, можно ...

Один из способов безопасного memory reclamation в lock free. Вот Хижинский описывал: https://habr.com/ru/post/202190/

0

10.02.2022

Alexander B. Babayants · Accepted Answer

Alexander B. Babayants

Тред-локал переменная в каждом треде своя. Нельзя прочитать значение, которое туда записал другой тред. Вы, судя по всему, путаете тред локал с атомиком.

0

10.02.2022

170 похожих чатов

Привет такой вопрос: допустим есть тред-локал переменная без синхронизации, например int допустим

11 ответов

Похожие вопросы