Tengo un sistema que obtiene unos cientos de canales RSS. Actualmente están en un ciclo de actualización de 10 minutos, pero preferiblemente me gustaría hacerlo más rápido. ¿Cuál es una estrategia para obtener las fuentes RSS a intervalos casi en tiempo real / push?

Algunas soluciones que he encontrado:

hacer una búsqueda a 1 minuto; si no hay cambios, vuelva a buscar en 2, luego en 4, luego en 8, etc. encuentre el intervalo / varianza promedio de tiempo entre actualizaciones de la fuente RSS y póngalos en un cubo (este se actualiza cada 3 minutos, así que realice una comprobación cada 1 minuto; este se actualiza cada semana, así que realice una comprobación cada día, etc.)