一.docker里创建redis镜像,并且启用
1.搜索redis镜像
docker search redis
2.下载镜像
docker pull redis
3.运行镜像(可以在hub.docker.com搜索下面的命令,-d是后台运行,-p是映射本地端口)
docker run -d -p 6399:6379 redis
二.使用composer安装predis插件
composer require predis/predis
三.php代码
require ("vendor/autoload.php");
use Predis\Client;
$redis = new Client(['host'=>'127.0.0.1','poort'=>6399]);
//对某个key进行加锁,起到监视作用
$redis->watch('sales');
$sales = $redis->get('sales');
$store = 4;
if($sales >= $store){
exit('抢光了');
}
//redis事务不会回滚 开启事务
$redis->multi();
$redis->set('sales',$sales+1);
$res = $redis->exec();
if($res){
echo '减库存了,卖出了一个';
}