enforce.h 9.0 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserve.

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. */

#pragma once

17 18
#include <dlfcn.h>     // for dladdr
#include <execinfo.h>  // for backtrace
Y
Yu Yang 已提交
19
#include <iomanip>
L
liaogang 已提交
20
#include <memory>
21 22 23
#include <sstream>
#include <stdexcept>
#include <string>
24

25 26
#include "paddle/string/printf.h"
#include "paddle/string/to_string.h"
27

L
liaogang 已提交
28 29 30 31
#ifdef __GNUC__
#include <cxxabi.h>  // for __cxa_demangle
#endif

Y
Yu Yang 已提交
32 33
#include <glog/logging.h>

34
#ifdef PADDLE_WITH_CUDA
35 36 37 38

#include "paddle/platform/dynload/cublas.h"
#include "paddle/platform/dynload/cudnn.h"
#include "paddle/platform/dynload/curand.h"
Y
Yu Yang 已提交
39
#include "paddle/platform/dynload/nccl.h"
40 41 42 43 44 45 46

#include <cublas_v2.h>
#include <cudnn.h>
#include <curand.h>
#include <thrust/system/cuda/error.h>
#include <thrust/system_error.h>

L
Luo Tao 已提交
47
#endif
48 49 50 51

namespace paddle {
namespace platform {

L
liaogang 已提交
52 53 54 55 56 57 58 59 60 61 62 63 64
namespace {
#ifdef __GNUC__
inline std::string demangle(std::string name) {
  int status = -4;  // some arbitrary value to eliminate the compiler warning
  std::unique_ptr<char, void (*)(void*)> res{
      abi::__cxa_demangle(name.c_str(), NULL, NULL, &status), std::free};
  return (status == 0) ? res.get() : name;
}
#else
inline std::string demangle(std::string name) { return name; }
#endif
}

65 66 67 68
struct EnforceNotMet : public std::exception {
  std::exception_ptr exp_;
  std::string err_str_;
  EnforceNotMet(std::exception_ptr e, const char* f, int l) : exp_(e) {
Y
Yu Yang 已提交
69
    static constexpr int TRACE_STACK_LIMIT = 100;
70 71 72
    try {
      std::rethrow_exception(exp_);
    } catch (const std::exception& exp) {
Y
Yu Yang 已提交
73
      std::ostringstream sout;
74

Y
Yu Yang 已提交
75
      sout << string::Sprintf("%s at [%s:%d]", exp.what(), f, l) << std::endl;
76 77
      sout << "PaddlePaddle Call Stacks: " << std::endl;

Y
Yu Yang 已提交
78
      void* call_stack[TRACE_STACK_LIMIT];
79 80 81 82 83
      auto size = backtrace(call_stack, TRACE_STACK_LIMIT);
      auto symbols = backtrace_symbols(call_stack, size);

      Dl_info info;
      for (int i = 0; i < size; ++i) {
L
liaogang 已提交
84 85
        if (dladdr(call_stack[i], &info) && info.dli_sname) {
          auto demangled = demangle(info.dli_sname);
86 87 88 89 90
          auto addr_offset = static_cast<char*>(call_stack[i]) -
                             static_cast<char*>(info.dli_saddr);
          sout << string::Sprintf("%-3d %*0p %s + %zd\n", i,
                                  2 + sizeof(void*) * 2, call_stack[i],
                                  demangled, addr_offset);
91
        } else {
92
          sout << string::Sprintf("%-3d %*0p\n", i, 2 + sizeof(void*) * 2,
93 94
                                  call_stack[i]);
        }
Y
Yu Yang 已提交
95
      }
96
      free(symbols);
Y
Yu Yang 已提交
97
      err_str_ = sout.str();
98 99 100 101 102 103
    }
  }

  const char* what() const noexcept { return err_str_.c_str(); }
};

L
liaogang 已提交
104 105 106 107 108
// Because most enforce conditions would evaluate to true, we can use
// __builtin_expect to instruct the C++ compiler to generate code that
// always forces branch prediction of true.
// This generates faster binary code. __builtin_expect is since C++11.
// For more details, please check https://stackoverflow.com/a/43870188/724872.
109 110
#define UNLIKELY(condition) __builtin_expect(static_cast<bool>(condition), 0)

L
liaogang 已提交
111 112
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
Y
Yu Yang 已提交
113
    bool stat, const Args&... args) {
L
liaogang 已提交
114
  if (UNLIKELY(!(stat))) {
115
    throw std::runtime_error(string::Sprintf(args...));
L
liaogang 已提交
116 117 118
  }
}

119
#ifdef PADDLE_WITH_CUDA
120 121

template <typename... Args>
L
liaogang 已提交
122 123
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudaError_t e, const Args&... args) {
L
liaogang 已提交
124
  if (UNLIKELY(e)) {
125 126
    throw thrust::system_error(e, thrust::cuda_category(),
                               string::Sprintf(args...));
127 128 129 130
  }
}

template <typename... Args>
L
liaogang 已提交
131 132
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    curandStatus_t stat, const Args&... args) {
133
  if (stat != CURAND_STATUS_SUCCESS) {
134 135
    throw thrust::system_error(cudaErrorLaunchFailure, thrust::cuda_category(),
                               string::Sprintf(args...));
136 137 138 139
  }
}

template <typename... Args>
L
liaogang 已提交
140 141
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudnnStatus_t stat, const Args&... args) {
142 143 144
  if (stat == CUDNN_STATUS_SUCCESS) {
    return;
  } else {
145 146
    throw std::runtime_error(platform::dynload::cudnnGetErrorString(stat) +
                             string::Sprintf(args...));
147 148 149 150
  }
}

