4 ms·
> BPF is a highly flexible, efficient code execution engine in the Linux kernel that allows bytecode to run at various hook points, enabling safe and easy modif
by ecesena 8y ago
> BPF is a highly flexible, efficient code execution engine in the Linux kernel that allows bytecode to run at various hook points, enabling safe and easy modifications of kernel behaviors with custom code.
Can someone explain the word "safe" in that paragraph? Genuinely curious, not trying to start a war flame. I'm interested in understanding use cases for BPF.
- ianlevesque 8y agoIt's guaranteed memory safe and halting.
- forgottenpass 8y agoCertain limitations must be checked (e.g. can be proven to halt). It's a bit much for an HN post, see https://lwn.net/Articles/740157/ https://lwn.net/Articles/740157/ subsection "The eBPF in-kernel verifier" for more background.
- ecesena 8y agoThanks for the pointer.