<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Verifier on Head First eBPF</title>
    <link>https://www.ebpf.top/tags/verifier/</link>
    <description>Recent content in Verifier on Head First eBPF</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>zh-CN</language>
    <lastBuildDate>Tue, 27 Oct 2026 08:33:38 +0000</lastBuildDate>
    <atom:link href="https://www.ebpf.top/tags/verifier/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>用 Rust 写 BPF 还差什么：LPC 2026 Alexei rust-bpf 进展解读</title>
      <link>https://www.ebpf.top/post/rust-bpf-evolution/</link>
      <pubDate>Sun, 25 Oct 2026 17:15:15 +0800</pubDate>
      <guid>https://www.ebpf.top/post/rust-bpf-evolution/</guid>
      <description>本文地址：https://www.ebpf.top/post/rust-bpf-evolution 1. 目标：rustc 接受的，验证器也接受 2. 已就绪：函数调用这一层基本放开了 3. 卡点：验证器“算不过来” 4. 解法：验证器改走不动点分析，0/13 到 6/13 5. 还没打通：指针、panic 清理和工具链 6.</description>
    </item>
    <item>
      <title>Linux 7.3 BPF新特性：binfmt_misc 可编程、arena 指针直通 kfunc、验证器&#34;说人话&#34;</title>
      <link>https://www.ebpf.top/post/linux-7-3-bpf-features/</link>
      <pubDate>Mon, 19 Oct 2026 12:15:09 +0800</pubDate>
      <guid>https://www.ebpf.top/post/linux-7-3-bpf-features/</guid>
      <description>本文地址：https://www.ebpf.top/post/linux-7-3-bpf-features 1. 引子：373 个提交里的 BPF 全景 2. exec 路径可编程：binfmt_misc 的 BPF handler 2.1 痛点 2.2 被否决的方案 2.3 struct_ops：match() 与 load() 2.4 新 kfunc 2.5 两种调度模式 2.6 注册、预绑定解释</description>
    </item>
  </channel>
</rss>
