ssa_graph_checker.cc 2.4 KB
Newer Older
C
chengduoZH 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// Copyright (c) 2018 PaddlePaddle Authors. All Rights Reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "paddle/fluid/framework/details/ssa_graph_checker.h"
X
clean  
Xin Pan 已提交
16 17
#include <string>
#include "paddle/fluid/framework/ir/graph.h"
C
chengduoZH 已提交
18 19 20 21 22

namespace paddle {
namespace framework {
namespace details {

X
Xin Pan 已提交
23
bool SSAGraghBuilderWithChecker::IsValidGraph(const ir::Graph *graph) const {
C
chengduoZH 已提交
24 25 26 27 28 29 30
  std::unordered_map<OpHandleBase *, size_t> pending_ops;
  std::unordered_set<VarHandleBase *> pending_vars;
  std::unordered_set<VarHandleBase *> ready_vars;
  std::unordered_set<OpHandleBase *> ready_ops;

  auto insert_pending_var = [&](VarHandleBase *var) {
    pending_vars.insert(var);
X
Xin Pan 已提交
31
    if (var->GeneratedOp() == nullptr) {
C
chengduoZH 已提交
32 33 34 35
      ready_vars.emplace(var);
    }
  };

X
Xin Pan 已提交
36
  for (auto &var_map : graph->Get<GraphVars>("vars")) {
C
chengduoZH 已提交
37 38 39 40 41 42 43
    for (auto &name_pair : var_map) {
      for (auto &version_pair : name_pair.second) {
        insert_pending_var(version_pair.get());
      }
    }
  }

X
Xin Pan 已提交
44
  for (auto &var : graph->Get<GraphDepVars>("dep_vars")) {
C
chengduoZH 已提交
45 46 47
    insert_pending_var(var.get());
  }

X
Xin Pan 已提交
48
  for (auto &op : graph->Get<GraphOps>("ops")) {
C
chengduoZH 已提交
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
    if (op->Inputs().empty()) {
      ready_ops.insert(op.get());
    } else {
      pending_ops.insert({op.get(), op.get()->NoDupInputSize()});
    }
  }

  auto run_all_ops = [&](std::unordered_set<OpHandleBase *> &set) {
    for (auto *op : set) {
      for (auto out : op->Outputs()) {
        ready_vars.emplace(out);
      }
    }
    set.clear();
  };

  while (!pending_vars.empty()) {
    run_all_ops(ready_ops);

    if (ready_vars.empty()) {
      return false;
    }

    for (auto ready_var : ready_vars) {
      pending_vars.erase(ready_var);
X
Xin Pan 已提交
74
      for (auto *op : ready_var->PendingOps()) {
C
chengduoZH 已提交
75 76 77 78 79 80 81 82 83 84 85 86 87
        auto &deps = --pending_ops[op];
        if (deps == 0) {
          ready_ops.insert(op);
        }
      }
    }
    ready_vars.clear();
  }
  return true;
}
}  // namespace details
}  // namespace framework
}  // namespace paddle