X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c58278cb019a1db459dd698bc4ec8e313aa53b59..365afa30a4911100444c5fa118488d82fc00e68a:/src/xbt/exception.cpp diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp index b9503b69ef..2d0748a2f5 100644 --- a/src/xbt/exception.cpp +++ b/src/xbt/exception.cpp @@ -1,109 +1,52 @@ -/* Copyright (c) 2005-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2005-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include - -#include -#include -#include -#include -#include -#include -#include - -#include "simgrid/exception.hpp" -#include +#include "simgrid/Exception.hpp" +#include "src/kernel/context/Context.hpp" #include -#include #include +#include +#include + XBT_LOG_EXTERNAL_CATEGORY(xbt); XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_exception, xbt, "Exceptions"); -// DO NOT define ~xbt_ex() in exception.hpp. -// Defining it here ensures that xbt_ex is defined only in libsimgrid, but not in libsimgrid-java. -// Doing otherwise naturally breaks things (at least on freebsd with clang). - -xbt_ex::~xbt_ex() = default; - -void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file, int line, const char* func) +void _xbt_throw(char* message, int value, const char* file, int line, const char* func) { - xbt_ex e(simgrid::xbt::ThrowPoint(file, line, func), message); + simgrid::Exception e( + simgrid::xbt::ThrowPoint(file, line, func, simgrid::xbt::Backtrace(), xbt_procname(), xbt_getpid()), + message ? message : ""); xbt_free(message); - e.category = errcat; e.value = value; throw e; } -/** @brief shows an exception content and the associated stack if available */ -void xbt_ex_display(xbt_ex_t* e) -{ - simgrid::xbt::log_exception(xbt_log_priority_critical, "UNCAUGHT EXCEPTION", *e); -} - -/** @brief returns a short name for the given exception category */ -const char* xbt_ex_catname(xbt_errcat_t cat) -{ - switch (cat) { - case unknown_error: - return "unknown error"; - case arg_error: - return "invalid argument"; - case bound_error: - return "out of bounds"; - case mismatch_error: - return "mismatch"; - case not_found_error: - return "not found"; - case system_error: - return "system error"; - case network_error: - return "network error"; - case timeout_error: - return "timeout"; - case cancel_error: - return "action canceled"; - case thread_error: - return "thread error"; - case host_error: - return "host failed"; - case tracing_error: - return "tracing error"; - case io_error: - return "io error"; - case vm_error: - return "vm error"; - default: - return "INVALID ERROR"; - } - return "INVALID ERROR"; -} - namespace simgrid { namespace xbt { -ContextedException::~ContextedException() = default; +ImpossibleError::~ImpossibleError() = default; +InitializationError::~InitializationError() = default; +UnimplementedError::~UnimplementedError() = default; void log_exception(e_xbt_log_priority_t prio, const char* context, std::exception const& exception) { try { auto name = simgrid::xbt::demangle(typeid(exception).name()); - auto* with_context = dynamic_cast(&exception); + auto* with_context = dynamic_cast(&exception); if (with_context != nullptr) - XBT_LOG(prio, "%s %s by %s/%d: %s", context, name.get(), with_context->process_name().c_str(), - with_context->pid(), exception.what()); + XBT_LOG(prio, "%s %s by %s/%d: %s", context, name.get(), with_context->throw_point().procname_.c_str(), + with_context->throw_point().pid_, exception.what()); else XBT_LOG(prio, "%s %s: %s", context, name.get(), exception.what()); // Do we have a backtrace? if (with_context != nullptr && not simgrid::config::get_value("exception/cutpath")) { - auto backtrace = - simgrid::xbt::resolve_backtrace(with_context->backtrace().data(), with_context->backtrace().size()); - for (std::string const& s : backtrace) - XBT_LOG(prio, " -> %s", s.c_str()); + auto backtrace = with_context->resolve_backtrace(); + XBT_LOG(prio, " -> %s", backtrace.c_str()); } // Do we have a nested exception? @@ -123,27 +66,26 @@ void log_exception(e_xbt_log_priority_t prio, const char* context, std::exceptio } catch (...) { // Don't log exceptions we got when trying to log exception + XBT_LOG(prio, "Ignoring exception caught while while trying to log an exception!"); } } -static void showBacktrace(std::vector& bt) +static void show_backtrace(const simgrid::xbt::Backtrace& bt) { if (simgrid::config::get_value("exception/cutpath")) { - XBT_LOG(xbt_log_priority_critical, "Display of current backtrace disabled by --cfg=exception/cutpath."); + XBT_CRITICAL("Display of current backtrace disabled by --cfg=exception/cutpath."); return; } - std::vector res = resolve_backtrace(&bt[0], bt.size()); - XBT_LOG(xbt_log_priority_critical, "Current backtrace:"); - for (std::string const& s : res) - XBT_LOG(xbt_log_priority_critical, " -> %s", s.c_str()); + std::string res = bt.resolve(); + XBT_CRITICAL("Current backtrace:"); + XBT_CRITICAL(" -> %s", res.c_str()); } static std::terminate_handler previous_terminate_handler = nullptr; static void handler() { - // Avoid doing crazy things if we get an uncaught exception inside - // an uncaught exception + // Avoid doing crazy things if we get an uncaught exception inside an uncaught exception static std::atomic_flag lock = ATOMIC_FLAG_INIT; if (lock.test_and_set()) { XBT_ERROR("Handling an exception raised an exception. Bailing out."); @@ -152,18 +94,31 @@ static void handler() // Get the current backtrace and exception auto e = std::current_exception(); - auto bt = backtrace(); + simgrid::xbt::Backtrace bt = simgrid::xbt::Backtrace(); try { std::rethrow_exception(e); } + // Parse error are handled differently, as the call stack does not matter, only the file location + catch (simgrid::ParseError& e) { + XBT_ERROR("%s", e.what()); + XBT_ERROR("Exiting now."); + std::abort(); + } + // We manage C++ exception ourselves catch (std::exception& e) { log_exception(xbt_log_priority_critical, "Uncaught exception", e); - showBacktrace(bt); + show_backtrace(bt); std::abort(); } + catch (const simgrid::ForcefulKillException&) { + XBT_ERROR("Received a ForcefulKillException at the top-level exception handler. Maybe a Java->C++ call that is not " + "protected in a try/catch?"); + show_backtrace(bt); + } + // We don't know how to manage other exceptions catch (...) { // If there was another handler let's delegate to it @@ -171,11 +126,11 @@ static void handler() previous_terminate_handler(); else { XBT_ERROR("Unknown uncaught exception"); - showBacktrace(bt); + show_backtrace(bt); std::abort(); } } - + XBT_INFO("BAM"); } void install_exception_handler() @@ -185,15 +140,20 @@ void install_exception_handler() previous_terminate_handler = std::set_terminate(handler); }); } -// deprecated -void logException(e_xbt_log_priority_t priority, const char* context, std::exception const& exception) + +} // namespace xbt +} // namespace simgrid + +void xbt_throw_impossible(const char* file, int line, const char* func) { - log_exception(priority, context, exception); + std::stringstream ss; + ss << file << ":" << line << ":" << func + << ": The Impossible Did Happen (yet again). Please report this bug (after reading https://xkcd.com/2200 :)"; + throw simgrid::xbt::ImpossibleError(ss.str()); } -void installExceptionHandler() +void xbt_throw_unimplemented(const char* file, int line, const char* func) { - install_exception_handler(); -} - -} // namespace xbt + std::stringstream ss; + ss << file << ":" << line << ":" << func << ": Feature unimplemented yet. Please report this bug."; + throw simgrid::xbt::UnimplementedError(ss.str()); }