Optimistic-Locking est-il absolument sûr?

Question

lors de l'utilisation stratégie de verrouillage optimiste, il peut résoudre le problème de la concurrence comme ci-dessous:

 
| the first transaction started  | 
|          | 
| select a row       | 
|          | the second transaction started 
| update the row with version checking | 
|          | select the same row 
| commit txn       | 
|          | update the row with version checking 
|          | 
|          | rolls back because version is dirty 

Mais si dans les cas extrêmement rares si la mise à jour dans la deuxième transaction est postérieure à la udpate dans la première transaction, mais avant la la transaction s'engage?

 
| the first transaction started  | 
|          | the second transaction started 
| select a row       | 
|          | select the same row 
| update the row with version checking | 
|          | update the row with version checking 
| commit txn       | 
|          | rolls back because version is dirty // will it? 
|          | 
|          | 

J'ai fait une expérience que la mise à jour dans la deuxième transaction ne pouvait pas lire la version « sale » parce que la première transaction n'a pas été commis encore. La deuxième transaction échouera-t-elle dans ce cas?

Answer 1

Vous n'avez pas précisé dans votre question quel système de base de données vous utilisez réellement, donc je ne connais pas les détails de votre système.

Mais dans tous les cas, sous un système de verrouillage optimiste, un processus ne peut pas simplement vérifier les versions des lignes lorsqu'il exécute l'instruction de mise à jour, à cause précisément du problème qui vous inquiète. Pour les transactions entièrement sérialisables et isolées, chaque processus doit vérifier de manière atomique les versions de ligne de toutes les lignes qu'il a examinées et modifiées, au moment de la validation. Ainsi, dans votre deuxième scénario, le processus de droite ne détectera pas un conflit tant qu'il ne tentera pas de valider (une étape que vous n'avez pas incluse dans le processus de droite). Quand il essaye de commettre, il détectera le conflit et reculera.