Отмена
Удаление фьючерса означает, что его больше никогда нельзя будет опросить. Это называется отменой (cancellation), и она может произойти в любой точке await. Нужна осторожность, чтобы система работала корректно даже тогда, когда фьючерсы отменяются. Например, она не должна входить во взаимную блокировку или терять данные.
// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::io;
use std::time::Duration;
use tokio::io::{AsyncReadExt, AsyncWriteExt, DuplexStream};
struct LinesReader {
stream: DuplexStream,
}
impl LinesReader {
fn new(stream: DuplexStream) -> Self {
Self { stream }
}
async fn next(&mut self) -> io::Result<Option<String>> {
let mut bytes = Vec::new();
let mut buf = [0];
while self.stream.read(&mut buf[..]).await? != 0 {
bytes.push(buf[0]);
if buf[0] == b'\n' {
break;
}
}
if bytes.is_empty() {
return Ok(None);
}
let s = String::from_utf8(bytes)
.map_err(|_| io::Error::new(io::ErrorKind::InvalidData, "not UTF-8"))?;
Ok(Some(s))
}
}
async fn slow_copy(source: String, mut dest: DuplexStream) -> io::Result<()> {
for b in source.bytes() {
dest.write_u8(b).await?;
tokio::time::sleep(Duration::from_millis(10)).await
}
Ok(())
}
#[tokio::main]
async fn main() -> io::Result<()> {
let (client, server) = tokio::io::duplex(5);
let handle = tokio::spawn(slow_copy("hi\nthere\n".to_owned(), client));
let mut lines = LinesReader::new(server);
let mut interval = tokio::time::interval(Duration::from_millis(60));
loop {
tokio::select! {
_ = interval.tick() => println!("tick!"),
line = lines.next() => if let Some(l) = line? {
print!("{}", l)
} else {
break
},
}
}
handle.await.unwrap()?;
Ok(())
}
-
Компилятор не помогает с безопасностью при отмене. Нужно читать документацию API и учитывать, какое состояние хранит ваша
async fn. -
В отличие от
panicи?, отмена — часть обычного потока управления (а не обработки ошибок). -
В примере теряются части строки.
-
Когда ветка
tick()завершается первой,next()и егоbufуничтожаются. -
LinesReaderможно сделать безопасным к отмене, включивbufв структуру:#![allow(unused)] fn main() { // Copyright 2024 Google LLC // SPDX-License-Identifier: Apache-2.0 struct LinesReader { stream: DuplexStream, bytes: Vec<u8>, buf: [u8; 1], } impl LinesReader { fn new(stream: DuplexStream) -> Self { Self { stream, bytes: Vec::new(), buf: [0] } } async fn next(&mut self) -> io::Result<Option<String>> { // добавьте префикс self. к buf и bytes. // ... let raw = std::mem::take(&mut self.bytes); let s = String::from_utf8(raw) .map_err(|_| io::Error::new(io::ErrorKind::InvalidData, "not UTF-8"))?; // ... } } }
-
-
Interval::tickбезопасен к отмене, потому что отслеживает, было ли «доставлено» тиканье. -
AsyncReadExt::readбезопасен к отмене, потому что либо возвращает данные, либо не читает их. -
AsyncBufReadExt::read_lineпохож на пример и не безопасен к отмене. Подробности и альтернативы см. в его документации.