Submit Search
Upload
こわくない同時実行制御
•
11 likes
•
10,857 views
Hiraku Nakano
Follow
ゆるかわPHP #2で話しました
Read less
Read more
Technology
Report
Share
Report
Share
1 of 43
Download now
Download to read offline
Recommended
データベース12 - トランザクションと同時実行制御
データベース12 - トランザクションと同時実行制御
Kenta Oku
ネットワークOS野郎 ~ インフラ野郎Night 20160414
ネットワークOS野郎 ~ インフラ野郎Night 20160414
Kentaro Ebisawa
Unicode文字列処理
Unicode文字列処理
信之 岩永
【修正版】SCM_店舗在庫管理領域_ui改善_設計意図説明資料【SB_Tech_Festival_2022】
【修正版】SCM_店舗在庫管理領域_ui改善_設計意図説明資料【SB_Tech_Festival_2022】
崚日 中井
できる!並列・並行プログラミング
できる!並列・並行プログラミング
Preferred Networks
メタバースのビジネスモデルと技術限界
メタバースのビジネスモデルと技術限界
Ryo Kurauchi
ヒストリア HelixCore(Perforce) 運用レギュレーションドキュメント
ヒストリア HelixCore(Perforce) 運用レギュレーションドキュメント
historia_Inc
ソフトウェア構成管理入門
ソフトウェア構成管理入門
智治 長沢
Recommended
データベース12 - トランザクションと同時実行制御
データベース12 - トランザクションと同時実行制御
Kenta Oku
ネットワークOS野郎 ~ インフラ野郎Night 20160414
ネットワークOS野郎 ~ インフラ野郎Night 20160414
Kentaro Ebisawa
Unicode文字列処理
Unicode文字列処理
信之 岩永
【修正版】SCM_店舗在庫管理領域_ui改善_設計意図説明資料【SB_Tech_Festival_2022】
【修正版】SCM_店舗在庫管理領域_ui改善_設計意図説明資料【SB_Tech_Festival_2022】
崚日 中井
できる!並列・並行プログラミング
できる!並列・並行プログラミング
Preferred Networks
メタバースのビジネスモデルと技術限界
メタバースのビジネスモデルと技術限界
Ryo Kurauchi
ヒストリア HelixCore(Perforce) 運用レギュレーションドキュメント
ヒストリア HelixCore(Perforce) 運用レギュレーションドキュメント
historia_Inc
ソフトウェア構成管理入門
ソフトウェア構成管理入門
智治 長沢
次世代ゲームにおける自動生成技術
次世代ゲームにおける自動生成技術
Youichiro Miyake
イベント・ソーシングを知る
イベント・ソーシングを知る
Shuhei Fujita
データベース入門
データベース入門
拓 小林
Hyper vを理解する
Hyper vを理解する
Naoki Abe
テスト文字列に「うんこ」と入れるな
テスト文字列に「うんこ」と入れるな
Kentaro Matsui
【Unite Tokyo 2019】Understanding C# Struct All Things
【Unite Tokyo 2019】Understanding C# Struct All Things
UnityTechnologiesJapan002
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
Atsushi KOMIYA
PHPからgoへの移行で分かったこと
PHPからgoへの移行で分かったこと
gree_tech
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
Yuhei Miyazato
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
UnityTechnologiesJapan002
Deflate
Deflate
7shi
本当は恐ろしい分散システムの話
本当は恐ろしい分散システムの話
Kumazaki Hiroki
Fbx解説 (1 構文編) (1)
Fbx解説 (1 構文編) (1)
らりお ザ・何とは言わない天然水ソムリエ
Pull Request & TDD 入門
Pull Request & TDD 入門
ESM SEC
やはりお前らのMVCは間違っている
やはりお前らのMVCは間違っている
Koichi Tanaka
Spring tools4
Spring tools4
Takuya Iwatsuka
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
Masahito Zembutsu
Yahoo! ニュースにおけるドキュメント管理の事例紹介
Yahoo! ニュースにおけるドキュメント管理の事例紹介
Yahoo!デベロッパーネットワーク
2023-03-23_Spiral.AI
2023-03-23_Spiral.AI
SasakiYuichi1
いつやるの?Git入門 v1.1.0
いつやるの?Git入門 v1.1.0
Masakazu Matsushita
データベース08 - 関係データモデルと関係代数
データベース08 - 関係データモデルと関係代数
Kenta Oku
JSON SchemaとPHP
JSON SchemaとPHP
Hiraku Nakano
More Related Content
What's hot
次世代ゲームにおける自動生成技術
次世代ゲームにおける自動生成技術
Youichiro Miyake
イベント・ソーシングを知る
イベント・ソーシングを知る
Shuhei Fujita
データベース入門
データベース入門
拓 小林
Hyper vを理解する
Hyper vを理解する
Naoki Abe
テスト文字列に「うんこ」と入れるな
テスト文字列に「うんこ」と入れるな
Kentaro Matsui
【Unite Tokyo 2019】Understanding C# Struct All Things
【Unite Tokyo 2019】Understanding C# Struct All Things
UnityTechnologiesJapan002
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
Atsushi KOMIYA
PHPからgoへの移行で分かったこと
PHPからgoへの移行で分かったこと
gree_tech
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
Yuhei Miyazato
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
UnityTechnologiesJapan002
Deflate
Deflate
7shi
本当は恐ろしい分散システムの話
本当は恐ろしい分散システムの話
Kumazaki Hiroki
Fbx解説 (1 構文編) (1)
Fbx解説 (1 構文編) (1)
らりお ザ・何とは言わない天然水ソムリエ
Pull Request & TDD 入門
Pull Request & TDD 入門
ESM SEC
やはりお前らのMVCは間違っている
やはりお前らのMVCは間違っている
Koichi Tanaka
Spring tools4
Spring tools4
Takuya Iwatsuka
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
Masahito Zembutsu
Yahoo! ニュースにおけるドキュメント管理の事例紹介
Yahoo! ニュースにおけるドキュメント管理の事例紹介
Yahoo!デベロッパーネットワーク
2023-03-23_Spiral.AI
2023-03-23_Spiral.AI
SasakiYuichi1
いつやるの?Git入門 v1.1.0
いつやるの?Git入門 v1.1.0
Masakazu Matsushita
What's hot
(20)
次世代ゲームにおける自動生成技術
次世代ゲームにおける自動生成技術
イベント・ソーシングを知る
イベント・ソーシングを知る
データベース入門
データベース入門
Hyper vを理解する
Hyper vを理解する
テスト文字列に「うんこ」と入れるな
テスト文字列に「うんこ」と入れるな
【Unite Tokyo 2019】Understanding C# Struct All Things
【Unite Tokyo 2019】Understanding C# Struct All Things
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
DSIRNLP #3 LZ4 の速さの秘密に迫ってみる
PHPからgoへの移行で分かったこと
PHPからgoへの移行で分かったこと
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
webSocket通信を知らないiOSエンジニアが知っておいて損はしない(経験談的な)軽い話
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
【Unite Tokyo 2019】Unityだったら簡単!マルチプレイ用ゲームサーバ開発 ~実践編~
Deflate
Deflate
本当は恐ろしい分散システムの話
本当は恐ろしい分散システムの話
Fbx解説 (1 構文編) (1)
Fbx解説 (1 構文編) (1)
Pull Request & TDD 入門
Pull Request & TDD 入門
やはりお前らのMVCは間違っている
やはりお前らのMVCは間違っている
Spring tools4
Spring tools4
Dockerfile を書くためのベストプラクティス解説編
Dockerfile を書くためのベストプラクティス解説編
Yahoo! ニュースにおけるドキュメント管理の事例紹介
Yahoo! ニュースにおけるドキュメント管理の事例紹介
2023-03-23_Spiral.AI
2023-03-23_Spiral.AI
いつやるの?Git入門 v1.1.0
いつやるの?Git入門 v1.1.0
Viewers also liked
データベース08 - 関係データモデルと関係代数
データベース08 - 関係データモデルと関係代数
Kenta Oku
JSON SchemaとPHP
JSON SchemaとPHP
Hiraku Nakano
My sqlで遭遇したトランザクションとロックのお話take2 2
My sqlで遭遇したトランザクションとロックのお話take2 2
拓 小林
大規模ソーシャルゲーム開発から学んだPHP&MySQL実践テクニック
大規模ソーシャルゲーム開発から学んだPHP&MySQL実践テクニック
infinite_loop
トランザクションをSerializableにする4つの方法
トランザクションをSerializableにする4つの方法
Kumazaki Hiroki
RDB入門 ~アプリケーション開発者が陥りやすいDB開発の落とし穴~
RDB入門 ~アプリケーション開発者が陥りやすいDB開発の落とし穴~
nisobe58
アプリリリース後に後悔しないための20のこと
アプリリリース後に後悔しないための20のこと
leverages_event
IPDPS & HPDC 報告
IPDPS & HPDC 報告
Junya Arai
UI/UXなUXのお話
UI/UXなUXのお話
Kenji Minamoto
SkipGraph
SkipGraph
Kumazaki Hiroki
トランザクションの並行実行制御 rev.2
トランザクションの並行実行制御 rev.2
Takashi Hoshino
Sparkのクエリ処理系と周辺の話題
Sparkのクエリ処理系と周辺の話題
Takeshi Yamamuro
MySQL INDEX+EXPLAIN入門
MySQL INDEX+EXPLAIN入門
infinite_loop
STAC2015 講演3 広告システム刷新よもやま話〜テストが当たり前となるまでにやったこと #stac2015
STAC2015 講演3 広告システム刷新よもやま話〜テストが当たり前となるまでにやったこと #stac2015
Yahoo!デベロッパーネットワーク
Slideshare signup tutorial
Slideshare signup tutorial
bestabrook
プレゼン初心者に ありがちな アンチパターン 黎明篇
プレゼン初心者に ありがちな アンチパターン 黎明篇
真俊 横田
並行実行制御の最適化手法
並行実行制御の最適化手法
Sho Nakazono
トランザクションの設計と進化
トランザクションの設計と進化
Kumazaki Hiroki
CEDEC2013 ソーシャルゲームの開発現場でUXについて思いっきりあがいてみた1年間の話
CEDEC2013 ソーシャルゲームの開発現場でUXについて思いっきりあがいてみた1年間の話
Takahiro YAMAGUCHI
初心者向けMySQLの始め方
初心者向けMySQLの始め方
Masahiro Tomita
Viewers also liked
(20)
データベース08 - 関係データモデルと関係代数
データベース08 - 関係データモデルと関係代数
JSON SchemaとPHP
JSON SchemaとPHP
My sqlで遭遇したトランザクションとロックのお話take2 2
My sqlで遭遇したトランザクションとロックのお話take2 2
大規模ソーシャルゲーム開発から学んだPHP&MySQL実践テクニック
大規模ソーシャルゲーム開発から学んだPHP&MySQL実践テクニック
トランザクションをSerializableにする4つの方法
トランザクションをSerializableにする4つの方法
RDB入門 ~アプリケーション開発者が陥りやすいDB開発の落とし穴~
RDB入門 ~アプリケーション開発者が陥りやすいDB開発の落とし穴~
アプリリリース後に後悔しないための20のこと
アプリリリース後に後悔しないための20のこと
IPDPS & HPDC 報告
IPDPS & HPDC 報告
UI/UXなUXのお話
UI/UXなUXのお話
SkipGraph
SkipGraph
トランザクションの並行実行制御 rev.2
トランザクションの並行実行制御 rev.2
Sparkのクエリ処理系と周辺の話題
Sparkのクエリ処理系と周辺の話題
MySQL INDEX+EXPLAIN入門
MySQL INDEX+EXPLAIN入門
STAC2015 講演3 広告システム刷新よもやま話〜テストが当たり前となるまでにやったこと #stac2015
STAC2015 講演3 広告システム刷新よもやま話〜テストが当たり前となるまでにやったこと #stac2015
Slideshare signup tutorial
Slideshare signup tutorial
プレゼン初心者に ありがちな アンチパターン 黎明篇
プレゼン初心者に ありがちな アンチパターン 黎明篇
並行実行制御の最適化手法
並行実行制御の最適化手法
トランザクションの設計と進化
トランザクションの設計と進化
CEDEC2013 ソーシャルゲームの開発現場でUXについて思いっきりあがいてみた1年間の話
CEDEC2013 ソーシャルゲームの開発現場でUXについて思いっきりあがいてみた1年間の話
初心者向けMySQLの始め方
初心者向けMySQLの始め方
More from Hiraku Nakano
composer-scriptsについて
composer-scriptsについて
Hiraku Nakano
composerの遅さをまじめに考える #phpstudy
composerの遅さをまじめに考える #phpstudy
Hiraku Nakano
Composer並列化プラグイン #phpblt
Composer並列化プラグイン #phpblt
Hiraku Nakano
Scrutinizer CIでPHPも静的解析 #phpstudy
Scrutinizer CIでPHPも静的解析 #phpstudy
Hiraku Nakano
PSR-3 Logger Interfaceの紹介
PSR-3 Logger Interfaceの紹介
Hiraku Nakano
pecl-AOPの紹介
pecl-AOPの紹介
Hiraku Nakano
URLで遊ぼう
URLで遊ぼう
Hiraku Nakano
Xml builderの紹介
Xml builderの紹介
Hiraku Nakano
More from Hiraku Nakano
(8)
composer-scriptsについて
composer-scriptsについて
composerの遅さをまじめに考える #phpstudy
composerの遅さをまじめに考える #phpstudy
Composer並列化プラグイン #phpblt
Composer並列化プラグイン #phpblt
Scrutinizer CIでPHPも静的解析 #phpstudy
Scrutinizer CIでPHPも静的解析 #phpstudy
PSR-3 Logger Interfaceの紹介
PSR-3 Logger Interfaceの紹介
pecl-AOPの紹介
pecl-AOPの紹介
URLで遊ぼう
URLで遊ぼう
Xml builderの紹介
Xml builderの紹介
Recently uploaded
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
Hiroki Ichikura
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
博三 太田
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
akihisamiyanaga1
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
UEHARA, Tetsutaro
TataPixel: 畳の異方性を利用した切り替え可能なディスプレイの提案
TataPixel: 畳の異方性を利用した切り替え可能なディスプレイの提案
sugiuralab
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
Yuki Kikuchi
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版) 2024年4月作成
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版) 2024年4月作成
Hiroshi Tomioka
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
FumieNakayama
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
FumieNakayama
Recently uploaded
(9)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
モーダル間の変換後の一致性とジャンル表を用いた解釈可能性の考察 ~Text-to-MusicとText-To-ImageかつImage-to-Music...
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
CTO, VPoE, テックリードなどリーダーポジションに登用したくなるのはどんな人材か?
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
デジタル・フォレンジックの最新動向(2024年4月27日情洛会総会特別講演スライド)
TataPixel: 畳の異方性を利用した切り替え可能なディスプレイの提案
TataPixel: 畳の異方性を利用した切り替え可能なディスプレイの提案
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
自分史上一番早い2024振り返り〜コロナ後、仕事は通常ペースに戻ったか〜 by IoT fullstack engineer
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版) 2024年4月作成
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版) 2024年4月作成
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
クラウドネイティブなサーバー仮想化基盤 - OpenShift Virtualization.pdf
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
AWS の OpenShift サービス (ROSA) を使った OpenShift Virtualizationの始め方.pdf
こわくない同時実行制御
1.
こわくない同時実行制御 @Hiraku
2.
おことわり • 荒い説明なので突っ込みどころ多いと思います • 「同時実行制御って難しそうだけど面白いな♪」ぐらいになれ ばうれしい
3.
自己紹介 • @Hiraku (中野
拓) • PHP歴5年+ • 使ったことのあるフレームワーク • Zend Framework1 • Symfony • Yaf • BEAR.Sunday • XMLとJSONの相互変換ライブラリ作ってます • https://github.com/hirak/php-XML_Builder
4.
目次 • 同時実行制御とは • 考慮するべき不具合 •
解決手法
5.
同時実行制御 Concurrency Control
6.
同時実行制御とは • あるデータを、複数の人が同時に扱えるようにすることを考え る分野 • 例:共有のExcel進捗管理表 さっき僕が 追記した内容が 上書きされて 消えちゃってる よ! 内容を変更 したよー
7.
同時実行 制御 並列並行 プログラミング DB トランザクション バージョン管理 システム (git, svn)
8.
同時実行制御は応用範囲が広い • 並列プログラミング • DBトランザクション •
バージョン管理システム • 逆に、同時実行制御さえ理解しておけば、上記3つのシステム が理解しやすくなる • イモヅル式!
9.
教科書 • 先述の3つの分野では必ず同時実行制御が必要になる • どこから勉強しても行き着く •
わたしはSQLから攻めました。 いいのがあったら教えてください • http://www.amazon.co.jp/dp/4798128023 • 資格試験の教科書なんかでも登場するかも…?
10.
同時実行制御を理解するために 1. 何も制御しなければどんな不具合が起きるのか理解する 2. どうすれば防げるのか理解する
11.
同時実行制御の失敗 で起きる問題 整理して名前を付けてくれた人がいるんです
12.
制御しないと問題が起きる • 具体的な問題って何? • SQLモデルによる定義があります •
http://research.microsoft.com/apps/pubs/default.aspx?id=69541 • 5つに分類 • P0 ダーティライト • P1 ダーティーリード • P2 ノンリピータブルリード(ファジーリード) • P3 ファントム • P4 ロストアップデート
13.
SQL的考え方で説明します • 一連のまとまった操作=トランザクション(Tx) • 基本的に、自分のTxが変更を行っていないのに、 データが勝手に変更されていると、不具合の原因になる
14.
P0 ダーティライト • Tx中に他のTxが書き込め ちゃう状態 •
正しい値が何だったのか わからなくなる Tx1 Tx2 UPDATE x=1 UPDATE x=2 Data x=0 x=1 x=2 rollback x=??
15.
P1 ダーティリード • Tx中の変更が他のTx から読めちゃう状態 Tx1
Tx2 X=1 y = x + 1 (2) Data X=0, y=0 x=1 y=0 x=1 y=2 rollback x=0 y=?? SELECT x
16.
P2 ノンリピータブルリード • 他のTxによって データが勝手に 書き換わってい ること Tx1
Tx2 SELECT x x=1 Data x=0 x=0 x=1 SELECT x x=1 x=0 x=1 SELECTに再現性がない
17.
P3 ファントム • 他のTxの操作によっ て謎のデータが突如 出現すること •
ノンリピータブル リードと対 Tx1 Tx2 SELECT x FROM Data INSERT Data (x=0) (x=0) (x=0) (x=1) SELECT x FROM Data (x=0) (x=1) 1件hit 2件hit SELECTに再現性がない
18.
P4 ロストアップデート • 同時更新のうち、 早かった方の更新 が失われてしまう •
インクリメントの 制御など Tx1 Tx2 SELECT x SELECT x Data x=0 x=0 x=1x = x + 1 x=1 手動インクリメントの ロスト x=0 x=0 x = x + 1
19.
SQLの場合 • トランザクション分離レベルで制御できます 分離レベル P0 ダーティライト P1 ダーティリード P2 アンリピータブ ルリード P3 ファントム READ UNCOMMITTED 起きない
発生する 発生する 発生する READ COMMITTED 起きない 起きない 発生する 発生する REPEATABLE READ 起きない 起きない 起きない 発生する SERIALIZABLE 起きない 起きない 起きない 起きない ※MySQL InnoDBのデフォルトはREPEATABLE READ
20.
対処方法 色々やり方があります
21.
基本方針 • 競合が起きる条件を崩せば、問題は発生しない • 更新がある •
複数トランザクションが同時に同じデータを更新する • この2つの条件をいかにして崩すか。
22.
対処方法0 書き込まない • 読み込みのみであれば、問題は一切発生しない •
何も考えなくてよい。同時に読み込んでOK • 書き込みはバッチ処理に任せるケースも • もちろん、適用できるケースは限られる
23.
対処方法1 同時実行しない • 同時実行を一切しなければ、これらの問題は絶対に起きない •
直列化 (Serialization) とも言う • いったんキューに貯めて、リソースが空くのを待つ
24.
直列化の問題 • パフォーマンスが落ちる • スケーラビリティ皆無 •
実質ひとつのプロセッサが全作業を行うのと同じ • これでは実用にならないケースも多い…
25.
対処方法はここから分岐します ロック バージョン 管理
26.
対処方法2-a ロック(Locking) • 悲観的同時実行制御とも呼ばれる •
リソースに鍵をかけて、一度に一人しか触れないようにする • 部分的に直列化 • ロックされていたら、ロックが解除されるまで待つ • 直列化は全リソースをまとめてロックするのと同じ • 適切に使えば問題を完璧に防げる
27.
個室トイレっぽい リソース 使用中 or 使っていいよ 使いたいプロセスはアンロック されるまで待つ
28.
ロックの粒度 • テーブルロック • (清掃中につきトイレ全体立ち入り禁止) •
行ロック • (個室の使用中・空きの制御) • 読み込みだけなら許可するロック • 読み込みも書き込みも許可しないロック • 大きくロックした方が安全だけど、 その分パフォーマンスが劣化する
29.
ロックの問題 • 使いこなすのがむちゃくちゃ難しい • ロックのかけすぎでパフォーマンスが出ない •
アンロック忘れにより破滅 • ロックの順番 • デッドロック • 再利用性の低下
30.
アンロック忘れ • ロックしっぱなしにすると、永久に他のトランザクションがそ のリソースを扱えなくなる • うっかりミス •
攻撃
31.
デッドロック • ロックの順番を統一していな いと発生 • 永久にロックが取れない •
第2回 トランザクションを知ればデータベー スがわかる―「データ復旧」「同時実行制御」 を行う“不完全な”しくみ(3):DBアタマアカ デミー|gihyo.jp … 技術評論社 • http://gihyo.jp/dev/serial/01/db- academy/000203
32.
ロックは地獄だぜー • ロックは難しい • 細かく書いていくとたぶん本ができあがる •
扱うにしても、なるべく先人たちの実装を再利用しましょう • DBなら組み込みのトランザクションを使う • ファイルならgitを使う • 参考: できる!並列・並行プログラミング http://www.slideshare.net/pfi/ss-9780450
33.
対処方法2-b バージョン管理 • 楽観的同時実行制御とも呼ばれる •
データにリビジョン番号を振り、改竄を検出できるようにする • データ改竄を検出したらやり直すかマージする • ロックより簡単 • 競合が多いとパフォーマンスが落ちる • リトライしまくるので、ロックより劣化する
34.
• 競合が発覚したら • リトライ •
マージ リソース (1) バージョンを取得しておく (2) バージョンを取得しておく (3) ver1をベースにして、 データを更新するよー (4)ver1をベースにして、 データを更新するよー Ver 1 Ver 2 元にしたデータが 古いよ! 受け入れません
35.
バージョンの粒度 • テーブル全体のバージョン • 行のバージョン •
ロックの粒度と対比
36.
STM (Software Transactional
Memory) • バージョン管理方式を使った並行プログラミングの手法 • 更新が競合する場合は1からやり直す • 割と単純なモデル
37.
Git, svn方式 • マージの概念をプラス •
マージもうまくできない場合、最初からやり直す
38.
実際、同時実行制御と どう付き合っていくか 理屈はわかったんだけど
39.
なるべくなら自分で実装しない • DBのトランザクションが使えるなら素直にそれを使う • 自前実装はイバラの道 •
やるならバージョン管理方式の方がお手軽で楽
40.
扱うデータの種類を見極める • 例) PHPのセッション •
同時に同じセッションデータを読み書きすることはほとんどない • 同時実行が起きないので制御を考えなくていい • MemcachedとかのKVSで十分 • データの種類にあった同時実行制御を行えば、パフォーマンス が向上する • トランザクション分離レベルを操るところからでも
41.
RESTとトランザクション • WebAPI作ってますか • WebAPIで同時実行制御のことを考えていますか •
せっかくMySQLを使っているのに、オレオレWebAPI化によっ て同時実行制御が破綻しているケースをよく見かける • 条件付き更新に対応しておけば大丈夫
42.
まとめ • 同時実行制御は難しいですが、色々な分野で登場します • わかると意外と役に立つかも •
我々凡人はなるべく先人たちの実装を使いましょう • Git • DBのトランザクション • 自前実装する場合は気を付けましょう
43.
同時実行制御 こわくないよ!!
Download now