exception.h 10.8 KB
Newer Older
Kenton Varda's avatar
Kenton Varda committed
1 2
// Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
// Licensed under the MIT License:
3
//
Kenton Varda's avatar
Kenton Varda committed
4 5 6 7 8 9
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
10
//
Kenton Varda's avatar
Kenton Varda committed
11 12
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
13
//
Kenton Varda's avatar
Kenton Varda committed
14 15 16 17 18 19 20
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.
21

22 23
#ifndef KJ_EXCEPTION_H_
#define KJ_EXCEPTION_H_
24

Kenton Varda's avatar
Kenton Varda committed
25
#include "memory.h"
26
#include "array.h"
Kenton Varda's avatar
Kenton Varda committed
27
#include "string.h"
28

29
namespace kj {
30

31 32 33
class ExceptionImpl;

class Exception {
34
  // Exception thrown in case of fatal errors.
35 36 37
  //
  // Actually, a subclass of this which also implements std::exception will be thrown, but we hide
  // that fact from the interface to avoid #including <exception>.
38

39 40 41 42 43 44
#ifdef __CDT_PARSER__
  // For some reason Eclipse gets confused by the definition of Nature if it's the first thing
  // in the class.
  typedef void WorkAroundCdtBug;
#endif

45 46 47 48 49 50 51 52 53
public:
  enum class Nature {
    // What kind of failure?  This is informational, not intended for programmatic use.
    // Note that the difference between some of these failure types is not always clear.  For
    // example, a precondition failure may be due to a "local bug" in the calling code, or it
    // may be due to invalid input.

    PRECONDITION,
    LOCAL_BUG,
54
    OS_ERROR,
55 56 57 58 59 60 61
    NETWORK_FAILURE,
    OTHER

    // Make sure to update the stringifier if you add a new nature.
  };

  enum class Durability {
Kenton Varda's avatar
Kenton Varda committed
62
    PERMANENT,  // Retrying the exact same operation will fail in exactly the same way.
63
    TEMPORARY,  // Retrying the exact same operation might succeed.
Kenton Varda's avatar
Kenton Varda committed
64 65 66
    OVERLOADED  // The error was possibly caused by the system being overloaded.  Retrying the
                // operation might work at a later point in time, but the caller should NOT retry
                // immediately as this will probably exacerbate the problem.
67 68 69 70 71

    // Make sure to update the stringifier if you add a new durability.
  };

  Exception(Nature nature, Durability durability, const char* file, int line,
Kenton Varda's avatar
Kenton Varda committed
72
            String description = nullptr) noexcept;
73 74
  Exception(Nature nature, Durability durability, String file, int line,
            String description = nullptr) noexcept;
75
  Exception(const Exception& other) noexcept;
76
  Exception(Exception&& other) = default;
77 78
  ~Exception() noexcept;

Kenton Varda's avatar
Kenton Varda committed
79 80 81 82
  const char* getFile() const { return file; }
  int getLine() const { return line; }
  Nature getNature() const { return nature; }
  Durability getDurability() const { return durability; }
83
  StringPtr getDescription() const { return description; }
84
  ArrayPtr<void* const> getStackTrace() const { return arrayPtr(trace, traceCount); }
Kenton Varda's avatar
Kenton Varda committed
85

86 87 88 89 90
  struct Context {
    // Describes a bit about what was going on when the exception was thrown.

    const char* file;
    int line;
Kenton Varda's avatar
Kenton Varda committed
91
    String description;
92 93
    Maybe<Own<Context>> next;

Kenton Varda's avatar
Kenton Varda committed
94
    Context(const char* file, int line, String&& description, Maybe<Own<Context>>&& next)
Kenton Varda's avatar
Kenton Varda committed
95
        : file(file), line(line), description(mv(description)), next(mv(next)) {}
96
    Context(const Context& other) noexcept;
97 98 99
  };

  inline Maybe<const Context&> getContext() const {
100
    KJ_IF_MAYBE(c, context) {
101
      return **c;
102
    } else {
103
      return nullptr;
104 105 106
    }
  }

Kenton Varda's avatar
Kenton Varda committed
107
  void wrapContext(const char* file, int line, String&& description);
108 109 110 111
  // Wraps the context in a new node.  This becomes the head node returned by getContext() -- it
  // is expected that contexts will be added in reverse order as the exception passes up the
  // callback stack.

112
private:
113
  String ownFile;
114 115 116 117
  const char* file;
  int line;
  Nature nature;
  Durability durability;
Kenton Varda's avatar
Kenton Varda committed
118
  String description;
119 120 121
  Maybe<Own<Context>> context;
  void* trace[16];
  uint traceCount;
122 123

  friend class ExceptionImpl;
124 125
};

126
// TODO(soon):  These should return StringPtr.
Kenton Varda's avatar
Kenton Varda committed
127 128
ArrayPtr<const char> KJ_STRINGIFY(Exception::Nature nature);
ArrayPtr<const char> KJ_STRINGIFY(Exception::Durability durability);
129
String KJ_STRINGIFY(const Exception& e);
130

131 132
// =======================================================================================

133 134
class ExceptionCallback {
  // If you don't like C++ exceptions, you may implement and register an ExceptionCallback in order
135 136 137 138
  // to perform your own exception handling.  For example, a reasonable thing to do is to have
  // onRecoverableException() set a flag indicating that an error occurred, and then check for that
  // flag just before writing to storage and/or returning results to the user.  If the flag is set,
  // discard whatever you have and return an error instead.
139
  //
140 141 142 143 144
  // ExceptionCallbacks must always be allocated on the stack.  When an exception is thrown, the
  // newest ExceptionCallback on the calling thread's stack is called.  The default implementation
  // of each method calls the next-oldest ExceptionCallback for that thread.  Thus the callbacks
  // behave a lot like try/catch blocks, except that they are called before any stack unwinding
  // occurs.
145 146 147

public:
  ExceptionCallback();
148
  KJ_DISALLOW_COPY(ExceptionCallback);
149
  virtual ~ExceptionCallback() noexcept(false);
150 151 152 153

