KernelScript 0.1：专为简化eBPF开发而生的新语言

5月26日，科技媒体Linuxiac报道称，一个名为KernelScript 0.1的开源新语言已于5月25日发布首个公开版本。

该项目采用Apache 2.0许可证，其核心目标是：为Linux内核的eBPF开发降低门槛。

eBPF：强大但复杂的内核扩展技术

eBPF（扩展的伯克利包过滤器）是Linux内核领域的一场革命。它允许开发者在无需修改内核源码或加载内核模块的前提下，安全地运行沙箱程序，从而动态扩展内核功能。

从网络过滤、性能监控到安全审计，eBPF的应用场景正变得越来越广泛。

传统eBPF开发面临高门槛

然而，eBPF的强大伴随着相应的复杂性。传统的开发流程门槛不低，开发者需要掌握一系列技能：

• 深入理解内核验证器的种种限制
• 熟悉各类BPF辅助函数
• 掌握映射（map）机制
• 知晓程序的加载方式
• 编写基于libbpf库的用户态协同逻辑

这一整套流程，足以让不少初学者望而却步。

KernelScript的解决方案：自动生成全套“脚手架”

那么，KernelScript带来了什么不同的思路？

它的做法相当直接：从一个源文件出发，自动生成开发所需的全套“脚手架”。这包括了对应的C代码、用户态程序、Makefile构建文件，甚至内核模块的集成内容。

换句话说，它试图用更高层次的语法，将繁琐的流程封装起来，让开发者能更专注于业务逻辑本身。

广泛支持主流eBPF程序类型

目前，KernelScript 0.1版本已经支持多种主流的eBPF程序类型：

• 用于高性能网络包处理的XDP程序
• 进行流量控制的TC程序
• 用于内核函数追踪的探针类程序
• 基于perf event的性能计数程序

内置状态共享与进阶能力支持

在状态共享这一关键环节上，KernelScript也做了内置支持。它原生集成了哈希映射、每CPU数组、LRU映射和固定映射等多种eBPF映射类型。

更有意思的是，这些映射可以直接作为语言级别的变量来使用，极大地方便了eBPF程序与用户态代码之间的数据交换，从而减少了手动编写libbpf样板代码的工作量。

除此之外，这个新语言还展示了对一些进阶eBPF能力的考量：

• 支持自动的尾调用编排
• 透明的动态指针（dynptr）处理
• 程序生命周期的自动检查
• 内建对struct_ops和内核函数（kfunc）集成的支持

这些特性表明，其设计目标并非仅仅简化入门，而是希望提供一个能够应对复杂生产场景的完整工具链。

实验性版本，未来可期

必须指出的是，KernelScript 0.1目前仍是一个实验性版本。其项目仓库明确将其标注为测试软件，并提醒开发者：

其语法、API和功能都可能在未来发生变动，且不保证向后兼容。

对于希望尝鲜的开发者来说，这是一个值得关注的新工具；但对于追求稳定性的生产环境而言，或许还需要给它一些成长的时间。

《夸克》非常好用的免费AI浏览器

下载APP查看