「トランザクション張っておけば大丈夫」と思ってませんか？ バグの温床になる、よくある実装パターン

この記事は DeNA 20 新卒 Advent Calendar 2020 19日目の記事です。 はじめに MySQLやPostgreSQLに代表されるRDBMSではトランザクションと呼ばれる仕組みが提供されています。多くのWebアプリケーションエンジニアはこのトランザクションを駆使してDBとやりとりをするロジックを組み立てることになります。 しかし不整合を起こしたくない処理があるからといって闇雲にトランザクションを張ったり、トランザクションが張られているからと安心してアプリケーション側で闇雲にロジックを組み立ててしまうと思わぬバグを生むことになってしまいます。 このエントリでは、「トランザクションを張っておけば大丈夫」という考え方は危険な場合もあるということを、ありがちな実装例を交えて紹介していきます。 並列に処理されるトランザクション そもそも、トランザクションは全て直列に処理されるわ

[letitride]

銀行の例だとupdateでロックとって、updateのsetで演算するかな。tx.Exec(`UPDATE balances SET balance = balance - ? WHERE user_id = ? and balance >= ?`, amount, userID, amount);でロストアップデートなしで安全に残高内で減算取引できる

[w1234567]

MySQL詳しくないから変なこと言ってるかもだけど、roomsテーブルのレコードを最初にSELECT FOR UPDATEしてロックかけるのじゃ駄目なの？

[perl-o-pal]

初学者もいるわけだから何度やってもいい話だと思う。//私程度だとやらかしてから初めてあっ、てなるからなあ。まあ、この手の排他をRDBMSのトランザクションでやろうとは思わないかな…？

[electrolite]

また30年以上前の知識(分離レベル)が一周回って出てきた。批判するわけではなく学習としては有効だが、今だったらRDB外でシリアライズか、最低限API化してアプリに直接たたかせないようにするかな。てかNoSQLか。

[Eiichiro]

5つめの方法として、入室処理後に人数チェックして、アウトなら、ロールバックなげて退室処理する方法もあるよ。

[oakbow]

分離レベルの話でRDB使わずにnoSQLでやるって言ってる人はちょっと使い方間違ってる気がするんだけどな。自前ロックとか車輪の再発明だしRDB以上にデータ整合性と同時実行制御できないと思うんだけど。

[infobloga]

解説としては分かりやすいけど、実務上はw1234567さんのコメントが的確。でも、久しぶりにこの話を読んで「こんな面倒なこと考えるなら、KVSで自前でロックするのが簡単で安全」って思った。

[typex2]

トランザクションにはアトミック性の保証レベルが色々あることはみんな知ってるよね。基本を全く知らない開発しちゃいけないヒトが開発していることが多くて闇を感じる。そりゃ事故が起こると。。

[shikiarai]

チャットシステム程度を作るのにRDBMS使う必要があるのか。他の実装より高コストになってないか。って話もあるのだけれど、これはあくまで例かなということで。。

[ntmukai]

デッドロック発生の流れが分かりやすい。

[yasuharu519]

わかりやすい解説

[tettekete37564]

“（入室人数取得クエリ” < この結果が 0 だったときにトランザクション張り直しリトライではダメなのか？

[ar1theworld98]

“使用するDBがどのトランザクション分離レベルで稼働しているかはアプリケーション側のコードには現れにくいのにも関わらず、正確にそれらを把握しておかないとサービスに重要な影響を与える深刻なバグに繋がる可能

[rryu]

アプリケーションレベルの排他制御をDBMSのロックを利用して実装するという発想が既にバグの元な感じがする。インデックス張っただけでバグるとか罠すぎる…

[tattyu]

結局の所マルチスレッド処理と同じ様に気をつけろって事よね。マルチスレッドは難しいから考えたくない。。。

[lm0x]

id:erectroliteさんのコメントの意味がわからない…

[lalupin4]

RR が基本なんだっけ。

[ryunosinfx]

高負荷時だとロックすら躊躇されるからトランザクション張れない・・・（コンピューティングパワーが足りないかテーブルの設計が間違ってるとも言う。）

[yukky2000]

張るのはコネクションじゃないのか

[a_bicky]

gap lock は排他ロックも共有ロックも共有ロック的に振る舞うの知らなかった…

[xlc]

トランザクションを「張る」って何ぞ？/ RDBとSQLは正規表現と同じようなプログラミングパラダイムであり、オブジェクト指向では代替できないのだが、それを理解されてないよね。

[Lumin]

select for updateは1年生で習います、SIerなら

[buhoho]

ありがたい教え

[daishi_n]

ロック制御しているところは処理上のボトルネックにもなるので適切なトランザクションモードを選択するのがパフォーマンスの要なんだけどコード書く側のリテラシーに依存してるのが厄介さん

[KazuoLv1]

並列処理ならまずスレッドの勉強しておくべし

[robo_pitcher]

エンタープライズシステムだと業務要件分析とトランザクションレベルの分析をきちんとしないと原因不明バグやパフォーマンス低下に苦しむ事になる

[Iridium]

こういうシーケンシャルな問題を調査するのってタイミングが絡んでくるので難しくない？逐次実行するとかみたいなモードってないのかな

[matsui]

“MySQLやPostgreSQLに代表されるRDBMS”

[masayuki5160]

今まで読んできた中で一番わかりやすい説明だった。

[kamocyc]

トランザクション分離レベルの話。確かにちゃんと考えないとまずいところ。

[harumomo2006]

緩いシステムではソシャゲ方式はわりと使える。被害が最小限になるようにデータ破損を前提に処理の順番を組み上げる＝魔法石の効果発動を先にして魔法石が実際に消費されるのが最後

[areyoukicking]

この辺は考えたことある