blitmus: Litmus-testing the eBPF memory model on real hardware - Puranjay Mohan, Meta
0:00 · Watch on YouTube
BPF 栈中的内存对齐错误是真实存在的有序性缺陷，它们能通过所有功能测试，因为测试从不会检验重排序，而作者构建的一个 litmus 测试工具（litmus-to-BPF）能可靠地捕获它们，方式是运行数百万次并行 BPF 程序并检查那些内存模型声称不可能出现的结果。
0:00 · Watch on YouTube
BPF 栈中的内存对齐错误是真实存在的有序性缺陷，它们能通过所有功能测试，因为测试从不会检验重排序，而作者构建的一个 litmus 测试工具（litmus-to-BPF）能可靠地捕获它们，方式是运行数百万次并行 BPF 程序并检查那些内存模型声称不可能出现的结果。