PHP+redis实现的悲观锁机制示例


Posted in PHP onJune 12, 2018

本文实例讲述了PHP+redis实现的悲观锁。分享给大家供大家参考,具体如下:

锁机制

通常使用的锁分为乐观锁,悲观锁这两种,简单介绍下这两种锁,作为本文的背景知识,对这类知识已经有足够了解的同学可以跳过这部分。

乐观锁

先来看下百度百科上的解释:大多是基于数据版本( Version )记录机制实现。何谓数据版本?即为数据增加一个版本标识,在基于数据库表的版本解决方案中,一般是通过为数据库表增加一个 “version” 字段来实现。读取出数据时,将此版本号一同读出,之后更新时,对此版本号加一。此时,将提交数据的版本数据与数据库表对应记录的当前版本信息进行比对,如果提交的数据版本号大于数据库表当前版本号,则予以更新,否则认为是过期数据。

其实说白了,就是好比一个健身房里只有一台跑步机,在健身房门口有个排号机,每个进健身房的人都得先领一个号码才能进入,如果跑步机上有人,则在一边做做热身、喝喝水,如果跑步机上没人,则确认跑步机上当前显示的号码(上一个用过跑步机的人的号码)是否比自己手持的小,如果小,则可以使用;否则,就意味着过号,而过号在现实中我们的都知道要么走,要么重排,就是不能插队,在系统中也是一样的,通常是返回错误。

悲观锁

同样,来看下百度百科的解释:具有强烈的独占和排他特性。它指的是对数据被外界(包括本系统当前的其他事务,以及来自外部系统的事务处理)修改持保守态度,因此,在整个数据处理过程中,将数据处于锁定状态。悲观锁的实现,往往依靠数据库提供的锁机制(也只有数据库层提供的锁机制才能真正保证数据访问的排他性,否则,即使在本系统中实现了加锁机制,也无法保证外部系统不会修改数据)。

然后,也同样通俗的解释下,还是那个健身房。这次在门口不需要排号机了,而是挂着把钥匙(只有一把),想进去的人必须拿到这把钥匙才行,拿到钥匙的人可以进入,不管是热身、喝水还是跑步都可以,直到他出来把钥匙挂回墙上,下一个才能去争取,拿到的才可以再进去。听着好像有点不人性化,所以悲观锁比较适合强一致性的场景,但效率比较低,特别是读的并发低。乐观锁则适用于读多写少,并发冲突少的场景。

背景

先说下,本文的开发背景,方便大家了解为什么要使用悲观锁以及文中锁的详细设计。

任务分发系统:任务池(mysql)中存在大量任务(文章),现在需要用户协助编辑,系统基本需求如下(简化版):

1、推送用户感兴趣的分类下的任务到用户编辑器中;
2、用户编辑提交一个任务后,自动推送下一个任务;
3、每次只分配一个任务给用户;
4、如果一个用户占有某任务超过一定时间,则自动释放任务,任务进任务池,重新循环;
5、……

目标

目标有两个:

1、一个任务在同一时间段内只能被一个用户所持有;

2、避免出现死任务,即避免任务被用户长时间占有,无法释放。

思路

由于系统并发量较大,并且有频繁的写操作,所以选择悲观锁来控制每个任务只能同时被一个用户领取。主要思路如下:

1、从任务池中找出一部分可分配的任务;
2、根据一定顺序,选择一个任务,作为候选推送任务;
3、尝试对候选推送任务加锁;
4、如果加锁成功,则推送任务给用户,并修改对应的任务状态和用户状态;
5、如果加锁失败,则任务已被领取,重复2-5,直到推送成功。

实现

这里只介绍下锁的实现机制,其余业务逻辑略过。由于加锁过程应该是不可拆解的,也就是常说的原子型操作,因此这里选择redis中的setnx操作作为加锁的方法。

简化版的代码如下:

function lock($strMutex, $intTimeout) {
  $objRedis = new Redis();
  //使用setnx原子型操作加锁
  $intRet  = $objRedis->setnx($strMutex, 1);
  if ($intRet) {
    //设置过期时间,防止死任务的出现
    $objRedis->expire($strMutex, $intTimeout);
    return true;
  }
  return false;
}

这段代码有个问题,就是setnx成功,但expire失败,这就可能存在死任务的情况。解决这个问题的一种通用方法是通过使用incr方法代替setnx,具体如下:

function lock($strMutex, $intTimeout, $intMaxTimes = 0) {
  $objRedis = new Redis();
  //使用incr原子型操作加锁
  $intRet  = $objRedis->incr($strMutex);
  if ($intRet === 1) {
    //设置过期时间,防止死任务的出现
    $objRedis->expire($strMutex, $intTimeout);
    return true;
  }
  if ($intMaxTimes > 0 && $intRet >= $intMaxTimes && $objRedis->ttl($strMutex) === -1) {
    //当设置了最大加锁次数时,如果尝试加锁次数大于最大加锁次数并且无过期时间则强制解锁
    $objRedis->del($strMutex);
  }
  return false;
}

这段代码通过$intMaxTimes来保证即使在expire未成功的时候也能强制解锁,保证系统不会出现死任务。

