You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.

execution_tree.cc 9.9 kB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265
  1. /**
  2. * Copyright 2019 Huawei Technologies Co., Ltd
  3. *
  4. * Licensed under the Apache License, Version 2.0 (the "License");
  5. * you may not use this file except in compliance with the License.
  6. * You may obtain a copy of the License at
  7. *
  8. * http://www.apache.org/licenses/LICENSE-2.0
  9. *
  10. * Unless required by applicable law or agreed to in writing, software
  11. * distributed under the License is distributed on an "AS IS" BASIS,
  12. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. * See the License for the specific language governing permissions and
  14. * limitations under the License.
  15. */
  16. #include "dataset/engine/execution_tree.h"
  17. #include <iostream>
  18. #include <string>
  19. #include "dataset/engine/datasetops/dataset_op.h"
  20. #include "dataset/engine/datasetops/shuffle_op.h"
  21. #include "dataset/util/task_manager.h"
  22. #include "dataset/engine/opt/util/printer_pass.h"
  23. namespace mindspore {
  24. namespace dataset {
  25. // Constructor
  26. ExecutionTree::ExecutionTree() : id_count_(0) {
  27. tg_ = std::make_unique<TaskGroup>();
  28. tree_state_ = kDeTStateInit;
  29. prepare_flags_ = kDePrepNone;
  30. }
  31. // Destructor
  32. ExecutionTree::~ExecutionTree() { (void)tg_->ServiceStop(); }
  33. // Associates a DatasetOp with this tree. This assigns a valid node id to the operator and
  34. // provides it with a link to the tree. A node cannot form any relationships (parent/child) with
  35. // other nodes unless they are associated with the same tree.
  36. Status ExecutionTree::AssociateNode(const std::shared_ptr<DatasetOp> &op) {
  37. if (tree_state_ != kDeTStateInit && tree_state_ != kDeTStateBuilding) {
  38. std::string err_msg =
  39. "Invalid tree state for adding a node. Current state: " + std::to_string(static_cast<int>(tree_state_)) +
  40. " Expected states: " + std::to_string(static_cast<int>(kDeTStateInit)) + " or " +
  41. std::to_string(static_cast<int>(kDeTStateBuilding));
  42. RETURN_STATUS_UNEXPECTED(err_msg);
  43. }
  44. // Enter the building state if we were not already there
  45. tree_state_ = kDeTStateBuilding;
  46. // Assign an id to the operator
  47. op->set_id(id_count_);
  48. id_count_++;
  49. // Assign our tree into the op so that each op has a link back to the tree
  50. op->set_tree(this);
  51. return Status::OK();
  52. }
  53. // Sets the root node of the tree
  54. Status ExecutionTree::AssignRoot(const std::shared_ptr<DatasetOp> &op) {
  55. // Tree must be in building state before we can assign root to it
  56. if (tree_state_ != kDeTStateBuilding) {
  57. std::string err_msg =
  58. "Invalid tree state for assigning a root node. Current state: " + std::to_string(static_cast<int>(tree_state_)) +
  59. " Expected state: " + std::to_string(static_cast<int>(kDeTStateBuilding));
  60. RETURN_STATUS_UNEXPECTED(err_msg);
  61. }
  62. // If they didn't already call AssociateNode for this node before calling AssignRoot,
  63. // then do so now.
  64. if (op->operator_id_ == DatasetOp::kInvalidOperatorId) {
  65. RETURN_IF_NOT_OK(this->AssociateNode(op));
  66. }
  67. // Then add it as the root.
  68. root_ = op;
  69. // The tree has an assigned root now and it's ready to be prepared.
  70. tree_state_ = kDeTStatePrepare;
  71. return Status::OK();
  72. }
  73. // A print method typically used for debugging
  74. void ExecutionTree::Print(std::ostream &out) const {
  75. out << "Execution tree summary:\n"
  76. << "-----------------------\n";
  77. this->PrintNode(out, root_, "", true, false);
  78. out << "\nExecution tree operator details:\n"
  79. << "--------------------------------\n";
  80. this->PrintNode(out, root_, "", true, true);
  81. }
  82. // A helper functions for doing the recursive printing
  83. void ExecutionTree::PrintNode(std::ostream &out, const std::shared_ptr<DatasetOp> &dataset_op, std::string indent,
  84. bool last, bool detailed) const {
  85. // Decide which printer to use based on detailed arg.
  86. if (!detailed) {
  87. out << indent << "+- " << *dataset_op;
  88. indent += (last ? " " : "| ");
  89. } else {
  90. dataset_op->Print(out, detailed);
  91. }
  92. // Descend to children
  93. for (int32_t i = 0; i < dataset_op->child_.size(); ++i) {
  94. this->PrintNode(out, dataset_op->child_[i], indent, (i == (dataset_op->child_.size() - 1)), detailed);
  95. }
  96. }
  97. // Start the execution of the tree
  98. Status ExecutionTree::Launch() {
  99. // Tree must be built and prepared before it can be launched!
  100. if (tree_state_ != kDeTStateReady) {
  101. std::string err_msg =
  102. "Invalid tree state for launching tree. Current state: " + std::to_string(static_cast<int>(tree_state_)) +
  103. " Expected state: " + std::to_string(static_cast<int>(kDeTStateReady));
  104. RETURN_STATUS_UNEXPECTED(err_msg);
  105. }
  106. std::ostringstream ss;
  107. ss << *this;
  108. MS_LOG(DEBUG) << "Printing the tree before launch tasks:\n" << ss.str();
  109. for (auto itr = this->begin(); itr != this->end(); ++itr) {
  110. // An inlined operator is one that has an output connector size of 0, and it does not
  111. // require a thread to execute. Instead, the work of this operator is executed inlined
  112. // from the tree node directly above it (or in the case of a root node, it runs from within
  113. // the launching tree/user thread. Do not exec any thread for an inlined op.
  114. itr->state_ = DatasetOp::OpState::kDeOpRunning;
  115. if (!itr->inlined()) {
  116. RETURN_IF_NOT_OK(tg_->CreateAsyncTask("Op launched, OperatorId:" + std::to_string(itr->id()), std::ref(*itr)));
  117. // Set the state of the Operator as running. This only matters in Leaf ops, CacheOp and TakeOp
  118. }
  119. }
  120. tree_state_ = kDeTStateExecuting;
  121. return Status::OK();
  122. }
  123. // A function that traverse the tree in postorder then save the results in nodes
  124. void ExecutionTree::Iterator::PostOrderTraverse(const std::shared_ptr<DatasetOp> &node) {
  125. if (node == nullptr) {
  126. return;
  127. }
  128. for (int32_t i = 0; i < node->child_.size(); ++i) {
  129. PostOrderTraverse(node->child_[i]);
  130. }
  131. nodes_.push_back(node);
  132. }
  133. ExecutionTree::Iterator::Iterator(const std::shared_ptr<DatasetOp> &root) : ind_(0) {
  134. // post-order traverse the tree, if root is null, it return
  135. PostOrderTraverse(root);
  136. nodes_.emplace_back(nullptr);
  137. }
  138. // Given the number of workers, launches the worker entry function for each. Essentially a
  139. // wrapper for the TaskGroup handling that is stored inside the execution tree.
  140. Status ExecutionTree::LaunchWorkers(int32_t num_workers, std::function<Status(uint32_t)> func) {
  141. // Launch the workers
  142. for (int32_t i = 0; i < num_workers; ++i) {
  143. RETURN_IF_NOT_OK(tg_->CreateAsyncTask("Parallel Op Worker", std::bind(func, i)));
  144. }
  145. return Status::OK();
  146. }
  147. // The driver of the prepare phase of the execution tree.
  148. // Prepare phase consists of three sub phases
  149. //
  150. // 1. PrepareTreePreAction()
  151. // Compulsory transformation/action pre optimization.
  152. // For example, CacheOp Insertion
  153. //
  154. // 2. Optimize()
  155. // Optimization transformation/action, optional
  156. // For example, MapOp Fusion
  157. //
  158. // 3. PrepareTreePostAction()
  159. // Compulsory transformation/action post optimization.
  160. // For example, repeatOp inlining
  161. //
  162. // @return Status - The error code return
  163. Status ExecutionTree::Prepare() {
  164. // Pre optimization compulsory transformation
  165. RETURN_IF_NOT_OK(this->PrepareTreePreAction());
  166. // Optimization transformation
  167. RETURN_IF_NOT_OK(this->Optimize());
  168. // Post optimization compulsory transformation
  169. RETURN_IF_NOT_OK(this->PrepareTreePostAction());
  170. // Existing transformation implementation, will be removed later
  171. RETURN_IF_NOT_OK(this->PrepareDeprecated());
  172. return Status::OK();
  173. }
  174. Status ExecutionTree::PrepareTreePreAction() { return Status::OK(); }
  175. Status ExecutionTree::PrepareTreePostAction() { return Status::OK(); }
  176. Status ExecutionTree::Optimize() {
  177. // auto pp = new PrinterPass();
  178. // bool modified = false;
  179. // pp->Run(this, &modified);
  180. return Status::OK();
  181. }
  182. // The driver of the prepare phase of the execution tree. The prepare phase will recursively
  183. // walk the tree to perform modifications to the tree or specific nodes within the tree to get
  184. // it ready for execution.
  185. //
  186. // This driver is deprecated.
  187. Status ExecutionTree::PrepareDeprecated() {
  188. // Tree must be in pending prepare state before we can assign root to it
  189. if (tree_state_ != kDeTStatePrepare) {
  190. std::string err_msg =
  191. "Invalid tree state for preparing the tree. Current state: " + std::to_string(static_cast<int>(tree_state_)) +
  192. " Expected state: " + std::to_string(static_cast<int>(kDeTStatePrepare));
  193. RETURN_STATUS_UNEXPECTED(err_msg);
  194. }
  195. // Start the recursive prepare
  196. RETURN_IF_NOT_OK(this->PrepareNode(root_));
  197. tree_state_ = kDeTStateReady;
  198. return Status::OK();
  199. }
  200. // Recursive function used during prepare phase to visit a node and drive any pre- and post-
  201. // node actions during a tree walk.
  202. Status ExecutionTree::PrepareNode(const std::shared_ptr<DatasetOp> &dataset_op) {
  203. // execute PreAction
  204. RETURN_IF_NOT_OK(dataset_op->PrepareNodePreAction());
  205. // Before going down into children, make any prepare flags updates based on this operator.
  206. uint32_t op_prep_flags = dataset_op->PrepareFlags();
  207. BitSet(&prepare_flags_, op_prep_flags);
  208. // Now, descend to children
  209. for (const auto &i : dataset_op->child_) {
  210. RETURN_IF_NOT_OK(this->PrepareNode(i));
  211. }
  212. // Then clear the flags from this op now that we have prepared it.
  213. BitClear(&prepare_flags_, op_prep_flags);
  214. // No more children, now we execute any prepare actions before going back up the
  215. // the tree on recursive function
  216. RETURN_IF_NOT_OK(dataset_op->PrepareNodePostAction());
  217. return Status::OK();
  218. }
  219. // Adds an operator to the repeat stack during prepare phase.
  220. void ExecutionTree::AddToRepeatStack(std::shared_ptr<DatasetOp> dataset_op) { repeat_stack_.push(dataset_op); }
  221. // Pops an operator from the repeat stack during prepare phase.
  222. std::shared_ptr<DatasetOp> ExecutionTree::PopFromRepeatStack() {
  223. std::shared_ptr<DatasetOp> top_op = nullptr;
  224. if (!repeat_stack_.empty()) {
  225. top_op = repeat_stack_.top();
  226. repeat_stack_.pop();
  227. }
  228. return top_op;
  229. }
  230. } // namespace dataset
  231. } // namespace mindspore