souffle::ProfileEventSingleton Class Reference

Profile Event Singleton. More...

#include <ProfileEvent.h>

Collaboration diagram for souffle::ProfileEventSingleton:

Data Structures
class	ProfileTimer
	Profile Timer. More...

Public Member Functions
void	dump ()
	Dump all events. More...
const profile::ProfileDatabase &	getDB () const
void	makeConfigRecord (const std::string &key, const std::string &value)
	create config record More...
void	makeQuantityEvent (const std::string &txt, size_t number, int iteration)
	create quantity event More...
void	makeTimeEvent (const std::string &txt)
	create time event More...
void	makeTimingEvent (const std::string &txt, time_point start, time_point end, size_t startMaxRSS, size_t endMaxRSS, size_t size, size_t iteration)
	create an event for recording start and end times More...
void	makeUtilisationEvent (const std::string &txt)
	create utilisation event More...
void	resetTimerInterval (uint32_t interval=1)
void	setDBFromFile (const std::string &databaseFilename)
void	setOutputFile (std::string outputFilename)
void	startTimer ()
	Start timer. More...
void	stopTimer ()
	Stop timer. More...
	~ProfileEventSingleton ()

Static Public Member Functions
static ProfileEventSingleton &	instance ()
	get instance More...

Private Member Functions
	ProfileEventSingleton ()=default

Private Attributes
profile::ProfileDatabase	database
	profile database More...
std::string	filename {""}
ProfileTimer	timer

Detailed Description

Profile Event Singleton.

Definition at line 50 of file ProfileEvent.h.

Constructor & Destructor Documentation

ProfileEventSingleton()

souffle::ProfileEventSingleton::ProfileEventSingleton ( )

privatedefault

~ProfileEventSingleton()

souffle::ProfileEventSingleton::~ProfileEventSingleton ( )

inline

Definition at line 64 of file ProfileEvent.h.

                                                                        {
        profile::EventProcessorSingleton::instance().process(database, "@config", key.c_str(), value.c_str());
    }
 

References database, souffle::profile::EventProcessorSingleton::instance(), and souffle::profile::EventProcessorSingleton::process().

Here is the call graph for this function:

Member Function Documentation

dump()

void souffle::ProfileEventSingleton::dump ( )

inline

Dump all events.

Definition at line 144 of file ProfileEvent.h.

                      {
        timer.start();
    }
 
    /** Stop timer */
    void stopTimer() {
        timer.stop();
    }
 
    void resetTimerInterval(uint32_t interval = 1) {

References souffle::ProfileEventSingleton::ProfileTimer::start(), and timer.

Here is the call graph for this function:

getDB()

const profile::ProfileDatabase& souffle::ProfileEventSingleton::getDB ( ) const

inline

Definition at line 168 of file ProfileEvent.h.

Referenced by genJsonConfiguration(), getUsageStats(), and top().

instance()

static ProfileEventSingleton& souffle::ProfileEventSingleton::instance ( )

inlinestatic

get instance

Definition at line 70 of file ProfileEvent.h.

Referenced by configuration(), genJsonConfiguration(), getUsageStats(), souffle::profile::Reader::Reader(), and top().

makeConfigRecord()

void souffle::ProfileEventSingleton::makeConfigRecord ( const std::string &  key, const std::string &  value  )

inline

create config record

Definition at line 76 of file ProfileEvent.h.

                                                             {
        microseconds start_ms = std::chrono::duration_cast<microseconds>(start.time_since_epoch());
        microseconds end_ms = std::chrono::duration_cast<microseconds>(end.time_since_epoch());

References database, souffle::profile::EventProcessorSingleton::instance(), iteration, souffle::profile::EventProcessorSingleton::process(), and TCB_SPAN_NAMESPACE_NAME::detail::size().

Here is the call graph for this function:

makeQuantityEvent()

void souffle::ProfileEventSingleton::makeQuantityEvent ( const std::string &  txt, size_t  number, int  iteration  )

inline

create quantity event

Definition at line 96 of file ProfileEvent.h.

                         {};

makeTimeEvent()

void souffle::ProfileEventSingleton::makeTimeEvent ( const std::string &  txt )

inline

create time event

Definition at line 81 of file ProfileEvent.h.

                                                                               {

makeTimingEvent()

void souffle::ProfileEventSingleton::makeTimingEvent ( const std::string &  txt, time_point  start, time_point  end, size_t  startMaxRSS, size_t  endMaxRSS, size_t  size, size_t  iteration  )

inline

create an event for recording start and end times

Definition at line 87 of file ProfileEvent.h.

                                                    {
        /* current time */
        microseconds time = std::chrono::duration_cast<microseconds>(now().time_since_epoch());
 
#ifdef WIN32

References souffle::now(), and souffle::test::time().

Here is the call graph for this function:

makeUtilisationEvent()

void souffle::ProfileEventSingleton::makeUtilisationEvent ( const std::string &  txt )

inline

create utilisation event

Definition at line 101 of file ProfileEvent.h.

                         {};
        getrusage(RUSAGE_SELF, &ru);
        /* system CPU time used */
        uint64_t systemTime = ru.ru_stime.tv_sec * 1000000 + ru.ru_stime.tv_usec;
        /* user CPU time used */
        uint64_t userTime = ru.ru_utime.tv_sec * 1000000 + ru.ru_utime.tv_usec;
        /* Maximum resident set size (kb) */
        size_t maxRSS = ru.ru_maxrss;
#endif  // WIN32
 
        profile::EventProcessorSingleton::instance().process(
                database, txt.c_str(), time, systemTime, userTime, maxRSS);
    }
 
    void setOutputFile(std::string outputFilename) {
        filename = outputFilename;
    }
    /** Dump all events */
    void dump() {
        if (!filename.empty()) {
            std::ofstream os(filename);
            if (!os.is_open()) {
                std::cerr << "Cannot open profile log file <" + filename + ">";
            } else {
                database.print(os);

resetTimerInterval()

void souffle::ProfileEventSingleton::resetTimerInterval ( uint32_t  interval = 1 )

inline

Definition at line 165 of file ProfileEvent.h.

                       {
    private:

setDBFromFile()

void souffle::ProfileEventSingleton::setDBFromFile ( const std::string &  databaseFilename )

inline

Definition at line 172 of file ProfileEvent.h.

                               {false};
 
        /** thread timer runs on */

Referenced by souffle::profile::Reader::Reader().

setOutputFile()

void souffle::ProfileEventSingleton::setOutputFile ( std::string  outputFilename )

inline

Definition at line 140 of file ProfileEvent.h.

                      {

startTimer()

void souffle::ProfileEventSingleton::startTimer ( )

inline

Start timer.

Definition at line 156 of file ProfileEvent.h.

                                                {
        return database;
    }

References database.

stopTimer()

void souffle::ProfileEventSingleton::stopTimer ( )

inline

Stop timer.

Definition at line 161 of file ProfileEvent.h.

       :
    /**  Profile Timer */

Field Documentation

database

profile::ProfileDatabase souffle::ProfileEventSingleton::database

private

profile database

Definition at line 58 of file ProfileEvent.h.

Referenced by makeConfigRecord(), startTimer(), and ~ProfileEventSingleton().

filename

std::string souffle::ProfileEventSingleton::filename {""}

private

Definition at line 59 of file ProfileEvent.h.

timer

ProfileTimer souffle::ProfileEventSingleton::timer

private

Definition at line 261 of file ProfileEvent.h.

Referenced by dump().

---

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

• include/souffle/profile/ProfileEvent.h