文档摘要

7.2 尾调用、子程序与有界循环 本节摘要：验证器给单程序的指令数、栈和路径数都有上限。复杂协议解析和多级策略不能塞进一个函数硬展开。尾调用把控制转给另一个程序并放弃返回；子程序允许受控调用；循环必须让上界可见。组合是为了可证明，不是为了把用户态状态机原样搬进内核。 会员。《7.2 尾调用子程序与有界循环》收录于灏天文库文集《eBPF技术》，原作者/来源：灏天文库，整理自「灏天文库」，提供技术教程、实践指南与问题解决方案，支持在线阅读、全文检索与知识沉淀，助力开发者系统化学习。本站整理收录，版权归原作者/开源协议所有。

该文档为会员专享，请先登录或注册后再查看

登录 注册

---

作者与出处

原作者： 灏天文库

来源：灏天文库

原文： https://aiknowledge.cn/collection/788-ebpf%E6%8A%80%E6%9C%AF

整理： 灏天文库整理

由灏天文库平台收录，内容或由平台用户上传，仅供学习交流