【大家的项目】可 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

相关文章

C++中unordered_set哈希集合的实现

《C++中unordered_set哈希集合的实现》std::unordered_set是C++标准库中的无序关联容器,基于哈希表实现,具有元素唯一性和无序性特点,本文就来详细的介绍一下unorder... 目录一、概述二、头文件与命名空间三、常用方法与示例1. 构造与析构2. 迭代器与遍历3. 容量相关4

C++中悬垂引用(Dangling Reference) 的实现

《C++中悬垂引用(DanglingReference)的实现》C++中的悬垂引用指引用绑定的对象被销毁后引用仍存在的情况,会导致访问无效内存,下面就来详细的介绍一下产生的原因以及如何避免,感兴趣... 目录悬垂引用的产生原因1. 引用绑定到局部变量,变量超出作用域后销毁2. 引用绑定到动态分配的对象,对象

SpringBoot基于注解实现数据库字段回填的完整方案

《SpringBoot基于注解实现数据库字段回填的完整方案》这篇文章主要为大家详细介绍了SpringBoot如何基于注解实现数据库字段回填的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以了解... 目录数据库表pom.XMLRelationFieldRelationFieldMapping基础的一些代

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

Java AOP面向切面编程的概念和实现方式

《JavaAOP面向切面编程的概念和实现方式》AOP是面向切面编程,通过动态代理将横切关注点(如日志、事务)与核心业务逻辑分离,提升代码复用性和可维护性,本文给大家介绍JavaAOP面向切面编程的概... 目录一、AOP 是什么?二、AOP 的核心概念与实现方式核心概念实现方式三、Spring AOP 的关

vite搭建vue3项目的搭建步骤

《vite搭建vue3项目的搭建步骤》本文主要介绍了vite搭建vue3项目的搭建步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学... 目录1.确保Nodejs环境2.使用vite-cli工具3.进入项目安装依赖1.确保Nodejs环境

Python实现字典转字符串的五种方法

《Python实现字典转字符串的五种方法》本文介绍了在Python中如何将字典数据结构转换为字符串格式的多种方法,首先可以通过内置的str()函数进行简单转换;其次利用ison.dumps()函数能够... 目录1、使用json模块的dumps方法:2、使用str方法:3、使用循环和字符串拼接:4、使用字符

Linux下利用select实现串口数据读取过程

《Linux下利用select实现串口数据读取过程》文章介绍Linux中使用select、poll或epoll实现串口数据读取,通过I/O多路复用机制在数据到达时触发读取,避免持续轮询,示例代码展示设... 目录示例代码(使用select实现)代码解释总结在 linux 系统里,我们可以借助 select、

Linux挂载linux/Windows共享目录实现方式

《Linux挂载linux/Windows共享目录实现方式》:本文主要介绍Linux挂载linux/Windows共享目录实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录文件共享协议linux环境作为服务端(NFS)在服务器端安装 NFS创建要共享的目录修改 NFS 配

通过React实现页面的无限滚动效果

《通过React实现页面的无限滚动效果》今天我们来聊聊无限滚动这个现代Web开发中不可或缺的技术,无论你是刷微博、逛知乎还是看脚本,无限滚动都已经渗透到我们日常的浏览体验中,那么,如何优雅地实现它呢?... 目录1. 早期的解决方案2. 交叉观察者:IntersectionObserver2.1 Inter