Performance analysis tools based on Linux perf_events (aka perf)