嘛，往回看啥也没干，写写计划。 卡皮巴拉补一点纯迁移TLS的性能实验。这部分工作量的主要挑战是要把TLSe绑定到Rust侧，活好做就是容易有坑，希望不要有什么坑。 看了一下WebGPU Fundamentals，好像还行，就是得写JavaScript了。去MDN上看看文档找找感觉先。 EuroSys’25 Fall的shadow PC终于活了，今天要把所有论文过一遍给出评审偏好。 今...

关于epoll的性能测试想了想但是没太想清楚怎么写，要不还是先放放吧。 MonoGame也看了一下。它看起来可能也没用Vulkan是小事，主要是它好像把图形层封装得太彻底了。做太多事情了捏。还是再找一个能让我手动控制更多底层的方案吧。 总之先把DSLabs做完，TLA+不会写也先把环境搭了。DSLabs之后还想给上游做点更新的，要抓紧了。 还要规划下行程。今天雨停了的话去游泳。还要练琴...

卡皮巴拉方面开始进入待命状态。 本以为忙完了会睡得香，然而也没有。入睡缓慢中间还醒了些许时候。起来一看𝒦睡得更糟糕，大概是昨天黄历写着不宜睡觉。 想了一小天怎么做游戏。不用Rust（不擅长的领域）不用C++（内存不安全）不用Python（性能太差）不用Go（GC太差）。LWJGL虽然有情怀但是看起来只支持OpenGL，这玩意已经死了还是不要学了。在看MonoGame，先看着吧。 要把之...

换了个字体和高亮主题。 亮色主题的inlay hints颜色太突兀了，改浅了些 "workbench.colorCustomizations": { "[Maple Light]": { "editorInlayHint.background": "#ccc" } } 没有用搭配的中文字体。严格2:1对应是挺整齐的，但还是有点太散了。

昨天没有把跑在TLSe上的Redis鼓捣出来，今天继续。 似乎想到了知道在某个地方加上一个tls_write(..)就好了，但是还是等下再试。在等什么呢？等待戈多（ 昨天和ℒ开了一个毫无准备的会，也是预料之中的没啥成果，落寞的二人结束了无果而终的会议.jpg 期间试图重新理清我想做个什么样的项目。理得也不是很清。 最后ℒ提到可以做个形式化验证的EVM。是个很靠谱的主意，就是很难不被别...

昨天搞定了一个基于TLSe的迁移测试样例。没出什么大的幺蛾子，非常争气。 今天看了一眼ℒ调整了字句的论文草稿。完全是字眼层面的调整，理顺了一些。他也没有抛出什么问题留给我。 今天尝试了一下关于如何处理Redis的新设想，看起来大概是行得通的。 先带着（基于OpenSSL的）TLS支持编译一份redis-cli（当然实际跑实验用什么是另一码事，我只需要演示用的客户端），然后来到另一份Re...

上个周末和今天的主要工作内容是摸一个基于epoll的简易服务器出来（当然，要用C写）。理论上这玩意不是非要自己写一遍，但是一来在网上找了一圈没有特别合适的，二来也算是帮助自己进入状态一种途径。 今天预计把它的迁移做出来。如果顺利的话还可以把TLS的迁移也做一下。 一个相对符合我偏好的代码风格的ClangFormat极简配置 --- Language: C...

从前设计代码逻辑很慢，内核文档很远，一生只够写一个程序。 静下心来写卡皮巴拉的这几天，最大的感受就是产出速率显著低于印象中的水平。 这更多的不是从结果上的衡量，而是写代码过程中的节奏让人感觉很慢。让人有种，每行代码都写得慎之又慎的感觉。 如果说印象中写代码的感觉就像在高速上巡航，那么这几天的感觉就像是在高峰期堵车，走一步停一下。 高速虽然开的快，但是会有错过出口又要重走一遍的风险。...

今天一直在忙卡皮巴拉，as expected。 我决定在网络共享家目录下放一个装满配置脚本的「控制面」目录，然后直接执行所需的命令不要借助卡皮巴拉中的Makefile。这一方面是因为基于这些Makefile的方案实在舍近求远，另一方面在卡皮巴拉目录下控制父目录下别的文件夹属实有点屎山了。 脚本都写的差不多了，顺便（也许是又一次）解决了一个经年累月的烦恼。 复制文件的命令有两种选择 ...

晚上了，不太想干接下来该干的整理工作流脚本的活，写点字吧。 卡皮巴拉，或者说它所基于的那个版本的Demikernel，其协议栈抽象是一个自底而上层层嵌套的结构。每一层的协议栈称之为一个老哥（peer）。协议栈结构体包含了一个IP老哥，IP老哥结构体包含了一个TCP老哥和一个UDP老哥。卡皮巴拉则更进一步，TCP老哥当中包含了一个TCP迁移老哥。 写到这个去看了一眼最新版本的Demi...