workerman环境下是否有自己实现的队列功能

workerman环境下是否有自身php实现的队列功能。我想咨询的并不是依赖redis或其他的服务的方案。而是workerman自己实现的一个服务。
我想要的场景也很简单，其实就是redis的list中的push功能和blPop命令。
有一个进程会向队列插入 id，其他的 进程随时消费获取id。不能出现重复分配。

装redis自然是能用，但是有没有人用workerman实现过这个场景的服务吗。

最终想要的效果代码其实很简单：

<?php
namespace app\common\tools;

class MessageListTools 
{

    public const LIST_KEY = 'message_list';

    public static function getRedis()
    {
        ini_set('default_socket_timeout', -1);
        $redis = new \Redis();
        $redis->connect('127.0.0.1', 6379);

        return $redis;
    }

    public static function push($task_id)
    {
        $redis = self::getRedis();
        $redis->lpush(static::LIST_KEY, $task_id);
        return true;
    }

    public static function pop()
    {
        $redis = self::getRedis();
        return $redis->blPop(static::LIST_KEY,0);
    }
}