Marjorie
Chaque élément de données a une variable qui décrit l'état de l'élément en termes d'opérations qui peuvent lui être appliquées, cette variable connue sous le nom de verrou. Normalement, chaque élément de données dans la base de données a un verrou.
Types de verrous : il existe deux types de verrous, le verrou binaire et le verrou partagé/exclusif.
Verrouillage binaire : le verrou binaire a 2 états comme verrouillé et déverrouillé. 1 est utilisé pour représenter l'état verrouillé et 0 est utilisé pour représenter l'état déverrouillé. Chaque élément de données dans la base de données a un verrou distinct. Si la valeur de verrou sur un élément a est 1, cela signifie que l'élément a n'est pas accessible par une opération de base de données. Si la valeur de verrou sur un élément a est 0, alors cet élément est accessible par toute opération de base de données qui souhaite y accéder.
Voici les règles auxquelles une transaction doit obéir. Ces règles sont appliquées par le gestionnaire de verrouillage.
(1) Si une transaction t veut lire l'élément (a) ou écrire l'élément (a), alors cette transaction t doit d'abord émettre l'opération de verrouillage de l'élément (a).
(2) Après avoir terminé toutes les opérations read-item(a) et write-item(a), la transaction t doit émettre l'opération unlock-item(a).
(3) Une transaction t émettra une opération de déverrouillage de l'élément (a) si et seulement si elle détient déjà le verrou sur l'élément a.
(4) Si une transaction t détient déjà le verrou sur un élément a, alors cette transaction t n'émettra pas d'opération verrou-élément(a).