concurrency::ProductionAmbiguityFinder Class Reference

#include </builds/gaudi/Gaudi/GaudiHive/src/PRGraph/Visitors/Validators.h>

Inheritance diagram for concurrency::ProductionAmbiguityFinder:

Collaboration diagram for concurrency::ProductionAmbiguityFinder:

Public Member Functions
bool	visitEnter (AlgorithmNode &) const override
bool	visitEnter (DecisionNode &) const override
bool	visit (DataNode &) override
bool	visit (ConditionNode &) override
std::string	reply () const
bool	passed () const
void	reset () override
virtual bool	visit (DecisionNode &)
virtual bool	visit (AlgorithmNode &)
virtual bool	visit (DataNode &)
virtual bool	visit (ConditionNode &)
virtual bool	visitEnter (DecisionNode &) const
virtual bool	visitEnter (AlgorithmNode &) const
virtual bool	visitEnter (DataNode &) const
virtual bool	visitEnter (ConditionNode &) const
Public Member Functions inherited from concurrency::IGraphVisitor
virtual	~IGraphVisitor ()=default
virtual bool	visit (DecisionNode &)
virtual bool	visit (AlgorithmNode &)
virtual bool	visitEnter (DataNode &) const
virtual bool	visitEnter (ConditionNode &) const

Private Types
using	visitor_book = std::map< DataNode *, std::set< AlgorithmNode *, CompareNodes< AlgorithmNode * > >, CompareNodes< DataNode * > >

Private Attributes
bool	m_foundViolations { false }
visitor_book	m_conditionalProducers
visitor_book	m_unconditionalProducers

Detailed Description

Definition at line 132 of file Validators.h.

Member Typedef Documentation

visitor_book

using concurrency::ProductionAmbiguityFinder::visitor_book = std::map<DataNode*, std::set<AlgorithmNode*, CompareNodes<AlgorithmNode*> >, CompareNodes<DataNode*> >

private

Definition at line 157 of file Validators.h.

Member Function Documentation

passed()

bool concurrency::ProductionAmbiguityFinder::passed ( ) const

inline

Definition at line 144 of file Validators.h.

                               {
      return std::all_of( m_unconditionalProducers.begin(), m_unconditionalProducers.end(),
                                 []( const auto& pr ) { return pr.second.size() == 1; } );
    }

reply()

std::string concurrency::ProductionAmbiguityFinder::reply

(

)

const

Definition at line 192 of file Validators.cpp.

                                                   {
 
    std::ostringstream status{ "  No topology violations found in the DF realm" };
 
    if ( m_foundViolations ) {
      status << "  Conditional (C) and/or unconditional (U) topology violations found in the DF realm:\n\n";
 
      for ( const auto& upr : m_unconditionalProducers ) {
 
        // add unconditional violations to the report
        status << " (U): " << upr.first->name() << " <---- |";
        for ( const auto& algo : upr.second )
          status << " " << algo->name() << " (U)"
                 << " |";
 
        // add conditional violations to the report
        auto result = m_conditionalProducers.find( upr.first );
        if ( result != m_conditionalProducers.end() ) {
          for ( const auto& algo : result->second )
            status << " " << algo->name() << " (C)"
                   << " |";
        }
 
        status << "\n";
      }
 
      // add remaining conditional violations to the report
      for ( const auto& cpr : m_conditionalProducers ) {
 
        if ( m_unconditionalProducers.find( cpr.first ) != m_unconditionalProducers.end() ) continue;
 
        status << " (C): " << cpr.first->name() << " <---- |";
        for ( const auto& algo : cpr.second )
          status << " " << algo->name() << " (C)"
                 << " |";
        status << "\n";
      }
    }
 
    return status.str();
  }

reset()

void concurrency::ProductionAmbiguityFinder::reset ( )

inlineoverridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 148 of file Validators.h.

                          {
      m_foundViolations = false;
      m_conditionalProducers.clear();
      m_unconditionalProducers.clear();
    }

