-/**
-Returns the CPU time used by the program so far.
-*/
-TimeDelta get_cpu_time()
-{
-#ifndef WIN32
- rusage ru;
- getrusage(RUSAGE_SELF, &ru);
- return (ru.ru_utime.tv_sec+ru.ru_stime.tv_sec)*sec + (ru.ru_utime.tv_usec+ru.ru_stime.tv_usec)*usec;
-#else
- //XXX Figure out the function to use on Win32
- return TimeDelta();
-#endif
-}
-
-/**
-Sleeps for the given time.
-*/
-void sleep(const TimeDelta &d)
-{
-#ifndef WIN32
- timespec ts = d;
- while(nanosleep(&ts, 0)==-1)
- if(errno!=EINTR)
- throw system_error("nanosleep");
-#else
- Sleep((DWORD)(d/msec));
-#endif
-}
-