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

相关文章

Java中数组转换为列表的两种实现方式(超简单)

《Java中数组转换为列表的两种实现方式(超简单)》本文介绍了在Java中将数组转换为列表的两种常见方法使用Arrays.asList和Java8的StreamAPI,Arrays.asList方法简... 目录1. 使用Java Collections框架(Arrays.asList)1.1 示例代码1.

Redis实现RBAC权限管理

《Redis实现RBAC权限管理》本文主要介绍了Redis实现RBAC权限管理,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1. 什么是 RBAC?2. 为什么使用 Redis 实现 RBAC?3. 设计 RBAC 数据结构

SpringBoot基于沙箱环境实现支付宝支付教程

《SpringBoot基于沙箱环境实现支付宝支付教程》本文介绍了如何使用支付宝沙箱环境进行开发测试,包括沙箱环境的介绍、准备步骤、在SpringBoot项目中结合支付宝沙箱进行支付接口的实现与测试... 目录一、支付宝沙箱环境介绍二、沙箱环境准备2.1 注册入驻支付宝开放平台2.2 配置沙箱环境2.3 沙箱

Nginx实现高并发的项目实践

《Nginx实现高并发的项目实践》本文主要介绍了Nginx实现高并发的项目实践,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录使用最新稳定版本的Nginx合理配置工作进程(workers)配置工作进程连接数(worker_co

python中列表list切分的实现

《python中列表list切分的实现》列表是Python中最常用的数据结构之一,经常需要对列表进行切分操作,本文主要介绍了python中列表list切分的实现,文中通过示例代码介绍的非常详细,对大家... 目录一、列表切片的基本用法1.1 基本切片操作1.2 切片的负索引1.3 切片的省略二、列表切分的高

基于Python实现一个PDF特殊字体提取工具

《基于Python实现一个PDF特殊字体提取工具》在PDF文档处理场景中,我们常常需要针对特定格式的文本内容进行提取分析,本文介绍的PDF特殊字体提取器是一款基于Python开发的桌面应用程序感兴趣的... 目录一、应用背景与功能概述二、技术架构与核心组件2.1 技术选型2.2 系统架构三、核心功能实现解析

使用Python实现表格字段智能去重

《使用Python实现表格字段智能去重》在数据分析和处理过程中,数据清洗是一个至关重要的步骤,其中字段去重是一个常见且关键的任务,下面我们看看如何使用Python进行表格字段智能去重吧... 目录一、引言二、数据重复问题的常见场景与影响三、python在数据清洗中的优势四、基于Python的表格字段智能去重

Spring AI集成DeepSeek实现流式输出的操作方法

《SpringAI集成DeepSeek实现流式输出的操作方法》本文介绍了如何在SpringBoot中使用Sse(Server-SentEvents)技术实现流式输出,后端使用SpringMVC中的S... 目录一、后端代码二、前端代码三、运行项目小天有话说题外话参考资料前面一篇文章我们实现了《Spring

Nginx中location实现多条件匹配的方法详解

《Nginx中location实现多条件匹配的方法详解》在Nginx中,location指令用于匹配请求的URI,虽然location本身是基于单一匹配规则的,但可以通过多种方式实现多个条件的匹配逻辑... 目录1. 概述2. 实现多条件匹配的方式2.1 使用多个 location 块2.2 使用正则表达式

使用Apache POI在Java中实现Excel单元格的合并

《使用ApachePOI在Java中实现Excel单元格的合并》在日常工作中,Excel是一个不可或缺的工具,尤其是在处理大量数据时,本文将介绍如何使用ApachePOI库在Java中实现Excel... 目录工具类介绍工具类代码调用示例依赖配置总结在日常工作中,Excel 是一个不可或缺的工http://