#include "kernel/mod2.h"
#include <sys/resource.h>
#include <unistd.h>
#include <stdio.h>
#include <time.h>
#include <sys/time.h>
#include "reporter/reporter.h"
#include "kernel/oswrapper/timer.h"
Go to the source code of this file.
◆ getRTimer()
Definition at line 150 of file timer.cc.
151{
153
155
157 {
158 now.tv_usec += 1000000;
160 }
161
165
167}
STATIC_VAR double timer_resolution
STATIC_VAR struct timeval startRl
STATIC_VAR struct timezone tzp
◆ getTimer()
Definition at line 80 of file timer.cc.
81{
91}
STATIC_VAR struct rusage t_rec
◆ initRTimer()
Definition at line 136 of file timer.cc.
137{
138#ifdef HAVE_GETTIMEOFDAY
141#else
144#endif
145}
STATIC_VAR struct timeval siStartRTime
◆ SetMinDisplayTime()
Definition at line 27 of file timer.cc.
28{
30}
STATIC_VAR double mintime
◆ SetTimerResolution()
◆ startRTimer()
◆ startTimer()
Definition at line 66 of file timer.cc.
67{
75}
STATIC_VAR int64 siStartTime
◆ writeRTime()
Definition at line 173 of file timer.cc.
174{
176
178
180 {
181 now.tv_usec += 1000000;
183 }
184
188
190 Print(
"//%s %.2f sec \n" ,
v ,
f);
191}
const Variable & v
< [in] a sqrfree bivariate poly
◆ writeTime()
Definition at line 101 of file timer.cc.
102{
113 {
114#ifdef EXTEND_TIMER_D
116#else
118 Print(
"//%s %.2f sec\n" ,
v ,
f);
119 else
121#endif
122 }
123}
VAR char my_yylinebuf[80]
◆ mintime
◆ rtimerv
◆ siStartRTime
◆ siStartTime
◆ startRl
◆ t_rec
◆ timer_resolution
◆ timerv
◆ tzp