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

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 19 20 21 22 23 24 25 26 27 28
#ifdef __GNUC__
#include <cxxabi.h>  // for __cxa_demangle
#endif               // __GNUC__

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

Y
Yu Yang 已提交
29
#include <iomanip>
L
liaogang 已提交
30
#include <memory>
31 32 33
#include <sstream>
#include <stdexcept>
#include <string>
34

35
#include "glog/logging.h"
Y
Yi Wang 已提交
36
#include "paddle/fluid/platform/macros.h"
D
dzhwinter 已提交
37
#include "paddle/fluid/platform/port.h"
38 39
#include "paddle/fluid/string/printf.h"
#include "paddle/fluid/string/to_string.h"
40

41
#ifdef PADDLE_WITH_CUDA
Y
Yi Wang 已提交
42 43 44
#include "paddle/fluid/platform/dynload/cublas.h"
#include "paddle/fluid/platform/dynload/cudnn.h"
#include "paddle/fluid/platform/dynload/curand.h"
D
dzhwinter 已提交
45
#if !defined(__APPLE__) && !defined(_WIN32)
Y
Yi Wang 已提交
46
#include "paddle/fluid/platform/dynload/nccl.h"
Y
Yi Wang 已提交
47 48
#endif  // __APPLE__
#endif  // PADDLE_WITH_CUDA
49 50 51 52

namespace paddle {
namespace platform {

L
liaogang 已提交
53 54 55 56 57 58 59 60 61 62 63
#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

64 65 66 67
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 已提交
68
    static constexpr int TRACE_STACK_LIMIT = 100;
69 70 71
    try {
      std::rethrow_exception(exp_);
    } catch (const std::exception& exp) {
Y
Yu Yang 已提交
72
      std::ostringstream sout;
73

F
fengjiayi 已提交
74
      sout << string::Sprintf("%s at [%s:%d]", exp.what(), f, l) << std::endl;
75
      sout << "PaddlePaddle Call Stacks: " << std::endl;
D
dzhwinter 已提交
76
#if !defined(_WIN32)
Y
Yu Yang 已提交
77
      void* call_stack[TRACE_STACK_LIMIT];
78 79 80 81 82
      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 已提交
83 84
        if (dladdr(call_stack[i], &info) && info.dli_sname) {
          auto demangled = demangle(info.dli_sname);
85 86 87 88 89
          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);
90
        } else {
91
          sout << string::Sprintf("%-3d %*0p\n", i, 2 + sizeof(void*) * 2,
92 93
                                  call_stack[i]);
        }
Y
Yu Yang 已提交
94
      }
95
      free(symbols);
D
dzhwinter 已提交
96 97 98
#else
      sout << "Windows not support stack backtrace yet.";
#endif
Y
Yu Yang 已提交
99
      err_str_ = sout.str();
100 101 102 103 104 105
    }
  }

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

106 107 108
struct EOFException : public std::exception {
  std::string err_str_;
  EOFException(const char* err_msg, const char* f, int l) {
F
fengjiayi 已提交
109
    err_str_ = string::Sprintf("%s at [%s:%d]", err_msg, f, l);
110 111 112 113 114
  }

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

L
liaogang 已提交
115 116 117 118 119
// 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.
D
dzhwinter 已提交
120
#if !defined(_WIN32)
121
#define UNLIKELY(condition) __builtin_expect(static_cast<bool>(condition), 0)
D
dzhwinter 已提交
122 123
#else
// there is no equivalent intrinsics in msvc.
W
wopeizl 已提交
124
#define UNLIKELY(condition) (condition)
D
dzhwinter 已提交
125
#endif
126

127 128 129 130
#if !defined(_WIN32)
#define LIKELY(condition) __builtin_expect(static_cast<bool>(condition), 1)
#else
// there is no equivalent intrinsics in msvc.
W
wopeizl 已提交
131
#define LIKELY(condition) (condition)
132 133
#endif

M
minqiyang 已提交
134 135
inline bool is_error(bool stat) { return !stat; }

L
liaogang 已提交
136 137
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
Y
Yu Yang 已提交
138
    bool stat, const Args&... args) {
139
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
140
  throw std::runtime_error(string::Sprintf(args...));
141
#else
M
minqiyang 已提交
142
  LOG(FATAL) << string::Sprintf(args...);
143
#endif
L
liaogang 已提交
144 145
}

146
#ifdef PADDLE_WITH_CUDA
147

M
minqiyang 已提交
148 149
inline bool is_error(cudaError_t e) { return UNLIKELY(e); }

