Redis乐观锁,事务multi,watch之间的先后关系

Redis乐观锁,事务multi,watch之间的先后关系

1:watch 必须在 multi之前,不然watch 无效,事务都会执行成功

 		 $v=$rds->get("test");
        $rds->set("test",333);
        //先起事务
        $rds->multi();
        //添加watch
        $rds->watch("test");
        //模拟操作,此时其他线程已经修改test 值
        sleep(5);
        $rds->set("test",222);
        //事务执行成功,与预期不符,test=222
        $dd=$rds->exec();

        var_dump($dd);

        var_dump($rds->get("test"));

2:watch 函数调用后才开始监控,调用之前 key 值改变不会影响事务,所以一般用乐观锁必须get 出数据后接着就watch 中间不能有耗时操作,不然可能数据已经被其他线程改变,而你却不自知
eg:

		//获取数据
		 $v=$rds->get("test");
        //模拟操作其他逻辑
        sleep(1);
        //这时监控上面取到的值可能已经被别的线程改变了,但下面的事务执行成功,则覆盖了别的线程的值
        $rds->watch("test");
        $rds->multi();
        $rds->set("test",222);
        $dd=$rds->exec();
        //结果可能是 事务成功,但是test 值已经被其他线程修改过了,不符合预期
        var_dump($dd);

3watch 对当前线程也有作用,在watch 后 事务之前 修改对应key 值 事务会执行失败,但在事务中修改key 的值,事务会成功
eg:

 		 $rds->watch("test");
 		 //事务之前修改监控值
        $rds->set("test",333);
        //开启事务
        $rds->multi();

        $rds->set("test",222);
        $dd=$rds->exec();
        //输出失败 ttt=3333
        var_dump($dd);

4:一个watch 只能被一个multi 跟exec 消费,下面新的事务 需要新的watch
eg

   		$v=$rds->get("test");
        $rds->watch("test");
        //修改了监控值
        $rds->set("test",333);
        $rds->multi();
        $rds->set("test",222);
        //事务失败
        $dd=$rds->exec();

        var_dump($dd);

        var_dump($rds->get("test"));
        //尝试修改原来的监控值
        $rds->set("test",555);
        //起新的事务
        $rds->multi();
        $rds->set("test",444);
        //事务执行成功
        $dd=$rds->exec();
        var_dump($dd);

5:watch 监控后 只要值不在当前事务中被修改,watch 对应的事务都会失败,哪怕修改后的值跟之前是一样的

贴个流程图