Changeset 68873b in git for factory/timing.h

Timestamp:

Mar 27, 1997, 11:23:55 AM (27 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

0bf9a278ad124abbaeec36c7244965e8baa71238

Parents:

7cebcbc39bd6be777d7bcda54de8ff5a5e031cf6

Message:

TIMING_END_AND_PRINT added
stream io replaced by std io
(hopefully) more portable now by using HZ
instead of CLK_TCK to calculate time in seconds


git-svn-id: file:///usr/local/Singular/svn/trunk@109 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/timing.h (modified) (3 diffs)

factory/timing.h

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: timing.h,v 1.1 1996-12-06 14:49:07 schmidt Exp $ */
+/* $Id: timing.h,v 1.2 1997-03-27 10:23:55 schmidt Exp $ */
 
 /*
 $Log: not supported by cvs2svn $
+Revision 1.1  1996/12/06 14:49:07  schmidt
+Initial revision
+
  * Revision 1.0  1996/05/17  10:59:37  stobbe
  * Initial revision
@@ -10 +13 @@
 
 /* It should be possible to include this file multiple times for different */
-/* settings of NDEBUG */
+/* settings of TIMING */
 
 #undef TIMING_START
 #undef TIMING_END
+#undef TIMING_END_AND_PRINT
 #undef TIMING_DEFINE_PRINT
 #undef TIMING_DEFINE_PRINTPROTO
@@ -21 +25 @@
 #include <time.h>
 #include <sys/times.h>
-#include <iostream.h>
+#include <sys/param.h>
+#include <stdio.h>
+
+// need to be adjusted on your machine:
+// the number of ticks per second: HZ
+#if ! defined (HZ) && defined (CLOCKS_PER_SEC)
+#define HZ CLOCKS_PER_SEC
+#endif
+#if ! defined (HZ)  && defined (CLK_TCK)
+#define HZ CLK_TCK
+#endif
+#ifndef HZ
+#ifdef sun
+#define HZ 60.0
+#else
+#define HZ 100.0
+#endif
+#endif
+
 #define TIMING_START(t) { struct tms timing_ ## t ## _start, timing_ ## t ## _end; \
   times( &timing_ ## t ## _start );
 #define TIMING_END(t) times( &timing_ ## t ## _end ); \
   timing_ ## t ## _time += timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime; }
+#define TIMING_END_AND_PRINT(t, msg) times( &timing_ ## t ## _end ); \
+  fprintf( stderr, "%s%.2f sec\n", msg, \
+           float( timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime ) / HZ ); \
+  timing_ ## t ## _time += timing_ ## t ## _end.tms_utime - timing_ ## t ## _start.tms_utime; }
 #define TIMING_DEFINE_PRINT(t) long timing_ ## t ## _time; \
-void timing_print_ ## t ( char * msg ) { cerr.setf( ios::fixed, ios::floatfield ); cerr.precision(2); \
-  cerr << msg << float(timing_ ## t ## _time) / CLK_TCK << " sec" << endl; }
-#define TIMING_PRINT(t,msg) timing_print_ ## t ( msg );
+void timing_print_ ## t ( char * msg ) { \
+  fprintf( stderr, "%s%.2f sec\n", msg, float(timing_ ## t ## _time) / HZ ); \
+}
 #define TIMING_DEFINE_PRINTPROTO(t) void timing_print_ ## t ( char * );
-#else
+#define TIMING_PRINT(t, msg) timing_print_ ## t ( msg );
+#else /* TIMING */
 #define TIMING_START(t)
 #define TIMING_END(t)
+#define TIMING_END_AND_PRINT(t, msg)
 #define TIMING_DEFINE_PRINT(t)
-#define TIMING_PRINT(t,msg)
 #define TIMING_DEFINE_PRINTPROTO(t)
+#define TIMING_PRINT(t, msg)
 #endif /* TIMING */