- r - 以节省内存的方式增长 data.frame
- ruby-on-rails - ruby/ruby on rails 内存泄漏检测
- android - 无法解析导入android.support.v7.app
- UNIX 域套接字与共享内存(映射文件)
据我了解 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/42287737/
大家好,我完成了这个基本的 C 程序,它向输入任何给定数字集的用户显示有序集、最小值、最大值、平均值和中值。我遇到的问题是,当我打印数字时,我必须使用诸如“3.2%f”之类的东西来设置标准的精度,我怎
我有这个基于 Python 的服务守护进程,它正在执行大量多路复用 IO(选择)。 从另一个脚本(也是 Python)我想查询这个服务守护进程的状态/信息和/或控制处理(例如暂停它、关闭它、更改一些参
我读到 Fortran 对表达式求值的顺序有严格的规则。对于某些数值算法来说,这一点非常重要。 数值 C 程序如何控制浮点运算的顺序并防止编译器“优化”到不需要的运算顺序,例如将 (a*b)*c 更改
上下文: 整个问题可以概括为我正在尝试复制调用system(或fork)的行为,但在 mpi 环境中。 (事实证明,你不能并行调用system。)这意味着我有一个程序在许多节点上运行,每个节点上有一个
我考虑过控制scanf来接受c中的任何输入。我的概念是等待10秒(或任何其他时间)来接受任何输入。10秒后它将退出并且不再接收任何输入。 int main(){ int a,b,c,d; sca
我正在尝试使用生成器停止 setTimeOut 上的执行流程。我究竟做错了什么?我无法让 console.log 每 1500 毫秒退出一次。我是 node 的新手,如果我在做一件非常愚蠢的事情,请不
我希望我的应用程序的 Activity 堆栈包含同一 Activity 的多个实例,每个实例处理不同的数据。因此,我将让 Activity A 在我的 Activity 堆栈中处理数据 a、b、c 和
我有这个 bash 文件,它向设备询问 OpenSSH 的 IP、密码等。 现在,如果我使用 ssh root@ip,我必须输入密码。这真的很烦人。第二;我不能让我的脚本向它发送命令。 这就是我想要的
我正在尝试测试我有权访问的机器的缓存属性。为此,我正在尝试读取内存并对其计时。我改变工作集大小和步幅访问模式以获得不同的测量值。 代码如下所示: clock1 = get_ticks() for (i
我正在尝试编写一个 makefile 来替换用于构建相当大的应用程序的脚本之一。 当前脚本一次编译一个文件,使用 make 的主要原因是并行化构建过程。使用 make -j 16 我目前在办公室服务器
我正在制作一个小的测试程序,它演示了一个粗糙的控制台界面。 该程序是一个低于标准的典型获取行、响应程序,它甚至不识别“退出”,并希望您通过按 control-c 强制退出。在 Mingw32 上完成。
好的,我有一个 VOIP 电话。我知道电话的 IP 地址和端口,并且可以完全访问电话,我正在使用它通过 SIP 中继调用 SIP 电话。 我基本上想随时查看手机上发生的事情,但我不知道从哪里开始。 如
是否可以指定 CWinApp::WriteProfileString() 使用的应用程序名称? 如果我使用 CWinApp::SetRegistryKey 将我的公司名称设置为“MyCompany”,
我正在尝试用 Python 控制 Tor。我在 stackoverflow 上阅读了其他几个关于这个主题的问题,但没有一个能回答这个问题。 我正在寻找一种方法,以便在命令运行时为您提供“新身份”、新
最近在做一个项目,涉及到iPhone设备和手表传输数据、控制彼此界面跳转,在网上找了很多资料,发现国内的网站这方面介绍的不多,而国外的网站写的也不是很全,所以在这写这篇文章,给大家参考一下,望大神指
我想增加图中值的范围。在示例中,值的范围从 50 到 200。但是,我需要按如下方式分配值:50 75 100 125 150 175 200 并且最好使用 scale_fill_gradientn
我有一个IconButton,当按下时波纹效果是圆形的并且比按钮的面积大,我怎样才能减少点击按钮时波纹效果的大小? IconButton( constraints
我正在使用代码契约(Contract)为我的项目生成附属程序集。基本上它为项目的 MyAssembly.dll 创建一个 MyAssembly.Contracts.dll。这应该放在你的程序集旁边,但
我想使用分面绘制图形,其中面板之间的边缘不同。面板按字母顺序自动排序(按照 ggplot 中的惯例)。一个简单的例子: library(igraph) library(ggraph) g <- mak
我想为我的 Android 应用程序创建一个小部件,以显示有关位置的一些实时详细信息,例如天气。但我想在任何时候允许最多 3 个小部件实例,每个实例都有不同的位置。我不确定该怎么做,也找不到任何信息。
我是一名优秀的程序员,十分优秀!