Gracias a dggluz y alejandromg por vuestras respuestas.
Le he estado dando vueltas en cómo implementar sockets y he aquí lo que se me ocurrió:
·En el servidor, debería crear un cronjob que llamara a un script PHP que mirara si hay actualizaciones en internet.
·Si las hay, PHP debería de ponerse en contacto con el socket-server para que este notificara a los clientes socket.
Para el segundo punto, he encontrado una librería llamada
DNode que podría ser de ayuda. ¿La conocéis?
Sin embargo, también encontré que el propio PHP ofrece soporte a
sockets. Para mi caso, ¿no sería mejor utilizar sockets PHP en el servidor?
Por otro lado, parece que conocéis bien el tema de las pruebas de estrés. ¿Me podéis recomendar alguna aplicación para realizarlas?
Gracias de nuevo.