我们一起聊聊如何编写异步运行时通用库?

2024年 4月 30日 71.1k 0

如果你正在用Rust编写异步应用程序,在某些情况下,你可能希望将代码分成几个子crate。这样做的好处是:

  • 更好的封装,在子系统之间有一个crate边界,可以产生更清晰的代码和定义更良好的API。不再需要这样写:pub(crate)。
  • 更快的编译,通过将一个大crate分解成几个独立的小crate,它们可以并发地编译。

使用一个异步运行时,编写异步运行时通用库的好处是什么?

  • 可移植性,你可以很容易地切换到不同的异步运行时或wasm。
  • 保证正确性,针对tokio和async-std,测试一个库就可以发现更多的bug,包括并发bug(由于任务执行顺序模糊)和“未定义行为”(由于误解异步运行时实现细节)

下面使用三种方法来实现异步运行时通用库。

方法1,定义自己的异步运行时Trait

使用futures crate,可以编写非常通用的库代码,但是time,sleep或timeout等操作必须依赖于异步运行时。这时,你可以定义自己的AsyncRuntime trait,并要求下游实现它。

use std::{future::Future, time::Duration};

pub trait AsyncRuntime: Send + Sync + 'static {
    type Delay: Future + Send;

    // 返回值必须是一个Future
    fn sleep(duration: Duration) -> Self::Delay;
}

可以像这样使用上面的库代码:

async fn operation() {
    R::sleep(Duration::from_millis(1)).await;
}

下面是它如何实现的:

pub struct TokioRuntime;

impl AsyncRuntime for TokioRuntime {
    type Delay = tokio::time::Sleep;

    fn sleep(duration: Duration) -> Self::Delay {
        tokio::time::sleep(duration)
    }
}

#[tokio::main]
async fn main() {
    operation::().await;
    println!("Hello, world!");
}

方法2,在内部抽象异步运行时并公开特性标志

为了处理网络连接或文件句柄,我们可以使用AsyncRead / AsyncWrite trait:

#[async_trait]
pub(crate) trait AsyncRuntime: Send + Sync + 'static {
    type Connection: AsyncRead + AsyncWrite + Send + Sync + 'static;

    async fn connect(addr: SocketAddr) -> std::io::Result;
}

可以像这样使用上面的库代码:

async fn operation(conn: &mut R::Connection) 
where
    R::Connection: Unpin,
{
    conn.write(b"some bytes").await;
}

然后为每个异步运行时定义一个模块:

#[cfg(feature = "runtime-async-std")]
mod async_std_impl;
#[cfg(feature = "runtime-async-std")]
use async_std_impl::*;

#[cfg(feature = "runtime-tokio")]
mod tokio_impl;
#[cfg(feature = "runtime-tokio")]
use tokio_impl::*;

tokio_impl模块:

mod tokio_impl {
    use std::net::SocketAddr;

    use async_trait::async_trait;
    use crate::AsyncRuntime;

    pub struct TokioRuntime;

    #[async_trait]
    impl AsyncRuntime for TokioRuntime {
        type Connection = tokio::net::TcpStream;

        async fn connect(addr: SocketAddr) -> std::io::Result {
            tokio::net::TcpStream::connect(addr).await
        }
    }
}

main函数代码:

#[tokio::main]
async fn main() {
    let mut conn =
        TokioRuntime::connect(SocketAddr::new(IpAddr::from_str("0.0.0.0").unwrap(), 8080))
            .await
            .unwrap();
    operation::(&mut conn).await;
    println!("Hello, world!");
}

方法3,维护一个异步运行时抽象库

基本上,将使用的所有异步运行时api写成一个包装器库。这样做可能很繁琐,但也有一个好处,即可以在一个地方为项目指定与异步运行时的所有交互,这对于调试或跟踪非常方便。

例如,我们定义异步运行时抽象库的名字为:common-async-runtime,它的异步任务处理代码如下:

// common-async-runtime/tokio_task.rs

pub use tokio::task::{JoinHandle as TaskHandle};

pub fn spawn_task(future: F) -> TaskHandle
where
    F: Future + Send + 'static,
    T: Send + 'static,
{
    tokio::task::spawn(future)
}

async-std的任务API与Tokio略有不同,这需要一些样板文件:

// common-async-runtime/async_std_task.rs

pub struct TaskHandle(async_std::task::JoinHandle);

pub fn spawn_task(future: F) -> TaskHandle
where
F: Future + Send + 'static,
T: Send + 'static,
{
TaskHandle(async_std::task::spawn(future))
}

#[derive(Debug)]
pub struct JoinError;

impl std::error::Error for JoinError {}

impl Future for TaskHandle {
type Output = Result;

fn poll(
mut self: std::pin::Pin,
cx: &mut std::task::Context

相关文章

JavaScript2024新功能:Object.groupBy、正则表达式v标志
PHP trim 函数对多字节字符的使用和限制
新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
为React 19做准备:WordPress 6.6用户指南
如何删除WordPress中的所有评论

发布评论