Errores Send en Tokio: examina el estado que se conserva a través de await

Qué es

La documentación de Tokio indica que las tareas lanzadas con tokio::spawn deben ser Send, porque pueden pasar de un hilo a otro mientras están suspendidas. Lo que importa es el estado que sigue vivo a través de un punto de await. Un valor que no es Send y que se usa y se libera por completo antes de la suspensión es distinto del mismo valor conservado para usarlo después. Tokio: spawning tasks

Por qué importa

Un agente puede responder al compilador clonando objetos o sustituyendo todos los punteros por un tipo concurrente. Eso puede ocultar la propiedad (ownership) de los datos y dejar sin cambios el estado suspendido real. Usa el error como mapa hacia el valor que conserva el future y después decide si es necesario conservarlo.

Cómo aplicarlo

• Localiza el valor que nombra el compilador y el punto de await que cruza su tiempo de vida. Reduce la función conservando esa relación, de modo que el motivo siga siendo visible.
• Si el valor solo se necesita de forma síncrona, coloca ese trabajo en un ámbito interno claro y extrae un resultado con ownership propio que sirva para usarlo más tarde. Comprueba que el valor ya no se conserva a través de la suspensión.
• Si el estado debe sobrevivir, elige un diseño de ownership y sincronización adecuado a sus necesidades reales de compartición. No añadas unsafe Send como respuesta mecánica a un error del compilador.
• Si la operación es local a un solo hilo a propósito, investiga por separado un diseño documentado de tareas locales, en lugar de fingir que cumple el contrato habitual de spawn.
• Propón una comprobación de compilación para el caso reducido y pruebas de comportamiento para la cancelación, las actualizaciones compartidas y la entrega de resultados en la disposición real de las tareas.

Trampas

Que un future sea Send no demuestra que su algoritmo esté libre de condiciones de carrera, de interbloqueos o de trabajo bloqueante. Asimismo, async move controla el ownership de lo capturado, pero no hace automáticamente que todo tipo capturado sea Send. Este artículo propone pasos de diagnóstico y validación; no afirma ningún cambio en el rendimiento en tiempo de ejecución ni que se haya ejecutado una prueba del scheduler.