honey-potion
pwru
Our great sponsors
honey-potion | pwru | |
---|---|---|
6 | 7 | |
234 | 2,447 | |
2.1% | 6.2% | |
6.4 | 9.0 | |
about 2 months ago | 6 days ago | |
C | C | |
GNU General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
honey-potion
-
Honey Potion: an eBPF backend for Elixir
Hi all! We are working on an eBPF backend for Elixir. It's called Honey Potion. The project is under development, but it is possible to write some useful programs at this point. For instance, in this video, one of the guys involved explains how to write a program to count system calls.
We have been working on an eBPF backend for the Elixir programming language. The current implementation is on this branch. EBPF is a bit like a virtual machine that runs on the Linux kernel. EBPF programs are typically used to implement network applications. The most interesting aspect of the backend is that Linux uses a verifier to ensure that eBPF programs always terminate and only access memory within allocated bounds.
-
Targetting C
Hi! We have been translating Elixir to C (which we translate to eBPF) in HoneyPotion. We used mostly Chapter 15 of Appel's Modern Compiler Implementation in Java to implement the code generator (that's "15. Functional Programming Languages"). I think the choice of C has been good thus far. The implementation of Elixir's pattern matching took much work, but if we had chosen a higher level target, we would still have to translate that to eBPF. Here's the entry point for the translator.
- Writing eBPF Programs with Elixir
-
Suggestion for a backend?
We have been working on a tool that translates Elixir to eBPF. We actually translate eBPF to C. Now that we have more stuff working, I really wonder if generating C was a good choice.
-
Intersection of PLs with the OS
That's exactly what Honey Potion does, when we translate Elixir into Linux' eBPF!
pwru
- GitHub - cilium/pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger
- cilium/pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger
-
Packet, where are you? – eBPF-based Linux kernel networking debugger
if you have a recent enough kernel, this change https://github.com/cilium/pwru/pull/148 means that it will print the reason the packet was dropped in the output - see https://lwn.net/Articles/885729/
There's a whole heap of reasons a packet can be dropped:
-
A list of new(ish) command line tools – Julia Evans
[pwru](https://github.com/cilium/pwru) is a fun new tool from the Cilium folks for tracing network packets in the kernel. Like tcpdump but it shows you the full path including kernel syscalls. Lets you debug much deeper than "when the packet gets to this port it gets dropped".
-
Better visibility into Linux packet-dropping decisions
I recently came across another useful utility for debugging unexpected packet drops - PWRU[0] (Packet, Where Are You) by Cilium.
It uses eBPF to try to trace the path of the packet through the kernel. Haven't needed to use it yet, but it could have saved me a lot of trouble in the past.
[0]: https://github.com/cilium/pwru
What are some alternatives?
pl0c - Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
parca-agent - eBPF based always-on profiler auto-discovering targets in Kubernetes and systemd, zero code changes or restarts needed!
fping - High performance ping tool
fsmon - monitor filesystem on iOS / OS X / Android / FirefoxOS / Linux
TripleCross - A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.
libbpf - Automated upstream mirror for libbpf stand-alone build.
linux-nitrous - Mirror of https://gitlab.com/xdevs23/linux-nitrous
bpfcov - Source-code based coverage for eBPF programs actually running in the Linux kernel
libfirm - graph based intermediate representation and backend for optimising compilers
glow - Render markdown on the CLI, with pizzazz! 💅🏻
amacc - Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
up - Ultimate Plumber is a tool for writing Linux pipes with instant live preview