Maison >développement back-end >tutoriel php >Verrouillage et déverrouillage de php redis

Verrouillage et déverrouillage de php redis

不言
不言original
2018-07-06 16:59:503357parcourir

Cet article présente principalement le verrouillage et le déverrouillage de php redis, qui a une certaine valeur de référence. Maintenant, je le partage avec tout le monde. Les amis dans le besoin peuvent s'y référer

php+redis réalise l'opération de verrouillage et de déverrouillage <.>

Contexte commercial : Des verrous sont nécessaires dans les jeux d'échecs et de cartes en salle pour empêcher une lecture sale des données Redis causée par des opérations simultanées, par exemple, en ajoutant l'action d'un utilisateur entrant dans la salle :

Verrouillage et déverrouillage de php redisDans des conditions concurrentes, les RoomUsers obtiendront des lectures sales


Solution

 : Verrouillez la salle pour implémenter une salle à chaque fois ; Un seul client est autorisé à fonctionner et d'autres clients simultanés sont en attente ; c'est-à-dire ----- blocage du verrouillage


Verrouillage

 : Il existe plusieurs méthodes de verrouillage Redis : incr, set, setnx, hSetnx, vous pouvez vous référer à cet article : Plusieurs implémentations du verrouillage redisIci j'utilise la méthode set

$roomId = $_GET[&#39;roomId&#39;];
$user = $_GET[&#39;user&#39;];             // &#39;张三&#39;
$key = "LockRoom:{$roomId}";
$value = $roomId.uniqid();
$ex = 3;
// 如果 $key 不存在的话,就设置 $key 的值为 $value,且有效期为 3s; 
// return TRUE / FALSE
while(true){
    $res  = $this->redis->set($key, $value, [&#39;nx&#39;, &#39;ex&#39; => $ex]);
    if($res) { break; }
    usleep(5000);
}

// 将用户添加进房间
$roomUsers = $this->redis->get("Room:{$roomId}:Users"); // [&#39;李四&#39;, &#39;王五&#39;]
$roomUsers[] = $user;
$this->redis->set("Room:{$roomId}:Users", $roomUsers); // [&#39;李四&#39;, &#39;王五&#39;, &#39;张三&#39;]

Déverrouiller

 : Bien sûr, vous devez déverrouiller après l'opération. Si vous ne déverrouillez pas, vous devez attendre au moins 3 secondes. Utilisez delete pour supprimer la clé mais il y a un piège ici : Supprimer ne peut pas être utilisé directement ; on suppose que le client01 a obtenu le verrou et ajouté l'utilisateur. Lors de l'entrée dans la pièce, le temps dépasse 3 secondes. À ce moment, le client02 obtiendra également le verrou et définira 3S. Ensuite, lorsque le client01 terminera l'opération et supprimera la clé, le verrou. défini par client02 sera supprimé ; Il est recommandé d'utiliser l'exécution de code Lua ici. Supprimé car l'exécution de Lua est atomique.

Pour plus de détails, vous pouvez également lire cet article : La bonne posture pour déverrouiller le verrou Redis
// 将用户添加进房间
$roomUsers = $this->redis->get("Room:{$roomId}:Users"); // [&#39;李四&#39;, &#39;王五&#39;]
$roomUsers[] = $user;
$this->redis->set("Room:{$roomId}:Users", $roomUsers); // [&#39;李四&#39;, &#39;王五&#39;, &#39;张三&#39;]

// lua 脚本解锁
// 先判断 key的值是否为 value, TRUE 才会删除, 所以 $value 的设计要有随机唯一性
$script = &#39;if redis.call("get",KEYS[1]) == ARGV[1]
then
    return redis.call("del",KEYS[1])
else
    return 0
end &#39;;
$this->redis->eval($script, array($key , $value), 1);

Il existe également un document sur le fonctionnement de PHP redis : PhpRedis a set() et eval () Explication

Remarque : lors de l'utilisation du script lua ici, php.ini doit ouvrir des fonctions système telles que shell_exec()

Le code ci-dessus est à titre de référence uniquement ! !


Ce qui précède représente l'intégralité du contenu de cet article. J'espère qu'il sera utile à l'étude de chacun. Pour plus de contenu connexe, veuillez faire attention au site Web PHP chinois !

Recommandations associées :

Annotations sur les méthodes et paramètres de PHP exploitant Beanstalkd


Application de pénétration intranet Spike implémentée par PHP Refactoring terminé

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!

Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn