enforce.h 13.3 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
#ifdef __GNUC__
#include <cxxabi.h>  // for __cxa_demangle
#endif               // __GNUC__

D
dzhwinter 已提交
21 22 23
#if defined(_WIN32)
#define NOMINMAX  // msvc max/min macro conflict with std::min/max
#define GLOG_NO_ABBREVIATED_SEVERITIES  // msvc conflict logging with windows.h
D
dzhwinter 已提交
24
#define GOOGLE_GLOG_DLL_DECL
D
dzhwinter 已提交
25 26
#endif

27 28 29 30 31 32 33 34
#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 已提交
35
#include <iomanip>
L
liaogang 已提交
36
#include <memory>
37 38 39
#include <sstream>
#include <stdexcept>
#include <string>
40

41
#include "glog/logging.h"
Y
Yi Wang 已提交
42
#include "paddle/fluid/platform/macros.h"
D
dzhwinter 已提交
43
#include "paddle/fluid/platform/port.h"
44 45
#include "paddle/fluid/string/printf.h"
#include "paddle/fluid/string/to_string.h"
46

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

namespace paddle {
namespace platform {

L
liaogang 已提交
59 60 61 62 63 64 65 66 67 68 69
#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

70 71 72 73
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 已提交
74
    static constexpr int TRACE_STACK_LIMIT = 100;
75 76 77
    try {
      std::rethrow_exception(exp_);
    } catch (const std::exception& exp) {
Y
Yu Yang 已提交
78
      std::ostringstream sout;
79

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

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

112 113 114
struct EOFException : public std::exception {
  std::string err_str_;
  EOFException(const char* err_msg, const char* f, int l) {
F
fengjiayi 已提交
115
    err_str_ = string::Sprintf("%s at [%s:%d]", err_msg, f, l);
116 117 118 119 120
  }

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

L
liaogang 已提交
121 122 123 124 125
// 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 已提交
126
#if !defined(_WIN32)
127
#define UNLIKELY(condition) __builtin_expect(static_cast<bool>(condition), 0)
D
dzhwinter 已提交
128 129 130 131
#else
// there is no equivalent intrinsics in msvc.
#define UNLIKELY(condition) (condition == 0)
#endif
132

133 134 135 136 137 138 139
#if !defined(_WIN32)
#define LIKELY(condition) __builtin_expect(static_cast<bool>(condition), 1)
#else
// there is no equivalent intrinsics in msvc.
#define LIKELY(condition) (condition != 0)
#endif

L
liaogang 已提交
140 141
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
Y
Yu Yang 已提交
142
    bool stat, const Args&... args) {
L
liaogang 已提交
143
  if (UNLIKELY(!(stat))) {
144
#ifndef REPLACE_ENFORCE_GLOG
145
    throw std::runtime_error(string::Sprintf(args...));
146 147 148
#else
    LOG(FATAL) << string::Sprintf(args...);
#endif
L
liaogang 已提交
149 150 151
  }
}

152
#ifdef PADDLE_WITH_CUDA
153 154

template <typename... Args>
L
liaogang 已提交
155 156
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudaError_t e, const Args&... args) {
L
liaogang 已提交
157
  if (UNLIKELY(e)) {
158
#ifndef REPLACE_ENFORCE_GLOG
159 160
    throw thrust::system_error(e, thrust::cuda_category(),
                               string::Sprintf(args...));
161 162 163
#else
    LOG(FATAL) << string::Sprintf(args...);
#endif
164 165 166 167
  }
}

template <typename... Args>
L
liaogang 已提交
168 169
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    curandStatus_t stat, const Args&... args) {
170
  if (stat != CURAND_STATUS_SUCCESS) {
171
#ifndef REPLACE_ENFORCE_GLOG
172 173
    throw thrust::system_error(cudaErrorLaunchFailure, thrust::cuda_category(),
                               string::Sprintf(args...));
174 175 176
#else
    LOG(FATAL) << string::Sprintf(args...);
#endif
177 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 184 185
  if (stat == CUDNN_STATUS_SUCCESS) {
    return;
  } else {
186
#ifndef REPLACE_ENFORCE_GLOG
187 188
    throw std::runtime_error(platform::dynload::cudnnGetErrorString(stat) +
                             string::Sprintf(args...));
189 190 191
#else
    LOG(FATAL) << string::Sprintf(args...);
#endif
192 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;
199 200 201
  if (stat == CUBLAS_STATUS_SUCCESS) {
    return;
  } else if (stat == CUBLAS_STATUS_NOT_INITIALIZED) {
L
liaogang 已提交
202
    err = "CUBLAS: not initialized, ";
203
  } else if (stat == CUBLAS_STATUS_ALLOC_FAILED) {
L
liaogang 已提交
204
    err = "CUBLAS: alloc failed, ";
205
  } else if (stat == CUBLAS_STATUS_INVALID_VALUE) {
L
liaogang 已提交
206
    err = "CUBLAS: invalid value, ";
207
  } else if (stat == CUBLAS_STATUS_ARCH_MISMATCH) {
L
liaogang 已提交
208
    err = "CUBLAS: arch mismatch, ";
209
  } else if (stat == CUBLAS_STATUS_MAPPING_ERROR) {
L
liaogang 已提交
210
    err = "CUBLAS: mapping error, ";
211
  } else if (stat == CUBLAS_STATUS_EXECUTION_FAILED) {
L
liaogang 已提交
212
    err = "CUBLAS: execution failed, ";
213
  } else if (stat == CUBLAS_STATUS_INTERNAL_ERROR) {
L
liaogang 已提交
214
    err = "CUBLAS: internal error, ";
215
  } else if (stat == CUBLAS_STATUS_NOT_SUPPORTED) {
L
liaogang 已提交
216
    err = "CUBLAS: not supported, ";
217
  } else if (stat == CUBLAS_STATUS_LICENSE_ERROR) {
L
liaogang 已提交
218
    err = "CUBLAS: license error, ";
219
  }
220
#ifndef REPLACE_ENFORCE_GLOG
221
  throw std::runtime_error(err + string::Sprintf(args...));
222 223 224
#else
  LOG(FATAL) << err << string::Sprintf(args...);
#endif
225 226
}

D
dzhwinter 已提交
227
#if !defined(__APPLE__) && !defined(_WIN32)
Y
Yu Yang 已提交
228 229 230 231 232 233
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 {
234
#ifndef REPLACE_ENFORCE_GLOG
Y
Yu Yang 已提交
235 236
    throw std::runtime_error(platform::dynload::ncclGetErrorString(stat) +
                             string::Sprintf(args...));
237 238 239 240
#else
    LOG(FATAL) << platform::dynload::ncclGetErrorString(stat)
               << string::Sprintf(args...);
#endif
Y
Yu Yang 已提交
241 242
  }
}
D
dzhwinter 已提交
243
#endif  // __APPLE__ and windows
244
#endif  // PADDLE_WITH_CUDA
245

L
liaogang 已提交
246 247 248 249 250
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

D
dzhwinter 已提交
251
#if !defined(_WIN32)
Q
qijun 已提交
252 253 254 255 256 257
#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 已提交
258
  } while (false)
L
liaogang 已提交
259

260
#ifndef REPLACE_ENFORCE_GLOG
261 262 263 264 265 266 267 268
#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 已提交
269
  } while (false)
