binary_engine.h

Go to the documentation of this file.

/*
 *  This file is a part of TiledArray.
 *  Copyright (C) 2014  Virginia Tech
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 *  Justus Calvin
 *  Department of Chemistry, Virginia Tech
 *
 *  binary_engine.h
 *  Mar 31, 2014
 *
 */

#ifndef TILEDARRAY_EXPRESSIONS_BINARY_ENGINE_H__INCLUDED
#define TILEDARRAY_EXPRESSIONS_BINARY_ENGINE_H__INCLUDED

#include <TiledArray/expressions/expr_engine.h>
#include <TiledArray/dist_eval/binary_eval.h>

namespace TiledArray {
  namespace expressions {

    // Forward declarations
    template <typename> class BinaryExpr;
    template <typename> class BinaryEngine;

    template <typename Derived>
    class BinaryEngine : public ExprEngine<Derived> {
    public:
      // Class hierarchy typedefs
      typedef BinaryEngine<Derived> BinaryEngine_; 
      typedef ExprEngine<Derived> ExprEngine_; 

      // Argument typedefs
      typedef typename EngineTrait<Derived>::left_type left_type; 
      typedef typename EngineTrait<Derived>::right_type right_type; 

      // Operational typedefs
      typedef typename EngineTrait<Derived>::value_type value_type; 
      typedef typename EngineTrait<Derived>::op_type op_type; 
      typedef typename EngineTrait<Derived>::policy policy; 
      typedef typename EngineTrait<Derived>::dist_eval_type dist_eval_type; 

      // Meta data typedefs
      typedef typename EngineTrait<Derived>::size_type size_type; 
      typedef typename EngineTrait<Derived>::trange_type trange_type; 
      typedef typename EngineTrait<Derived>::shape_type shape_type; 
      typedef typename EngineTrait<Derived>::pmap_interface pmap_interface; 


      static constexpr bool consumable = EngineTrait<Derived>::consumable;
      static constexpr unsigned int leaves = EngineTrait<Derived>::leaves;

    protected:

      // Import base class variables to this scope
      using ExprEngine_::world_;
      using ExprEngine_::vars_;
      using ExprEngine_::perm_;
      using ExprEngine_::trange_;
      using ExprEngine_::shape_;
      using ExprEngine_::pmap_;
      using ExprEngine_::permute_tiles_;

      left_type left_; 
      right_type right_; 

    public:

      template <typename D>
      BinaryEngine(const BinaryExpr<D>& expr) :
        ExprEngine_(expr), left_(expr.left()), right_(expr.right())
      { }


      void perm_vars(const VariableList& target_vars) {
        TA_ASSERT(permute_tiles_);
        TA_ASSERT(left_.vars().dim() == target_vars.dim());
        TA_ASSERT(right_.vars().dim() == target_vars.dim());

        // Determine the equality of the variable lists
        bool left_target = true, right_target = true, left_right = true;
        for(unsigned int i = 0u; i < target_vars.dim(); ++i) {
          left_target = left_target && left_.vars()[i] == target_vars[i];
          right_target = right_target && right_.vars()[i] == target_vars[i];
          left_right = left_right && left_.vars()[i] == right_.vars()[i];
        }

        if(left_right) {
          vars_ = left_.vars();
        } else {
          // Determine which argument will be permuted
          const bool perm_left = (right_target || ((! (left_target || right_target))
              && (left_type::leaves <= right_type::leaves)));

          if(perm_left) {
            vars_ = right_.vars();
            left_.perm_vars(right_.vars());
          } else {
            vars_ = left_.vars();
            right_.perm_vars(left_.vars());
          }
        }
      }


      void init_vars(const VariableList& target_vars) {
        left_.init_vars(target_vars);
        right_.init_vars(target_vars);
        perm_vars(target_vars);
      }


      void init_vars() {
        if(left_type::leaves <= right_type::leaves) {
          left_.init_vars();
          vars_ = left_.vars();
          right_.init_vars(vars_);
        } else {
          right_.init_vars();
          vars_ = right_.vars();
          left_.init_vars(vars_);
        }
      }


      void init_struct(const VariableList& target_vars) {
        left_.init_struct(ExprEngine_::vars());
        right_.init_struct(ExprEngine_::vars());
#ifndef NDEBUG
        if(left_.trange() != right_.trange()) {
          if(TiledArray::get_default_world().rank() == 0) {
            TA_USER_ERROR_MESSAGE( \
                "The TiledRanges of the left- and right-hand arguments of the " \
                "binary operation are not equal:" \
                << "\n    left  = " << left_.trange() \
                << "\n    right = " << right_.trange() );
          }

          TA_EXCEPTION("The TiledRanges of the left- and right-hand arguments " \
              "of the binary operation are not equal.");
        }
#endif // NDEBUG
        ExprEngine_::init_struct(target_vars);
      }


      void init_distribution(World* world,
          const std::shared_ptr<pmap_interface>& pmap)
      {
        left_.init_distribution(world, pmap);
        right_.init_distribution(world, left_.pmap());
        ExprEngine_::init_distribution(world, left_.pmap());
      }


      trange_type make_trange() const { return left_.trange(); }


      trange_type make_trange(const Permutation& perm) const {
        return perm * left_.trange();
      }


      dist_eval_type make_dist_eval() const {
        typedef TiledArray::detail::BinaryEvalImpl<typename left_type::dist_eval_type,
            typename right_type::dist_eval_type, op_type, policy> impl_type;

        // Construct left and right distributed evaluators
        const typename left_type::dist_eval_type left = left_.make_dist_eval();
        const typename right_type::dist_eval_type right = right_.make_dist_eval();

        // Construct the distributed evaluator type
        std::shared_ptr<impl_type> pimpl =
            std::make_shared<impl_type>(left, right, *world_, trange_, shape_,
                                        pmap_, perm_, ExprEngine_::make_op());

        return dist_eval_type(pimpl);
      }


      void print(ExprOStream os, const VariableList& target_vars) const {
        ExprEngine_::print(os, target_vars);
        os.inc();
        left_.print(os, vars_);
        right_.print(os, vars_);
        os.dec();
      }
    }; // class BinaryEngine

  }  // namespace expressions
} // namespace TiledArray

#endif // TILEDARRAY_EXPRESSIONS_BINARY_ENGINE_H__INCLUDED