py_func_op.cc 10.1 KB
Newer Older
S
sneaxiy 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
// 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/operators/py_func_op.h"
#include <set>
#include <string>
#include <vector>
#include "Python.h"
#include "paddle/fluid/framework/op_registry.h"

namespace paddle {
namespace operators {

S
sneaxiy 已提交
25
namespace py = ::pybind11;
S
sneaxiy 已提交
26 27 28

static std::vector<py::object> g_py_callables;

S
sneaxiy 已提交
29 30 31 32
const char kForwardPythonCallableId[] = "forward_callable_id";
const char kBackwardPythonCallableId[] = "backward_callable_id";
const char kPyFuncBackwardSkipVars[] = "backward_skip_vars";

S
sneaxiy 已提交
33
size_t AppendPythonCallableObjectAndReturnId(const py::object &py_obj) {
S
sneaxiy 已提交
34 35 36 37
  g_py_callables.emplace_back(py_obj);
  return g_py_callables.size() - 1;
}

S
sneaxiy 已提交
38 39 40
// Return py::object* instead of py::object
// Returning py::object would cause reference count increasing
// but without GIL, reference count in Python may not be safe
S
sneaxiy 已提交
41
static py::object *GetPythonCallableObject(size_t i) {
S
sneaxiy 已提交
42
  PADDLE_ENFORCE_LT(i, g_py_callables.size(), "Invalid python callable id");
S
sneaxiy 已提交
43 44 45
  return &g_py_callables[i];
}

S
sneaxiy 已提交
46
static std::string PythonObjectToString(const py::object &py_callable) {
S
sneaxiy 已提交
47 48 49 50
  py::gil_scoped_acquire guard;
  return py::str(*py_callable);
}

S
sneaxiy 已提交
51 52
static void CallPythonFunc(py::object *callable,
                           const std::vector<framework::LoDTensor> &ins,
S
sneaxiy 已提交
53
                           std::vector<framework::LoDTensor *> *outs) {
S
sneaxiy 已提交
54
  py::gil_scoped_acquire guard;
S
sneaxiy 已提交
55 56
  py::tuple in_args(ins.size());
  for (size_t i = 0; i < ins.size(); ++i) {
S
sneaxiy 已提交
57
    in_args[i] = ins[i].IsInitialized() ? py::cast(ins[i]) : py::cast(nullptr);
S
sneaxiy 已提交
58 59
  }

S
sneaxiy 已提交
60
  auto ret = (*callable)(*in_args);
S
sneaxiy 已提交
61
  auto ret_tuple = py::cast<py::tuple>(ret);
S
sneaxiy 已提交
62
  size_t ret_num = py::len(ret_tuple);
S
sneaxiy 已提交
63 64
  size_t out_num = outs->size();
  if (UNLIKELY(ret_num != out_num)) {
S
sneaxiy 已提交
65 66 67 68 69 70 71 72 73 74
    // Python function has no return values or returns None
    // In this case, ret_num = 1 && ret[0] == None && out_num should be 0
    // Otherwise, ret_num must be equal to out_num
    PADDLE_ENFORCE(
        ret_num == 1 && out_num == 0 &&
            py::cast<framework::LoDTensor *>(ret_tuple[0]) == nullptr,
        "Output number not match. Expected %d, actual %d", out_num, ret_num);
  }

  for (size_t i = 0; i < out_num; ++i) {
S
sneaxiy 已提交
75 76
    auto *out = (*outs)[i];
    if (out == nullptr) {
S
sneaxiy 已提交
77 78
      continue;
    }
S
sneaxiy 已提交
79
    try {
S
sneaxiy 已提交
80 81
      auto *py_out_tensor = py::cast<framework::LoDTensor *>(ret_tuple[i]);
      PADDLE_ENFORCE_NOT_NULL(py_out_tensor,
S
sneaxiy 已提交
82
                              "Output tensor %d should not be nullptr", i);
S
sneaxiy 已提交
83 84
      out->set_lod(py_out_tensor->lod());
      out->ShareDataWith(*py_out_tensor);
S
sneaxiy 已提交
85
    } catch (py::cast_error &) {
S
sneaxiy 已提交
86
      PADDLE_THROW("The %d-th output must be LoDTensor", i);
S
sneaxiy 已提交
87 88 89 90 91 92 93
    }
  }
}

class PyFuncOpShapeInference : public framework::InferShapeBase {
 public:
  void operator()(framework::InferShapeContext *ctx) const override {
S
sneaxiy 已提交
94 95
    PADDLE_ENFORCE(!ctx->IsRuntime(),
                   "Infer shape cannot be called in runtime.");
S
sneaxiy 已提交
96 97 98 99
    PADDLE_ENFORCE(ctx->HasInputs("X") || ctx->HasOutputs("Out"),
                   "Input(X) or Output(Out) must exist");
    PADDLE_ENFORCE_GE(ctx->Attrs().Get<int>(kForwardPythonCallableId), 0,
                      "Function id cannot be less than 0");
S
sneaxiy 已提交
100

S
sneaxiy 已提交
101 102 103 104
    // Transverse all outputs
    // If name of any output ends with @GRAD,
    // set its shape, dtype, lod_level, type to be the same as
    // the correponding forward variable
S
sneaxiy 已提交
105 106 107 108 109 110
    auto *op = boost::get<const framework::OpDesc *>(ctx->GetOp());
    auto *block = op->Block();
    const std::string kGradVarSuffix = framework::kGradVarSuffix;
    auto out_vars = ctx->GetOutputVarPtrs("Out");
    for (auto &out_var : out_vars) {
      auto *out_var_desc = boost::get<framework::VarDesc *>(out_var);
S
sneaxiy 已提交
111 112 113
      if (out_var_desc == nullptr) {
        continue;
      }
S
sneaxiy 已提交
114 115
      auto out_name = out_var_desc->Name();
      if (out_name == framework::kEmptyVarName ||
S
sneaxiy 已提交
116
          out_name.size() <= kGradVarSuffix.size()) {
S
sneaxiy 已提交
117 118 119 120 121 122 123 124 125
        continue;
      }

      size_t len = out_name.size() - kGradVarSuffix.size();
      if (out_name.substr(len) == kGradVarSuffix) {
        auto fwd_var_name = out_name.substr(0, len);
        auto *in_var_desc = block->FindVarRecursive(fwd_var_name);
        PADDLE_ENFORCE_NOT_NULL(in_var_desc, "Forward variable %s not found",
                                fwd_var_name);
S
sneaxiy 已提交
126
        VLOG(10) << "Infer shape of Output(" << out_name << ") as Input("
S
sneaxiy 已提交
127
                 << in_var_desc->Name() << ")";
S
sneaxiy 已提交
128 129 130 131 132 133
        out_var_desc->SetShape(in_var_desc->GetShape());
        out_var_desc->SetDataType(in_var_desc->GetDataType());
        out_var_desc->SetLoDLevel(in_var_desc->GetLoDLevel());
        out_var_desc->SetType(in_var_desc->GetType());
      }
    }
S
sneaxiy 已提交
134 135 136 137 138 139 140 141
  }
};

class PyFuncOpMaker : public framework::OpProtoAndCheckerMaker {
 public:
  void Make() override {
    AddInput("X", "Inputs of py_func op.").AsDuplicable();
    AddOutput("Out", "Outputs of py_func op").AsDuplicable();
S
sneaxiy 已提交
142 143
    AddAttr<int>(kForwardPythonCallableId,
                 "Index of registered forward Python function.")
S
sneaxiy 已提交
144
        .SetDefault(0);
S
sneaxiy 已提交
145
    AddAttr<int>(kBackwardPythonCallableId,
S
sneaxiy 已提交
146
                 "Index of registered backward Python function.")
S
sneaxiy 已提交
147 148 149 150
        .SetDefault(-1);
    AddAttr<std::vector<std::string>>(kPyFuncBackwardSkipVars,
                                      "Unused forward in/out in backward op")
        .SetDefault(std::vector<std::string>());
S
sneaxiy 已提交
151 152 153 154
    AddComment(R"DOC("PyFunc Op")DOC");
  }
};

S
sneaxiy 已提交
155 156 157 158 159 160
class PyFuncOpGradDescMaker : public framework::GradOpDescMakerBase {
 public:
  using framework::GradOpDescMakerBase::GradOpDescMakerBase;

