В чем разница между безопасными, регулярными и атомарными (safe, regular, atomic) регистрами?

Question

[Денис]

Разбираюсь в основах параллельного программирования. Натолкнулся на следующие понятия.


Регистр — это ячейка памяти, можно записать/прочитать. Бывают разными, но особо в контексте интересны регистры типов «много пишет, много читает» (multi reader, multi writer — MRMW) и «один пишет, много читает» (multi reader, single writer — MRSW). (Здесь все понятно, но прошу поправить, если не то). Служат для создания замков (locks), взаимных исключений (mutex), «разруливания» прочих спорных ситуаций (консенсус, например).


Регистр может быть:

• безопасным (safe register) — значит, что запись и чтение разными потоками не перекрывают друг друга. Тут более менее понятно.
  
• регулярным (regular register) — (тут начинается...) отличен тем, что возвращает старое значение, когда операции чтения и записи не перекрываются и новое или старое, если перекрываются.
  
  Примерно схема:
  
  
  поток1.пишет(0)________поток1.пишет(1)______________>
  
  ________________поток2.читает(1)__поток2.читает(0)________время_____>
  
  
  Я не очень понял, как там вообще можно потоку2 прочитать 0, если операция записи 1 уже прошла (а она прошла, т.к. это подтверждает, что регулярные регистры не линеаризуемы… вроде б...).
  
  
• атомарным (atomic register) — это значит, что регист можно привести за счет линеаризации к последовательному безопасному регистру.
  

Вопрос по атомарному и регулярному регистрам. В принципе можно «букварными» истинами, т.к. я в самом начале.


Спасибо заранее!

Answer 1

[Денис]

Для знающих английский лангуаге:
https://stackoverflow.com/questions/8871633/whats-...

Answer 2

[rasa]

difference between a regular register and an atomic one

Comments

[Денис]

Да, спасибо, это ссылка на статью Лэмпорта, которую я и так смотрел. Просто такое ощущение, что кроме как там эту тему никто не рассматривал и она не освещена никак.