souffle::profile::Relation Class Reference

#include <Relation.h>

Collaboration diagram for souffle::profile::Relation:

Public Member Functions
void	addIteration (std::shared_ptr< Iteration > iteration)
void	addReads (size_t tuplesRead)
void	addRule (std::shared_ptr< Rule > rule)
std::string	createID ()
std::string	createRecID (std::string name)
std::chrono::microseconds	getCopyTime () const
std::chrono::microseconds	getEndtime () const
const std::string &	getId () const
const std::vector< std::shared_ptr< Iteration > > &	getIterations () const
std::chrono::microseconds	getLoadtime () const
const std::string &	getLocator () const
size_t	getMaxRSSDiff () const
std::string	getName () const
std::chrono::microseconds	getNonRecTime () const
size_t	getReads () const
std::chrono::microseconds	getRecTime () const
const std::unordered_map< std::string, std::shared_ptr< Rule > > &	getRuleMap () const
	Return a map of Rules, indexed by srcLocator. More...
std::vector< std::shared_ptr< Rule > >	getRuleRecList () const
std::chrono::microseconds	getSavetime () const
std::chrono::microseconds	getStarttime () const
size_t	getTotalRecursiveRuleSize () const
bool	isReady ()
	Relation (std::string name, std::string id)
void	setEndtime (std::chrono::microseconds time)
void	setLoadtime (std::chrono::microseconds loadtime)
void	setLocator (std::string locator)
void	setNumTuples (long numTuples)
void	setPostMaxRSS (size_t maxRSS)
void	setPreMaxRSS (size_t maxRSS)
void	setReady (bool ready)
void	setSavetime (std::chrono::microseconds savetime)
void	setStarttime (std::chrono::microseconds time)
size_t	size () const
std::string	toString () const

Private Attributes
std::chrono::microseconds	endtime {}
const std::string	id
std::vector< std::shared_ptr< Iteration > >	iterations
std::chrono::microseconds	loadtime {}
std::string	locator
const std::string	name
long	nonRecTuples = 0
size_t	postMaxRSS = 0
size_t	preMaxRSS = 0
bool	ready = true
int	recursiveId = 0
int	ruleId = 0
std::unordered_map< std::string, std::shared_ptr< Rule > >	ruleMap
std::chrono::microseconds	savetime {}
std::chrono::microseconds	starttime {}
size_t	tuplesRead = 0

Detailed Description

Definition at line 29 of file Relation.h.

Constructor & Destructor Documentation

Relation()

souffle::profile::Relation::Relation ( std::string  name, std::string  id  )

inline

Definition at line 52 of file Relation.h.

                                           : name(std::move(name)), id(std::move(id)) {
        ruleMap = std::unordered_map<std::string, std::shared_ptr<Rule>>();
        iterations = std::vector<std::shared_ptr<Iteration>>();
    }

References iterations, and ruleMap.

Member Function Documentation

addIteration()

void souffle::profile::Relation::addIteration ( std::shared_ptr< Iteration >  iteration )

inline

Definition at line 214 of file Relation.h.

                                                          {
        iterations.push_back(iteration);
        if (endtime < iteration->getEndtime()) {
            endtime = iteration->getEndtime();
        }
        if (starttime.count() == 0 || starttime > iteration->getStarttime()) {
            starttime = iteration->getStarttime();
        }
    }

References endtime, getEndtime(), iteration, iterations, and starttime.

Here is the call graph for this function:

addReads()

void souffle::profile::Relation::addReads ( size_t  tuplesRead )

inline

Definition at line 248 of file Relation.h.

                                     {
        this->tuplesRead += tuplesRead;
    }

References tuplesRead.

addRule()

void souffle::profile::Relation::addRule ( std::shared_ptr< Rule >  rule )

inline

Definition at line 196 of file Relation.h.

                                           {
        ruleMap[rule->getLocator()] = rule;
    }

References rule, and ruleMap.

createID()

std::string souffle::profile::Relation::createID ( )

inline

Definition at line 57 of file Relation.h.

                         {
        return "N" + id.substr(1) + "." + std::to_string(++ruleId);
    }

References ruleId.

createRecID()

std::string souffle::profile::Relation::createRecID ( std::string  name )

inline

Definition at line 61 of file Relation.h.

                                          {
        for (auto& iter : iterations) {
            for (auto& rul : iter->getRules()) {
                if (rul.second->getName() == name) {
                    return rul.second->getId();
                }
            }
        }
        return "C" + id.substr(1) + "." + std::to_string(++recursiveId);
    }

References iterations, name, recursiveId, and rul().

Here is the call graph for this function:

getCopyTime()

std::chrono::microseconds souffle::profile::Relation::getCopyTime ( ) const

inline

Definition at line 100 of file Relation.h.

                                              {
        std::chrono::microseconds result{};
        for (auto& iter : iterations) {
            result += iter->getCopytime();
        }
        return result;
    }

References iterations.

getEndtime()

std::chrono::microseconds souffle::profile::Relation::getEndtime ( ) const

inline

Definition at line 84 of file Relation.h.

                                             {
        return endtime;
    }

