Concurrency, Security, and Puzzles

この論文はまだ理解しきれてないけど、処理中のプロセスが死んでも先に進むロックフリーキューのアルゴリズムを扱ってる。 https://t.co/BNgdCb5PmA

合わせて読んでたロックフリーキューからも得られた知見(?)だけど、他プロセスの状態を見てリトライするだけだとモデル上は確実に発散に陥る。リトライ時の中に競合を解決する手段が無いと駄目だ(ロックフリーの論文にはある)が、MooseFSにはない。 https://t.co/BNgdCb5PmA

論文1本はこれ。lock free queueのdivergence freedomまで含めて検証 https://t.co/BNgdCb5PmA

これ読んでて少しGoを勉強したくなった。