- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
据我了解 yield
关键字,如果从迭代器 block 内部使用,它会将控制流返回给调用代码,并且当再次调用迭代器时,它会从中断的地方开始.
此外,await
不仅等待被调用者,而且还会将控制权返回给调用者,仅在调用者等待
方法时从中断处继续。
换句话说-- there is no thread ,而 async 和 await 的“并发”是巧妙的控制流造成的错觉,语法隐藏了细节。
现在,我以前是一名汇编程序员,我非常熟悉指令指针、堆栈等,并且我了解正常的控制流(子例程、递归、循环、分支)是如何工作的。但是这些新结构——我不明白。
当到达 await
时,运行时如何知道接下来应该执行哪一段代码?它怎么知道什么时候可以从中断的地方继续,又怎么记得在哪里?当前调用堆栈发生了什么,它是否以某种方式被保存?如果调用方法在 await
之前进行其他方法调用怎么办——为什么堆栈没有被覆盖?在出现异常和堆栈展开的情况下,运行时究竟将如何处理所有这些问题?
当达到 yield
时,运行时如何跟踪应该拾取东西的点?迭代器状态是如何保存的?
最佳答案
我将在下面回答您的具体问题,但您最好阅读我关于我们如何设计 yield 和 await 的大量文章。
https://blogs.msdn.microsoft.com/ericlippert/tag/continuation-passing-style/
https://blogs.msdn.microsoft.com/ericlippert/tag/iterators/
https://blogs.msdn.microsoft.com/ericlippert/tag/async/
其中一些文章现在已经过时了;生成的代码在很多方面都不同。但这些肯定会让您了解它是如何工作的。
此外,如果您不了解如何将 lambda 生成为闭包类,请先了解这一点。如果没有 lambda 表达式,您就不会做出异步的正面或反面。
When an await is reached, how does the runtime know what piece of code should execute next?
await
生成为:
if (the task is not completed)
assign a delegate which executes the remainder of the method as the continuation of the task
return to the caller
else
execute the remainder of the method now
基本上就是这样。等待只是一个花哨的返回。
How does it know when it can resume where it left off, and how does it remember where?
好吧,你如何不等待?当方法 foo 调用方法 bar 时,我们会以某种方式记住如何返回到 foo 的中间,无论 bar 做什么,foo 激活的所有局部都完好无损。
您知道在汇编程序中是如何完成的。 foo 的激活记录被压入堆栈;它包含本地人的值(value)观。在调用时,foo 中的返回地址被压入堆栈。当 bar 完成时,堆栈指针和指令指针被重置到它们需要的位置,而 foo 继续从它停止的地方开始。
await 的延续是完全相同的,除了记录被放到堆上,原因很明显激活序列不形成堆栈。
await 作为任务的延续给出的委托(delegate)包含 (1) 一个数字,它是查找表的输入,它给出了您接下来需要执行的指令指针,以及 (2) locals 和临时工。
里面还有一些额外的装备;例如,在 .NET 中,分支到 try block 的中间是非法的,因此您不能简单地将 try block 内的代码地址粘贴到表中。但这些是簿记细节。从概念上讲,激活记录只是简单地移动到堆上。
What happens to the current call stack, does it get saved somehow?
当前激活记录中的相关信息从不首先入栈;它从一开始就从堆中分配。 (好吧,形式参数通常在堆栈或寄存器中传递,然后在方法开始时复制到堆位置。)
不存储来电者的激活记录; await 可能会返回给他们,记住,所以他们会被正常处理。
请注意,这是 await 的简化延续传递样式与您在 Scheme 等语言中看到的真正的 call-with-current-continuation 结构之间的密切区别。在这些语言中,整个延续包括回到调用者的延续都被 call-cc 捕获。 .
What if the calling method makes other method calls before it awaits-- why doesn't the stack get overwritten?
那些方法调用返回,因此它们的激活记录在等待点不再位于堆栈中。
And how on earth would the runtime work its way through all this in the case of an exception and a stack unwind?
如果出现未捕获的异常,异常将被捕获并存储在任务中,并在获取任务结果时重新抛出。
还记得我之前提到的所有簿记吗?让我告诉你,获得正确的异常语义是一个巨大的痛苦。
When yield is reached, how does the runtime keep track of the point where things should be picked up? How is iterator state preserved?
同理。局部变量的状态被移动到堆上,一个数字表示 MoveNext
下次调用时应该恢复的指令与局部变量一起存储。
再一次,迭代器 block 中有一堆工具来确保正确处理异常。
关于c# - .NET 中 yield 和 await 如何实现控制流?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45791951/
背景: 我最近一直在使用 JPA,我为相当大的关系数据库项目生成持久层的轻松程度给我留下了深刻的印象。 我们公司使用大量非 SQL 数据库,特别是面向列的数据库。我对可能对这些数据库使用 JPA 有一
我已经在我的 maven pom 中添加了这些构建配置,因为我希望将 Apache Solr 依赖项与 Jar 捆绑在一起。否则我得到了 SolarServerException: ClassNotF
interface ITurtle { void Fight(); void EatPizza(); } interface ILeonardo : ITurtle {
我希望可用于 Java 的对象/关系映射 (ORM) 工具之一能够满足这些要求: 使用 JPA 或 native SQL 查询获取大量行并将其作为实体对象返回。 允许在行(实体)中进行迭代,并在对当前
好像没有,因为我有实现From for 的代码, 我可以转换 A到 B与 .into() , 但同样的事情不适用于 Vec .into()一个Vec . 要么我搞砸了阻止实现派生的事情,要么这不应该发
在 C# 中,如果 A 实现 IX 并且 B 继承自 A ,是否必然遵循 B 实现 IX?如果是,是因为 LSP 吗?之间有什么区别吗: 1. Interface IX; Class A : IX;
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我正在阅读标准haskell库的(^)的实现代码: (^) :: (Num a, Integral b) => a -> b -> a x0 ^ y0 | y0 a -> b ->a expo x0
我将把国际象棋游戏表示为 C++ 结构。我认为,最好的选择是树结构(因为在每个深度我们都有几个可能的移动)。 这是一个好的方法吗? struct TreeElement{ SomeMoveType
我正在为用户名数据库实现字符串匹配算法。我的方法采用现有的用户名数据库和用户想要的新用户名,然后检查用户名是否已被占用。如果采用该方法,则该方法应该返回带有数据库中未采用的数字的用户名。 例子: “贾
我正在尝试实现 Breadth-first search algorithm , 为了找到两个顶点之间的最短距离。我开发了一个 Queue 对象来保存和检索对象,并且我有一个二维数组来保存两个给定顶点
我目前正在 ika 中开发我的 Python 游戏,它使用 python 2.5 我决定为 AI 使用 A* 寻路。然而,我发现它对我的需要来说太慢了(3-4 个敌人可能会落后于游戏,但我想供应 4-
我正在寻找 Kademlia 的开源实现C/C++ 中的分布式哈希表。它必须是轻量级和跨平台的(win/linux/mac)。 它必须能够将信息发布到 DHT 并检索它。 最佳答案 OpenDHT是
我在一本书中读到这一行:-“当我们要求 C++ 实现运行程序时,它会通过调用此函数来实现。” 而且我想知道“C++ 实现”是什么意思或具体是什么。帮忙!? 最佳答案 “C++ 实现”是指编译器加上链接
我正在尝试使用分支定界的 C++ 实现这个背包问题。此网站上有一个 Java 版本:Implementing branch and bound for knapsack 我试图让我的 C++ 版本打印
在很多情况下,我需要在 C# 中访问合适的哈希算法,从重写 GetHashCode 到对数据执行快速比较/查找。 我发现 FNV 哈希是一种非常简单/好/快速的哈希算法。但是,我从未见过 C# 实现的
目录 LRU缓存替换策略 核心思想 不适用场景 算法基本实现 算法优化
1. 绪论 在前面文章中提到 空间直角坐标系相互转换 ,测绘坐标转换时,一般涉及到的情况是:两个直角坐标系的小角度转换。这个就是我们经常在测绘数据处理中,WGS-84坐标系、54北京坐标系
在软件开发过程中,有时候我们需要定时地检查数据库中的数据,并在发现新增数据时触发一个动作。为了实现这个需求,我们在 .Net 7 下进行一次简单的演示. PeriodicTimer .
二分查找 二分查找算法,说白了就是在有序的数组里面给予一个存在数组里面的值key,然后将其先和数组中间的比较,如果key大于中间值,进行下一次mid后面的比较,直到找到相等的,就可以得到它的位置。
我是一名优秀的程序员,十分优秀!