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	visitEnter (DataNode &) const
virtual bool	visitEnter (ConditionNode &) const
Public Member Functions inherited from concurrency::IGraphVisitor
virtual	~IGraphVisitor ()=default

Private Types
using	visitor_book

Private Attributes
bool	m_foundViolations { false }
visitor_book	m_conditionalProducers
visitor_book	m_unconditionalProducers

Detailed Description

Definition at line 131 of file Validators.h.

Member Typedef Documentation

visitor_book

using concurrency::ProductionAmbiguityFinder::visitor_book

private

Initial value:

 
        std::map<DataNode*, std::set<AlgorithmNode*, CompareNodes<AlgorithmNode*>>, CompareNodes<DataNode*>>

Definition at line 156 of file Validators.h.

Member Function Documentation

passed()

bool concurrency::ProductionAmbiguityFinder::passed ( ) const

inline

Definition at line 143 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 147 of file Validators.h.

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

visit() [1/4]

virtual bool concurrency::IGraphVisitor::visit ( AlgorithmNode & )

inlinevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 28 of file IGraphVisitor.h.

{ return true; }

visit() [2/4]

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() [3/4]

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() [4/4]

virtual bool concurrency::IGraphVisitor::visit ( DecisionNode & )

inlinevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 25 of file IGraphVisitor.h.

{ return true; }

visitEnter() [1/4]

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

inlineoverridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 136 of file Validators.h.

{ return false; }

visitEnter() [2/4]

virtual bool concurrency::IGraphVisitor::visitEnter ( ConditionNode & ) const

inlinevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 33 of file IGraphVisitor.h.

{ return true; }

visitEnter() [3/4]

virtual bool concurrency::IGraphVisitor::visitEnter ( DataNode & ) const

inlinevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 30 of file IGraphVisitor.h.

{ return true; }

visitEnter() [4/4]

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

inlineoverridevirtual

Reimplemented from concurrency::IGraphVisitor.

Definition at line 137 of file Validators.h.

{ return false; }

Member Data Documentation

m_conditionalProducers

visitor_book concurrency::ProductionAmbiguityFinder::m_conditionalProducers

private

Definition at line 158 of file Validators.h.

m_foundViolations

bool concurrency::ProductionAmbiguityFinder::m_foundViolations { false }

private

Definition at line 154 of file Validators.h.

{ false };

m_unconditionalProducers

visitor_book concurrency::ProductionAmbiguityFinder::m_unconditionalProducers

private

Definition at line 159 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