150
template <typename... Args>
L
liaogang 已提交
151 152
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudaError_t e, const Args&... args) {
153
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
154 155
  throw thrust::system_error(e, thrust::cuda_category(),
                             string::Sprintf(args...));
156
#else
M
minqiyang 已提交
157
  LOG(FATAL) << string::Sprintf(args...);
158
#endif
M
minqiyang 已提交
159 160 161 162
}

inline bool is_error(curandStatus_t stat) {
  return stat != CURAND_STATUS_SUCCESS;
163 164 165
}

template <typename... Args>
L
liaogang 已提交
166 167
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    curandStatus_t stat, const Args&... args) {
168
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
169 170
  throw thrust::system_error(cudaErrorLaunchFailure, thrust::cuda_category(),
                             string::Sprintf(args...));
171
#else
M
minqiyang 已提交
172
  LOG(FATAL) << string::Sprintf(args...);
173
#endif
M
minqiyang 已提交
174 175 176 177
}

inline bool is_error(cudnnStatus_t stat) {
  return stat != CUDNN_STATUS_SUCCESS;
178 179 180
}

template <typename... Args>
L
liaogang 已提交
181 182
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudnnStatus_t stat, const Args&... args) {
183
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
184 185
  throw std::runtime_error(platform::dynload::cudnnGetErrorString(stat) +
                           string::Sprintf(args...));
186
#else
M
minqiyang 已提交
187
  LOG(FATAL) << string::Sprintf(args...);
188
#endif
M
minqiyang 已提交
189 190 191 192
}

inline bool is_error(cublasStatus_t stat) {
  return stat != CUBLAS_STATUS_SUCCESS;
193 194 195
}

template <typename... Args>
L
liaogang 已提交
196 197
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cublasStatus_t stat, const Args&... args) {
L
liaogang 已提交
198
  std::string err;
M
minqiyang 已提交
199
  if (stat == CUBLAS_STATUS_NOT_INITIALIZED) {
L
liaogang 已提交
200
    err = "CUBLAS: not initialized, ";
201
  } else if (stat == CUBLAS_STATUS_ALLOC_FAILED) {
L
liaogang 已提交
202
    err = "CUBLAS: alloc failed, ";
203
  } else if (stat == CUBLAS_STATUS_INVALID_VALUE) {
L
liaogang 已提交
204
    err = "CUBLAS: invalid value, ";
205
  } else if (stat == CUBLAS_STATUS_ARCH_MISMATCH) {
L
liaogang 已提交
206
    err = "CUBLAS: arch mismatch, ";
207
  } else if (stat == CUBLAS_STATUS_MAPPING_ERROR) {
L
liaogang 已提交
208
    err = "CUBLAS: mapping error, ";
209
  } else if (stat == CUBLAS_STATUS_EXECUTION_FAILED) {
L
liaogang 已提交
210
    err = "CUBLAS: execution failed, ";
211
  } else if (stat == CUBLAS_STATUS_INTERNAL_ERROR) {
L
liaogang 已提交
212
    err = "CUBLAS: internal error, ";
213
  } else if (stat == CUBLAS_STATUS_NOT_SUPPORTED) {
L
liaogang 已提交
214
    err = "CUBLAS: not supported, ";
215
  } else if (stat == CUBLAS_STATUS_LICENSE_ERROR) {
L
liaogang 已提交
216
    err = "CUBLAS: license error, ";
217
  }
218
#ifndef REPLACE_ENFORCE_GLOG
219
  throw std::runtime_error(err + string::Sprintf(args...));
220 221 222
#else
  LOG(FATAL) << err << string::Sprintf(args...);
#endif
223 224
}

D
done  
dzhwinter 已提交
225
#if !defined(__APPLE__) && !defined(_WIN32)
M
minqiyang 已提交
226 227
inline bool is_error(ncclResult_t stat) { return stat != ncclSuccess; }

Y
Yu Yang 已提交
228 229 230
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    ncclResult_t stat, const Args&... args) {
231
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
232 233
  throw std::runtime_error(platform::dynload::ncclGetErrorString(stat) +
                           string::Sprintf(args...));
234
#else
M
minqiyang 已提交
235 236
  LOG(FATAL) << platform::dynload::ncclGetErrorString(stat)
             << string::Sprintf(args...);
237
#endif
Y
Yu Yang 已提交
238
}
D
dzhwinter 已提交
239
#endif  // __APPLE__ and windows
240
#endif  // PADDLE_WITH_CUDA
241

L
liaogang 已提交
242 243 244 245 246
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

Q
qijun 已提交
247 248 249 250 251 252
#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 已提交
253
  } while (false)