visit() [1/6]

virtual bool concurrency::IGraphVisitor::visit

inline

Definition at line 29 of file IGraphVisitor.h.

{ return true; }

visit() [2/6]

virtual bool concurrency::IGraphVisitor::visit

inline

Definition at line 35 of file IGraphVisitor.h.

{ return true; }

visit() [3/6]

bool concurrency::ProductionAmbiguityFinder::visit ( ConditionNode &  node )

overridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 173 of file Validators.cpp.

                                                             {
 
    if ( node.getProducers().size() > 1 ) {
 
      if ( !m_foundViolations ) m_foundViolations = true;
 
      // all violations related to Condition Node are unconditional as
      // Condition Algorithms are detached from the CF realm
      for ( const auto& producer : node.getProducers() ) {
        // register unconditional violation
        auto pr = m_unconditionalProducers.try_emplace( &node );
        pr.first->second.insert( producer );
      }
    }
 
    return true;
  }

visit() [4/6]

virtual bool concurrency::IGraphVisitor::visit

inline

Definition at line 32 of file IGraphVisitor.h.

{ return true; }

visit() [5/6]

bool concurrency::ProductionAmbiguityFinder::visit ( DataNode &  node )

overridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 143 of file Validators.cpp.

                                                        {
 
    if ( node.getProducers().size() > 1 ) {
 
      if ( !m_foundViolations ) m_foundViolations = true;
 
      auto scout = ConditionalLineageFinder();
 
      for ( const auto& producer : node.getProducers() ) {
 
        producer->accept( scout );
 
        if ( scout.negative() ) {
          // register unconditional violation
          auto pr = m_unconditionalProducers.try_emplace( &node );
          pr.first->second.insert( producer );
        } else {
          // register conditional violation
          auto pr = m_conditionalProducers.try_emplace( &node );
          pr.first->second.insert( producer );
        }
 
        scout.reset();
      }
    }
 
    return true;
  }

visit() [6/6]

virtual bool concurrency::IGraphVisitor::visit

inline

Definition at line 26 of file IGraphVisitor.h.

{ return true; }

visitEnter() [1/6]

virtual bool concurrency::IGraphVisitor::visitEnter

inline

Definition at line 28 of file IGraphVisitor.h.

{ return true; }

visitEnter() [2/6]

bool concurrency::ProductionAmbiguityFinder::visitEnter ( AlgorithmNode &  ) const

inlineoverridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 137 of file Validators.h.

{ return false; }

visitEnter() [3/6]

virtual bool concurrency::IGraphVisitor::visitEnter

inline

Definition at line 34 of file IGraphVisitor.h.

{ return true; }

visitEnter() [4/6]

virtual bool concurrency::IGraphVisitor::visitEnter

inline

Definition at line 31 of file IGraphVisitor.h.

{ return true; }

visitEnter() [5/6]

virtual bool concurrency::IGraphVisitor::visitEnter

inline

Definition at line 25 of file IGraphVisitor.h.

{ return true; }

visitEnter() [6/6]

bool concurrency::ProductionAmbiguityFinder::visitEnter ( DecisionNode &  ) const

inlineoverridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 138 of file Validators.h.

{ return false; }

Member Data Documentation

m_conditionalProducers

visitor_book concurrency::ProductionAmbiguityFinder::m_conditionalProducers

private

Definition at line 159 of file Validators.h.

m_foundViolations

bool concurrency::ProductionAmbiguityFinder::m_foundViolations { false }

private

Definition at line 155 of file Validators.h.

m_unconditionalProducers

visitor_book concurrency::ProductionAmbiguityFinder::m_unconditionalProducers

private

Definition at line 160 of file Validators.h.

---

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

• GaudiHive/src/PRGraph/Visitors/Validators.h
• GaudiHive/src/PRGraph/Visitors/Validators.cpp