souffle::ast::ProfileUseSips Class Reference

Goal: reorder based on the given profiling information Metric: cost(atom_R) = log(|atom_R|) * #free/#args. More...

#include <SipsMetric.h>

Inheritance diagram for souffle::ast::ProfileUseSips:

Collaboration diagram for souffle::ast::ProfileUseSips:

Public Member Functions
	ProfileUseSips (const analysis::ProfileUseAnalysis &profileUse)
Public Member Functions inherited from souffle::ast::SipsMetric
std::vector< unsigned int >	getReordering (const Clause *clause) const
	Determines the new ordering of a clause after the SIPS is applied. More...
virtual	~SipsMetric ()=default

Protected Member Functions
std::vector< double >	evaluateCosts (const std::vector< Atom * > atoms, const BindingStore &bindingStore) const override
	Evaluates the cost of choosing each atom next in the current schedule. More...

Private Attributes
const analysis::ProfileUseAnalysis &	profileUse

Additional Inherited Members
Static Public Member Functions inherited from souffle::ast::SipsMetric
static std::unique_ptr< SipsMetric >	create (const std::string &heuristic, const TranslationUnit &tu)
	Create a SIPS metric based on a given heuristic. More...

Detailed Description

Goal: reorder based on the given profiling information Metric: cost(atom_R) = log(|atom_R|) * #free/#args.

• exception: propositions are prioritised

Definition at line 138 of file SipsMetric.h.

Constructor & Destructor Documentation

ProfileUseSips()

souffle::ast::ProfileUseSips::ProfileUseSips ( const analysis::ProfileUseAnalysis &  profileUse )

inline

Definition at line 140 of file SipsMetric.h.

: profileUse(profileUse) {}

Member Function Documentation

evaluateCosts()

std::vector< double > souffle::ast::ProfileUseSips::evaluateCosts ( const std::vector< Atom * >  atoms, const BindingStore &  bindingStore  ) const

overrideprotectedvirtual

Evaluates the cost of choosing each atom next in the current schedule.

Parameters

atoms	atoms to choose from; may be nullptr
bindingStore	the variables already bound to a value

Implements souffle::ast::SipsMetric.

Definition at line 242 of file SipsMetric.cpp.

                          : atoms) {
        if (atom == nullptr) {
            cost.push_back(std::numeric_limits<double>::max());
            continue;
        }
 
        // prioritise propositions
        int arity = atom->getArity();
        if (arity == 0) {
            cost.push_back(0);
            continue;
        }
 
        // calculate log(|R|) * #free/#args
        int numBound = bindingStore.numBoundArguments(atom);
        int numFree = arity - numBound;
        double value = log(profileUse.getRelationSize(atom->getQualifiedName()));
        value *= (numFree * 1.0) / arity;
    }
    return cost;
}
 
std::vector<double> DeltaSips::evaluateCosts(
        const std::vector<Atom*> atoms, const BindingStore& bindingStore) const {
    // Goal: prioritise (1) all-bound, then (2) deltas, and then (3) left-most
    std::vector<double> cost;
    for (const auto* atom : atoms) {

References souffle::ast::analysis::ProfileUseAnalysis::getRelationSize(), and profileUse.

Here is the call graph for this function:

Field Documentation

profileUse

const analysis::ProfileUseAnalysis& souffle::ast::ProfileUseSips::profileUse

private

Definition at line 147 of file SipsMetric.h.

Referenced by evaluateCosts().

---

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

• ast/utility/SipsMetric.h
• ast/utility/SipsMetric.cpp