【大家的项目】可 Deferred 就绪的 Future 实现类

2023-10-29 09:04

本文主要是介绍【大家的项目】可 Deferred 就绪的 Future 实现类,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

deferred-future

模仿jQuery.Deferred(),允许

  • 【地点】从Future实现类实例外部

  • 【时间】异步地

改变当前Future对象的Polling状态从Poll::PendingPoll::Ready<T>。这个痛点是futures crate都没有照顾到的。

功能

deferred-future crate分别针对

  • 单线程/WASM

  • 多线程

提供了两套代码实现和两个自定义cargo feature

cargo featureFusedFuture实现类运行上下文
localLocalDeferredFuture<T>单线程/WASM
threadThreadDeferredFuture<T>多线程

默认情况下,localthread都处于开启状态。为了追求极致的编译时间(短)与输出二进制文件体积(小),屏蔽掉未被使用的模块非常有帮助。比如,在WASM工程内,启用【条件编译】和(编译时)“裁剪”依赖包是最明智的:

# 因为 WASM 不支持【操作系统线程】,所以仅只导入单线程代码实现
deferred-future = {version = "0.1.0", features = ["local"]}

另外,因为deferred-future crate选择实现trait futures::future::FusedFuture,而不仅只是来自【标准库】的std::future::Future,所以其对更多“边界情况”提供了良好的容错支持。比如,

  • 重复地Polling一个已经Poll::Ready(T)Future实例不会导致U.B.

安装

不开启【条件编译】

cargo add deferred-future

面向WASM,推荐仅开启local

cargo add deferred-future --features=local

用法

使用套路概括起来包括:

  1. 构造一个***DeferredFuture<T>实例

    1. 在多线程上下文中,泛型类型参数T必须是Send + Sync的。

    2. 在单线程上下文中,前缀***Local

    3. 在多线程上下文中,前端***Thread

    4. 泛型类型参数T对应于Future::Output关联类型 —— 代表了Future就绪后输出值的数据类型

  2. ***DeferredFuture<T>实例抽取出defer属性值

    1. 被用来Wake up处于Pending状态***DeferredFuture<T>实例的complete(T)成员方法就隶属于此defer对象。

    2. 在单线程上下文中,deferRc<RefCell<T>>的引用计数·智能指针

    3. 在多线程上下文中,deferArc<Mutex<T>>的原子加锁引用计数·智能指针

  3. defer对象克隆后甩到(另)一个异步任务Task块中去。

    1. 在异步块内,调用defercomplete(T)成员方法。

    2. 在单线程上下文中,defer对象需被可修改借入defer.borrow_mut()

    3. 在多线程上下文中,需要先成功地获取线程同步锁defer.lock().unwrap()

  4. 在当前执行上下文,阻塞等待***DeferredFuture<T>实例就绪和返回结果。

    1. 就单线程而言,当前执行上下文即是“主线程”,和同步阻塞主线程。

    2. 就多线程而言,当前执行上下文就是“父异步块”,和异步阻塞上一级异步块。

下面仔细看代码例程。请特别留意注释说明。

单线程

use ::deferred_future::LocalDeferredFuture;
use ::futures::{future, executor::LocalPool, task::LocalSpawnExt};
use ::futures_time::{prelude::*, time::Duration};
use ::std::time::Instant;
// (1) 构造·形似 jQuery.Deferred() 的 trait FusedFuture 实现例类实例。
//     - 注意:泛型类型参数 —— `Future::Output`输出值类型是字符串。
let deferred_future = LocalDeferredFuture::default();
// (2) 取出它的 defer 实例。
let defer = deferred_future.defer();
// (3) 发起一个异步任务。在 2 秒钟后,填入`Future::Output`输出值。
let mut executor = LocalPool::new();
executor.spawner().spawn_local(async move {future::ready(()).delay(Duration::from_secs(2_u64)).await;// (3.1) 在异步块内,调用`defer`的`complete(T)`成员方法。defer.borrow_mut().complete("2秒钟后才被延迟填入的消息".to_string());
}).unwrap();
// (4) 同步阻塞主线程等待 #3 的异步任务执行结果,和抽取出`Future::Output`输出值。
let start = Instant::now();
let message = executor.run_until(deferred_future); // (4.1) 会造成主线程的同步阻塞
let end = Instant::now();
let elapse = end.duration_since(start).as_secs();
println!("为了收到消息<{}>,主协程先后等待了 {} 秒", message, elapse);

从命令行,执行命令cargo.exe run --example local-usage可直接运行此例程。

多线程

