An introduction to bpftrace for Linux