[$] A possible path for cancelable BPF programs

Date:
Tue, 25 Feb 2025 15:32:36 +0000

Description:
The Linux kernel supports attaching BPF programs to many operations.
This is generally safe because the BPF verifier ensures
that BPF programs can't misuse kernel resources, run indefinitely, or otherwise
escape their boundaries. There is continuing tension, however, between trying to expand the capabilities of BPF programs and ensuring that the verifier can handle every edge case. On February14, Juntong Deng shared a proof-of-concept patch set that
adds some run-time checks to BPF to make it possible in the future to interrupt
a running BPF program.

======================================================================
Link to news story:
https://lwn.net/Articles/1010404/


--- Mystic BBS v1.12 A47 (Linux/64)
* Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)