template <typename... Args>
L
liaogang 已提交
151 152
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cublasStatus_t stat, const Args&... args) {
L
liaogang 已提交
153
  std::string err;
154 155 156
  if (stat == CUBLAS_STATUS_SUCCESS) {
    return;
  } else if (stat == CUBLAS_STATUS_NOT_INITIALIZED) {
L
liaogang 已提交
157
    err = "CUBLAS: not initialized, ";
158
  } else if (stat == CUBLAS_STATUS_ALLOC_FAILED) {
L
liaogang 已提交
159
    err = "CUBLAS: alloc failed, ";
160
  } else if (stat == CUBLAS_STATUS_INVALID_VALUE) {
L
liaogang 已提交
161
    err = "CUBLAS: invalid value, ";
162
  } else if (stat == CUBLAS_STATUS_ARCH_MISMATCH) {
L
liaogang 已提交
163
    err = "CUBLAS: arch mismatch, ";
164
  } else if (stat == CUBLAS_STATUS_MAPPING_ERROR) {
L
liaogang 已提交
165
    err = "CUBLAS: mapping error, ";
166
  } else if (stat == CUBLAS_STATUS_EXECUTION_FAILED) {
L
liaogang 已提交
167
    err = "CUBLAS: execution failed, ";
168
  } else if (stat == CUBLAS_STATUS_INTERNAL_ERROR) {
L
liaogang 已提交
169
    err = "CUBLAS: internal error, ";
170
  } else if (stat == CUBLAS_STATUS_NOT_SUPPORTED) {
L
liaogang 已提交
171
    err = "CUBLAS: not supported, ";
172
  } else if (stat == CUBLAS_STATUS_LICENSE_ERROR) {
L
liaogang 已提交
173
    err = "CUBLAS: license error, ";
174
  }
175
  throw std::runtime_error(err + string::Sprintf(args...));
176 177
}

Y
Yu Yang 已提交
178 179 180 181 182 183 184 185 186 187 188
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    ncclResult_t stat, const Args&... args) {
  if (stat == ncclSuccess) {
    return;
  } else {
    throw std::runtime_error(platform::dynload::ncclGetErrorString(stat) +
                             string::Sprintf(args...));
  }
}

189 190
#endif  // PADDLE_ONLY_CPU

L
liaogang 已提交
191 192 193 194 195
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

Q
qijun 已提交
196 197 198 199 200 201
#define PADDLE_THROW(...)                                              \
  do {                                                                 \
    throw ::paddle::platform::EnforceNotMet(                           \
        std::make_exception_ptr(                                       \
            std::runtime_error(paddle::string::Sprintf(__VA_ARGS__))), \
        __FILE__, __LINE__);                                           \
Y
Yu Yang 已提交
202
  } while (false)
L
liaogang 已提交
203

204 205 206 207 208 209 210 211
#define PADDLE_ENFORCE(...)                                             \
  do {                                                                  \
    try {                                                               \
      ::paddle::platform::throw_on_error(__VA_ARGS__);                  \
    } catch (...) {                                                     \
      throw ::paddle::platform::EnforceNotMet(std::current_exception(), \
                                              __FILE__, __LINE__);      \
    }                                                                   \
Y
Yu Yang 已提交
212
  } while (false)
213

S
Superjom 已提交
214 215 216 217 218 219 220
/*
 * Some enforce helpers here, usage:
 *    int a = 1;
 *    int b = 2;
 *    PADDLE_ENFORCE_EQ(a, b);
 *
 *    will raise an expression described as follows:
221
 *    "enforce a == b failed, 1 != 2" with detailed stack information.
S
Superjom 已提交
222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238
 *
 *    extra messages is also supported, for example:
 *    PADDLE_ENFORCE(a, b, "some simple enforce failed between %d numbers", 2)
 */

#define PADDLE_ENFORCE_EQ(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, ==, !=, __VA_ARGS__)
#define PADDLE_ENFORCE_NE(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, !=, ==, __VA_ARGS__)
#define PADDLE_ENFORCE_GT(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, >, <=, __VA_ARGS__)
#define PADDLE_ENFORCE_GE(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, >=, <, __VA_ARGS__)
#define PADDLE_ENFORCE_LT(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, <, >=, __VA_ARGS__)
#define PADDLE_ENFORCE_LE(__VAL0, __VAL1, ...) \
  __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, <=, >, __VA_ARGS__)
Y
Yan Chunwei 已提交
239 240 241
#define PADDLE_ENFORCE_NOT_NULL(__VAL, ...)                            \
  PADDLE_ENFORCE(nullptr != (__VAL), #__VAL " should not be null\n%s", \
                 paddle::string::Sprintf("" __VA_ARGS__));
S
Superjom 已提交
242 243

#define __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, __CMP, __INV_CMP, ...)        \
Y
Yan Chunwei 已提交
244
  PADDLE_ENFORCE(__VAL0 __CMP __VAL1,                                         \
S
Superjom 已提交
245
                 "enforce %s " #__CMP " %s failed, %s " #__INV_CMP " %s\n%s", \
246 247
                 #__VAL0, #__VAL1, paddle::string::to_string(__VAL0),         \
                 paddle::string::to_string(__VAL1),                           \
S
Superjom 已提交
248
                 paddle::string::Sprintf("" __VA_ARGS__));
S
add EQ  
Superjom 已提交
249

250 251
}  // namespace platform
}  // namespace paddle