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"
36
#include "paddle/fluid/platform/debug_support.h"
Y
Yi Wang 已提交
37
#include "paddle/fluid/platform/macros.h"
D
dzhwinter 已提交
38
#include "paddle/fluid/platform/port.h"
39 40
#include "paddle/fluid/string/printf.h"
#include "paddle/fluid/string/to_string.h"
41

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

namespace paddle {
namespace platform {

L
liaogang 已提交
54 55 56 57 58 59 60 61 62 63 64
#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
struct EnforceNotMet : public std::exception {
  std::string err_str_;
Y
Yu Yang 已提交
67
  EnforceNotMet(std::exception_ptr e, const char* f, int l) {
68
    try {
Y
Yu Yang 已提交
69 70 71
      std::rethrow_exception(e);
    } catch (std::exception& e) {
      Init(e.what(), f, l);
72
      err_str_ += platform::PythonDebugSupport::GetInstance()->Format();
Y
Yu Yang 已提交
73 74
    }
  }
75

Y
Yu Yang 已提交
76 77 78 79 80 81
  template <typename... ARGS>
  EnforceNotMet(const char* f, int l, ARGS... args) {
    Init(string::Sprintf(args...), f, l);
  }

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

Y
Yu Yang 已提交
83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
 private:
  template <typename StrType>
  inline void Init(StrType what, const char* f, int l) {
    static constexpr int TRACE_STACK_LIMIT = 100;
    std::ostringstream sout;

    sout << string::Sprintf("%s at [%s:%d]", what, f, l) << std::endl;
    sout << "PaddlePaddle Call Stacks: " << std::endl;
#if !defined(_WIN32)
    void* call_stack[TRACE_STACK_LIMIT];
    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) {
      if (dladdr(call_stack[i], &info) && info.dli_sname) {
        auto demangled = demangle(info.dli_sname);
        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);
      } else {
        sout << string::Sprintf("%-3d %*0p\n", i, 2 + sizeof(void*) * 2,
                                call_stack[i]);
Y
Yu Yang 已提交
107
      }
Y
Yu Yang 已提交
108 109
    }
    free(symbols);
D
dzhwinter 已提交
110
#else
Y
Yu Yang 已提交
111
    sout << "Windows not support stack backtrace yet.";
D
dzhwinter 已提交
112
#endif
Y
Yu Yang 已提交
113
    err_str_ = sout.str();
114 115 116
  }
};

117 118 119
struct EOFException : public std::exception {
  std::string err_str_;
  EOFException(const char* err_msg, const char* f, int l) {
F
fengjiayi 已提交
120
    err_str_ = string::Sprintf("%s at [%s:%d]", err_msg, f, l);
121 122 123 124 125
  }

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

L
liaogang 已提交
126 127 128 129 130
// 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 已提交
131
#if !defined(_WIN32)
132
#define UNLIKELY(condition) __builtin_expect(static_cast<bool>(condition), 0)
D
dzhwinter 已提交
133 134
#else
// there is no equivalent intrinsics in msvc.
W
wopeizl 已提交
135
#define UNLIKELY(condition) (condition)
D
dzhwinter 已提交
136
#endif
137

138 139 140 141
#if !defined(_WIN32)
#define LIKELY(condition) __builtin_expect(static_cast<bool>(condition), 1)
#else
// there is no equivalent intrinsics in msvc.
W
wopeizl 已提交
142
#define LIKELY(condition) (condition)
143 144
#endif

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

L
liaogang 已提交
147 148
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
Y
Yu Yang 已提交
149
    bool stat, const Args&... args) {
150
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
151
  throw std::runtime_error(string::Sprintf(args...));
152
#else
M
minqiyang 已提交
153
  LOG(FATAL) << string::Sprintf(args...);
154
#endif
L
liaogang 已提交
155 156
}

157
#ifdef PADDLE_WITH_CUDA
158

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

161
template <typename... Args>
L
liaogang 已提交
162 163
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudaError_t e, const Args&... args) {
164
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
165 166
  throw thrust::system_error(e, thrust::cuda_category(),
                             string::Sprintf(args...));
167
#else
M
minqiyang 已提交
168
  LOG(FATAL) << string::Sprintf(args...);
169
#endif
M
minqiyang 已提交
170 171 172 173
}

inline bool is_error(curandStatus_t stat) {
  return stat != CURAND_STATUS_SUCCESS;
174 175 176
}

template <typename... Args>
L
liaogang 已提交
177 178
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    curandStatus_t stat, const Args&... args) {
179
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
180 181
  throw thrust::system_error(cudaErrorLaunchFailure, thrust::cuda_category(),
                             string::Sprintf(args...));
182
#else
M
minqiyang 已提交
183
  LOG(FATAL) << string::Sprintf(args...);
184
#endif
M
minqiyang 已提交
185 186 187 188
}

inline bool is_error(cudnnStatus_t stat) {
  return stat != CUDNN_STATUS_SUCCESS;
189 190 191
}

template <typename... Args>
L
liaogang 已提交
192 193
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudnnStatus_t stat, const Args&... args) {
194
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
195 196
  throw std::runtime_error(platform::dynload::cudnnGetErrorString(stat) +
                           string::Sprintf(args...));
197
#else
M
minqiyang 已提交
198
  LOG(FATAL) << string::Sprintf(args...);
199
#endif
M
minqiyang 已提交
200 201 202 203
}

