Linux profiling with perf and performance counters – useful links