cannam@134: // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors cannam@134: // Licensed under the MIT License: cannam@134: // cannam@134: // Permission is hereby granted, free of charge, to any person obtaining a copy cannam@134: // of this software and associated documentation files (the "Software"), to deal cannam@134: // in the Software without restriction, including without limitation the rights cannam@134: // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell cannam@134: // copies of the Software, and to permit persons to whom the Software is cannam@134: // furnished to do so, subject to the following conditions: cannam@134: // cannam@134: // The above copyright notice and this permission notice shall be included in cannam@134: // all copies or substantial portions of the Software. cannam@134: // cannam@134: // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR cannam@134: // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, cannam@134: // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE cannam@134: // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER cannam@134: // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, cannam@134: // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN cannam@134: // THE SOFTWARE. cannam@134: cannam@134: #ifndef KJ_EXCEPTION_H_ cannam@134: #define KJ_EXCEPTION_H_ cannam@134: cannam@134: #if defined(__GNUC__) && !KJ_HEADER_WARNINGS cannam@134: #pragma GCC system_header cannam@134: #endif cannam@134: cannam@134: #include "memory.h" cannam@134: #include "array.h" cannam@134: #include "string.h" cannam@134: cannam@134: namespace kj { cannam@134: cannam@134: class ExceptionImpl; cannam@134: cannam@134: class Exception { cannam@134: // Exception thrown in case of fatal errors. cannam@134: // cannam@134: // Actually, a subclass of this which also implements std::exception will be thrown, but we hide cannam@134: // that fact from the interface to avoid #including . cannam@134: cannam@134: public: cannam@134: enum class Type { cannam@134: // What kind of failure? cannam@134: cannam@134: FAILED = 0, cannam@134: // Something went wrong. This is the usual error type. KJ_ASSERT and KJ_REQUIRE throw this cannam@134: // error type. cannam@134: cannam@134: OVERLOADED = 1, cannam@134: // The call failed because of a temporary lack of resources. This could be space resources cannam@134: // (out of memory, out of disk space) or time resources (request queue overflow, operation cannam@134: // timed out). cannam@134: // cannam@134: // The operation might work if tried again, but it should NOT be repeated immediately as this cannam@134: // may simply exacerbate the problem. cannam@134: cannam@134: DISCONNECTED = 2, cannam@134: // The call required communication over a connection that has been lost. The callee will need cannam@134: // to re-establish connections and try again. cannam@134: cannam@134: UNIMPLEMENTED = 3 cannam@134: // The requested method is not implemented. The caller may wish to revert to a fallback cannam@134: // approach based on other methods. cannam@134: cannam@134: // IF YOU ADD A NEW VALUE: cannam@134: // - Update the stringifier. cannam@134: // - Update Cap'n Proto's RPC protocol's Exception.Type enum. cannam@134: }; cannam@134: cannam@134: Exception(Type type, const char* file, int line, String description = nullptr) noexcept; cannam@134: Exception(Type type, String file, int line, String description = nullptr) noexcept; cannam@134: Exception(const Exception& other) noexcept; cannam@134: Exception(Exception&& other) = default; cannam@134: ~Exception() noexcept; cannam@134: cannam@134: const char* getFile() const { return file; } cannam@134: int getLine() const { return line; } cannam@134: Type getType() const { return type; } cannam@134: StringPtr getDescription() const { return description; } cannam@134: ArrayPtr getStackTrace() const { return arrayPtr(trace, traceCount); } cannam@134: cannam@134: struct Context { cannam@134: // Describes a bit about what was going on when the exception was thrown. cannam@134: cannam@134: const char* file; cannam@134: int line; cannam@134: String description; cannam@134: Maybe> next; cannam@134: cannam@134: Context(const char* file, int line, String&& description, Maybe>&& next) cannam@134: : file(file), line(line), description(mv(description)), next(mv(next)) {} cannam@134: Context(const Context& other) noexcept; cannam@134: }; cannam@134: cannam@134: inline Maybe getContext() const { cannam@134: KJ_IF_MAYBE(c, context) { cannam@134: return **c; cannam@134: } else { cannam@134: return nullptr; cannam@134: } cannam@134: } cannam@134: cannam@134: void wrapContext(const char* file, int line, String&& description); cannam@134: // Wraps the context in a new node. This becomes the head node returned by getContext() -- it cannam@134: // is expected that contexts will be added in reverse order as the exception passes up the cannam@134: // callback stack. cannam@134: cannam@134: KJ_NOINLINE void extendTrace(uint ignoreCount); cannam@134: // Append the current stack trace to the exception's trace, ignoring the first `ignoreCount` cannam@134: // frames (see `getStackTrace()` for discussion of `ignoreCount`). cannam@134: cannam@134: KJ_NOINLINE void truncateCommonTrace(); cannam@134: // Remove the part of the stack trace which the exception shares with the caller of this method. cannam@134: // This is used by the async library to remove the async infrastructure from the stack trace cannam@134: // before replacing it with the async trace. cannam@134: cannam@134: void addTrace(void* ptr); cannam@134: // Append the given pointer to the backtrace, if it is not already full. This is used by the cannam@134: // async library to trace through the promise chain that led to the exception. cannam@134: cannam@134: private: cannam@134: String ownFile; cannam@134: const char* file; cannam@134: int line; cannam@134: Type type; cannam@134: String description; cannam@134: Maybe> context; cannam@134: void* trace[32]; cannam@134: uint traceCount; cannam@134: cannam@134: friend class ExceptionImpl; cannam@134: }; cannam@134: cannam@134: StringPtr KJ_STRINGIFY(Exception::Type type); cannam@134: String KJ_STRINGIFY(const Exception& e); cannam@134: cannam@134: // ======================================================================================= cannam@134: cannam@134: enum class LogSeverity { cannam@134: INFO, // Information describing what the code is up to, which users may request to see cannam@134: // with a flag like `--verbose`. Does not indicate a problem. Not printed by cannam@134: // default; you must call setLogLevel(INFO) to enable. cannam@134: WARNING, // A problem was detected but execution can continue with correct output. cannam@134: ERROR, // Something is wrong, but execution can continue with garbage output. cannam@134: FATAL, // Something went wrong, and execution cannot continue. cannam@134: DBG // Temporary debug logging. See KJ_DBG. cannam@134: cannam@134: // Make sure to update the stringifier if you add a new severity level. cannam@134: }; cannam@134: cannam@134: StringPtr KJ_STRINGIFY(LogSeverity severity); cannam@134: cannam@134: class ExceptionCallback { cannam@134: // If you don't like C++ exceptions, you may implement and register an ExceptionCallback in order cannam@134: // to perform your own exception handling. For example, a reasonable thing to do is to have cannam@134: // onRecoverableException() set a flag indicating that an error occurred, and then check for that cannam@134: // flag just before writing to storage and/or returning results to the user. If the flag is set, cannam@134: // discard whatever you have and return an error instead. cannam@134: // cannam@134: // ExceptionCallbacks must always be allocated on the stack. When an exception is thrown, the cannam@134: // newest ExceptionCallback on the calling thread's stack is called. The default implementation cannam@134: // of each method calls the next-oldest ExceptionCallback for that thread. Thus the callbacks cannam@134: // behave a lot like try/catch blocks, except that they are called before any stack unwinding cannam@134: // occurs. cannam@134: cannam@134: public: cannam@134: ExceptionCallback(); cannam@134: KJ_DISALLOW_COPY(ExceptionCallback); cannam@134: virtual ~ExceptionCallback() noexcept(false); cannam@134: cannam@134: virtual void onRecoverableException(Exception&& exception); cannam@134: // Called when an exception has been raised, but the calling code has the ability to continue by cannam@134: // producing garbage output. This method _should_ throw the exception, but is allowed to simply cannam@134: // return if garbage output is acceptable. cannam@134: // cannam@134: // The global default implementation throws an exception unless the library was compiled with cannam@134: // -fno-exceptions, in which case it logs an error and returns. cannam@134: cannam@134: virtual void onFatalException(Exception&& exception); cannam@134: // Called when an exception has been raised and the calling code cannot continue. If this method cannam@134: // returns normally, abort() will be called. The method must throw the exception to avoid cannam@134: // aborting. cannam@134: // cannam@134: // The global default implementation throws an exception unless the library was compiled with cannam@134: // -fno-exceptions, in which case it logs an error and returns. cannam@134: cannam@134: virtual void logMessage(LogSeverity severity, const char* file, int line, int contextDepth, cannam@134: String&& text); cannam@134: // Called when something wants to log some debug text. `contextDepth` indicates how many levels cannam@134: // of context the message passed through; it may make sense to indent the message accordingly. cannam@134: // cannam@134: // The global default implementation writes the text to stderr. cannam@134: cannam@134: protected: cannam@134: ExceptionCallback& next; cannam@134: cannam@134: private: cannam@134: ExceptionCallback(ExceptionCallback& next); cannam@134: cannam@134: class RootExceptionCallback; cannam@134: friend ExceptionCallback& getExceptionCallback(); cannam@134: }; cannam@134: cannam@134: ExceptionCallback& getExceptionCallback(); cannam@134: // Returns the current exception callback. cannam@134: cannam@134: KJ_NOINLINE KJ_NORETURN(void throwFatalException(kj::Exception&& exception, uint ignoreCount = 0)); cannam@134: // Invoke the exception callback to throw the given fatal exception. If the exception callback cannam@134: // returns, abort. cannam@134: cannam@134: KJ_NOINLINE void throwRecoverableException(kj::Exception&& exception, uint ignoreCount = 0); cannam@134: // Invoke the exception callback to throw the given recoverable exception. If the exception cannam@134: // callback returns, return normally. cannam@134: cannam@134: // ======================================================================================= cannam@134: cannam@134: namespace _ { class Runnable; } cannam@134: cannam@134: template cannam@134: Maybe runCatchingExceptions(Func&& func) noexcept; cannam@134: // Executes the given function (usually, a lambda returning nothing) catching any exceptions that cannam@134: // are thrown. Returns the Exception if there was one, or null if the operation completed normally. cannam@134: // Non-KJ exceptions will be wrapped. cannam@134: // cannam@134: // If exception are disabled (e.g. with -fno-exceptions), this will still detect whether any cannam@134: // recoverable exceptions occurred while running the function and will return those. cannam@134: cannam@134: class UnwindDetector { cannam@134: // Utility for detecting when a destructor is called due to unwind. Useful for: cannam@134: // - Avoiding throwing exceptions in this case, which would terminate the program. cannam@134: // - Detecting whether to commit or roll back a transaction. cannam@134: // cannam@134: // To use this class, either inherit privately from it or declare it as a member. The detector cannam@134: // works by comparing the exception state against that when the constructor was called, so for cannam@134: // an object that was actually constructed during exception unwind, it will behave as if no cannam@134: // unwind is taking place. This is usually the desired behavior. cannam@134: cannam@134: public: cannam@134: UnwindDetector(); cannam@134: cannam@134: bool isUnwinding() const; cannam@134: // Returns true if the current thread is in a stack unwind that it wasn't in at the time the cannam@134: // object was constructed. cannam@134: cannam@134: template cannam@134: void catchExceptionsIfUnwinding(Func&& func) const; cannam@134: // Runs the given function (e.g., a lambda). If isUnwinding() is true, any exceptions are cannam@134: // caught and treated as secondary faults, meaning they are considered to be side-effects of the cannam@134: // exception that is unwinding the stack. Otherwise, exceptions are passed through normally. cannam@134: cannam@134: private: cannam@134: uint uncaughtCount; cannam@134: cannam@134: void catchExceptionsAsSecondaryFaults(_::Runnable& runnable) const; cannam@134: }; cannam@134: cannam@134: namespace _ { // private cannam@134: cannam@134: class Runnable { cannam@134: public: cannam@134: virtual void run() = 0; cannam@134: }; cannam@134: cannam@134: template cannam@134: class RunnableImpl: public Runnable { cannam@134: public: cannam@134: RunnableImpl(Func&& func): func(kj::mv(func)) {} cannam@134: void run() override { cannam@134: func(); cannam@134: } cannam@134: private: cannam@134: Func func; cannam@134: }; cannam@134: cannam@134: Maybe runCatchingExceptions(Runnable& runnable) noexcept; cannam@134: cannam@134: } // namespace _ (private) cannam@134: cannam@134: template cannam@134: Maybe runCatchingExceptions(Func&& func) noexcept { cannam@134: _::RunnableImpl> runnable(kj::fwd(func)); cannam@134: return _::runCatchingExceptions(runnable); cannam@134: } cannam@134: cannam@134: template cannam@134: void UnwindDetector::catchExceptionsIfUnwinding(Func&& func) const { cannam@134: if (isUnwinding()) { cannam@134: _::RunnableImpl> runnable(kj::fwd(func)); cannam@134: catchExceptionsAsSecondaryFaults(runnable); cannam@134: } else { cannam@134: func(); cannam@134: } cannam@134: } cannam@134: cannam@134: #define KJ_ON_SCOPE_SUCCESS(code) \ cannam@134: ::kj::UnwindDetector KJ_UNIQUE_NAME(_kjUnwindDetector); \ cannam@134: KJ_DEFER(if (!KJ_UNIQUE_NAME(_kjUnwindDetector).isUnwinding()) { code; }) cannam@134: // Runs `code` if the current scope is exited normally (not due to an exception). cannam@134: cannam@134: #define KJ_ON_SCOPE_FAILURE(code) \ cannam@134: ::kj::UnwindDetector KJ_UNIQUE_NAME(_kjUnwindDetector); \ cannam@134: KJ_DEFER(if (KJ_UNIQUE_NAME(_kjUnwindDetector).isUnwinding()) { code; }) cannam@134: // Runs `code` if the current scope is exited due to an exception. cannam@134: cannam@134: // ======================================================================================= cannam@134: cannam@134: KJ_NOINLINE ArrayPtr getStackTrace(ArrayPtr space, uint ignoreCount); cannam@134: // Attempt to get the current stack trace, returning a list of pointers to instructions. The cannam@134: // returned array is a slice of `space`. Provide a larger `space` to get a deeper stack trace. cannam@134: // If the platform doesn't support stack traces, returns an empty array. cannam@134: // cannam@134: // `ignoreCount` items will be truncated from the front of the trace. This is useful for chopping cannam@134: // off a prefix of the trace that is uninteresting to the developer because it's just locations cannam@134: // inside the debug infrastructure that is requesting the trace. Be careful to mark functions as cannam@134: // KJ_NOINLINE if you intend to count them in `ignoreCount`. Note that, unfortunately, the cannam@134: // ignored entries will still waste space in the `space` array (and the returned array's `begin()` cannam@134: // is never exactly equal to `space.begin()` due to this effect, even if `ignoreCount` is zero cannam@134: // since `getStackTrace()` needs to ignore its own internal frames). cannam@134: cannam@134: String stringifyStackTrace(ArrayPtr); cannam@134: // Convert the stack trace to a string with file names and line numbers. This may involve executing cannam@134: // suprocesses. cannam@134: cannam@134: void printStackTraceOnCrash(); cannam@134: // Registers signal handlers on common "crash" signals like SIGSEGV that will (attempt to) print cannam@134: // a stack trace. You should call this as early as possible on program startup. Programs using cannam@134: // KJ_MAIN get this automatically. cannam@134: cannam@134: kj::StringPtr trimSourceFilename(kj::StringPtr filename); cannam@134: // Given a source code file name, trim off noisy prefixes like "src/" or cannam@134: // "/ekam-provider/canonical/". cannam@134: cannam@134: } // namespace kj cannam@134: cannam@134: #endif // KJ_EXCEPTION_H_