是时候打造一个现代的Synthesis内核了——嵌入学术界

本文探讨了在操作系统内核中使用运行时代码生成的可能性，以提高系统效率。作者以Linux系统调用`write()`为例，分析了如何利用LLVM等现代编译器技术进行代码特化，并讨论了将此技术应用于现有操作系统内核所面临的挑战，例如代码复杂性、指针分析和并发处理。作者认为，虽然现代编译器技术相较于90年代已有很大进步，但将动态特化应用于像Linux这样庞大的内核仍然需要大量的工程投入和创新。