  std::vector<std::unique_ptr<framework::OpDesc>> operator()() const override {
    auto &fwd_attrs = Attrs();
S
sneaxiy 已提交
161 162
    // no backward op when backward_id is less than 0
    if (boost::get<int>(fwd_attrs.at(kBackwardPythonCallableId)) < 0) {
S
sneaxiy 已提交
163 164 165 166 167 168 169
      return {};
    }

    std::unique_ptr<framework::OpDesc> grad_op(new framework::OpDesc());
    grad_op->SetType("py_func");

    framework::AttributeMap bwd_attrs;
S
sneaxiy 已提交
170 171 172
    bwd_attrs[kForwardPythonCallableId] =
        fwd_attrs.at(kBackwardPythonCallableId);
    bwd_attrs[kBackwardPythonCallableId] = -1;
S
sneaxiy 已提交
173 174
    grad_op->SetAttrMap(bwd_attrs);

S
sneaxiy 已提交
175 176 177 178 179 180
    // All forward inputs
    auto fwd_ins = Input("X");
    // All forward outputs
    auto fwd_outs = Output("Out");

    // For memory reused, some inputs/output in forward part may be not needed
S
sneaxiy 已提交
181
    // in backward part. Skipping these vars helps to save memory
S
sneaxiy 已提交
182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204
    auto &backward_skip_var_list = boost::get<std::vector<std::string>>(
        fwd_attrs.at(kPyFuncBackwardSkipVars));
    std::unordered_set<std::string> backward_skip_var_set(
        backward_skip_var_list.begin(), backward_skip_var_list.end());
    std::vector<std::string> bwd_ins;
    bwd_ins.reserve(fwd_ins.size() + fwd_outs.size());
    for (auto &fwd_in : fwd_ins) {
      if (backward_skip_var_set.count(fwd_in) == 0) {
        bwd_ins.emplace_back(fwd_in);
      }
    }

    for (auto &fwd_out : fwd_outs) {
      if (backward_skip_var_set.count(fwd_out) == 0) {
        bwd_ins.emplace_back(fwd_out);
      }
    }

    // Backward OG cannot be skipped
    // But in Python side, if OG is kEmptyVarName, input tensor would be None
    auto fwd_out_grads = OutputGrad("Out");
    bwd_ins.reserve(bwd_ins.size() + fwd_out_grads.size());
    bwd_ins.insert(bwd_ins.end(), fwd_out_grads.begin(), fwd_out_grads.end());
S
sneaxiy 已提交
205

S
sneaxiy 已提交
206 207 208
    // Backward IG cannot be skipped
    // But in Python side, if IG is not needed, users can just return None
    auto bwd_outs = InputGrad("X", false);
S
sneaxiy 已提交
209 210 211

    if (VLOG_IS_ON(10)) {
      std::string in_str = "PyFunc Grad Input: ";
S
sneaxiy 已提交
212
      for (auto &in : bwd_ins) {
S
sneaxiy 已提交
213 214 215 216 217 218
        in_str += in;
        in_str += " ";
      }
      VLOG(10) << in_str;

      std::string out_str = "PyFunc Grad Output: ";
S
sneaxiy 已提交
219
      for (auto &out : bwd_outs) {
S
sneaxiy 已提交
220
        out_str += out;
S
sneaxiy 已提交
221
        out_str += " ";
S
sneaxiy 已提交
222 223 224 225
      }
      VLOG(10) << out_str;
    }

S
sneaxiy 已提交
226 227
    grad_op->SetInput("X", bwd_ins);
    grad_op->SetOutput("Out", bwd_outs);
S
sneaxiy 已提交
228 229 230 231 232 233 234

    std::vector<std::unique_ptr<framework::OpDesc>> ret(1);
    ret[0] = std::move(grad_op);
    return ret;
  }
};

S
sneaxiy 已提交
235 236 237 238 239 240 241 242 243 244 245 246
class PyFuncOp : public framework::OperatorBase {
 public:
  using framework::OperatorBase::OperatorBase;

