Resumen

  • En el cálculo de RFC 1185, a 1 Gbit/s la mitad decisiva del espacio de secuencias TCP podía recorrer su ciclo en unos 17 segundos. Un duplicado demorado podía regresar con un número que volvía a parecer vigente.
  • RFC 1323 hizo que PAWS comparase las marcas de tiempo entrantes con TS.Recent. Tras más de 24 días sin actividad, había que invalidar ese recuerdo para que una conexión reanudada no rechazase todos sus segmentos nuevos.

TCP lleva una libreta de números para sus bytes. La libreta es circular: al agotarse las cifras, vuelve al comienzo. En un enlace lento, la red tiene tiempo para olvidarse de un paquete viejo antes de que su número reaparezca. En uno muy rápido, un duplicado atrasado puede presentarse cuando el contador ya ha dado la vuelta. El portero ve una credencial familiar, pero se le ha escapado la fecha de la visita.

El RFC 1185, de octubre de 1990, cuantificó la amenaza. Su tabla calculaba unos 17 segundos para recorrer la mitad relevante del espacio de secuencias a 1 Gbit/s. En la comparación figuraban los dos minutos de vida máxima de un segmento TCP utilizados por la especificación. Las cifras pertenecían a un cálculo de diseño: la numeración podía volver con una rapidez que el viaje de un paquete viejo no compartía. Para reconocerlo hacía falta otra pista.

El RFC 1323, publicado en mayo de 1992, la añadió mediante la opción Timestamp. La misma opción servía para medir tiempos de ida y vuelta y para PAWS, la protección frente a números de secuencia que habían dado la vuelta. Durante una conexión establecida, el receptor guardaba una marca reciente en TS.Recent. Si llegaba un segmento cuyo TSval era inferior a ese valor todavía válido, respondía con un acuse y descartaba el segmento. Los controles normales de la ventana TCP seguían actuando después. El impostor podía acertar el número; el reloj lo delataba.

No se necesitaban relojes sincronizados entre extremos. Cada emisor avanzaba su propio contador de forma monótona, y el receptor comparaba números de 32 bits con aritmética modular. TS.Recent también participaba en la medición del tiempo de ida y vuelta: un dato cumplía dos servicios. PAWS comprobaba tanto datos como acuses dentro de la conexión abierta; su recuerdo residía en el estado de esa conversación.

Entonces la libreta del portero empezaba a caducar. RFC 1323 contemplaba relojes de marcas de tiempo que avanzaban desde una vez por segundo hasta una vez por milisegundo. A la velocidad más alta, el medio ciclo firmado de 32 bits llegaba en aproximadamente 24,8 días. Supongamos una conexión abierta que pasa todo ese tiempo callada. El reloj del emisor sigue avanzando. Al volver a enviar, un segmento realmente nuevo puede parecer más antiguo que el TS.Recent conservado por el receptor. Un filtro que nunca revisara su recuerdo descartaría todas las visitas y dejaría congelada la conexión.

La solución fue exigir un olvido deliberado. Después de más de 24 días de inactividad, una implementación de PAWS debía invalidar TS.Recent. Si una marca entrante parecía menor, el receptor comprobaba primero si su referencia seguía siendo válida. Con la referencia vencida, podía aceptar el segmento en la prueba de PAWS y registrar una nueva. La ventana normal de secuencias aún tenía que dar su visto bueno. Tirar una lista vieja no equivale a abrir el edificio de par en par.

El RFC consideró enviar mensajes periódicos para refrescar la memoria. Eligió invalidarla porque la especificación de TCP no exigía esos mensajes de mantenimiento. Como el receptor tampoco sabía a qué ritmo avanzaba el reloj remoto, tomaba el peor caso como umbral. Los 24 días cuentan silencio, no duración total de la conexión. Una conversación activa renueva sus pistas; una dormida necesita poder despertarse.

La revisión posterior, RFC 7323, conservó tanto la explicación como la regla de invalidación. La paradoja de 1992 era precisa: la velocidad hacía demasiado breve la utilidad de un número de secuencia, y una pausa prolongada hacía demasiado vieja la marca destinada a salvarlo. PAWS enseñó a TCP a desconfiar de los paquetes del pasado. Para seguir trabajando, también tuvo que desconfiar de su propio cuaderno.