Deciphering C++ Coroutines, part 5
coroutine简化了异步代码的编写难度,但在debug时,却无法还原协程之间的异步调用链。这一篇我们研究下folly::AsyncStackFrame是如何记录协程之间的调用关系的。注意本文中所说的“协程“,如无特殊说明,都是指代folly::coro::Task。
coroutine简化了异步代码的编写难度,但在debug时,却无法还原协程之间的异步调用链。这一篇我们研究下folly::AsyncStackFrame是如何记录协程之间的调用关系的。注意本文中所说的“协程“,如无特殊说明,都是指代folly::coro::Task。
本来想直接介绍folly::coro::Task的,但鉴于上一篇展示了太多的”术”,这一片会从宏观视角,理解一个通过协程实现的异步任务,到底需要实现什么东西,以及为什么需要这么实现,所谓“道”。在此基础上,可能会穿插一些folly::coro::Task的内容。这篇很多内容都是总结于这个演讲,也可以看这个更详尽的...
Asymmetric transfer vs Symmetric transfer.
这篇会继续从promise_type的视角,更完整的介绍编译器是如何把协程转换成一个固定的三段式代码,以及promise_type是如何自定义了协程的行为。好在有了上一篇对相关概念的介绍,我们终于可以通过demo来研究其中的奥秘了。
每次看协程的相关介绍,总是被各种繁杂的概念所困扰,之前也尝试过梳理一次,效果也很一般。这次花了不少时间系统的学习了一下,希望能加深一下印象。其中不少的内容都来自于这个博客,但它罗列了过多的细节,缺少了一个全局视角。直到我前一阵子看到了这个演讲,才把各个概念串联起来,有了相对清晰的理解。希望对各位有所帮助。
结合CppCon2015的演讲Intro to the C++ Object Model,从汇编的视角再理解一下C++对象模型。我的环境是Linux和gcc 13.3。
最近调查我们测试环境的RocksDB WAL出现了大量积压,研究了下RocksDB文件清理的相关逻辑。我们使用的版本为7.8.3。
RocksDB在今年的版本,引入了新的实验性功能二级索引,这两天花了点时间看了看相关实现,整体功能还不是非常强大,只能算搭好了一个架子,为之后的扩展留下了一些空间。
在上一篇,我们已经了解了内核和ld.so在运行一个可执行文件中的作用,并且已经成功跳转到了可执行文件的入口_start。这一篇会继续探索,看看从_start开始最终怎么调用到main函数。
看了“The Bits Between the Bits: How We Get to main()”之后,本来想按图索骥再学习一遍,没想到在我的环境下已经完全没法复现,于是才有了这篇文章。