redis竟态与争抢唯一

incr

比如北京车牌采取先抢到后审批资质的流程。车牌池子中有N多号码,页面呈现以一页十条的方式展示,每个号码后有一个抢的按钮,且一个人只能抢一个车牌,同样一个车牌只能被一个人抢到。业务模型参考

1
2
3
4
5
6
7
8
9
10
11
12
13
if ($this->redis_db->incr("bj_".$car_no) != 1) {
让别人先下手了,点别的去~
}else{
//抢到竞态条件,如果不复核资质要求退出,并清除incr
if(抢到了但是没资质等){
释放对此id的竟态权,别占茅坑
$this->yredis_db->del("bj_".$id);
}else{
其他业务A
抱得号码归...
其他业务B
}
}

另外,incrstring类型,hash类型,sortedSet类型都可以进行操作

blpop

blpop相对于lpop有一个好处,可以对多个队列进行优先级操作。
blpop会按照key的排列顺序依次弹出,返回值为key的listname及具体元素值,而且可以设置block时间,原则是先阻塞先服务.

1
2
3
$date = date('Ymd', time());
//左进左出 ,优先分配一般的车牌号码,然后在分配非常好的连号号码,设置一个阻塞时间
return $this->redis->blpop(self::$_config['dispatch_normal_list'] . $date, self::$_config['dispatch_better_list'] . $date, self::$_config['redis_block_l_pop_time_out']);

hsetnx

设置hash中一个field为指定value,前提是field不存在。如果存在,返回0。
这样能保证在一个人只能抢一个车牌,但是抢到车牌执行付款或者其他业务操作过程中,其他人无法对此操作,(即不能将此车牌绑定到其他人身上)。根据具体业务情况,可设置基于car_no的hash field和基于 people 的hash field。
hash_base_people {“zhangsan”:”京A888”,”lisi”:”京A999”}
hash_base_car_no {“京A888”:”zhangsan”,”京A999”:”lisi”}
基于这两个hash 可以做更多关于业务的操作,比如通过hget等查看具体的绑定关系。

hdel

有了通过hsetnx的绑定模型,当某个人对某个车牌交付了订金等一系列之后,就代表可以永远的将其消除,这样会用到hdel。另外如果在指定时间内没有做比如交付订金之类的操作,这个车牌号码会回炉到原始列表中。

1
2
3
4
5
//删除以people_id为key的hash
$base_people_id_del = $this->redis->hdel(self::$_config['hash_base_people'], $people_id);
//删除以car_no为key的hash
$base_car_no_del = $this->redis->hdel(self::$_config['hash_base_car_no'], $clue_id);

lpush

如果有入口将北京可以抢拍的车牌放入到一个list里

1
$lpush_res = $redisObj->lpush($list_name, $car_no);

其中list_name的值可以根据car_no的具体值来确定,比如有6和8的我就放入到better_car_no列表里,其他的放入到normal_car_no列表里,最后可以用blpop来指定一个先后优先级。

rpoplpush

安全的队列弹出模式,比如N多人对一个入口按钮进行操作,如果list结构中有足够的数据,每个人有且只有一条数据会被领取,领取之后再做其他的业务操作。
但是问题是,如果用lpop之后,原队列中已被弹出,如果中途客户端在取得该pop的元素后,且完成处理此元素前,客户端发生崩溃。这时候此条消息就凭空消失了。如果没有其他补助措施(比如通过绑定或者记录此弹出的元素)需要严谨要求,可以用rpoplpush可以解决此问题。在客户端真正处理完此pop的元素之后,通过lrem将此消息安全删除。