想像上のロックメカニズム：ノンブロッキング書き込み、読み取り、無効化

Question

ここにシナリオがあります。ボブは作家であり、アリスは読者です。ボブは物事を書いて、アリスはそれらを読みます。規則は次のとおりです。

1）ボブは、アリスが読み込み中であるかどうか（読み込みは書き込みをブロックしない）を書き込むことができます。

2）ボブが書き込みを行っているとき、アリスは読み出すことができません（書き込みは読み込みをブロックします）。

3）アリスが読書を終えると、ボブが読んで書いたかどうかを知ることができます（読み手は、読んだデータが正しくないかどうかを検出できます）。

2）と3）は本当に1つの結合されたルールですが、私は良い議論のために2つを挙げています。問題は1つのミューテックスと1つのカウンタ（バージョン番号）で解決できますが、わたしが知らないのは、よく知られているシナリオでよく使われる名前ですか？それについて何か研究がなされていますか？

Answer 1

私には分かりませんが、よく知られているシナリオは用語で指定されていますか？

はい、それはSeqlockと呼ばれる： https://en.wikipedia.org/wiki/Seqlock

がそれで誰スタディをいたり、私はちょうどホイールを作るのですか？

AFAIKには、さまざまな実装（Linuxカーネルなど）と論文があります。