Submit Search
Upload
こわくない同時実行制御
•
11 likes
•
10,846 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
SIerで幸せな技術キャリアを築くために
SIerで幸せな技術キャリアを築くために
Takanari Konishi
SQLおじさん(自称)がBigQueryのStandard SQLを使ってみた
SQLおじさん(自称)がBigQueryのStandard SQLを使ってみた
Kumano Ryo
Linux/DB Tuning (DevSumi2010, Japanese)
Linux/DB Tuning (DevSumi2010, Japanese)
Yoshinori Matsunobu
C#や.NET Frameworkがやっていること
C#や.NET Frameworkがやっていること
信之 岩永
PHP+MySQLを使ったスケーラブルなソーシャルゲーム開発
PHP+MySQLを使ったスケーラブルなソーシャルゲーム開発
infinite_loop
DDDオンライン勉強会#2 「集約・境界付けられたコンテキスト」
DDDオンライン勉強会#2 「集約・境界付けられたコンテキスト」
Koichiro Matsuoka
Javaでつくる本格形態素解析器
Javaでつくる本格形態素解析器
Works Applications
押し合い判定を作った話
押し合い判定を作った話
Shoichi Yasui
Recommended
SIerで幸せな技術キャリアを築くために
SIerで幸せな技術キャリアを築くために
Takanari Konishi
SQLおじさん(自称)がBigQueryのStandard SQLを使ってみた
SQLおじさん(自称)がBigQueryのStandard SQLを使ってみた
Kumano Ryo
Linux/DB Tuning (DevSumi2010, Japanese)
Linux/DB Tuning (DevSumi2010, Japanese)
Yoshinori Matsunobu
C#や.NET Frameworkがやっていること
C#や.NET Frameworkがやっていること
信之 岩永
PHP+MySQLを使ったスケーラブルなソーシャルゲーム開発
PHP+MySQLを使ったスケーラブルなソーシャルゲーム開発
infinite_loop
DDDオンライン勉強会#2 「集約・境界付けられたコンテキスト」
DDDオンライン勉強会#2 「集約・境界付けられたコンテキスト」
Koichiro Matsuoka
Javaでつくる本格形態素解析器
Javaでつくる本格形態素解析器
Works Applications
押し合い判定を作った話
押し合い判定を作った話
Shoichi Yasui
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
Unity Technologies Japan K.K.
MySQL負荷分散の方法
MySQL負荷分散の方法
佐久本正太
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
infinite_loop
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
Hiroshi Yamaguchi
DNS移転失敗体験談
DNS移転失敗体験談
oheso tori
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
Unity Technologies Japan K.K.
CTF for ビギナーズ ネットワーク講習資料
CTF for ビギナーズ ネットワーク講習資料
SECCON Beginners
ネットワーク ゲームにおけるTCPとUDPの使い分け
ネットワーク ゲームにおけるTCPとUDPの使い分け
モノビット エンジン
ドメイン駆動設計をゲーム開発に活かす
ドメイン駆動設計をゲーム開発に活かす
増田 亨
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
Jubok Kim
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
Unity Technologies Japan K.K.
Msを16倍出し抜くwpf開発2回目
Msを16倍出し抜くwpf開発2回目
cct-inc
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
DeNA
WebSocketのキホン
WebSocketのキホン
You_Kinjoh
Unityでオニオンアーキテクチャ
Unityでオニオンアーキテクチャ
torisoup
CRC-32
CRC-32
7shi
レイトレ空間構造入門
レイトレ空間構造入門
Toru Matsuoka
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
Yoshifumi Kawai
TLS, HTTP/2演習
TLS, HTTP/2演習
shigeki_ohtsu
アプリ起動時間高速化 ~推測するな、計測せよ~
アプリ起動時間高速化 ~推測するな、計測せよ~
gree_tech
データベース08 - 関係データモデルと関係代数
データベース08 - 関係データモデルと関係代数
Kenta Oku
JSON SchemaとPHP
JSON SchemaとPHP
Hiraku Nakano
More Related Content
What's hot
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
Unity Technologies Japan K.K.
MySQL負荷分散の方法
MySQL負荷分散の方法
佐久本正太
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
infinite_loop
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
Hiroshi Yamaguchi
DNS移転失敗体験談
DNS移転失敗体験談
oheso tori
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
Unity Technologies Japan K.K.
CTF for ビギナーズ ネットワーク講習資料
CTF for ビギナーズ ネットワーク講習資料
SECCON Beginners
ネットワーク ゲームにおけるTCPとUDPの使い分け
ネットワーク ゲームにおけるTCPとUDPの使い分け
モノビット エンジン
ドメイン駆動設計をゲーム開発に活かす
ドメイン駆動設計をゲーム開発に活かす
増田 亨
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
Jubok Kim
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
Unity Technologies Japan K.K.
Msを16倍出し抜くwpf開発2回目
Msを16倍出し抜くwpf開発2回目
cct-inc
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
DeNA
WebSocketのキホン
WebSocketのキホン
You_Kinjoh
Unityでオニオンアーキテクチャ
Unityでオニオンアーキテクチャ
torisoup
CRC-32
CRC-32
7shi
レイトレ空間構造入門
レイトレ空間構造入門
Toru Matsuoka
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
Yoshifumi Kawai
TLS, HTTP/2演習
TLS, HTTP/2演習
shigeki_ohtsu
アプリ起動時間高速化 ~推測するな、計測せよ~
アプリ起動時間高速化 ~推測するな、計測せよ~
gree_tech
What's hot
(20)
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
【Unity道場スペシャル 2017京都】スマホゲーム開発者なら知っておくべきチートのリスク&対策
MySQL負荷分散の方法
MySQL負荷分散の方法
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
大規模ソーシャルゲームを支える技術~PHP+MySQLを使った高負荷対策~
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
VisualSFMとMeshLabとCloudCompareによるドローン撮影画像を用いたデジタル地図作成
DNS移転失敗体験談
DNS移転失敗体験談
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
【Unity道場スペシャル 2017京都】最適化をする前に覚えておきたい技術
CTF for ビギナーズ ネットワーク講習資料
CTF for ビギナーズ ネットワーク講習資料
ネットワーク ゲームにおけるTCPとUDPの使い分け
ネットワーク ゲームにおけるTCPとUDPの使い分け
ドメイン駆動設計をゲーム開発に活かす
ドメイン駆動設計をゲーム開発に活かす
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
Ndc2010 김주복, v3. 마비노기2아키텍처리뷰
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
【GTMF2018TOKYO】ScriptableRenderPipelineでアプリに最適な描画をしよう
Msを16倍出し抜くwpf開発2回目
Msを16倍出し抜くwpf開発2回目
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
スマホゲームのチート手法とその対策 [DeNA TechCon 2019]
WebSocketのキホン
WebSocketのキホン
Unityでオニオンアーキテクチャ
Unityでオニオンアーキテクチャ
CRC-32
CRC-32
レイトレ空間構造入門
レイトレ空間構造入門
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
「黒騎士と白の魔王」gRPCによるHTTP/2 - API, Streamingの実践
TLS, HTTP/2演習
TLS, HTTP/2演習
アプリ起動時間高速化 ~推測するな、計測せよ~
アプリ起動時間高速化 ~推測するな、計測せよ~
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
新人研修のまとめ 2024/04/12の勉強会で発表されたものです。
新人研修のまとめ 2024/04/12の勉強会で発表されたものです。
iPride Co., Ltd.
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
sugiuralab
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
Ryo Sasaki
PHP-Conference-Odawara-2024-04-000000000
PHP-Conference-Odawara-2024-04-000000000
Shota Ito
IoT in the era of generative AI, Thanks IoT ALGYAN.pptx
IoT in the era of generative AI, Thanks IoT ALGYAN.pptx
Atomu Hidaka
20240412_HCCJP での Windows Server 2025 Active Directory
20240412_HCCJP での Windows Server 2025 Active Directory
osamut
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
danielhu54
Amazon SES を勉強してみる その12024/04/12の勉強会で発表されたものです。
Amazon SES を勉強してみる その12024/04/12の勉強会で発表されたものです。
iPride Co., Ltd.
UPWARD_share_company_information_20240415.pdf
UPWARD_share_company_information_20240415.pdf
furutsuka
Recently uploaded
(9)
新人研修のまとめ 2024/04/12の勉強会で発表されたものです。
新人研修のまとめ 2024/04/12の勉強会で発表されたものです。
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
PHP-Conference-Odawara-2024-04-000000000
PHP-Conference-Odawara-2024-04-000000000
IoT in the era of generative AI, Thanks IoT ALGYAN.pptx
IoT in the era of generative AI, Thanks IoT ALGYAN.pptx
20240412_HCCJP での Windows Server 2025 Active Directory
20240412_HCCJP での Windows Server 2025 Active Directory
Postman LT Fukuoka_Quick Prototype_By Daniel
Postman LT Fukuoka_Quick Prototype_By Daniel
Amazon SES を勉強してみる その12024/04/12の勉強会で発表されたものです。
Amazon SES を勉強してみる その12024/04/12の勉強会で発表されたものです。
UPWARD_share_company_information_20240415.pdf
UPWARD_share_company_information_20240415.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