14#include <sys/resource.h>
34#ifdef TIME_WITH_SYS_TIME
36# ifdef HAVE_SYS_TIME_H
40# ifdef HAVE_SYS_TIME_H
47#ifdef HAVE_SYS_TIMES_H
69 getrusage(RUSAGE_SELF,&
t_rec);
71 +
t_rec.ru_stime.tv_sec*1000000+
t_rec.ru_stime.tv_usec
73 getrusage(RUSAGE_CHILDREN,&
t_rec);
75 +
t_rec.ru_stime.tv_sec*1000000+
t_rec.ru_stime.tv_usec
77 return (
int)time(
NULL);
82 getrusage(RUSAGE_SELF,&
t_rec);
86 getrusage(RUSAGE_CHILDREN,&
t_rec);
98 getrusage(RUSAGE_SELF,&
t_rec);
102 getrusage(RUSAGE_CHILDREN,&
t_rec);
122 getrusage(RUSAGE_SELF,&
t_rec);
126 getrusage(RUSAGE_CHILDREN,&
t_rec);
138 Print(
"//%s %.2f sec\n" ,
v ,
f);
158#ifdef HAVE_GETTIMEOFDAY
174 gettimeofday(&now, &
tzp);
176 if (
startRl.tv_usec > now.tv_usec)
178 now.tv_usec += 1000000;
197 gettimeofday(&now, &
tzp);
201 now.tv_usec += 1000000;
210 Print(
"//%s %.2f sec \n" ,
v ,
f);
const Variable & v
< [in] a sqrfree bivariate poly
VAR char my_yylinebuf[80]
void writeRTime(const char *v)
void SetMinDisplayTime(double mtime)
STATIC_VAR struct timeval siStartRTime
STATIC_VAR double mintime
STATIC_VAR double timer_resolution
STATIC_VAR struct timeval startRl
STATIC_VAR struct rusage t_rec
STATIC_VAR int64 siStartTime
STATIC_VAR struct timezone tzp
void writeTime(const char *v)
void SetTimerResolution(int res)