【Rust日报】 2019-05-29:异步await语法最终确定

2024-06-23 01:18

本文主要是介绍【Rust日报】 2019-05-29:异步await语法最终确定,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

orkhon: 机器学习框架和运行时

#Python #ml

Orkhon是用于机器学习的Rust框架,用于运行/使用用Python编写的推理/预测代码,冻结模型和处理未知(unseen)数据。

orkhon

「异步系列文章」Part 2: Async/Await语法之外的挑战 : 取消(Cancellation)

#async #await

在这篇文章里,作者讨论了如果在应用中取消正在进行的异步任务,这非常有用,主要是因为对它们的结果不再有任何兴趣,所以继续操作就会成为资源占用。比如在超时范围内没有收到响应并且应该将错误发送回用户,则应该取消子操作。

先来看看在同步中如何取消任务:

例如

在C#中,使用CancellationToken类型的变量传递给每个方法,该方法是可取消工作流的一部分。这些方法可以不时地检查CancellationToken.IsCancellationRequested,以便发现父任务是否已请求取消。在这种情况下,子任务可以提前返回(例如通过抛出异常)。

其他语言是这种方法的变体:

Go使用Context结构将取消请求传播到子任务。在Go中,取消请求通过Channel发出信号,因为它可以轻松地使程序等待取消请求或来自其他来源的状态更新。

Java利用线程局部中断状态。如果一个线程获得.interrupted(),那么如果不处理异常,某些操作将抛出并强制返回子任务。这可以被视为某种线程局部的CancellationToken,它在方法之间没有明确地传递。它具有不能在异步上下文中使用的缺点。

这些行为具有一组特定的共性:

  • 取消始终只是通过取消请求来完成,它无法执行,即使请求已发出,子进程也可能运行一段时间。
  • 所有方法都可以观察是否发生了取消,如果子方法受到影响,并且能够对其做出反应

在async/await异步中如何取消:

Rust之外的语言,和同步取消任务的模式类似:

  • 通过专用参数或隐式任务本地参数请求取消
  • 需要方法来观察取消状态。
  • 即使取消后,异步方法也会完成。

比如,C# async Tasks通过CancellationToken发出取消信号。许多.NET core框架函数支持此参数以传播取消请求。Kotlin协程标准库识别取消请求并允许操作在取消时提前中止。Javascript没有取消的标准化类型,由于异步Javascript函数将始终运行完成,因此该机制还需要遵循上述所描述的模式。C++协程可以使用cppcoro库中定义的CancellationToken。

Rust对Cancellation的支持与其他支持async/await的语言有所不同。

  • 只需删除表示异步操作的Future即可触发取消
  • 不需要方法来转发取消请求或取消能力(例如,通过传递CancellationToken)
  • 取消是同步的 - 因为drop()是同步的
  • 取消不包括单独的取消请求并等待操作完成的步骤。只有一个取消/删除步骤。
  • 取消被强制执行 - 子方法不能忽视或推迟取消

这些特性有优点也有缺点:

  • 取消任务将变得简单
  • 主要缺点是底层操作必须支持同步取消,比如处理操作系统底层IO的时候,会比较麻烦。但该文章中也给出了一些解决办法。

更多内容请查看原文。

  • Read More
  • 文章列表

异步await语法最终确定

#await

官方核心成员无船大佬在博客上披露,异步await语法的最终提议是继续推进后缀关键字语法: future.await。另外无船大佬还针对Rust语言设计给出了两点说明:

  1. Rust语言很少有绝对的情况出现。除了一些必须要做的事,比如类型系统必须健壮之外,其他绝大多数的问题都是权衡问题。也就是说,需要权衡不同种类的方案,选择团队认为优先的道路。这样做必然会带来很多正面或负面的想法,所以我们需要避免非黑即白的二分思想。
  2. 点关键字,只是一个方案的草图,并不带有某种角度的暗示或保证。它仍然需要走RFC流程。
  3. 引入@await语法,也是因为权衡成本的问题,因为引入新的符号会带来成本。

下一步:

准备在Rust 1.37稳定版中引入async/await的最小稳定化版本, 1.37将于8月中旬发布,并于7月4日发布。这不会是async/await功能的结束 - 最小功能将会有很多扩展 - 但对于每个想要使用Rust进行高性能网络服务的人来说,这将是一个重要的里程碑。

Read More


metrics: 高性能metrics库

#metrics

基于trait抽象,提供稳定API,支持Prometheus

metrics


Rust Audio论坛 - 讨论和询问有关Rust中音频开发的问题的地方

#audio

Read More


leg: 用于美化命令行输出的库

