How does perf work? (in which we read the Linux kernel source)