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调用数据库的存贮过程!
Oct 09 PHP
php接口与接口引用的深入解析
Aug 09 PHP
php获取目标函数执行时间示例
Mar 04 PHP
最常用的8款PHP调试工具
Jul 06 PHP
PHP实现自动对图片进行滚动显示的方法
Mar 12 PHP
CentOS下PHP7的编译安装及MySQL的支持和一些常见问题的解决办法
Dec 17 PHP
非集成环境的php运行环境(Apache配置、Mysql)搭建安装图文教程
Apr 12 PHP
PHP检测链接是否存在的代码实例分享
May 06 PHP
PHP封装的分页类与简单用法示例
Feb 25 PHP
ThinkPHP框架整合微信支付之刷卡模式图文详解
Apr 10 PHP
PHP使用ActiveMQ实现消息队列的方法详解
May 31 PHP
laradock环境docker-compose操作详解
Jul 29 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(1)
2006/10/09 PHP
thinkPHP自动验证机制详解
2016/12/05 PHP
Thinkphp5.0自动生成模块及目录的方法详解
2017/04/17 PHP
PHP面向对象程序设计(OOP)之方法重写(override)操作示例
2018/12/21 PHP
style、 currentStyle、 runtimeStyle区别分析
2010/08/01 Javascript
兼容IE、FireFox、Chrome等浏览器的xml处理函数js代码
2011/11/30 Javascript
JS面向对象基础讲解(工厂模式、构造函数模式、原型模式、混合模式、动态原型模式)
2014/08/16 Javascript
js设置cookie过期当前时间减去一秒相当于立即过期
2014/09/04 Javascript
Node.js的MongoDB驱动Mongoose基本使用教程
2016/03/01 Javascript
深入浅析jQuery对象$.html
2016/08/22 Javascript
jQuery阻止移动端遮罩层后页面滚动
2017/03/15 Javascript
手把手搭建安装基于windows的Vue.js运行环境
2017/06/12 Javascript
JS动态添加的div点击跳转到另一页面实现代码
2017/09/30 Javascript
详解node.js的http模块实例演示
2018/07/12 Javascript
mpvue小程序仿qq左滑置顶删除组件
2018/08/03 Javascript
jQuery实现表格的增、删、改操作示例
2019/01/27 jQuery
详解50行代码,Node爬虫练手项目
2019/04/22 Javascript
微信小程序实现卡片层叠滑动效果
2019/06/21 Javascript
JS实现拼图游戏
2021/01/29 Javascript
vue滑动吸顶及锚点定位的示例代码
2020/05/10 Javascript
[02:16]卖萌的僵尸 DOTA2神话信使飞僵小宝来袭
2014/03/24 DOTA
[01:02:00]DOTA2-DPC中国联赛 正赛 Elephant vs IG BO3 第三场 1月24日
2021/03/11 DOTA
基python实现多线程网页爬虫
2015/09/06 Python
利用python代码写的12306订票代码
2015/12/20 Python
Python将文字转成语音并读出来的实例详解
2019/07/15 Python
python读文件的步骤
2019/10/08 Python
python开发实例之python使用Websocket库开发简单聊天工具实例详解(python+Websocket+JS)
2020/03/18 Python
基于python3.7利用Motor来异步读写Mongodb提高效率(推荐)
2020/04/29 Python
Opencv常见图像格式Data Type及代码实例
2020/11/02 Python
DJI大疆无人机官方商城:全球领先的无人飞行器研发和生产商
2016/12/21 全球购物
美国NBA官方商店:NBA Store
2019/04/12 全球购物
德国BA保镖药房中文网:Bodyguard Apotheke
2021/03/09 全球购物
工厂总经理岗位职责
2014/02/07 职场文书
基层党组织建设整改方案
2014/09/16 职场文书
2014年法制宣传日活动方案
2014/11/02 职场文书
2015年春训学习心得体会范文
2015/03/09 职场文书