1#include <stdio.h> 2#include <string.h> 3#include <inttypes.h> 4#include <barrelfish/barrelfish.h> 5 6#define MEASUREMENTS 1000000 7 8int main(int argc, char *argv[]) 9{ 10 char a[1024], b[1024]; 11 uint64_t sum = 0; 12 13 for(int i = 0; i < MEASUREMENTS; i++) { 14 uint64_t start = rdtsc(); 15 memcpy(a, b, 1024); 16 uint64_t end = rdtsc(); 17 sum += end - start; 18 } 19 20 printf("avg duration: %" PRIu64 " cycles\n", sum / MEASUREMENTS); 21 22 /* for(;;); */ 23 return 0; 24} 25