Le verrouillage optimiste PHP combiné avec le solde de déduction des transactions a échoué: comment s'assurer que le solde est correctement déduit dans les situations de concurrence?

Verrouillage optimiste PHP combiné avec les transactions de base de données pour déduire l'équilibre: analyse des problèmes et solution

Cet article explique comment éviter les problèmes de concurrence qui conduisent à l'échec de la déduction de solde ou des données incohérentes lors de l'utilisation de verrous optimistes et de transactions de base de données pour la déduction de solde dans l'environnement PHP. Nous analyserons le code d'erreur et fournirons la bonne solution.

Analyse du code du problème et raisons d'erreur:

L'extrait de code suivant tente d'assurer l'exactitude des déductions de solde dans des environnements simultanés à travers des verrous et des transactions optimistes, mais a des défauts:

Extrait de code d'erreur 1:

 Fonction publique UserBuy ()
{
    $ user = $ this-> getuser (); 
    $ oldmoney = $ user ['Balance']; 
    $ ordonnanceOffer = $ this-> getOrderMoney ($ ordonnance); 
    if ($ oldmoney  error ('insuffisante le solde du compte');

    // Solution de verrouillage optimiste (mauvais points)
    $ newmoney = $ oldmoney - $ ordonnance à [«prix»]; 
    $ newuser = smsuser :: où (['id' => $ utilisateur ['id'], 'bilan' => $ oldmoney]) -> find ();
    si (! $ newUser) $ this-> error ('l'utilisateur n'existe pas');
    // Ouvrir la transaction de la base de données db :: transaction (function () use ($ newuser, $ orderId, $ newmoney) {
        $ NewUser-> Balance = $ NewMoney;
        $ result = $ newuser-> save ();
        if (! $ Result) $ this-> error ('économiser le solde échoué');

         // Créer un code de commande
         // Déduire le code d'inventaire
         // Créer un code d'enregistrement de modification de l'équilibre utilisateur    
        DB :: commit (); // engage une transaction (opération excessive)        
    });
}

Cause d'erreur:

1. Erreur de position de verrouillage optimiste: find() est exécutée en dehors de la transaction. Plusieurs demandes simultanées obtiennent la même valeur $oldmoney . Seule save() de la première demande réussit et les demandes suivantes échouent car balance n'est plus égal à $oldmoney . Le jugement conditionnel du verrouillage optimiste doit être fait dans update .

2. db::commit() Redondant: db::transaction() elle-même commettra automatiquement la transaction à moins qu'une exception de retournement ne se produit. L'appel manuel à db::commit() est redondant et peut masquer les erreurs.

Extrait de code d'erreur 2:

 Fonction publique UserBuy ()
{
    // ... (le code est le même que ci-dessus, la pièce est omise) ...

    // Solution de verrouillage optimiste (mauvais points)
    $ NewUser-> Balance = $ NewMoney;
    $ result = $ newuser-> save ();
    if (! $ Result) $ this-> error ('économiser le solde échoué');

    // Ouvrir la transaction de la base de données (erreur)
    Db :: transaction (function () use () {
         // Créer un code de commande
         // Déduire le code d'inventaire
         // Créer un code d'enregistrement de modification de l'équilibre utilisateur    
        DB :: commit (); // engage une transaction (opération excessive)         
    });
}

Cause d'erreur:

L'opération de mise à jour du solde est exécutée en dehors de la transaction. Si les opérations ultérieures (création de commandes, déduisant l'inventaire, etc.) échouent, le solde a été mis à jour, entraînant des données incohérentes.

Solution correcte:

Le jugement conditionnel du verrouillage optimiste doit être placé dans l'instruction update de la base de données, et toutes les opérations qui doivent garantir l'atomicité doivent être incluses dans la même transaction.

Code correct:

 Fonction publique UserBuy ()
{
    $ user = $ this-> getuser ();
    $ oldmoney = $ user ['Balance'];
    $ ordonnanceOffer = $ this-> getOrderMoney ($ ordonnance);
    if ($ oldmoney  error ('insuffisante le solde du compte');

    $ newmoney = $ oldmoney - $ ordonnance à [«prix»];

    // Utilisez des mécanismes de verrouillage optimistes pour les bases de données (comme MySQL)
    $ affecteRows = smsuse :: où ('id', $ utilisateur ['id'])
        -> Où ('Balance', $ oldmoney)
        -> Update (['Balance' => $ newmoney]);

    if ($ liectrows === 0) {
        $ this-> error ('La mise à jour du solde a échoué, il peut y avoir des conflits simultanés'); // Verrouillage optimiste a échoué Retour;
    }

    // Activer la transaction, y compris toutes les opérations suivantes DB :: Transaction (fonction () Utiliser ($ ordonnance, $ newmoney, $ utilisateur) {
        // Créer un code de commande
        // Déduire le code d'inventaire
        // Créer un code d'enregistrement de modification de l'équilibre utilisateur (assurez-vous que ces opérations sont également incluses dans la transaction)
    });
}

Cette solution place les mises à jour de l'équilibre et les opérations ultérieures dans la même transaction et utilise le mécanisme de verrouillage optimiste fourni par la base de données pour garantir la cohérence des données. Si une opération échoue, la transaction reviendra automatiquement pour garantir la sécurité des données. Évitez les transactions manuelles, la simplification du code et l'amélioration de la lisibilité. Si le nombre de lignes affectées par l'instruction update est de 0, cela signifie que le verrou optimiste échoue et que les conflits simultanés doivent être gérés. De telles situations peuvent être manipulées à l'aide de mécanismes de réessayer ou d'autres stratégies. L'implémentation de verrouillage d'optimisme spécifique dépend du système de base de données utilisé.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!