enforce.h 11.9 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 24 25
#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
#endif

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

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

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

namespace paddle {
namespace platform {

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

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

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

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

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

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

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

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

144
#ifdef PADDLE_WITH_CUDA
145 146

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

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

template <typename... Args>
L
liaogang 已提交
173 174
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    cudnnStatus_t stat, const Args&... args) {
175 176 177
  if (stat == CUDNN_STATUS_SUCCESS) {
    return;
  } else {
178
#ifndef REPLACE_ENFORCE_GLOG
179 180
    throw std::runtime_error(platform::dynload::cudnnGetErrorString(stat) +
                             string::Sprintf(args...));
181 182 183
#else
    LOG(FATAL) << string::Sprintf(args...);
#endif
184 185 186 187
  }
}

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

D
done  
dzhwinter 已提交
219
#if !defined(__APPLE__) && !defined(_WIN32)
Y
Yu Yang 已提交
220 221 222 223 224 225
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 {
226
#ifndef REPLACE_ENFORCE_GLOG
Y
Yu Yang 已提交
227 228
    throw std::runtime_error(platform::dynload::ncclGetErrorString(stat) +
                             string::Sprintf(args...));
229 230 231 232
#else
    LOG(FATAL) << platform::dynload::ncclGetErrorString(stat)
               << string::Sprintf(args...);
#endif
Y
Yu Yang 已提交
233 234
  }
}
D
dzhwinter 已提交
235
#endif  // __APPLE__ and windows
236
#endif  // PADDLE_WITH_CUDA
237

L
liaogang 已提交
238 239 240 241 242
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

D
dzhwinter 已提交
243
#if !defined(_WIN32)
Q
qijun 已提交
244 245 246 247 248 249
#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 已提交
250
  } while (false)
L
liaogang 已提交
251

252
#ifndef REPLACE_ENFORCE_GLOG
253 254 255 256 257 258 259 260
#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 已提交
261
  } while (false)
262

D
dzhwinter 已提交
263
#else
D
dzhwinter 已提交
264
#define PADDLE_ENFORCE(...) ::paddle::platform::throw_on_error(__VA_ARGS__);
D
dzhwinter 已提交
265 266
#endif  // REPLACE_ENFORCE_GLOG

D
dzhwinter 已提交
267 268 269 270 271 272
#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.")); \
D
dzhwinter 已提交
273 274
  } while (false)

D
dzhwinter 已提交
275
#define PADDLE_ENFORCE(x, ...) x
D
dzhwinter 已提交
276
#endif  // !_WIN32
D
dzhwinter 已提交
277

D
dzhwinter 已提交
278 279 280 281 282 283
#define PADDLE_THROW_EOF()                                                     \
  do {                                                                         \
    throw ::paddle::platform::EOFException("There is no next data.", __FILE__, \
                                           __LINE__);                          \
  } while (false)

S
Superjom 已提交
284 285 286 287 288 289 290
/*
 * 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 已提交
291
 *    "Enforce failed. Expected input a == b, but received a(1) != b(2)."
292
 *      with detailed stack information.
S
Superjom 已提交
293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309
 *
 *    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__)
310 311 312 313 314 315 316 317 318 319
#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 已提交
320
    if (UNLIKELY(!((__VAL0)__CMP(__VAL1)))) {                           \
C
chenweihang 已提交
321
      PADDLE_THROW("Enforce failed. Expected %s " #__CMP                \
322 323 324
                   " %s, but received %s:%s " #__INV_CMP " %s:%s.\n%s", \
                   #__VAL0, #__VAL1, #__VAL0,                           \
                   paddle::string::to_string(__VAL0), #__VAL1,          \
325 326 327 328
                   paddle::string::to_string(__VAL1),                   \
                   paddle::string::Sprintf("" __VA_ARGS__));            \
    }                                                                   \
  } while (0)
S
add EQ  
Superjom 已提交
329

330 331
}  // namespace platform
}  // namespace paddle