270

D
dzhwinter 已提交
271
#else
D
dzhwinter 已提交
272
#define PADDLE_ENFORCE(...) ::paddle::platform::throw_on_error(__VA_ARGS__);
D
dzhwinter 已提交
273 274 275 276 277 278 279 280 281 282 283 284 285
#endif  // REPLACE_ENFORCE_GLOG

#else  // !_WIN32
// disable enforce, caused by the varardic macro exception error
#define PADDLE_THROW(x)                                      \
  do {                                                       \
    throw std::make_exception_ptr(                           \
        std::runtime_error("Windows disable the enforce.")); \
  } while (false)

#define PADDLE_ENFORCE(x, ...) x
#endif  // !_WIN32

D
dzhwinter 已提交
286 287 288 289 290 291
#define PADDLE_THROW_EOF()                                                     \
  do {                                                                         \
    throw ::paddle::platform::EOFException("There is no next data.", __FILE__, \
                                           __LINE__);                          \
  } while (false)

S
Superjom 已提交
292 293 294 295 296 297 298
/*
 * 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 已提交
299
 *    "Enforce failed. Expected input a == b, but received a(1) != b(2)."
300
 *      with detailed stack information.
S
Superjom 已提交
301 302 303 304
 *
 *    extra messages is also supported, for example:
 *    PADDLE_ENFORCE(a, b, "some simple enforce failed between %d numbers", 2)
 */
D
dzhwinter 已提交
305
#if !defined(_WIN32)
S
Superjom 已提交
306 307 308 309 310 311 312 313 314 315 316 317
#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__)
D
dzhwinter 已提交
318

319 320 321 322 323 324 325 326 327 328
#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 已提交
329
    if (UNLIKELY(!((__VAL0)__CMP(__VAL1)))) {                           \
C
chenweihang 已提交
330
      PADDLE_THROW("Enforce failed. Expected %s " #__CMP                \
331 332 333
                   " %s, but received %s:%s " #__INV_CMP " %s:%s.\n%s", \
                   #__VAL0, #__VAL1, #__VAL0,                           \
                   paddle::string::to_string(__VAL0), #__VAL1,          \
334 335 336 337
                   paddle::string::to_string(__VAL1),                   \
                   paddle::string::Sprintf("" __VA_ARGS__));            \
    }                                                                   \
  } while (0)
D
dzhwinter 已提交
338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358
#else
#define PADDLE_ENFORCE_EQ(__VAL0, __VAL1, ...) ((__VAL0) == (__VAL1))
#define PADDLE_ENFORCE_NE(__VAL0, __VAL1, ...) ((__VAL0) != (__VAL1))
#define PADDLE_ENFORCE_GT(__VAL0, __VAL1, ...) ((__VAL0) > (__VAL1))
#define PADDLE_ENFORCE_GE(__VAL0, __VAL1, ...) ((__VAL0) >= (__VAL1))
#define PADDLE_ENFORCE_LT(__VAL0, __VAL1, ...) ((__VAL0) < (__VAL1))
#define PADDLE_ENFORCE_LE(__VAL0, __VAL1, ...) ((__VAL0) <= (__VAL1))

#define __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, __CMP, __INV_CMP, ...) \
  do {                                                                 \
    if (!((__VAL0)__CMP(__VAL1))) {                                    \
      PADDLE_THROW("Windows disable the enforce. Enforce failed.");    \
    }                                                                  \
  } while (0)
#define PADDLE_ENFORCE_NOT_NULL(__VAL1, ...)                       \
  do {                                                             \
    if (nullptr == (__VAL1)) {                                     \
      PADDLE_THROW("Windows disable the enforce. Enforce failed"); \
    }                                                              \
  } while (0)
#endif  // !_WIN32
S
add EQ  
Superjom 已提交
359

360 361
}  // namespace platform
}  // namespace paddle