00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028 #ifdef __GNUC__
00029 #pragma interface
00030 #endif
00031
00032 #ifndef _util_misc_regtime_h
00033 #define _util_misc_regtime_h
00034
00035 #include <iostream>
00036 #include <util/class/class.h>
00037
00038 namespace sc {
00039
00040 class TimedRegion;
00041
00042 class RegionTimer: public DescribedClass {
00043 protected:
00044 int wall_time_;
00045 int cpu_time_;
00046 int flops_;
00047
00048 TimedRegion *top_;
00049 TimedRegion *current_;
00050 TimedRegion *default_;
00051
00052 public:
00053 RegionTimer(const char *topname = "total",
00054 int cpu_time = 0, int wall_time = 1);
00055 RegionTimer(const Ref<KeyVal> &);
00056 ~RegionTimer();
00057 void enter(const char * = 0);
00058 void change(const char *newname, const char * oldname = 0);
00059 void exit(const char * = 0);
00060 void set_default(const char *);
00061 void unset_default();
00062 void enter_default();
00063 void exit_default();
00064 virtual void print(std::ostream& = ExEnv::out0()) const;
00065
00066 void update_top() const;
00067
00068 int nregion() const;
00069 void get_region_names(const char *names[]) const;
00070 void get_wall_times(double *) const;
00071 void get_cpu_times(double *) const;
00072 void get_flops(double *) const;
00073 void get_depth(int *) const;
00074
00075 double get_wall_time() const;
00076 double get_cpu_time() const;
00077 double get_flops() const;
00078
00079 void add_wall_time(const char *, double);
00080 void add_cpu_time(const char *, double);
00081 void add_flops(const char *, double);
00082
00083 static RegionTimer *default_regiontimer();
00084 static void set_default_regiontimer(const Ref<RegionTimer> &);
00085 };
00086
00087 }
00088
00089 #endif
00090
00091
00092
00093
00094