souffle::Logger Class Reference

The class utilized to times for the souffle profiling tool. More...

#include <Logger.h>

Collaboration diagram for souffle::Logger:

Public Member Functions
	Logger (std::string label, size_t iteration)
	Logger (std::string label, size_t iteration, std::function< size_t()> size)
	~Logger ()

Private Attributes
size_t	iteration
std::string	label
size_t	preSize
std::function< size_t()>	size
time_point	start
size_t	startMaxRSS

Detailed Description

The class utilized to times for the souffle profiling tool.

This class is utilized by both – the interpreted and compiled version – to conduct the corresponding measurements.

To far, only execution times are logged. More events, e.g. the number of processed tuples may be added in the future.

Definition at line 44 of file Logger.h.

Constructor & Destructor Documentation

Logger() [1/2]

souffle::Logger::Logger ( std::string  label, size_t  iteration  )

inline

Definition at line 53 of file Logger.h.

Logger() [2/2]

souffle::Logger::Logger ( std::string  label, size_t  iteration, std::function< size_t()>  size  )

inline

Definition at line 55 of file Logger.h.

              {
#ifdef WIN32
        HANDLE hProcess = GetCurrentProcess();
        PROCESS_MEMORY_COUNTERS processMemoryCounters;
        GetProcessMemoryInfo(hProcess, &processMemoryCounters, sizeof(processMemoryCounters));
        size_t endMaxRSS = processMemoryCounters.PeakWorkingSetSize / 1000;
#else
        struct rusage ru {};
        getrusage(RUSAGE_SELF, &ru);
        size_t endMaxRSS = ru.ru_maxrss;
#endif  // WIN32
        ProfileEventSingleton::instance().makeTimingEvent(
                label, start, now(), startMaxRSS, endMaxRSS, size() - preSize, iteration);

~Logger()

souffle::Logger::~Logger ( )

inline

Definition at line 71 of file Logger.h.

       :
    std::string label;
    time_point start;
    size_t startMaxRSS;
    size_t iteration;
    std::function<size_t()> size;
    size_t preSize;
};
}  // end of namespace souffle

Field Documentation

iteration

size_t souffle::Logger::iteration

private

Definition at line 90 of file Logger.h.

label

std::string souffle::Logger::label

private

Definition at line 87 of file Logger.h.

preSize

size_t souffle::Logger::preSize

private

Definition at line 92 of file Logger.h.

size

std::function<size_t()> souffle::Logger::size

private

Definition at line 91 of file Logger.h.

start

time_point souffle::Logger::start

private

Definition at line 88 of file Logger.h.

startMaxRSS

size_t souffle::Logger::startMaxRSS

private

Definition at line 89 of file Logger.h.

---

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

• include/souffle/profile/Logger.h