还有没有更好的方法呢?

其实redis中的set操作已兼容了setnx,并且支持设置过期时间。

function lock($strMutex, $intTimeout) {
  $objRedis = new Redis();
  //使用setnx操作加锁,同时设置过期时间
  $strRet  = $objRedis->set($strMutex, 1, 'ex', $intTimeout, 'nx');
  if ($strRet === 'OK') {
    return true;
  }
  return false;
}

这个方法是我认为目前最好的,但是为什么没有直接介绍这个方法,而是先介绍incr那个方法呢?其实细心的同学可以看到上面那个方面有两个加粗的字”通用“。之所以这么说是因为set方法是从redis2.6.12版本才开始支持多参数的。

水平有限,欢迎指正~

参考资料:http://redisdoc.com/string/set.html

希望本文所述对大家PHP程序设计有所帮助。

PHP 相关文章推荐
php sprintf()函数让你的sql操作更安全
Jul 23 PHP
php 中英文语言转换类
Sep 07 PHP
php数组函数序列之array_flip() 将数组键名与值对调
Nov 07 PHP
php调用dll的实例操作动画与代码分享
Aug 14 PHP
PHP静态调用非静态方法的应用分析
May 02 PHP
ThinkPHP实现二级循环读取的方法
Nov 03 PHP
php实现Mongodb自定义方式生成自增ID的方法
Mar 23 PHP
smarty中改进truncate使其支持中文的方法
May 30 PHP
PHP命名空间namespace的定义方法详解
Mar 29 PHP
利用php-cli和任务计划实现订单同步功能的方法
May 03 PHP
[原创]PHP获取数组表示的路径方法分析【数组转字符串】
Sep 01 PHP
laravel 自定义常量的两种方案
Oct 14 PHP
thinkPHP5框架auth权限控制类与用法示例
Jun 12 #PHP
thinkPHP5框架实现基于ajax的分页功能示例
Jun 12 #PHP
Laravel框架路由和控制器的绑定操作方法
Jun 12 #PHP
Laravel框架路由设置与使用示例
Jun 12 #PHP
Laravel框架生命周期与原理分析
Jun 12 #PHP
Laravel框架分页实现方法分析
Jun 12 #PHP
php 可变函数使用小结
Jun 12 #PHP
You might like
php file_exists 检查文件或目录是否存在的函数
2010/05/10 PHP
基于MySQL分区性能的详细介绍
2013/05/02 PHP
ThinkPHP中pathinfo的访问模式、路径访问模式及URL重写总结
2014/08/23 PHP
php数组键名技巧小结
2015/02/17 PHP
php判断数组中是否存在指定键(key)的方法
2015/03/17 PHP
php为字符串前后添加指定数量字符的方法
2015/05/04 PHP
php curl中gzip的压缩性能测试实例分析
2016/11/08 PHP
40个有创意的jQuery图片和内容滑动及弹出插件收藏集之二
2011/12/31 Javascript
json原理分析及实例介绍
2012/11/29 Javascript
鼠标经过tr时,改变tr当前背景颜色
2014/01/13 Javascript
jquery操作checkbox实现全选和取消全选
2014/05/02 Javascript
javascript中for/in循环及使用技巧
2015/09/01 Javascript
js强制把网址设为默认首页
2015/09/29 Javascript
js数组如何添加json数据及js数组与json的区别
2015/10/27 Javascript
一个简单的JavaScript Map实例(分享)
2016/08/03 Javascript
JS扩展类,克隆对象与混合类实例分析
2016/11/26 Javascript
JS中事件冒泡和事件捕获介绍
2016/12/13 Javascript
利用Chrome DevTools直接调试Node.js和JavaScript的方法详解(并行)
2017/02/16 Javascript
深究AngularJS——ng-checked(回写:带真实案例代码)
2017/06/13 Javascript
JS+HTML+CSS实现轮播效果
2017/11/28 Javascript
使用vue-cli+webpack搭建vue开发环境的方法
2017/12/22 Javascript
详解VUE2.X过滤器的使用方法
2018/01/11 Javascript
NestJs 静态目录配置详解
2019/03/12 Javascript
nodejs各种姿势断点调试的方法
2020/06/18 NodeJs
原生JS实现弹幕效果的简单操作指南
2020/11/10 Javascript
python实现贪吃蛇小游戏
2020/03/21 Python
在Python中画图(基于Jupyter notebook的魔法函数)
2019/10/28 Python
python3 配置logging日志类的操作
2020/04/08 Python
python中 _、__、__xx__()区别及使用场景
2020/06/30 Python
Python读写Excel表格的方法
2021/03/02 Python
CSS3制作炫酷的自定义发光文字
2016/03/28 HTML / CSS
大学生村官工作感言
2014/01/10 职场文书
保密承诺书范文
2014/03/27 职场文书
大学生考试作弊被抓检讨书
2014/12/27 职场文书
企业内部管理控制:银行存款控制制度范本
2020/01/10 职场文书
仅仅使用 HTML/CSS 实现各类进度条的方式汇总
2021/11/11 HTML / CSS