Un verrou distribué coordonne l'accès à une ressource partagée entre plusieurs processus/serveurs pour que seul un détienne le verrou à la fois. Redis est couramment utilisé pour cela via une opération atomique de création-si-absent avec un TTL — bien que le faire correctement nécessite de la prudence (et de comprendre les limitations).
Un verrou Redis basique (SET NX avec TTL)
token = ();
acquired = redis.(, token, , , );
(acquired) {
{
} {
(, token);
}
}
