Escrituras parciales: avanzar el desplazamiento del búfer en lugar de reenviar toda la carga útil

Qué es

El manual de write de Linux indica que una llamada exitosa puede transferir menos bytes de los solicitados. Su valor de retorno indica a quien la invocó cuánto progreso se produjo, y una llamada posterior puede transferir más o fallar. Por lo tanto, el éxito no implica que se haya consumido todo el búfer de la aplicación, ni establece almacenamiento duradero. Manual de write de Linux

Por qué importa

Un agente puede reintentar el búfer original después de una escritura corta, duplicando el prefijo ya enviado. El estado clave es el sufijo no enviado. Este estado debe hacerse explícito a través del progreso ordinario, la interrupción, la contrapresión y el fallo terminal, en lugar de traducir todos los resultados a un reintento genérico.

Cómo aplicarlo

• Llevar el desplazamiento actual y el número total de bytes previsto. Ante un retorno positivo, avanzar exactamente la cantidad informada y ofrecer solo el sufijo restante la próxima vez.
• Distinguir un error terminal de un resultado de bloqueo temporal (would-block) en un descriptor no bloqueante. Preservar el búfer pendiente y reanudar a través del mecanismo de disponibilidad elegido, en lugar de esperar activamente en un bucle.
• Dar una política explícita al progreso cero, de modo que un bucle no pueda girar indefinidamente. Mantener observables los plazos y la cancelación mientras la salida siga pendiente.
• Proponer un fixture de escritor controlado que solo acepte parte de cada búfer, y que luego inyecte contrapresión o un fallo. Verificar la secuencia exacta de bytes resultante, no solo el número de llamadas.
• Para un protocolo de nivel superior, definir qué significa un mensaje transmitido parcialmente tras un fallo. No reenviarlo automáticamente por una nueva conexión sin la regla de recuperación de ese protocolo.

Trampas

Un bucle de escritura resuelve la contabilidad local de bytes, no la entrega de la aplicación exactamente una vez. La durabilidad del archivo y el reconocimiento (acknowledgement) del par son contratos separados. Comprobar también cómo maneja la aplicación una tubería o socket cerrado, incluido el comportamiento de señales pertinente. Aquí no se afirma ninguna ejecución de inyección de fallos de llamadas al sistema; el fixture es un diseño de prueba de regresión propuesto para el envoltorio (wrapper) que se está modificando.