Cинхронизация процессов в библиотеке Workerman

При написании websocket сервера при помощи библиотеки Workerman, если пользователи подключены к разным процессам сервера - они друг-друга не видят. То-есть у каждого процесса свои глобальные переменные (например массив пользователей $users). Хотя по задумке они должны быть общими для всех процессов. При задании одного процесса все пользователи друг-друга видят.

Вопрос в следующем: Как сделать синхронизацию переменных между процессами?

<?php
require_once __DIR__ . '/vendor/autoload.php';
use Workerman\Worker;
// массив для связи соединения пользователя и необходимого нам параметра
$users = array();
// создаём ws-сервер, к которому будут подключаться все наши пользователи
$ws_worker = new Worker("websocket://0.0.0.0:8000");
// 4 processes
$ws_worker->count = 4;
....
// Run worker
Worker::runAll();