References endtime.

Referenced by addIteration().

getId()

const std::string& souffle::profile::Relation::getId ( ) const

inline

Definition at line 224 of file Relation.h.

                                   {
        return id;
    }

References id.

getIterations()

const std::vector<std::shared_ptr<Iteration> >& souffle::profile::Relation::getIterations ( ) const

inline

Definition at line 210 of file Relation.h.

                                                                     {
        return iterations;
    }

References iterations.

getLoadtime()

std::chrono::microseconds souffle::profile::Relation::getLoadtime ( ) const

inline

Definition at line 72 of file Relation.h.

                                              {
        return loadtime;
    }

References loadtime.

getLocator()

const std::string& souffle::profile::Relation::getLocator ( ) const

inline

Definition at line 228 of file Relation.h.

                                        {
        return locator;
    }

References locator.

getMaxRSSDiff()

size_t souffle::profile::Relation::getMaxRSSDiff ( ) const

inline

Definition at line 116 of file Relation.h.

                                 {
        return postMaxRSS - preMaxRSS;
    }

References postMaxRSS, and preMaxRSS.

getName()

std::string souffle::profile::Relation::getName ( ) const

inline

Definition at line 183 of file Relation.h.

                              {
        return name;
    }

References name.

getNonRecTime()

std::chrono::microseconds souffle::profile::Relation::getNonRecTime ( ) const

inline

Definition at line 88 of file Relation.h.

                                                {
        return endtime - starttime;
    }

References endtime, and starttime.

Referenced by toString().

getReads()

size_t souffle::profile::Relation::getReads ( ) const

inline

Definition at line 244 of file Relation.h.

                            {
        return tuplesRead;
    }

References tuplesRead.

getRecTime()

std::chrono::microseconds souffle::profile::Relation::getRecTime ( ) const

inline

Definition at line 92 of file Relation.h.

                                             {
        std::chrono::microseconds result{};
        for (auto& iter : iterations) {
            result += iter->getRuntime();
        }
        return result;
    }

References iterations.

getRuleMap()

const std::unordered_map<std::string, std::shared_ptr<Rule> >& souffle::profile::Relation::getRuleMap ( ) const

inline

Return a map of Rules, indexed by srcLocator.

Returns

the ruleMap

Definition at line 192 of file Relation.h.

                                                                               {
        return ruleMap;
    }

References ruleMap.

getRuleRecList()

std::vector<std::shared_ptr<Rule> > souffle::profile::Relation::getRuleRecList ( ) const

inline

Definition at line 200 of file Relation.h.

                                                          {
        std::vector<std::shared_ptr<Rule>> temp = std::vector<std::shared_ptr<Rule>>();
        for (auto& iter : iterations) {
            for (auto& rul : iter->getRules()) {
                temp.push_back(rul.second);
            }
        }
        return temp;
    }

References iterations, and rul().

Here is the call graph for this function:

getSavetime()

std::chrono::microseconds souffle::profile::Relation::getSavetime ( ) const

inline

Definition at line 76 of file Relation.h.

                                              {
        return savetime;
    }

References savetime.

getStarttime()

std::chrono::microseconds souffle::profile::Relation::getStarttime ( ) const

inline

Definition at line 80 of file Relation.h.

                                               {
        return starttime;
    }

References starttime.

getTotalRecursiveRuleSize()

size_t souffle::profile::Relation::getTotalRecursiveRuleSize ( ) const

inline

Definition at line 120 of file Relation.h.

                                             {
        size_t result = 0;
        for (auto& iter : iterations) {
            for (auto& rul : iter->getRules()) {
                result += rul.second->size();
            }
        }
        return result;
    }

References iterations, and rul().

Here is the call graph for this function:

isReady()

bool souffle::profile::Relation::isReady ( )

inline

Definition at line 236 of file Relation.h.

                   {
        return ready;
    }

References ready.

setEndtime()

void souffle::profile::Relation::setEndtime ( std::chrono::microseconds  time )

inline

Definition at line 142 of file Relation.h.

                                                {
        endtime = time;
    }

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

Here is the call graph for this function:

setLoadtime()

void souffle::profile::Relation::setLoadtime ( std::chrono::microseconds  loadtime )

inline

Definition at line 130 of file Relation.h.

                                                     {
        this->loadtime = loadtime;
    }

References loadtime.

setLocator()

void souffle::profile::Relation::setLocator ( std::string  locator )

inline

Definition at line 232 of file Relation.h.

                                       {
        this->locator = locator;
    }

References locator.

setNumTuples()

void souffle::profile::Relation::setNumTuples ( long  numTuples )

inline

Definition at line 146 of file Relation.h.

                                      {
        nonRecTuples = numTuples;
    }

References nonRecTuples.

setPostMaxRSS()

void souffle::profile::Relation::setPostMaxRSS ( size_t  maxRSS )

inline

Definition at line 150 of file Relation.h.

                                      {
        postMaxRSS = std::max(maxRSS, postMaxRSS);
    }

References postMaxRSS.

setPreMaxRSS()

void souffle::profile::Relation::setPreMaxRSS ( size_t  maxRSS )