inline bool is_error(cublasStatus_t stat) {
  return stat != CUBLAS_STATUS_SUCCESS;
204 205 206
}

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

D
done  
dzhwinter 已提交
236
#if !defined(__APPLE__) && !defined(_WIN32)
Y
Yu Yang 已提交
237 238 239 240 241 242
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 {
243
#ifndef REPLACE_ENFORCE_GLOG
Y
Yu Yang 已提交
244 245
    throw std::runtime_error(platform::dynload::ncclGetErrorString(stat) +
                             string::Sprintf(args...));
246 247 248 249
#else
    LOG(FATAL) << platform::dynload::ncclGetErrorString(stat)
               << string::Sprintf(args...);
#endif
Y
Yu Yang 已提交
250 251
  }
}
D
dzhwinter 已提交
252
#endif  // __APPLE__ and windows
253
#endif  // PADDLE_WITH_CUDA
254

L
liaogang 已提交
255 256 257 258 259
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

Y
Yu Yang 已提交
260 261
#define PADDLE_THROW(...) \
  throw ::paddle::platform::EnforceNotMet(__FILE__, __LINE__, __VA_ARGS__)
L
liaogang 已提交
262

263 264 265
#define __PADDLE_THROW_ERROR_I(_, _9, _8, _7, _6, _5, _4, _3, _2, X_, ...) X_;

#define __THROW_ON_ERROR_ONE_ARG(COND, ARG) \
M
minqiyang 已提交
266
  ::paddle::platform::throw_on_error(COND, ::paddle::string::Sprintf(ARG));
267

P
peizhilin 已提交
268 269 270 271
#ifdef _WIN32
#define __PADDLE_THROW_ON_ERROR(COND, ...) \
  __THROW_ON_ERROR_ONE_ARG(COND, __VA_ARGS__)
#else  // _WIN32
272
#define __PADDLE_THROW_ON_ERROR(COND, ...)                                \
M
minqiyang 已提交
273 274 275 276 277 278 279 280 281
  __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__),              \
282
      __THROW_ON_ERROR_ONE_ARG(COND, __VA_ARGS__))
P
peizhilin 已提交
283
#endif  // _WIN32
M
minqiyang 已提交
284 285 286 287 288

#define __PADDLE_UNARY_COMPARE(COND, ...)                 \
  do {                                                    \
    auto __cond = COND;                                   \
    if (UNLIKELY(::paddle::platform::is_error(__cond))) { \
289
      __PADDLE_THROW_ON_ERROR(__cond, __VA_ARGS__);       \
M
minqiyang 已提交
290
    }                                                     \
M
minqiyang 已提交
291
  } while (0)
M
minqiyang 已提交
292

293
#ifndef REPLACE_ENFORCE_GLOG
M
minqiyang 已提交
294
#define __PADDLE_ENFORCE_I(COND, ...)                                   \
295 296
  do {                                                                  \
    try {                                                               \
M
minqiyang 已提交
297
      __PADDLE_UNARY_COMPARE(COND, __VA_ARGS__);                        \
298 299 300 301
    } catch (...) {                                                     \
      throw ::paddle::platform::EnforceNotMet(std::current_exception(), \
                                              __FILE__, __LINE__);      \
    }                                                                   \
M
minqiyang 已提交
302
  } while (0)
303

D
dzhwinter 已提交
304
#else
M
minqiyang 已提交
305
#define __PADDLE_ENFORCE_I(COND, ...) __PADDLE_UNARY_COMPARE(COND, __VA_ARGS__);
D
dzhwinter 已提交
306 307
#endif  // REPLACE_ENFORCE_GLOG

M
minqiyang 已提交
308
#define __PADDLE_ENFORCE(__args) __PADDLE_ENFORCE_I __args
M
minqiyang 已提交
309 310
#define PADDLE_ENFORCE(...) __PADDLE_ENFORCE((__VA_ARGS__))

D
dzhwinter 已提交
311 312 313 314 315 316
#define PADDLE_THROW_EOF()                                                     \
  do {                                                                         \
    throw ::paddle::platform::EOFException("There is no next data.", __FILE__, \
                                           __LINE__);                          \
  } while (false)

S
Superjom 已提交
317 318 319 320 321 322 323
/*
 * 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 已提交
324
 *    "Enforce failed. Expected input a == b, but received a(1) != b(2)."
325
 *      with detailed stack information.
S
Superjom 已提交
326 327 328 329
 *
 *    extra messages is also supported, for example:
 *    PADDLE_ENFORCE(a, b, "some simple enforce failed between %d numbers", 2)
 */
330 331 332 333 334 335 336 337 338 339
#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 已提交
340
    if (UNLIKELY(!((__VAL0)__CMP(__VAL1)))) {                           \
C
chenweihang 已提交
341
      PADDLE_THROW("Enforce failed. Expected %s " #__CMP                \
342 343 344
                   " %s, but received %s:%s " #__INV_CMP " %s:%s.\n%s", \
                   #__VAL0, #__VAL1, #__VAL0,                           \
                   paddle::string::to_string(__VAL0), #__VAL1,          \
345 346 347 348
                   paddle::string::to_string(__VAL1),                   \
                   paddle::string::Sprintf("" __VA_ARGS__));            \
    }                                                                   \
  } while (0)
W
wopeizl 已提交
349 350 351 352 353 354 355 356 357 358 359 360 361

#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 已提交
362

363 364
}  // namespace platform
}  // namespace paddle