souffle::ast::analysis::RelationScheduleAnalysis Class Reference

Analysis pass computing a schedule for computing relations. More...

#include <RelationSchedule.h>

Inheritance diagram for souffle::ast::analysis::RelationScheduleAnalysis:

Collaboration diagram for souffle::ast::analysis::RelationScheduleAnalysis:

Public Member Functions
void	print (std::ostream &os) const override
	Dump this relation schedule to standard error. More...
	RelationScheduleAnalysis ()
void	run (const TranslationUnit &translationUnit) override
	run analysis for a Ast translation unit More...
const std::vector< RelationScheduleAnalysisStep > &	schedule () const
Public Member Functions inherited from souffle::ast::analysis::Analysis
	Analysis (std::string identifier)
virtual const std::string &	getName () const
	get name of the analysis More...
virtual	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "relation-schedule"

Private Member Functions
std::vector< std::set< const Relation * > >	computeRelationExpirySchedule (const TranslationUnit &translationUnit)

Private Attributes
PrecedenceGraphAnalysis *	precedenceGraph = nullptr
std::vector< RelationScheduleAnalysisStep >	relationSchedule
	Relations computed and expired relations at each step. More...
TopologicallySortedSCCGraphAnalysis *	topsortSCCGraphAnalysis = nullptr

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Analysis
const std::string	identifier

Detailed Description

Analysis pass computing a schedule for computing relations.

Definition at line 82 of file RelationSchedule.h.

Constructor & Destructor Documentation

RelationScheduleAnalysis()

souffle::ast::analysis::RelationScheduleAnalysis::RelationScheduleAnalysis ( )

inline

Definition at line 86 of file RelationSchedule.h.

Member Function Documentation

computeRelationExpirySchedule()

std::vector< std::set< const Relation * > > souffle::ast::analysis::RelationScheduleAnalysis::computeRelationExpirySchedule ( const TranslationUnit &  translationUnit )

private

Definition at line 79 of file RelationSchedule.cpp.

                                                                    {
        /* Add alive set of previous step */
        alive[orderedSCC].insert(alive[orderedSCC - 1].begin(), alive[orderedSCC - 1].end());
 
        /* Add predecessors of relations computed in this step */
        auto scc = topsortSCCGraphAnalysis->order()[numSCCs - orderedSCC];
        for (const Relation* r : sccGraph->getInternalRelations(scc)) {
            for (const Relation* predecessor : precedenceGraph->graph().predecessors(r)) {
                alive[orderedSCC].insert(predecessor);
            }
        }
 
        /* Compute expired relations in reverse topological order using the set difference of the alive sets
           between steps. */
        std::set_difference(alive[orderedSCC].begin(), alive[orderedSCC].end(), alive[orderedSCC - 1].begin(),
                alive[orderedSCC - 1].end(),
                std::inserter(relationExpirySchedule[numSCCs - orderedSCC],
                        relationExpirySchedule[numSCCs - orderedSCC].end()));
    }
 
    return relationExpirySchedule;
}
 
void RelationScheduleAnalysis::print(std::ostream& os) const {
    os << "begin schedule\n";
    for (const RelationScheduleAnalysisStep& step : relationSchedule) {
        os << step;
        os << "computed: ";
        for (const Relation* compRel : step.computed()) {
            os << compRel->getQualifiedName() << ", ";

print()

void souffle::ast::analysis::RelationScheduleAnalysis::print ( std::ostream &  os ) const

overridevirtual

Dump this relation schedule to standard error.

Reimplemented from souffle::ast::analysis::Analysis.

Definition at line 117 of file RelationSchedule.cpp.

                        : ";
        for (const Relation* compRel : step.expired()) {
            os << compRel->getQualifiedName() << ", ";
        }
        os << "\n";
        if (step.recursive()) {
            os << "recursive";
        } else {
            os << "not recursive";
        }
        os << "\n";
    }
    os << "end schedule\n";
}
 
}  // namespace souffle::ast::analysis

run()

void souffle::ast::analysis::RelationScheduleAnalysis::run ( const TranslationUnit &  )

overridevirtual

run analysis for a Ast translation unit

Implements souffle::ast::analysis::Analysis.

Definition at line 61 of file RelationSchedule.cpp.

                                         {
        auto scc = topsortSCCGraphAnalysis->order()[i];
        const std::set<const Relation*> computedRelations =
                translationUnit.getAnalysis<SCCGraphAnalysis>()->getInternalRelations(scc);
        relationSchedule.emplace_back(computedRelations, relationExpirySchedule[i],
                translationUnit.getAnalysis<SCCGraphAnalysis>()->isRecursive(scc));
    }
}
 
std::vector<std::set<const Relation*>> RelationScheduleAnalysis::computeRelationExpirySchedule(
        const TranslationUnit& translationUnit) {
    std::vector<std::set<const Relation*>> relationExpirySchedule;
    /* Compute for each step in the reverse topological order
       of evaluating the SCC the set of alive relations. */
    size_t numSCCs = topsortSCCGraphAnalysis->order().size();
 

References i, souffle::ast::analysis::SCCGraphAnalysis::isRecursive(), souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis::order(), relationSchedule, and topsortSCCGraphAnalysis.

Here is the call graph for this function:

schedule()

const std::vector<RelationScheduleAnalysisStep>& souffle::ast::analysis::RelationScheduleAnalysis::schedule ( ) const

inline

Definition at line 90 of file RelationSchedule.h.

Field Documentation

name

constexpr const char* souffle::ast::analysis::RelationScheduleAnalysis::name = "relation-schedule"

staticconstexpr

Definition at line 84 of file RelationSchedule.h.

precedenceGraph

PrecedenceGraphAnalysis* souffle::ast::analysis::RelationScheduleAnalysis::precedenceGraph = nullptr

private

Definition at line 99 of file RelationSchedule.h.

relationSchedule

std::vector<RelationScheduleAnalysisStep> souffle::ast::analysis::RelationScheduleAnalysis::relationSchedule

private

Relations computed and expired relations at each step.

Definition at line 102 of file RelationSchedule.h.

Referenced by run().

topsortSCCGraphAnalysis

TopologicallySortedSCCGraphAnalysis* souffle::ast::analysis::RelationScheduleAnalysis::topsortSCCGraphAnalysis = nullptr

private

Definition at line 98 of file RelationSchedule.h.

Referenced by run().

---

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

• ast/analysis/RelationSchedule.h
• ast/analysis/RelationSchedule.cpp