use ::deferred_future::ThreadDeferredFuture;
use ::futures::{future, executor::{block_on, ThreadPool}, task::SpawnExt};
use ::futures_time::{prelude::*, time::Duration};
use ::std::{error::Error, sync::PoisonError, time::Instant};
block_on(async move {// (1) 构造·形似 jQuery.Deferred() 的 trait FusedFuture 实现类实例。//     - 注意:泛型类型参数 —— `Future::Output`输出值类型是字符串。//     - String 是 Send + Sync 的数据类型,和支持跨线程传递的。let deferred_future = ThreadDeferredFuture::default();// (2) 取出它的 defer 实例。let defer = deferred_future.defer();// (3) 发起一个异步任务。在 1 秒钟后,填入`Future::Output`输出值。ThreadPool::new()?.spawn(async move {future::ready(()).delay(Duration::from_secs(1_u64)).await;// (3.1) 在异步块内,调用`defer`的`complete(T)`成员方法。let mut defer = defer.lock().unwrap_or_else(PoisonError::into_inner);defer.complete("1秒钟后才被延迟填入的消息".to_string());})?;// (4) 异步阻塞当前 Task 等待 #3 的异步任务执行结果,和抽取出`Future::Output`输出值。let start = Instant::now();let message = deferred_future.await; // (4.1) 会造成上一级异步块的异步阻塞let end = Instant::now();let elapse = end.duration_since(start).as_secs();println!("为了收到消息<{}>,主协程先后等待了 {} 秒", message, elapse);Ok(())
})?;

从命令行,执行命令cargo.exe run --example thread-usage可直接运行此例程。

WASM

use ::deferred_future::LocalDeferredFuture;
use ::wasm_gloo_dom_events::{EventStream, Options};
// (1) 构造·形似 jQuery.Deferred() 的 trait FusedFuture 实例类实例。
//     - 注意:泛型类型参数 —— `Future::Output`输出值类型是 u32。
let deferred_future = LocalDeferredFuture::default();
// (2) 取出它的 defer 实例。
let defer = deferred_future.defer();
// (3) 给按钮 DOM 元素添加一个鼠标单击事件。仅当按钮被单击时,才填入`Future::Output`输出值。
let _ = EventStream::on(&button, "click", Options::enable_prevent_default(true), move |event| {// (3.1) 在 DOM 事件处理函数内,调用`defer`的`complete(T)`成员方法。defer.borrow_mut().complete(12);future::ready(Ok(()))
});
wasm_bindgen_futures::spawn_local(async move {// (4) 异步阻塞当前 Task 等待 #3 的按钮点击事件的发生,和抽取出`Future::Output`输出值。let result = deferred_future.await;console::info!("DeferredFuture异步结果", result);
});

这篇关于【大家的项目】可 Deferred 就绪的 Future 实现类的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/299625

相关文章

Spring StateMachine实现状态机使用示例详解

《SpringStateMachine实现状态机使用示例详解》本文介绍SpringStateMachine实现状态机的步骤,包括依赖导入、枚举定义、状态转移规则配置、上下文管理及服务调用示例,重点解... 目录什么是状态机使用示例什么是状态机状态机是计算机科学中的​​核心建模工具​​,用于描述对象在其生命

Spring Boot 结合 WxJava 实现文章上传微信公众号草稿箱与群发

《SpringBoot结合WxJava实现文章上传微信公众号草稿箱与群发》本文将详细介绍如何使用SpringBoot框架结合WxJava开发工具包,实现文章上传到微信公众号草稿箱以及群发功能,... 目录一、项目环境准备1.1 开发环境1.2 微信公众号准备二、Spring Boot 项目搭建2.1 创建

IntelliJ IDEA2025创建SpringBoot项目的实现步骤

《IntelliJIDEA2025创建SpringBoot项目的实现步骤》本文主要介绍了IntelliJIDEA2025创建SpringBoot项目的实现步骤,文中通过示例代码介绍的非常详细,对大家... 目录一、创建 Spring Boot 项目1. 新建项目2. 基础配置3. 选择依赖4. 生成项目5.

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》:本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录

SpringBoot+EasyExcel实现自定义复杂样式导入导出

《SpringBoot+EasyExcel实现自定义复杂样式导入导出》这篇文章主要为大家详细介绍了SpringBoot如何结果EasyExcel实现自定义复杂样式导入导出功能,文中的示例代码讲解详细,... 目录安装处理自定义导出复杂场景1、列不固定,动态列2、动态下拉3、自定义锁定行/列,添加密码4、合并

mybatis执行insert返回id实现详解

《mybatis执行insert返回id实现详解》MyBatis插入操作默认返回受影响行数,需通过useGeneratedKeys+keyProperty或selectKey获取主键ID,确保主键为自... 目录 两种方式获取自增 ID:1. ​​useGeneratedKeys+keyProperty(推

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》:本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

Qt使用QSqlDatabase连接MySQL实现增删改查功能

《Qt使用QSqlDatabase连接MySQL实现增删改查功能》这篇文章主要为大家详细介绍了Qt如何使用QSqlDatabase连接MySQL实现增删改查功能,文中的示例代码讲解详细,感兴趣的小伙伴... 目录一、创建数据表二、连接mysql数据库三、封装成一个完整的轻量级 ORM 风格类3.1 表结构