Calling Functions
最近一直没空学些东西,这两天看了Calling Functions: A Tutorial这个演讲,它详尽的阐述了在函数调用时,编译器如何选择了正确的函数。从这个视角,能把很多概念串联起来(或者说能把一些常见写法和对应的术语对应起来),也能理解这个过程中背后设计的思想。
最近一直没空学些东西,这两天看了Calling Functions: A Tutorial这个演讲,它详尽的阐述了在函数调用时,编译器如何选择了正确的函数。从这个视角,能把很多概念串联起来(或者说能把一些常见写法和对应的术语对应起来),也能理解这个过程中背后设计的思想。
坑越挖越深,这一篇看下Coroutine和C++26引入的Sender。
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在今年的版本,引入了新的实验性功能二级索引,这两天花了点时间看了看相关实现,整体功能还不是非常强大,只能算搭好了一个架子,为之后的扩展留下了一些空间。