inline

Definition at line 154 of file Relation.h.

                                     {
        if (preMaxRSS == 0) {
            preMaxRSS = maxRSS;
            return;
        }
        preMaxRSS = std::min(maxRSS, preMaxRSS);
    }

References preMaxRSS.

setReady()

void souffle::profile::Relation::setReady ( bool  ready )

inline

Definition at line 240 of file Relation.h.

                              {
        this->ready = ready;
    }

References ready.

setSavetime()

void souffle::profile::Relation::setSavetime ( std::chrono::microseconds  savetime )

inline

Definition at line 134 of file Relation.h.

                                                     {
        this->savetime = savetime;
    }

References savetime.

setStarttime()

void souffle::profile::Relation::setStarttime ( std::chrono::microseconds  time )

inline

Definition at line 138 of file Relation.h.

                                                  {
        starttime = time;
    }

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

Here is the call graph for this function:

size()

size_t souffle::profile::Relation::size ( ) const

inline

Definition at line 108 of file Relation.h.

                        {
        size_t result = 0;
        for (auto& iter : iterations) {
            result += iter->size();
        }
        return nonRecTuples + result;
    }

References iterations, and nonRecTuples.

toString()

std::string souffle::profile::Relation::toString ( ) const

inline

Definition at line 162 of file Relation.h.

                               {
        std::ostringstream output;
        output << "{\n\"" << name << "\":[" << getNonRecTime().count() << "," << nonRecTuples
               << "],\n\n\"onRecRules\":[\n";
        for (auto& rul : ruleMap) {
            output << rul.second->toString();
        }
        output << "\n],\n\"iterations\":\n";
        output << "[";
        if (iterations.empty()) {
            output << ", ";
        }
        for (auto& iter : iterations) {
            output << iter->toString();
            output << ", ";
        }
        std::string retStr = output.str();
        // substring to remove the last comma
        return retStr.substr(0, retStr.size() - 2) + "]\n}";
    }

References getNonRecTime(), iterations, name, nonRecTuples, rul(), and ruleMap.

Here is the call graph for this function:

Field Documentation

endtime

std::chrono::microseconds souffle::profile::Relation::endtime {}

private

Definition at line 33 of file Relation.h.

Referenced by addIteration(), getEndtime(), getNonRecTime(), and setEndtime().

id

const std::string souffle::profile::Relation::id

private

Definition at line 39 of file Relation.h.

Referenced by getId().

iterations

std::vector<std::shared_ptr<Iteration> > souffle::profile::Relation::iterations

private

Definition at line 45 of file Relation.h.

Referenced by addIteration(), createRecID(), getCopyTime(), getIterations(), getRecTime(), getRuleRecList(), getTotalRecursiveRuleSize(), Relation(), size(), and toString().

loadtime

std::chrono::microseconds souffle::profile::Relation::loadtime {}

private

Definition at line 34 of file Relation.h.

Referenced by getLoadtime(), and setLoadtime().

locator

std::string souffle::profile::Relation::locator

private

Definition at line 40 of file Relation.h.

Referenced by getLocator(), and setLocator().

name

const std::string souffle::profile::Relation::name

private

Definition at line 31 of file Relation.h.

Referenced by createRecID(), getName(), and toString().

nonRecTuples

long souffle::profile::Relation::nonRecTuples = 0

private

Definition at line 36 of file Relation.h.

Referenced by setNumTuples(), size(), and toString().

postMaxRSS

size_t souffle::profile::Relation::postMaxRSS = 0

private

Definition at line 38 of file Relation.h.

Referenced by getMaxRSSDiff(), and setPostMaxRSS().

preMaxRSS

size_t souffle::profile::Relation::preMaxRSS = 0

private

Definition at line 37 of file Relation.h.

Referenced by getMaxRSSDiff(), and setPreMaxRSS().

ready

bool souffle::profile::Relation::ready = true

private

Definition at line 49 of file Relation.h.

Referenced by isReady(), and setReady().

recursiveId

int souffle::profile::Relation::recursiveId = 0

private

Definition at line 42 of file Relation.h.

Referenced by createRecID().

ruleId

int souffle::profile::Relation::ruleId = 0

private

Definition at line 41 of file Relation.h.

Referenced by createID().

ruleMap

std::unordered_map<std::string, std::shared_ptr<Rule> > souffle::profile::Relation::ruleMap

private

Definition at line 47 of file Relation.h.

Referenced by addRule(), getRuleMap(), Relation(), and toString().

savetime

std::chrono::microseconds souffle::profile::Relation::savetime {}

private

Definition at line 35 of file Relation.h.

Referenced by getSavetime(), and setSavetime().

starttime

std::chrono::microseconds souffle::profile::Relation::starttime {}

private

Definition at line 32 of file Relation.h.

Referenced by addIteration(), getNonRecTime(), getStarttime(), and setStarttime().

tuplesRead

size_t souffle::profile::Relation::tuplesRead = 0

private

Definition at line 43 of file Relation.h.

Referenced by addReads(), and getReads().

---

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

• include/souffle/profile/Relation.h