source: git/factory/timing.h @ 8fc3f6

spielwiese
Last change on this file since 8fc3f6 was 4dfcb1, checked in by Hans Schönemann <hannes@…>, 16 years ago
*hannes: cstdio git-svn-id: file:///usr/local/Singular/svn/trunk@11012 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.9 KB
Line 
1/* emacs edit mode for this file is -*- C++ -*- */
2/* $Id: timing.h,v 1.8 2008-08-20 13:35:55 Singular Exp $ */
3
4/* It should be possible to include this file multiple times for different */
5/* settings of TIMING */
6
7#undef TIMING_START
8#undef TIMING_END
9#undef TIMING_END_AND_PRINT
10#undef TIMING_DEFINE_PRINT
11#undef TIMING_DEFINE_PRINTPROTO
12#undef TIMING_PRINT
13
14#ifdef TIMING
15#include <time.h>
16#if ! defined(WINNT) || defined(__GNUC__)
17#include <sys/times.h>
18#include <sys/param.h>
19#endif
20#ifdef HAVE_CSTDIO
21#include <cstdio>
22#else
23#include <stdio.h>
24#endif
25
26// need to be adjusted on your machine:
27// the number of ticks per second: HZ
28#if ! defined (HZ) && defined (CLOCKS_PER_SEC)
29#define HZ CLOCKS_PER_SEC
30#endif
31#if ! defined (HZ)  && defined (CLK_TCK)
32#define HZ CLK_TCK
33#endif
34#ifndef HZ
35#ifdef sun
36#define HZ 60.0
37#else
38#define HZ 100.0
39#endif
40#endif
41
42#if defined(WINNT) && ! defined(__GNUC__)
43
44#define TIMING_START(t) { clock_t timing_ ## t ## _start, timing_ ## t ## _end; \
45  timing_ ## t ## _start = clock();
46#define TIMING_END(t) timing_ ## t ## _end = clock(); \
47timing_ ## t ## _time += timing_ ## t ## _end - timing_ ## t ## _start; }
48#define TIMING_END_AND_PRINT(t, msg) times( &timing_ ## t ## _end ); \
49  fprintf( stderr, "%s%.2f sec\n", msg, \
50           float( timing_ ## t ## _end - timing_ ## t ## _start ) / HZ ); \
51  timing_ ## t ## _time += timing_ ## t ## _end - timing_ ## t ## _start; }
52#define TIMING_DEFINE_PRINT(t) clock_t timing_ ## t ## _time; \
53void timing_print_ ## t ( char * msg ) { \
54  fprintf( stderr, "%s%.2f sec\n", msg, float(timing_ ## t ## _time) / HZ ); \
55} \
56void timing_reset_ ## t () { \
57  timing_ ## t ## _time = 0; \
58}
59
60#else /* ! WINNT */
61
62#define TIMING_START(t) { struct tms timing_ ## t ## _start, timing_ ## t ## _end; \
63  times( &timing_ ## t ## _start );
64#define TIMING_END(t) times( &timing_ ## t ## _end ); \
65  timing_ ## t ## _time += timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime; }
66#define TIMING_END_AND_PRINT(t, msg) times( &timing_ ## t ## _end ); \
67  fprintf( stderr, "%s%.2f sec\n", msg, \
68           float( timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime ) / HZ ); \
69  timing_ ## t ## _time += timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime; }
70#define TIMING_DEFINE_PRINT(t) long timing_ ## t ## _time; \
71void timing_print_ ## t ( char * msg ) { \
72  fprintf( stderr, "%s%.2f sec\n", msg, float(timing_ ## t ## _time) / HZ ); \
73} \
74void timing_reset_ ## t () { \
75  timing_ ## t ## _time = 0; \
76}
77#endif /* ! WINNT */
78
79/* macros common to all platforms */
80#define TIMING_DEFINE_PRINTPROTO(t) void timing_print_ ## t ( char * ); \
81  void timing_reset_ ## t ();
82#define TIMING_PRINT(t, msg) timing_print_ ## t ( msg );
83#define TIMING_RESET(t) timing_reset_ ## t ();
84
85#else /* TIMING */
86#define TIMING_START(t)
87#define TIMING_END(t)
88#define TIMING_END_AND_PRINT(t, msg)
89#define TIMING_DEFINE_PRINT(t)
90#define TIMING_DEFINE_PRINTPROTO(t)
91#define TIMING_PRINT(t, msg)
92#define TIMING_RESET(t)
93#endif /* TIMING */
Note: See TracBrowser for help on using the repository browser.