#include <Weight_Profiler_defs.hh>

Public Member Functions
	Weight_Profiler (const char *file, int line, Weightwatch_Traits::Delta delta, double min_threshold=0, double max_threshold=0)

	~Weight_Profiler ()

void	output_stats ()

void	end (unsigned int factor=1)

Static Public Member Functions
static void	begin ()

static double	tune_adjustment ()

Private Types
enum	{ DISCARDED = 0, VALID = 1 }

Private Attributes
const char *	file
	File of this profiling point. More...

int	line
	Line of this profiling point. More...

Weightwatch_Traits::Delta	delta
	Computational weight to be added at each iteration. More...

double	min_threshold
	Times less than this value are discarded. More...

double	max_threshold
	Times greater than this value are discarded. More...

struct {
unsigned int samples
	Number of collected samples. More...

unsigned int count
	Number of collected iterations. More...

double sum
	Sum of the measured times. More...

double squares_sum
	Sum of the squares of the measured times (to compute variance). More...

double min
	Minimum measured time. More...

double max
	Maximum measured time. More...

}	stat [2]
	Statistical data for samples (both DISCARDED and VALID) More...

Static Private Attributes
static struct timespec	stamp
	Holds the time corresponding to last time begin() was called. More...

static double	adjustment
	Time quantity used to adjust the elapsed times so as not to take into account the time spent by the measurement infrastructure. More...

Detailed Description

Definition at line 31 of file Weight_Profiler_defs.hh.

Member Enumeration Documentation

anonymous enum

private

Enumerator
DISCARDED
VALID

Definition at line 33 of file Weight_Profiler_defs.hh.

33 { DISCARDED = 0, VALID = 1 };

Parma_Polyhedra_Library::Weight_Profiler::VALID

Definition: Weight_Profiler_defs.hh:33

Parma_Polyhedra_Library::Weight_Profiler::DISCARDED

Definition: Weight_Profiler_defs.hh:33

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Weight_Profiler::Weight_Profiler	(	const char *	file,
		int	line,
		Weightwatch_Traits::Delta	delta,
		double	min_threshold = `0`,
		double	max_threshold = `0`
	)

inline

Definition at line 36 of file Weight_Profiler_defs.hh.

References stat.

     : file(file), line(line), delta(delta),
       min_threshold(min_threshold), max_threshold(max_threshold) {
     for (int i = 0; i < 2; ++i) {
       stat[i].samples = 0;
       stat[i].count = 0;
       stat[i].sum = 0;
       stat[i].squares_sum = 0;
       stat[i].min = 0;
       stat[i].max = 0;
     }
   }

Parma_Polyhedra_Library::Weight_Profiler::~Weight_Profiler ( )

inline

Definition at line 51 of file Weight_Profiler_defs.hh.

References output_stats().

                      {
     output_stats();
   }

Member Function Documentation

static void Parma_Polyhedra_Library::Weight_Profiler::begin ( )

inlinestatic

Definition at line 57 of file Weight_Profiler_defs.hh.

References stamp.

Referenced by end().

                       {
 #ifndef NDEBUG
     int r = clock_gettime(CLOCK_THREAD_CPUTIME_ID, &stamp);
     assert(r >= 0);
 #else
     clock_gettime(CLOCK_THREAD_CPUTIME_ID, &stamp);
 #endif
   }

void Parma_Polyhedra_Library::Weight_Profiler::end ( unsigned int factor = 1 )

inline

Definition at line 66 of file Weight_Profiler_defs.hh.

