Вы можете использовать комбинацию SharedData и обычных обработчиков:
this.vertx.createHttpServer().websocketHandler(ws -> {
ws.handler(data -> {
this.vertx.sharedData().getCounter(this.deploymentID(), (c) -> {
c.result().incrementAndGet((dummy) -> {});
});
});
});
Это будет увеличивать атомный счетчик для конкретной вертикали каждый раз, когда поступает новый запрос WebSocket.
Теперь вы можете получить все идентификаторы развертывания, используя vertx.deploymentIDs()
Осталось перебрать их, собрать счетчики и получить минимальное.