Vert.x是一个用于构建reactive和分布式系统的工具箱，其使用了异步非阻塞编程模型。