14 #include <sys/resource.h> 20 getrusage(RUSAGE_SELF, &ru);
22 return ( ru.ru_utime.tv_sec * 1000
23 + ru.ru_utime.tv_usec / 1000
29 getrusage( RUSAGE_SELF, &ru );
30 return ( ru.ru_utime.tv_sec +
31 (
double) ru.ru_utime.tv_usec / 1000000.0 );
Header for a simple function to compute CPU user milliseconds.