for_each-inl.h 5.72 KB
Newer Older
1
/*
2
 * Copyright (c) 2014-2015, Siemens AG. All rights reserved.
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice,
 * this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 * this list of conditions and the following disclaimer in the documentation
 * and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef EMBB_ALGORITHMS_INTERNAL_FOR_EACH_INL_H_
#define EMBB_ALGORITHMS_INTERNAL_FOR_EACH_INL_H_

#include <cassert>

#include <embb/base/exceptions.h>
#include <embb/mtapi/mtapi.h>
#include <embb/algorithms/internal/partition.h>
#include <embb/algorithms/zip_iterator.h>

namespace embb {
namespace algorithms {

namespace internal {

template<typename RAI, typename Function>
class ForEachFunctor {
44 45
 private:
  typedef ForEachFunctor<RAI, Function> self_t;
46 47 48 49
 public:
  /**
   * Constructs a for-each functor with arguments.
   */
50 51 52 53 54
  ForEachFunctor(size_t chunk_first, size_t chunk_last, Function unary,
                 const embb::mtapi::ExecutionPolicy& policy, 
                 const BlockSizePartitioner<RAI>& partitioner)
  : chunk_first_(chunk_first), chunk_last_(chunk_last), 
    unary_(unary), policy_(policy), partitioner_(partitioner) {
55 56
  }

57 58 59 60 61 62 63
  void Action(mtapi::TaskContext&) {
    if (chunk_first_ == chunk_last_) {
      // Leaf case, recursed to single chunk. Do work on chunk:
      ChunkDescriptor<RAI> chunk = partitioner_[chunk_first_];
      RAI first = chunk.GetFirst();
      RAI last  = chunk.GetLast();
      for (RAI it = first; it != last; ++it) {
64
        unary_(*it);
65
      }
66 67 68 69 70 71 72 73 74 75 76 77 78 79
    }
    else {
      // Recurse further:
      size_t chunk_split_index = (chunk_first_ + chunk_last_) / 2;
      // Split chunks into left / right branches:
      self_t functor_l(chunk_first_, 
                       chunk_split_index,
                       unary_, policy_, partitioner_);
      self_t functor_r(chunk_split_index + 1, 
                       chunk_last_,
                       unary_, policy_, partitioner_);
      mtapi::Task task_l = mtapi::Node::GetInstance().Spawn(
        mtapi::Action(
          base::MakeFunction(
80
          functor_l, &self_t::Action),
81
          policy_));
82 83 84
      mtapi::Task task_r = mtapi::Node::GetInstance().Spawn(
        mtapi::Action(
          base::MakeFunction(
85
          functor_r, &self_t::Action),
86
          policy_));
87
      task_l.Wait(MTAPI_INFINITE);
88
      task_r.Wait(MTAPI_INFINITE);
89 90 91 92
    }
  }

 private:
93 94
  size_t chunk_first_;
  size_t chunk_last_;
95
  Function unary_;
96
  const embb::mtapi::ExecutionPolicy& policy_;
97
  const BlockSizePartitioner<RAI>& partitioner_;
98 99 100 101 102 103 104 105

  /**
   * Disables assignment.
   */
  ForEachFunctor& operator=(const ForEachFunctor&);
};

template<typename RAI, typename Function>
106
void ForEachRecursive(RAI first, RAI last, Function unary,
107
  const embb::mtapi::ExecutionPolicy& policy, size_t block_size) {
108 109
  typedef typename std::iterator_traits<RAI>::difference_type difference_type;
  difference_type distance = std::distance(first, last);
110 111 112
  if (distance == 0) {
    EMBB_THROW(embb::base::ErrorException, "Distance for ForEach is 0");
  }
113 114 115 116 117 118 119 120 121 122 123 124 125
  mtapi::Node& node = mtapi::Node::GetInstance();
  // Determine actually used block size
  if (block_size == 0) {
    block_size = (static_cast<size_t>(distance) / node.GetCoreCount());
    if (block_size == 0) {
      block_size = 1;
    }
  }
  // Perform check of task number sufficiency
  if (((distance / block_size) * 2) + 1 > MTAPI_NODE_MAX_TASKS_DEFAULT) {
    EMBB_THROW(embb::base::ErrorException, "Not enough MTAPI tasks available "
               "to perform the parallel foreach loop");
  }
126 127 128 129 130

  BlockSizePartitioner<RAI> partitioner(first, last, block_size);
  ForEachFunctor<RAI, Function> functor(0, 
                                        partitioner.Size() - 1, 
                                        unary, policy, partitioner);
131 132 133
  mtapi::Task task = node.Spawn(mtapi::Action(
                     base::MakeFunction(functor,
                       &ForEachFunctor<RAI, Function>::Action),
134
                     policy));
135 136 137 138 139
  task.Wait(MTAPI_INFINITE);
}

template<typename RAI, typename Function>
void ForEachIteratorCheck(RAI first, RAI last, Function unary,
140
  const embb::mtapi::ExecutionPolicy& policy, size_t block_size,
141
                          std::random_access_iterator_tag) {
142
  return ForEachRecursive(first, last, unary, policy, block_size);
143 144 145 146 147
}

}  // namespace internal

template<typename RAI, typename Function>
148
void ForEach(RAI first, const RAI last, Function unary,
149
  const embb::mtapi::ExecutionPolicy& policy, size_t block_size) {
150 151 152 153 154 155 156 157 158
  typename std::iterator_traits<RAI>::iterator_category category;
  internal::ForEachIteratorCheck(first, last, unary, policy, block_size,
                                 category);
}

}  // namespace algorithms
}  // namespace embb

#endif  // EMBB_ALGORITHMS_INTERNAL_FOR_EACH_INL_H_