3 ms·
>An eBPF program could respond to every system call a process makes, allowing behaviour like OpenBSD's pledge, only much more sophisticated. That is actually o
by catern 8y ago
>An eBPF program could respond to every system call a process makes, allowing behaviour like OpenBSD's pledge, only much more sophisticated.
That is actually one of the oldest and most widespread uses of BPF :) https://www.kernel.org/doc/Documentation/prctl/seccomp_filter.txt https://www.kernel.org/doc/Documentation/prctl/seccomp_filte...
If you're interested in this notion you might be interested in:
https://en.wikipedia.org/wiki/Language-based_system https://en.wikipedia.org/wiki/Language-based_system
https://en.wikipedia.org/wiki/Exokernel https://en.wikipedia.org/wiki/Exokernel
- twic 8y agoI love language-based systems! The one that really got me interested was SPIN: http://www-spin.cs.washington.edu/ http://www-spin.cs.washington.edu/ And, to an extent, Taos: https://news.ycombinator.com/item?id=9806607 https://news.ycombinator.com/item?id=9806607