python - GET と INCR を使用した redis による楽観的ロック

Question

コードのブロックを楽観的に「ロック」したい。擬似コードは次のとおりです。

revision = GET('lock_key') # default as 0
{
<<block of code>>
}
new_revision = INCR('lock_key')
if new_revision != revision + 1:
    raise Exception # now retry or whatever

INCR と GET の両方がアトミックであるため、これは問題ないように見えます。このアプローチに問題はありますか？

Answer 1

このアプローチにはいくつかの問題があります。第一に、2 ワーカーを超えるとスケーリングがうまくいきません。なぜなら、速いワーカーは遅いワーカーを枯渇させるからです。フローには原子性も欠けています。これは、実行しているロジックによっては問題になる場合とそうでない場合がありますが、競合状態は厄介です。最後に、常に key_lock を INCRing しているため、オブザーバー効果が少しあります。

より良いアプローチは、Redis のMULTI、EXEC、およびWATCHを使用することです。Redis のトランザクション トピックでは、これについてかなりきちんと説明されており、疑似コードに基づいて次の例が提供されています。

WATCH('lock_key')
revision = GET('lock_key') # default as 0
{
    <<block of code>>
}

MULTI()
new_revision = INCR('lock_key')
if EXEC() is None:
  raise Exception # now retry or whatever