#cli

img

leg


From 日报小组 @Chaos

日报订阅地址:

独立日报订阅地址:

  • Telgram Channel
  • 阿里云语雀订阅
  • Steemit
  • GitHub

社区学习交流平台订阅:

  • Rust.cc论坛: 支持rss
  • Rust Force: 支持rss
  • 微信公众号:Rust语言学习交流

这篇关于【Rust日报】 2019-05-29:异步await语法最终确定的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

BUUCTF靶场[web][极客大挑战 2019]Http、[HCTF 2018]admin

目录   [web][极客大挑战 2019]Http 考点:Referer协议、UA协议、X-Forwarded-For协议 [web][HCTF 2018]admin 考点:弱密码字典爆破 四种方法:   [web][极客大挑战 2019]Http 考点:Referer协议、UA协议、X-Forwarded-For协议 访问环境 老规矩,我们先查看源代码

Codeforces Beta Round #47 C凸包 (最终写法)

题意慢慢看。 typedef long long LL ;int cmp(double x){if(fabs(x) < 1e-8) return 0 ;return x > 0 ? 1 : -1 ;}struct point{double x , y ;point(){}point(double _x , double _y):x(_x) , y(_y){}point op

如何确定 Go 语言中 HTTP 连接池的最佳参数?

确定 Go 语言中 HTTP 连接池的最佳参数可以通过以下几种方式: 一、分析应用场景和需求 并发请求量: 确定应用程序在特定时间段内可能同时发起的 HTTP 请求数量。如果并发请求量很高,需要设置较大的连接池参数以满足需求。例如,对于一个高并发的 Web 服务,可能同时有数百个请求在处理,此时需要较大的连接池大小。可以通过压力测试工具模拟高并发场景,观察系统在不同并发请求下的性能表现,从而

忽略某些文件 —— Git 学习笔记 05

忽略某些文件 忽略某些文件 通过.gitignore文件其他规则源如何选择规则源参考资料 对于某些文件,我们不希望把它们纳入 Git 的管理,也不希望它们总出现在未跟踪文件列表。通常它们都是些自动生成的文件,比如日志文件、编译过程中创建的临时文件等。 通过.gitignore文件 假设我们要忽略 lib.a 文件,那我们可以在 lib.a 所在目录下创建一个名为 .gi

【Rust练习】12.枚举

练习题来自:https://practice-zh.course.rs/compound-types/enum.html 1 // 修复错误enum Number {Zero,One,Two,}enum Number1 {Zero = 0,One,Two,}// C语言风格的枚举定义enum Number2 {Zero = 0.0,One = 1.0,Two = 2.0,}fn m

js异步提交form表单的解决方案

1.定义异步提交表单的方法 (通用方法) /*** 异步提交form表单* @param options {form:form表单元素,success:执行成功后处理函数}* <span style="color:#ff0000;"><strong>@注意 后台接收参数要解码否则中文会导致乱码 如:URLDecoder.decode(param,"UTF-8")</strong></span>

linux中使用rust语言在不同进程之间通信

第一种:使用mmap映射相同文件 fn main() {let pid = std::process::id();println!(

C++语法知识点合集:11.模板

文章目录 一、非类型模板参数1.非类型模板参数的基本形式2.指针作为非类型模板参数3.引用作为非类型模板参数4.非类型模板参数的限制和陷阱:5.几个问题 二、模板的特化1.概念2.函数模板特化3.类模板特化(1)全特化(2)偏特化(3)类模板特化应用示例 三、模板分离编译1.概念2.模板的分离编译 模版总结 一、非类型模板参数 模板参数分类类型形参与非类型形参 非类型模板

Java基础回顾系列-第一天-基本语法

基本语法 Java基础回顾系列-第一天-基本语法基础常识人机交互方式常用的DOS命令什么是计算机语言(编程语言) Java语言简介Java程序运行机制Java虚拟机(Java Virtual Machine)垃圾收集机制(Garbage Collection) Java语言的特点面向对象健壮性跨平台性 编写第一个Java程序什么是JDK, JRE下载及安装 JDK配置环境变量 pathHe

第二十四章 rust中的运算符重载

注意 本系列文章已升级、转移至我的自建站点中,本章原文为:rust中的运算符重载 目录 注意一、前言二、基本使用三、常用运算符四、通用约束 一、前言 C/C++中有运算符重载这一概念,它的目的是让即使含不相干的内容也能通过我们自定义的方法进行运算符操作运算。 比如字符串本身是不能相加的,但由于C++中的String重载了运算符+,所以我们就可以将两个字符串进行相加、但实际