Welcome to the Black Parade

群友指出上一个 post 的底层逻辑是两将军问题，已证明不可解： https://en.wikipedia.org/wiki/Two_Generals%27_Problem 我去看了最原始的资料，后来的图灵奖得主 Jim Gray 在 1978 年 “Notes on Data Base Operating Systems” P465 介绍了这个问题，并顺手给出了一个费马递降法风格的反证：假设存在这样一种可靠的协议能建立共识，取这种协议里所需通信次数最小的那个协议，考虑它最后一个通信丢包的情况：既然协议保证在这种情况依然能建立共识，说明最后这次通信是多余的，于是我们得到一个更小通信次数的协议，和假设相悖，QED。 虽然完美协商不可能…

go 的 pprof 做得太好了，抬手就能查看 heap/stack/goroutine 内存消耗和调用栈，逃逸分析也有内置工具虽然很难用，更有 .gopclntab 这种开挂级别的 elf section 内置符号表，导致我一直陷入了 pprof 的淫趴无法自拔，直到这次在项目里遇到这样的情况，pprof/heap 显示堆内存 10M，goroutines 数量也很少，但是 cgroup v2 memory.current 里高达 50M，以上是这次推理海龟汤的汤面，本次推理是本格推理，请开始。 有好几个容易做错的点，第一是 pprof 查看堆内存要分别检查 gc 前后的结果，pprof/heap?gc=1，如果变化很大说明有很重…

cilium/ebpf 的 zero-copy ringbuf 终于合并了，测试在 64 字节消息传输时性能 x2.5，1024 字节消息性能 x5，喜，终于赶上隔壁 libbpf 和 aya-rs 😊 不过我最想吐槽的还是这期间糟糕的开源协作体验。我去年12月提交了第一版 RFC draft PR，以 florianl （点名表演）为首的维护者不断发起在我看来是 nitpicking 的 review comments，大部分都是只批评但不解决问题，偶尔提一个带方案的建设性意见也是顾头不顾尾，我立刻就用他自己的反对意见来反对他自己的方案，拉扯几轮之后我感到无聊了，就自己分叉 vendor 进我的项目了，谁爱改谁改。 我举两个例子…

抹茶发现 netfilter userspace library "libnftnl" 的 examples/nft-set-elem-add.c 跑不起来，看 syscall 也看不懂，毕竟 netlink msg 谁 ™ 能看懂？ 一起痛骂 “libnftnl 是什么垃圾” 和 “你的 7.2 内核太新了，新内核全是 bug 很合理” 之后，我也好奇起来了，netlink syscall 报错溯因对我来说也是个谜，正好学习一下，而且这周工作写文档太恶心了想裸奔。 经过一堆准备工作之后： 1. 修改代码让它变成一个“启动暂停、 ctrl-c 继续运行” 的两阶段程序，延长进程生命方便我用 pid 过滤事件 2. 下载 linux-…

惊呆了，你们金融公司用的编程语言一个比一个不正常，我在十多年前非洲学过 APL 家族的 J 语言，所以一眼认出这是 APL 家族的 Q 语言，给大家感受一下这种函数式面向数组语言是怎么写递归阶乘的： {$[x=0;1;x*.z.s[x-1]]} 数组是第一公民数据结构： q)dict:`items`sales`prices!(items;sales;prices) q)dict items | nut bolt cam cog sales | 6 8 0 3 prices| 10 20 15 20 访问 kdb+ 的 TCP server： q)h:hopen 5000 / connect to …