References adjustment, begin(), count, delta, DISCARDED, max, max_threshold, min, min_threshold, stamp, stat, VALID, and Parma_Polyhedra_Library::Weightwatch_Traits::weight.

                                     {
     Weightwatch_Traits::weight
       += (Weightwatch_Traits::Threshold) delta * factor;
     struct timespec start = stamp;
     begin();
     double elapsed;
     if (stamp.tv_nsec >= start.tv_nsec) {
       elapsed = (stamp.tv_nsec - start.tv_nsec)
         + (stamp.tv_sec - start.tv_sec) * 1e9;
     }
     else {
       elapsed = (1000000000 - start.tv_nsec + stamp.tv_nsec )
         + (stamp.tv_sec - start.tv_sec - 1) * 1e9;
     }
     elapsed -= adjustment;
     double elapsed1 = elapsed / factor;
     int i = (elapsed1 < min_threshold
              || (max_threshold > 0 && elapsed1 > max_threshold))
       ? DISCARDED
       : VALID;
     ++stat[i].samples;
     if (stat[i].count == 0) {
       stat[i].min = stat[i].max = elapsed1;
     }
     else if (stat[i].min > elapsed1) {
       stat[i].min = elapsed1;
     }
     else if (stat[i].max < elapsed1) {
       stat[i].max = elapsed1;
     }
     stat[i].sum += elapsed;
     stat[i].squares_sum += elapsed * elapsed1;
     stat[i].count += factor;
   }

void Parma_Polyhedra_Library::Weight_Profiler::output_stats ( )

Referenced by ~Weight_Profiler().

static double Parma_Polyhedra_Library::Weight_Profiler::tune_adjustment ( )

static

Member Data Documentation

double Parma_Polyhedra_Library::Weight_Profiler::adjustment

staticprivate

Time quantity used to adjust the elapsed times so as not to take into account the time spent by the measurement infrastructure.

Definition at line 152 of file Weight_Profiler_defs.hh.

Referenced by end().

unsigned int Parma_Polyhedra_Library::Weight_Profiler::count

Number of collected iterations.

Note: Multiple iterations are possibly collected for each sample.

Definition at line 130 of file Weight_Profiler_defs.hh.

Referenced by end().

Weightwatch_Traits::Delta Parma_Polyhedra_Library::Weight_Profiler::delta

private

Computational weight to be added at each iteration.

Definition at line 111 of file Weight_Profiler_defs.hh.

Referenced by end().

const char* Parma_Polyhedra_Library::Weight_Profiler::file

private

File of this profiling point.

Definition at line 105 of file Weight_Profiler_defs.hh.

int Parma_Polyhedra_Library::Weight_Profiler::line

private

Line of this profiling point.

Definition at line 108 of file Weight_Profiler_defs.hh.

double Parma_Polyhedra_Library::Weight_Profiler::max

Maximum measured time.

Definition at line 142 of file Weight_Profiler_defs.hh.

Referenced by end().

double Parma_Polyhedra_Library::Weight_Profiler::max_threshold

private

Times greater than this value are discarded.

Definition at line 117 of file Weight_Profiler_defs.hh.

Referenced by end().

double Parma_Polyhedra_Library::Weight_Profiler::min

Minimum measured time.

Definition at line 139 of file Weight_Profiler_defs.hh.

Referenced by end().

double Parma_Polyhedra_Library::Weight_Profiler::min_threshold

private

Times less than this value are discarded.

Definition at line 114 of file Weight_Profiler_defs.hh.

Referenced by end().

unsigned int Parma_Polyhedra_Library::Weight_Profiler::samples

Number of collected samples.

Definition at line 122 of file Weight_Profiler_defs.hh.

double Parma_Polyhedra_Library::Weight_Profiler::squares_sum

Sum of the squares of the measured times (to compute variance).

Definition at line 136 of file Weight_Profiler_defs.hh.

struct timespec Parma_Polyhedra_Library::Weight_Profiler::stamp

staticprivate

Holds the time corresponding to last time begin() was called.

Definition at line 146 of file Weight_Profiler_defs.hh.

Referenced by begin(), and end().

struct { ... } Parma_Polyhedra_Library::Weight_Profiler::stat[2]

Statistical data for samples (both DISCARDED and VALID)

Referenced by end(), and Weight_Profiler().

double Parma_Polyhedra_Library::Weight_Profiler::sum

Sum of the measured times.

Definition at line 133 of file Weight_Profiler_defs.hh.

The documentation for this class was generated from the following file:

Weight_Profiler_defs.hh

Public Member Functions

Static Public Member Functions

Private Types

Private Attributes

Static Private Attributes

Detailed Description

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation