如何在框架外部自定义C++ OP

    自定义OP需要以下几个步骤:

    1. 实现OP和注册OP,和在框架内部写OP完全相同,遵守”如何写新的C++ OP”的规范和步骤。当然,实现Gradient OP是可选的。

    2. 编译出动态库。

    3. 封装该OP的Python接口。

    4. 写OP的单测。

    下面通过一个具体的例子来详细的介绍,一步一步教会您如何实现。下面通过实现relu op来介绍。

    OP的实现与”如何写新的C++ OP”的教程相同,简答的说需要: 1). 定义OP的ProtoMaker,即描述OP的输入、输出、属性信息;2). 实现OP的定义和InferShape,以及OP的kernel函数,反向OP类似。3). 注册OP,以及OP的计算函数。

    ReLU OP的CPU实现, relu_op.cc 文件:

    ReLU OP的GPU实现, relu_op.cu 文件:

    1. // relu_op.cu
    2. #include "paddle/fluid/framework/op_registry.h"
    3. namespace paddle {
    4. namespace operators {
    5. using Tensor = framework::Tensor;
    6. template <typename T>
    7. __global__ void KeRelu2(const T* x, const int num, T* y) {
    8. int gid = blockIdx.x * blockDim.x + threadIdx.x;
    9. for (int i = gid; i < num; i += blockDim.x * gridDim.x) {
    10. y[i] = max(x[i], static_cast<T>(0.));
    11. }
    12. }
    13. // 前向OP的kernel的GPU实现
    14. template <typename DeviceContext, typename T>
    15. class Relu2CUDAKernel : public framework::OpKernel<T> {
    16. public:
    17. void Compute(const framework::ExecutionContext& ctx) const override {
    18. auto* in_t = ctx.Input<Tensor>("X");
    19. auto* out_t = ctx.Output<Tensor>("Y");
    20. auto x = in_t->data<T>();
    21. auto y = out_t->mutable_data<T>(ctx.GetPlace());
    22. auto& dev_ctx = ctx.template device_context<DeviceContext>();
    23. int num = in_t->numel();
    24. int block = 512;
    25. int grid = (num + block - 1) / block;
    26. }
    27. };
    28. template <typename T>
    29. __global__ void KeRelu2Grad(const T* y, const T* dy, const int num, T* dx) {
    30. int gid = blockIdx.x * blockDim.x + threadIdx.x;
    31. dx[i] = dy[i] * (y[i] > 0 ? 1. : 0.);
    32. }
    33. }
    34. // 反向OP的kernel的GPU实现
    35. template <typename DeviceContext, typename T>
    36. class Relu2GradCUDAKernel : public framework::OpKernel<T> {
    37. public:
    38. void Compute(const framework::ExecutionContext& ctx) const override {
    39. auto* dy_t = ctx.Input<Tensor>(framework::GradVarName("Y"));
    40. auto* y_t = ctx.Input<Tensor>("Y");
    41. auto* dx_t = ctx.Output<Tensor>(framework::GradVarName("X"));
    42. auto dy = dy_t->data<T>();
    43. auto y = y_t->data<T>();
    44. auto dx = dx_t->mutable_data<T>(ctx.GetPlace());
    45. auto& dev_ctx = ctx.template device_context<DeviceContext>();
    46. int num = dy_t->numel();
    47. int block = 512;
    48. int grid = (num + block - 1) / block;
    49. KeRelu2Grad<T><<<grid, block, 0, dev_ctx.stream()>>>(y, dy, num, dx);
    50. }
    51. };
    52. } // namespace operators
    53. } // namespace paddle
    54. using CUDA = paddle::platform::CUDADeviceContext;
    55. // 注册前向的GPU Kernel
    56. REGISTER_OP_CUDA_KERNEL(relu2,
    57. paddle::operators::Relu2CUDAKernel<CUDA, float>,
    58. paddle::operators::Relu2CUDAKernel<CUDA, double>);
    59. REGISTER_OP_CUDA_KERNEL(relu2_grad,
    60. paddle::operators::Relu2GradCUDAKernel<CUDA, float>,
    61. paddle::operators::Relu2GradCUDAKernel<CUDA, double>);
    1. OP的type不能和PaddlePaddle已有的OP type相同,否则在Python中使用时会报错。

    自定义OP的编译

    需要将实现的C++、CUDA代码编译成动态库,下面通过g++/nvcc编译,当然您也可以写Makefile或者CMake。

    编译需要include PaddlePaddle的相关头文件,如上面代码 paddle/fluid/framework/op_registry.h ,需要链接PaddlePaddle的lib库。 可通过下面命令获取到:

    下面命令可编译出动态库:

    1. include_dir=$( python -c 'import paddle; print(paddle.sysconfig.get_include())' )
    2. echo $include_dir
    3. echo $lib_dir
    4. # PaddlePaddel >=1.6.1, 仅需要include ${include_dir} 和 ${include_dir}/third_party
    5. nvcc relu_op.cu -c -o relu_op.cu.o -ccbin cc -DPADDLE_WITH_CUDA -DEIGEN_USE_GPU -DPADDLE_USE_DSO -DPADDLE_WITH_MKLDNN -Xcompiler -fPIC -std=c++11 -Xcompiler -fPIC -w --expt-relaxed-constexpr -O3 -DNVCC \
    6. -I ${include_dir} \
    7. -I ${include_dir}/third_party \
    8. g++ relu_op.cc relu_op.cu.o -o relu2_op.so -shared -fPIC -std=c++11 -O3 -DPADDLE_WITH_MKLDNN \
    9. -I ${include_dir} \
    10. -I ${include_dir}/third_party \
    11. -L /usr/local/cuda/lib64 \
    12. -L ${lib_dir} -lpaddle_framework -lcudart

    注意点:

    1. 通过NVCC编译CUDA源文件时,需要加编译选项 -DPADDLE_WITH_CUDA -DEIGEN_USE_GPU -DPADDLE_USE_DSO,在框架源码中会使用这些宏定义进行条件编译。用户自定义的C++ OP实现编译时,选项的开启状态需要和核心框架编译行为一致。如EIGEN_USE_GPU是使用Eigen数学库的GPU实现时需要增加的编译选项。

    2. 如果飞桨安装包中不包含MKLDNN库,则需要去掉编译选项-DPADDLE_WITH_MKLDNN。核心框架源码中(比如tensor.h)有使用此宏定义进行条件编译,该选项是否打开同样需要和核心框架编译行为保持一致。默认的飞桨安装包中含有MKLDNN库。

    3. 可多个OP编译到同一个动态库中。

    4. 通过pip方式安装的PaddlePaddle由GCC 4.8编译得到,由于GCC 4.8和GCC 5以上C++11 ABI不兼容,您编写的自定义OP,需要通过GCC 4.8编译。若是GCC 5及以上的环境上使用自定义OP,推荐使用,使得编Paddle和编译自定义OP的GCC版本相同。

    需要使用 paddle.incubate.load_op_library 接口调用加载动态库,使得PaddlePaddle的主进程中可以使用用户自定义的OP。

    1. 一个动态库只需使用paddle.incubate.load_op_librarypaddle import之后加载一次即可。

    2. Python接口的封装和PaddlePaddle框架内部的封装相同,更多的示例也可以阅读源码中 python/paddle/fluid/layers/nn.py的代码示例。

    单测测试

    可以写个简单的Python程序测试计算的正确性:

    静态图模式

    1. import numpy as np
    2. import paddle
    3. from custom_op import relu2
    4. paddle.enable_static()
    5. data = paddle.static.data(name='data', shape=[None, 32], dtype='float32')
    6. relu = relu2(data)
    7. use_gpu = True # or False
    8. paddle.set_device('gpu' if use_gpu else 'cpu')
    9. exe = paddle.static.Executor()
    10. x = np.random.uniform(-1, 1, [4, 32]).astype('float32')
    11. out, = exe.run(feed={'data': x}, fetch_list=[relu])
    12. np.allclose(out, np.maximum(x, 0.))

    动态图模式

    接下来可以在模型中使用您自定义的OP了!

    暂时不支持在C++预测库中使用,后续会补充在C++预测库中的使用示例。

    FAQ

    1. Q: 如果出现类似错误: relu2_op.so: cannot open shared object file: No such file or directory 以及 libpaddle_framework.so: cannot open shared object file: No such file or directory

      A: 需要将relu2_op.so所在路径以及libpaddle_framework.so路径(即paddle.sysconfig.get_lib()得到路径)设置到环境变量LD_LIBRARY_PATH中:

      1. export LD_LIBRARY_PATH=paddle/test:$( python -c 'import paddle; print(paddle.sysconfig.get_lib())'):$LD_LIBRARY_PATH