Have there been any benchmarks done on the websocket side of FastAPI specifically compared to flask-socketio? Especially when scaling horizontally and needing t

Have there been any benchmarks done on the websocket side of FastAPI specifically compared to flask-socketio? Especially when scaling horizontally and needing to synchronize across many socket servers? We're building out a product that will maintain large numbers of simultaneously connected sockets, so the "performance" pitch here is pretty compelling.