BIE Overview Quick Start Theoretical overview Available methods Parallel chains Computation engine Command Line Interface Graphical User Interface Assigning Output Visualization tool Data handling Software technology Parallel debugging Results to date Recent developments Links User guide Future features Project goals Project Team Copyright and license

/home/weinberg/src/BIE/include/Timer.h #ifndef _TIMER_H #define _TIMER_H #include <stdlib.h> #include <time.h> #include <sys/types.h> #include <sys/time.h> #include <sys/resource.h> #include <iostream> class TimeElapsed { private: long userTime, systemTime, realTime; public: TimeElapsed(long user, long system, long real) { userTime = user; systemTime = system; realTime = real; } long getUserTime() { return userTime; } long getSystemTime() { return systemTime; } long getTotalTime() { return userTime + systemTime; } long getRealTime() { return realTime; } }; class Timer { private: timeval begin, end; struct rusage beginusage, endusage; // the time counted so far long utime, stime, rtime; // indicate whether the timer has been started bool started; // if true then return number of microseconds // for user and system time; // else return number of seconds. bool precision; public: Timer(bool precision = false) { utime = stime = rtime = 0; started = false; this->precision = precision; } void Seconds() { precision = false; } void Microseconds() { precision = true; } bool Precision() { return precision; } void start() { if (started) return; started = true; if (gettimeofday(&begin, NULL)) cerr << "gettimeofday error!"; if (getrusage(RUSAGE_SELF, &beginusage) == -1) cerr << "getrusage error!"; } TimeElapsed stop() { if (!started) return TimeElapsed(0, 0, 0); if (gettimeofday(&end, NULL)) cerr << "gettimeofday error!"; if (getrusage(RUSAGE_SELF, &endusage) == -1) cerr << "getrusage error!"; started = false; if (precision) { long uusecs = (endusage.ru_utime.tv_sec - beginusage.ru_utime.tv_sec) * 1000000 + endusage.ru_utime.tv_usec - beginusage.ru_utime.tv_usec; utime += uusecs; long susecs = (endusage.ru_stime.tv_sec - beginusage.ru_stime.tv_sec) * 1000000 + endusage.ru_stime.tv_usec - beginusage.ru_stime.tv_usec; stime += susecs; long rusecs = (end.tv_sec - begin.tv_sec) * 1000000 + end.tv_usec - begin.tv_usec; rtime += rusecs; } else { long usecs = (endusage.ru_utime.tv_sec - beginusage.ru_utime.tv_sec); utime += usecs; long ssecs = (endusage.ru_stime.tv_sec - beginusage.ru_stime.tv_sec); stime += ssecs; long rsecs = end.tv_sec - begin.tv_sec + (end.tv_usec - begin.tv_usec)/1000000; rtime += rsecs; } return TimeElapsed(utime, stime, rtime); } void reset() { utime = stime = rtime = 0; if (started) { if (gettimeofday(&begin, NULL)) cerr << "gettimeofday error!"; if (getrusage(RUSAGE_SELF, &beginusage) == -1) cerr << "getrusage error!"; } } TimeElapsed getTime() { if (!started) return TimeElapsed(utime, stime, rtime); if (gettimeofday(&end, NULL)) cerr << "gettimeofday error!"; if (getrusage(RUSAGE_SELF, &endusage) == -1) cerr << "getrusage error!"; if (precision) { long uusecs = (endusage.ru_utime.tv_sec - beginusage.ru_utime.tv_sec) * 1000000 + endusage.ru_utime.tv_usec - beginusage.ru_utime.tv_usec; long susecs = (endusage.ru_stime.tv_sec - beginusage.ru_stime.tv_sec) * 1000000 + endusage.ru_stime.tv_usec - beginusage.ru_stime.tv_usec; long rusecs = (end.tv_sec - begin.tv_sec) * 1000000 + end.tv_usec - begin.tv_usec; return TimeElapsed(utime + uusecs, stime + susecs, rtime + rusecs); } else { long usecs = (endusage.ru_utime.tv_sec - beginusage.ru_utime.tv_sec); long ssecs = (endusage.ru_stime.tv_sec - beginusage.ru_stime.tv_sec); long rsecs = end.tv_sec - begin.tv_sec + (end.tv_usec - begin.tv_usec)/1000000; return TimeElapsed(utime + usecs, stime + ssecs, rtime + rsecs); } } bool isStarted() { return started; } }; #endif // _TIMER_H