23 · Concurrencia
Plazos de await
await tarea within duración devuelve un Result tipado de timeout. Al expirar, el scheduler solicita cancelación y espera la limpieza cooperativa. Una tarea que devuelve Result produce un Result anidado; elige qué capa propagar. El trabajo nativo sin checkpoints no puede interrumpirse por la fuerza.
En esta página
await tarea within duración devuelve un Result tipado de timeout. Al expirar, el scheduler solicita cancelación y espera la limpieza cooperativa. Una tarea que devuelve Result produce un Result anidado; elige qué capa propagar. El trabajo nativo sin checkpoints no puede interrumpirse por la fuerza.
Ejemplo completo
Ejecuta este ejemplo localmente con la CLI instalada. El playground del navegador no proporciona el scheduler del host.
Plazos de await.
async fn load() -> int {
sleep 20ms
42
}
fn main() {
let result = await load() within 1s
print(result.unwrap())
}
Requiere la CLI o el host de Zolo; ábrelo en el playground o ejecútalo localmente.
Reglas y comportamiento
Tareas paralelas y plazos · Documentación
Desde un checkout del repositorio:
zolo examples/features/await_deadlines.zolo
Consulta también