Workerman是一款高性能的PHP Socket框架，广泛应用于实时聊天、消息推送等场景。在Workerman的文档中，提供了多种消息推送实现方法。本文将详细介绍其中一种方法，并给出具体的代码示例。

首先，在使用Workerman进行消息推送之前，需要安装与配置Workerman。可以通过Composer安装Workerman，或者直接从GitHub上下载源码。详细的安装和配置过程可以参考Workerman官方文档。

消息推送的实现方法主要有两种：使用GatewayWorker，或者使用Workerman中的消息队列。这里我们选择使用GatewayWorker进行消息推送。

GatewayWorker是基于Workerman开发的扩展组件，主要用于处理WebSocket协议的消息推送。通过GatewayWorker，我们可以很方便地实现实时聊天、消息推送等功能。

首先，我们需要定义一个GatewayWorker的Worker类，用于处理客户端的连接和消息推送。代码示例如下：

use GatewayWorkerGateway;
use WorkermanWorker;

// 创建一个Worker监听2346端口，使用websocket协议通讯
$worker = new Worker('websocket://0.0.0.0:2346');

// 设置进程数量
$worker->count = 4;

// 设置Worker名称
$worker->name = 'MessagePushWorker';

// 注册Gateway对象到Worker对象上
Gateway::$registerAddress = '127.0.0.1:1238';
$worker->onWorkerStart = function ($worker) {
    Gateway::registerGame($worker);
};

// 客户端连接时触发
$worker->onConnect = function ($connection) {
    echo "Client connected
";
};

// 客户端断开连接时触发
$worker->onClose = function ($connection) {
    echo "Client closed
";
};

// 接收到客户端消息时触发
$worker->onMessage = function ($connection, $data) {
    echo "Receive message: $data
";
    // 处理消息推送逻辑
    Gateway::sendToAll($data);
};

// 启动Worker
Worker::runAll();

上述代码中，我们创建了一个WebSocket Worker对象，监听在2346端口。在连接、关闭和接收消息的回调函数中，我们可以处理相关的业务逻辑。

在消息推送的回调函数中，我们调用了Gateway::sendToAll()方法，将接收到的消息推送给所有的客户端。Gateway::$registerAddress属性用于设置Gateway注册地址，可以在GatewayWorker中启动一个Gateway进程，来专门管理客户端的连接和消息分发。

接下来，我们需要编写客户端的代码，连接到上述WebSocket服务，并接收推送的消息。代码示例如下：

var ws = new WebSocket("ws://127.0.0.1:2346");

ws.onopen = function () {
    console.log('Connected');
}

ws.onmessage = function (e) {
    console.log('Received: ' + e.data);
}

ws.onclose = function () {
    console.log("Connection closed");
}

ws.onerror = function (error) {
    console.log('Error: ' + error);
}

在客户端代码中，我们创建了一个WebSocket对象，并连接到WebSocket服务的2346端口。通过监听onmessage事件，可以接收到服务器推送的消息。