L
liaogang 已提交
254

M
minqiyang 已提交
255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279
#define __PADDLE_THROW_ERROR_I(_, _9, _8, _7, _6, _5, _4, _3, _2, X_, ...) X_;

#define __THROW_ON_ERROR_ONE_ARG(COND, ARG) \
  ::paddle::platform::throw_on_error(COND, ::paddle::string::Sprintf(ARG));

#define __PADDLE_THROW_ON_ERROR(COND, ...)                                \
  __PADDLE_THROW_ERROR_I(                                                 \
      __VA_ARGS__, ::paddle::platform::throw_on_error(COND, __VA_ARGS__), \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      ::paddle::platform::throw_on_error(COND, __VA_ARGS__),              \
      __THROW_ON_ERROR_ONE_ARG(COND, __VA_ARGS__))

#define __PADDLE_UNARY_COMPARE(COND, ...)                 \
  do {                                                    \
    auto __cond = COND;                                   \
    if (UNLIKELY(::paddle::platform::is_error(__cond))) { \
      __PADDLE_THROW_ON_ERROR(__cond, __VA_ARGS__);       \
    }                                                     \
  } while (0)

280
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
281
#define __PADDLE_ENFORCE_I(COND, ...)                                   \
282 283
  do {                                                                  \
    try {                                                               \
M
minqiyang 已提交
284
      __PADDLE_UNARY_COMPARE(COND, __VA_ARGS__);                        \
285 286 287 288
    } catch (...) {                                                     \
      throw ::paddle::platform::EnforceNotMet(std::current_exception(), \
                                              __FILE__, __LINE__);      \
    }                                                                   \
M
minqiyang 已提交
289
  } while (0)
290

D
dzhwinter 已提交
291
#else
M
minqiyang 已提交
292
#define __PADDLE_ENFORCE_I(COND, ...) __PADDLE_UNARY_COMPARE(COND, __VA_ARGS__);
D
dzhwinter 已提交
293 294
#endif  // REPLACE_ENFORCE_GLOG

M
minqiyang 已提交
295 296 297
#define __PADDLE_ENFORCE(__args) __PADDLE_ENFORCE_I __args
#define PADDLE_ENFORCE(...) __PADDLE_ENFORCE((__VA_ARGS__))

D
dzhwinter 已提交
298 299 300 301 302 303
#define PADDLE_THROW_EOF()                                                     \
  do {                                                                         \
    throw ::paddle::platform::EOFException("There is no next data.", __FILE__, \
                                           __LINE__);                          \
  } while (false)

S
Superjom 已提交
304 305 306 307 308 309 310
/*
 * Some enforce helpers here, usage:
 *    int a = 1;
 *    int b = 2;
 *    PADDLE_ENFORCE_EQ(a, b);
 *
 *    will raise an expression described as follows:
C
chenweihang 已提交
311
 *    "Enforce failed. Expected input a == b, but received a(1) != b(2)."
312
 *      with detailed stack information.
S
Superjom 已提交
313 314 315 316
 *
 *    extra messages is also supported, for example:
 *    PADDLE_ENFORCE(a, b, "some simple enforce failed between %d numbers", 2)
 */
317 318 319 320 321 322 323 324 325 326
#define PADDLE_ENFORCE_NOT_NULL(__VAL, ...)                  \
  do {                                                       \
    if (UNLIKELY(nullptr == (__VAL))) {                      \
      PADDLE_THROW(#__VAL " should not be null\n%s",         \
                   paddle::string::Sprintf("" __VA_ARGS__)); \
    }                                                        \
  } while (0)

#define __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, __CMP, __INV_CMP, ...)  \
  do {                                                                  \
C
chengduo 已提交
327
    if (UNLIKELY(!((__VAL0)__CMP(__VAL1)))) {                           \
C
chenweihang 已提交
328
      PADDLE_THROW("Enforce failed. Expected %s " #__CMP                \
329 330 331
                   " %s, but received %s:%s " #__INV_CMP " %s:%s.\n%s", \
                   #__VAL0, #__VAL1, #__VAL0,                           \
                   paddle::string::to_string(__VAL0), #__VAL1,          \
332 333 334 335
                   paddle::string::to_string(__VAL1),                   \
                   paddle::string::Sprintf("" __VA_ARGS__));            \
    }                                                                   \
  } while (0)
W
wopeizl 已提交
336 337 338 339 340 341 342 343 344 345 346 347 348

#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__)
S
add EQ  
Superjom 已提交
349

350 351
}  // namespace platform
}  // namespace paddle