The PAPI Cross-Platform Interface to Hardware Performance Counters