 protected:
  void RunImpl(const framework::Scope &scope,
               const platform::Place &place) const override {
    auto &in_arg_names = Inputs("X");
    auto &out_arg_names = Outputs("Out");

    std::vector<framework::LoDTensor> inputs(in_arg_names.size());
    for (size_t i = 0; i < in_arg_names.size(); ++i) {
S
sneaxiy 已提交
247 248 249 250 251 252 253 254
      auto in_var = scope.FindVar(in_arg_names[i]);
      if (in_var == nullptr) {
        continue;
      }
      auto &in_tensor = in_var->Get<framework::LoDTensor>();
      if (!in_tensor.IsInitialized()) {
        continue;
      }
S
sneaxiy 已提交
255 256 257 258 259 260 261 262 263 264
      if (platform::is_gpu_place(in_tensor.place())) {
        framework::TensorCopySync(in_tensor, platform::CPUPlace(), &inputs[i]);
      } else {
        inputs[i].ShareDataWith(in_tensor);
      }
      inputs[i].set_lod(in_tensor.lod());
    }

    std::vector<framework::LoDTensor *> outputs(out_arg_names.size());
    for (size_t i = 0; i < out_arg_names.size(); ++i) {
S
sneaxiy 已提交
265
      auto *out_var = scope.FindVar(out_arg_names[i]);
S
sneaxiy 已提交
266
      auto *out_tensor =
S
sneaxiy 已提交
267
          out_var ? out_var->GetMutable<framework::LoDTensor>() : nullptr;
S
sneaxiy 已提交
268 269 270
      outputs[i] = out_tensor;
    }

S
sneaxiy 已提交
271 272 273 274 275
    auto callable_id = static_cast<size_t>(Attr<int>(kForwardPythonCallableId));
    auto *py_callable = GetPythonCallableObject(callable_id);
    VLOG(10) << "Call py_func_op with id " << callable_id << ": "
             << PythonObjectToString(*py_callable);
    CallPythonFunc(py_callable, inputs, &outputs);
S
sneaxiy 已提交
276 277 278 279 280 281 282 283 284
  }
};

}  // namespace operators
}  // namespace paddle

namespace ops = paddle::operators;

REGISTER_OPERATOR(py_func, ops::PyFuncOp, ops::PyFuncOpMaker,
S
sneaxiy 已提交
285
                  ops::PyFuncOpShapeInference, ops::PyFuncOpGradDescMaker);