  virtual void onRecoverableException(Exception&& exception);
  // Called when an exception has been raised, but the calling code has the ability to continue by
  // producing garbage output.  This method _should_ throw the exception, but is allowed to simply
154 155 156 157
  // return if garbage output is acceptable.
  //
  // The global default implementation throws an exception unless the library was compiled with
  // -fno-exceptions, in which case it logs an error and returns.
158 159 160 161

  virtual void onFatalException(Exception&& exception);
  // Called when an exception has been raised and the calling code cannot continue.  If this method
  // returns normally, abort() will be called.  The method must throw the exception to avoid
162 163 164
  // aborting.
  //
  // The global default implementation throws an exception unless the library was compiled with
165 166
  // -fno-exceptions, in which case it logs an error and returns.

167
  virtual void logMessage(const char* file, int line, int contextDepth, String&& text);
168
  // Called when something wants to log some debug text.  The text always ends in a newline if
169 170
  // it is non-empty.  `contextDepth` indicates how many levels of context the message passed
  // through; it may make sense to indent the message accordingly.
171
  //
172
  // The global default implementation writes the text to stderr.
173

174 175
protected:
  ExceptionCallback& next;
176

177 178
private:
  ExceptionCallback(ExceptionCallback& next);
179

180 181
  class RootExceptionCallback;
  friend ExceptionCallback& getExceptionCallback();
182 183
};

184
ExceptionCallback& getExceptionCallback();
185 186
// Returns the current exception callback.

187 188 189 190 191 192 193 194
void throwFatalException(kj::Exception&& exception) KJ_NORETURN;
// Invoke the exception callback to throw the given fatal exception.  If the exception callback
// returns, abort.

void throwRecoverableException(kj::Exception&& exception);
// Invoke the exception acllback to throw the given recoverable exception.  If the exception
// callback returns, return normally.

195 196 197 198 199
// =======================================================================================

namespace _ { class Runnable; }

template <typename Func>
200
Maybe<Exception> runCatchingExceptions(Func&& func) noexcept;
201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254
// Executes the given function (usually, a lambda returning nothing) catching any exceptions that
// are thrown.  Returns the Exception if there was one, or null if the operation completed normally.
// Non-KJ exceptions will be wrapped.
//
// If exception are disabled (e.g. with -fno-exceptions), this will still detect whether any
// recoverable exceptions occurred while running the function and will return those.

class UnwindDetector {
  // Utility for detecting when a destructor is called due to unwind.  Useful for:
  // - Avoiding throwing exceptions in this case, which would terminate the program.
  // - Detecting whether to commit or roll back a transaction.
  //
  // To use this class, either inherit privately from it or declare it as a member.  The detector
  // works by comparing the exception state against that when the constructor was called, so for
  // an object that was actually constructed during exception unwind, it will behave as if no
  // unwind is taking place.  This is usually the desired behavior.

public:
  UnwindDetector();

  bool isUnwinding() const;
  // Returns true if the current thread is in a stack unwind that it wasn't in at the time the
  // object was constructed.

  template <typename Func>
  void catchExceptionsIfUnwinding(Func&& func) const;
  // Runs the given function (e.g., a lambda).  If isUnwinding() is true, any exceptions are
  // caught and treated as secondary faults, meaning they are considered to be side-effects of the
  // exception that is unwinding the stack.  Otherwise, exceptions are passed through normally.

private:
  uint uncaughtCount;

  void catchExceptionsAsSecondaryFaults(_::Runnable& runnable) const;
};

namespace _ {  // private

class Runnable {
public:
  virtual void run() = 0;
};

template <typename Func>
class RunnableImpl: public Runnable {
public:
  RunnableImpl(Func&& func): func(kj::mv(func)) {}
  void run() override {
    func();
  }
private:
  Func func;
};

255
Maybe<Exception> runCatchingExceptions(Runnable& runnable) noexcept;
256 257 258 259

}  // namespace _ (private)

template <typename Func>
260
Maybe<Exception> runCatchingExceptions(Func&& func) noexcept {
261 262 263 264 265 266 267 268 269 270 271 272 273 274
  _::RunnableImpl<Decay<Func>> runnable(kj::fwd<Func>(func));
  return _::runCatchingExceptions(runnable);
}

template <typename Func>
void UnwindDetector::catchExceptionsIfUnwinding(Func&& func) const {
  if (isUnwinding()) {
    _::RunnableImpl<Decay<Func>> runnable(kj::fwd<Func>(func));
    catchExceptionsAsSecondaryFaults(runnable);
  } else {
    func();
  }
}

275 276 277 278 279 280 281 282 283 284
#define KJ_ON_SCOPE_SUCCESS(code) \
  ::kj::UnwindDetector KJ_UNIQUE_NAME(_kjUnwindDetector); \
  KJ_DEFER(if (!KJ_UNIQUE_NAME(_kjUnwindDetector).isUnwinding()) { code; })
// Runs `code` if the current scope is exited normally (not due to an exception).

#define KJ_ON_SCOPE_FAILURE(code) \
  ::kj::UnwindDetector KJ_UNIQUE_NAME(_kjUnwindDetector); \
  KJ_DEFER(if (KJ_UNIQUE_NAME(_kjUnwindDetector).isUnwinding()) { code; })
// Runs `code` if the current scope is exited due to an exception.

285
}  // namespace kj
286

287
#endif  // KJ_EXCEPTION_H_