這篇文章帶給大家的內容是關於php實現多進程模擬並發事務時遇到的問題解決方法,有一定的參考價值,有需要的朋友可以參考一下,希望對你有幫助。
表
drop table if exists `test`; create table if not exists `test` ( id int not null auto_increment , count int default 0 , primary key `id` (`id`) ) engine=innodb character set utf8mb4 collate = utf8mb4_bin comment '测试表'; insert into test (`count`) values (100);
php 程式碼
// 进程数量 $pro_count = 100; $pids = []; for ($i = 0; $i < $pro_count; ++$i) { $pid = pcntl_fork(); if ($pid < 0) { // 主进程 throw new Exception('创建子进程失败: ' . $i); } else if ($pid > 0) { // 主进程 $pids[] = $pid; } else { // 子进程 try { $pdo = new PDO(...); $pdo->beginTransaction(); $stmt = $pdo->query('select `count` from test'); $count = $stmt->fetch(PDO::FETCH_ASSOC)['count']; $count = intval($count); if ($count > 0) { $count--; $pdo->query('update test set `count` = ' . $count . ' where id = 2'); } $pdo->commit(); } catch(Exception $e) { $pdo->rollBack(); throw $e; } // 退出子进程 exit; } }
##所期望的結果
期望count 欄位減少的量超過100,變成負數!也就是多減!實際結果
並發 200 的情況下,執行多次後的結果分別如下:1. count = 65 2. count = 75 3. count = 55 4. count = 84 ...與期望結果相差甚遠!為什麼會出現這樣的現象呢?
解釋
首先清楚目前的程式運行環境,並發場景。何為並發,幾乎同時執行,稱之為並發。具體解釋如下:进程 过程 获取 更新 1-40 同时创建并运行 100 99 41-80 同时创建并运行 99 98 81 - 100 同时创建并运行 98 97對上述第一行做解釋,第
1-40 個子進程的建立幾乎同時,運行也幾乎同時:
进程 1 获取 count = 100,更新 99 进程 2 获取 count = 100,更新 99 ... 进程 40 获取 count = 100,更新 99所以,實際上這些進程都做了一致的操作,並沒有如預期的:進程1 取得count=100,更新99;進程2 取得進程1更新後的結果count=99,更新98;...;進程99取得進程98更新後的結果count=1,更新0
,產生的現象就是少減了! !
結論
採用上述做法實現的程序,庫存總是 >= 0。疑問
那要模擬超庫存的場景該如何設計程式? 仍然採用上述程式碼,將以下程式碼:if ($count > 0) { $count--; $pdo->query('update test set `count` = ' . $count . ' where id = 2'); }修改成下面這樣:
if ($count > 0) { $pdo->query('update test set `count` = `count` - 1 where id = 2'); }結果就會出現超庫存! ! 庫存 100,並發 200,最終庫存減少為
-63。為什麼會出現這樣的情況呢?以下描述了程式運行的具體過程
进程 1 获取库存 100,更新 99 进程 2 获取库存 100,更新 98(99 - 1) 进程 3 获取库存 100,更新 97(98 - 1) .... 进程 168 获取库存 1 ,更新 0(1-1) 进程 169 获取库存 1 ,更新 -1(0 - 1) 进程 170 获取库存 1 ,更新 -2(-1 - 1) .... 进程 200 获取库存 1,更新 -63(-62 - 1)現在看來很懵逼,實際上就是下面這條語句導致的:
$pdo->query('update test set `count` = `count` - 1 where id = 2');這邊詳細闡述
進程1,簡稱a ;進程2,簡稱b 他們具體的執行順序:
2. b 查詢到庫存100
3. a 更新庫存為99(100 - 1),這個應該秒懂
4. b 更新庫存為98(99 - 1)
- b 在執行更新操作的時候拿到的是a 更新後的庫存!
- 為什麼會這樣?因為更新語句是 `update test set count = count - 1 where id = 2`
以上是php實作多進程模擬並發事務時遇到的問題解決方法的詳細內容。更多資訊請關注PHP中文網其他相關文章!