PHP 使用lua脚本

php中使用lua脚本

     $redis = new Redis(); 
     // 编写lua 脚本
     $lua = <<<SCRIPT
   local times = redis.call('get',KEYS[1]) 
    
   if  type(times)  == "string" then  
   times = tonumber(times)
   
   end
  
   if  times > 0  then 
    redis.call('set',KEYS[1], times - 1)
    return  times - 1 
    
    end 
    
    return 0
SCRIPT; 

        $s = $redis->eval($lua, array('name'),1);