PHP樂觀鎖結合事務扣除餘額失敗：如何保證並發情況下餘額正確扣除？

PHP樂觀鎖與數據庫事務結合扣除餘額：問題分析與解決方案

本文探討在PHP環境下，使用樂觀鎖和數據庫事務進行餘額扣除時，如何避免並發問題導致餘額扣除失敗或數據不一致的情況。 我們將分析錯誤代碼，並提供正確的解決方案。

問題代碼分析及錯誤原因：

以下代碼片段試圖通過樂觀鎖和事務保證並發環境下餘額扣除的正確性，但存在缺陷：

錯誤代碼片段一：

 public function userbuy()
{
    $user = $this->getuser(); 
    $oldmoney = $user['balance']; 
    $orderoffer = $this->getordermoney($orderid); 
    if($oldmoney error('賬戶餘額不足');

    //樂觀鎖方案(錯誤之處)
    $newmoney = $oldmoney - $orderoffer['price']; 
    $newuser = smsuser::where(['id' => $user['id'],'balance' => $oldmoney])->find();
    if(!$newuser) $this->error('用戶不存在');
    //開啟數據庫事務db::transaction(function () use($newuser,$orderid,$newmoney){
        $newuser->balance = $newmoney;
        $result = $newuser->save();
        if(!$result) $this->error('保存餘額失敗');

         //創建訂單code
         //扣除庫存code
         //創建用戶餘額變動記錄code    
        db::commit(); //提交事務(多餘操作)        
    });
}

錯誤原因：

1. 樂觀鎖位置錯誤： find()方法在事務外部執行。多個並發請求都獲取到相同的$oldmoney值。 只有第一個請求的save()操作成功，後續請求由於balance不再等於$oldmoney而失敗。 樂觀鎖的條件判斷應該在update語句中進行。

2. db::commit()多餘： db::transaction()方法本身會自動提交事務，除非發生異常回滾。手動調用db::commit()冗餘且可能掩蓋錯誤。

錯誤代碼片段二：

 public function userbuy()
{
    // ... (代碼同上，省略部分) ...

    //樂觀鎖方案(錯誤之處)
    $newUser->balance = $newMoney;
    $result = $newUser->save();
    if(!$result) $this->error('保存餘額失敗');

    //開啟數據庫事務(錯誤之處)
    Db::transaction(function () use(){
         //創建訂單code
         //扣除庫存code
         //創建用戶餘額變動記錄code    
        Db::commit(); //提交事務(多餘操作)         
    });
}

錯誤原因：

餘額更新操作在事務外部執行。如果後續操作（創建訂單、扣除庫存等）失敗，餘額已經更新，導致數據不一致。

正確解決方案：

應該將樂觀鎖的條件判斷放在數據庫update語句中，並將所有需要保證原子性的操作都包含在同一個事務中。

正確代碼：

 public function userbuy()
{
    $user = $this->getuser();
    $oldmoney = $user['balance'];
    $orderoffer = $this->getordermoney($orderid);
    if ($oldmoney error('賬戶餘額不足');

    $newmoney = $oldmoney - $orderoffer['price'];

    // 使用數據庫的樂觀鎖機制(例如MySQL)
    $affectedRows = smsuser::where('id', $user['id'])
        ->where('balance', $oldmoney)
        ->update(['balance' => $newmoney]);

    if ($affectedRows === 0) {
        $this->error('餘額更新失敗，可能存在並發衝突'); // 樂觀鎖失敗return;
    }

    // 開啟事務，包含所有後續操作db::transaction(function () use ($orderid, $newmoney, $user) {
        // 創建訂單code
        // 扣除庫存code
        // 創建用戶餘額變動記錄code (確保這些操作也包含在事務中)
    });
}

這個解決方案將餘額更新和後續操作都放在同一個事務中，並使用數據庫提供的樂觀鎖機制來保證數據一致性。如果任何操作失敗，事務會自動回滾，確保數據安全。 避免了手動提交事務，簡化了代碼並提高了可讀性。 如果update語句影響的行數為0，則表示樂觀鎖失敗，需要處理並發衝突。 可以使用重試機製或其他策略處理此類情況。 具體的樂觀鎖實現方式取決於使用的數據庫系統。

以上是PHP樂觀鎖結合事務扣除餘額失敗：如何保證並發情況下餘額正確扣除？的詳細內容。更多資訊請關注PHP中文網其他相關文章！