enforce.h 8.6 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>
20 21 22
#include <sstream>
#include <stdexcept>
#include <string>
23

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

27 28 29 30
#ifdef __GNUC__
#include <cxxabi.h>  // for __cxa_demangle
#endif

31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
#ifndef PADDLE_ONLY_CPU

#include "paddle/platform/dynload/cublas.h"
#include "paddle/platform/dynload/cudnn.h"
#include "paddle/platform/dynload/curand.h"

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

#endif  // PADDLE_ONLY_CPU

namespace paddle {
namespace platform {

48 49 50 51 52 53 54 55 56 57 58 59 60
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
}

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

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

Y
Yu Yang 已提交
74
      void* call_stack[TRACE_STACK_LIMIT];
75 76 77 78 79 80 81
      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)) {
          auto demangled = demangle(info.dli_sname);
82 83 84 85 86
          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);
87 88 89 90
        } else {
          sout << string::Sprintf("%-3d %*0p %s\n", i, 2 + sizeof(void*) * 2,
                                  call_stack[i]);
        }
Y
Yu Yang 已提交
91
      }
92
      free(symbols);
Y
Yu Yang 已提交
93
      err_str_ = sout.str();
94 95 96 97 98 99
    }
  }

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

L
liaogang 已提交
100 101 102 103 104
// 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.
105 106
#define UNLIKELY(condition) __builtin_expect(static_cast<bool>(condition), 0)

L
liaogang 已提交
107 108 109 110
template <typename... Args>
inline typename std::enable_if<sizeof...(Args) != 0, void>::type throw_on_error(
    int stat, const Args&... args) {
  if (UNLIKELY(!(stat))) {
111
    throw std::runtime_error(string::Sprintf(args...));
L
liaogang 已提交
112 113 114
  }
}

115 116 117
#ifndef PADDLE_ONLY_CPU

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

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

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

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

#endif  // PADDLE_ONLY_CPU

L
liaogang 已提交
176 177 178 179 180
template <typename T>
inline void throw_on_error(T e) {
  throw_on_error(e, "");
}

Q
qijun 已提交
181 182 183 184 185 186
#define PADDLE_THROW(...)                                              \
  do {                                                                 \
    throw ::paddle::platform::EnforceNotMet(                           \
        std::make_exception_ptr(                                       \
            std::runtime_error(paddle::string::Sprintf(__VA_ARGS__))), \
        __FILE__, __LINE__);                                           \
L
liaogang 已提交
187 188
  } while (0)

189 190 191 192 193 194 195 196
#define PADDLE_ENFORCE(...)                                             \
  do {                                                                  \
    try {                                                               \
      ::paddle::platform::throw_on_error(__VA_ARGS__);                  \
    } catch (...) {                                                     \
      throw ::paddle::platform::EnforceNotMet(std::current_exception(), \
                                              __FILE__, __LINE__);      \
    }                                                                   \
197 198
  } while (0)

S
Superjom 已提交
199 200 201 202 203 204 205
/*
 * Some enforce helpers here, usage:
 *    int a = 1;
 *    int b = 2;
 *    PADDLE_ENFORCE_EQ(a, b);
 *
 *    will raise an expression described as follows:
206
 *    "enforce a == b failed, 1 != 2" with detailed stack information.
S
Superjom 已提交
207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223
 *
 *    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 已提交
224 225 226
#define PADDLE_ENFORCE_NOT_NULL(__VAL, ...)                            \
  PADDLE_ENFORCE(nullptr != (__VAL), #__VAL " should not be null\n%s", \
                 paddle::string::Sprintf("" __VA_ARGS__));
S
Superjom 已提交
227 228

#define __PADDLE_BINARY_COMPARE(__VAL0, __VAL1, __CMP, __INV_CMP, ...)        \
Y
Yan Chunwei 已提交
229
  PADDLE_ENFORCE(__VAL0 __CMP __VAL1,                                         \
S
Superjom 已提交
230
                 "enforce %s " #__CMP " %s failed, %s " #__INV_CMP " %s\n%s", \
231 232
                 #__VAL0, #__VAL1, paddle::string::to_string(__VAL0),         \
                 paddle::string::to_string(__VAL1),                           \
S
Superjom 已提交
233
                 paddle::string::Sprintf("" __VA_ARGS__));
S
add EQ  
Superjom 已提交
234

235 236
}  // namespace platform
}  // namespace paddle