分散ロックという名の過ち - Software Transactional Memo

 TL;DR; 「分散ロック」が分散システムの設計図に登場した時 だいたいその設計は間違っていて本当に必要なものはトランザクションだ 並行システムを実装する際にロックを用いるのはとても自然なことだ。 僕も普段はロックフリー系のアルゴリズムに詳しいと言われがちだが知識量でいったら実はロック系の方が多く蓄えているかも知れない。 分散システムは並行システムであることが多いので、その中にロックが登場するのはとても自然な発想である。 よく「分散」「並行」「並列」の言葉の定義がごっちゃになっているケースがあり、この記事の主題にしたいわけではないので深くは言及しないが、分散システムは環境などの要因で突如として参加者が音信不通になったり復活したりする点で並行システムと大きく異なる。 並行システムと同じノリで分散システムを設計しようとした際に陥る頻出の過ちが「分散ロック」である。そのアイデアはとても簡単で

[el-condor]

結局これがコスト低いですよな＞“冪等リトライのパターンに落としこんでしまうのが一番合理的で…上手く行くことが多い”

[teracy_junk]

『分散ロックは実はリーダー選出以外の何物でもなくてリーダー引き継ぎや状態の復旧の仕組みまでちゃんと作ると結局トランザクションの再発明に至りがちなのである』

[yo_waka]

“冪等リトライのパターンに落としこんでしまうのが一番合理的で単純なのでその方向に知恵を絞って上手く行くことが多い”

[minoton]

う、Oracle DB出身なので、分散ロック（DLMとか）気軽に使ってしまうなー

[matsui]

“分散ロックは実はリーダー選出以外の何物でもなくてリーダー引き継ぎや状態の復旧の仕組みまでちゃんと作ると結局トランザクションの再発明に至りがちなのである”

[uehaj]

"「分散ロック」という言葉を使う事はまずない。おそらく似たような目的のために「リーダー選出」という言葉を使う

[toritori0318]

リトライ最強

[griefworker]

“冪等リトライのパターンに落としこんでしまうのが一番合理的で単純なのでその方向に知恵を絞って上手く行くことが多い”

[fcicq]

atomic transaction

[InoHiro]

冪等になるように実装するのが簡単で簡潔

[digo]

“絶対にトランザクションを実装しないといけないのか？というのも実は割と難しい問題で、冪等リトライのパターンに落としこんでしまうのが一番合理的で単純なのでその方向に知恵を絞って上手く行くことが多い”

[airj12]

「冪等リトライのパターンに落としこんでしまうのが一番合理的で単純」レアケースへの対応のために常に複雑な機構が動くのは気持ち良くないので賛成

[ebo-c]

先日split-blainについて由来を調べたら幼い頃トラウマになった脳梁離断術が出てきた。いまも他の事故の方が危険な程に重大なてんかん対処などに用いられているらしい

[causeless]

"@kumagi はてなブログに投稿しました。 分散ロックという名の過ち - Software Transactional Me…" via https://twitter.com/kumagi/status/978043963121651712

[t10471]

今の時代永続層が複数にまたがることもざらにあるし、 冪等リトライができるのが一番楽だよね。チェックポイントとかを途中で実装すると辛い...

[lli]

“「分散ロック」という言葉が出てきたら、その言葉を発した人はおそらくそれがゆくゆくはトランザクションに至る長い道のりであることに無自覚であることが経験上多い” ワラタ確かに

[rti7743]

なるほど

[yumu19]

ふむ。

[barea]

Rockの新ジャンルのつもりで来たらLockのお話でした、入り口を間違いました。

[yoshikidz]

ほんまそれ。結局queueの並列みたいになること多いな。“だいたいその設計は間違っていて本当に必要なものはトランザクションだ”

[t-cyrill]

“結局トランザクションの再発明に至りがちなのである” なるほど。ロックですね

[yamadakirinn]

ミュージシャンかと

[khtokage]

良い話。

[mh615033891]

#memo

[yosuke_furukawa]

分散ロックという言葉を使った時、一旦設計を振り返ってトランザクション境界を見直したい。

[Akaza]

"冪等リトライのパターンに落としこんでしまうのが一番合理的で単純"

[Iridium]

冪等リトライにしたとしても無限に死んでいる人に対してはタイムアウトなどの何か別の対処が必要になるのでは？リトライし続けることによって発生する問題はないのかな？

[sonots]

なるほど "分散システムの設計を議論する際に「分散ロック」という言葉が出てきたら、その言葉を発した人はおそらくそれがゆくゆくはトランザクションに至る長い道のりであることに無自覚であることが経験上多い"

[t-wada]

"だいたいその設計は間違っていて本当に必要なものはトランザクション" "冪等リトライのパターンに落としこんでしまうのが一番合理的で単純なのでその方向に知恵を絞って上手く行くことが多い"

[hiby]

うむ・・・

[takeshiketa]

“並行システムと同じノリで分散システムを設計しようとした際に陥る頻出の過ちが「分散ロック」である。”

[koyancya]

“分散ロックは実はリーダー選出以外の何物でもなくてリーダー引き継ぎや状態の復旧の仕組みまでちゃんと作ると結局トランザクションの再発明に至りがちなのである”