-/* Copyright (c) 2005-2016. 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 <cstdlib>
+#include "simgrid/Exception.hpp"
+#include "src/kernel/context/Context.hpp"
+#include <xbt/config.hpp>
+#include <xbt/log.hpp>
-#include <atomic>
-#include <exception>
-#include <string>
-#include <typeinfo>
-#include <vector>
-#include <memory>
#include <mutex>
+#include <sstream>
-#include <xbt/backtrace.hpp>
-#include <xbt/exception.hpp>
-#include <xbt/log.h>
-#include <xbt/log.hpp>
-
-extern "C" {
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)
+{
+ xbt_ex e(simgrid::xbt::ThrowPoint(file, line, func, simgrid::xbt::Backtrace(), xbt_procname(), xbt_getpid()),
+ message);
+ xbt_free(message);
+ e.category = errcat;
+ e.value = value;
+ throw 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";
+ }
}
namespace simgrid {
namespace xbt {
-WithContextException::~WithContextException() {}
-
-void logException(
- e_xbt_log_priority_t prio,
- const char* context, std::exception const& exception)
+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<const simgrid::xbt::WithContextException*>(&exception);
+ auto* with_context = dynamic_cast<const simgrid::Exception*>(&exception);
if (with_context != nullptr)
- XBT_LOG(prio, "%s %s by %s/%d: %s",
- context, name.get(),
- with_context->processName().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) {
- auto backtrace = simgrid::xbt::resolveBacktrace(
- with_context->backtrace().data(), with_context->backtrace().size());
- for (std::string const& s : backtrace)
- XBT_LOG(prio, " -> %s", s.c_str());
+ if (with_context != nullptr && not simgrid::config::get_value<bool>("exception/cutpath")) {
+ auto backtrace = with_context->resolve_backtrace();
+ XBT_LOG(prio, " -> %s", backtrace.c_str());
}
// Do we have a nested exception?
- auto with_nested = dynamic_cast<const std::nested_exception*>(&exception);
+ auto* with_nested = dynamic_cast<const std::nested_exception*>(&exception);
if (with_nested == nullptr || with_nested->nested_ptr() == nullptr)
return;
try {
with_nested->rethrow_nested();
}
catch (std::exception& nested_exception) {
- logException(prio, "Caused by", nested_exception);
+ log_exception(prio, "Caused by", nested_exception);
}
// We could catch nested_exception or WithContextException but we don't bother:
catch (...) {
}
}
-static void showBacktrace(std::vector<xbt_backtrace_location_t>& bt)
+static void show_backtrace(const simgrid::xbt::Backtrace& bt)
{
- std::vector<std::string> res = resolveBacktrace(&bt[0], bt.size());
+ if (simgrid::config::get_value<bool>("exception/cutpath")) {
+ XBT_LOG(xbt_log_priority_critical, "Display of current backtrace disabled by --cfg=exception/cutpath.");
+ return;
+ }
+ std::string res = bt.resolve();
XBT_LOG(xbt_log_priority_critical, "Current backtrace:");
- for (std::string const& s : res)
- XBT_LOG(xbt_log_priority_critical, " -> %s", s.c_str());
+ XBT_LOG(xbt_log_priority_critical, " -> %s", res.c_str());
}
static std::terminate_handler previous_terminate_handler = nullptr;
// an uncaught exception
static std::atomic_flag lock = ATOMIC_FLAG_INIT;
if (lock.test_and_set()) {
- XBT_ERROR("Multiple uncaught exceptions");
+ XBT_ERROR("Handling an exception raised an exception. Bailing out.");
std::abort();
}
// 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);
}
// We manage C++ exception ourselves
catch (std::exception& e) {
- logException(xbt_log_priority_critical, "Uncaught exception", e);
- showBacktrace(bt);
+ log_exception(xbt_log_priority_critical, "Uncaught exception", e);
+ show_backtrace(bt);
std::abort();
}
+ catch (simgrid::ForcefulKillException const& e) {
+ 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
previous_terminate_handler();
else {
XBT_ERROR("Unknown uncaught exception");
- showBacktrace(bt);
+ show_backtrace(bt);
std::abort();
}
}
-
}
-void installExceptionHandler()
+void install_exception_handler()
{
static std::once_flag handler_flag;
std::call_once(handler_flag, [] {
previous_terminate_handler = std::set_terminate(handler);
});
}
-
+// deprecated
+void logException(e_xbt_log_priority_t priority, const char* context, std::exception const& exception)
+{
+ log_exception(priority, context, exception);
}
+void installExceptionHandler()
+{
+ install_exception_handler();
}
-void xbt_set_terminate()
+} // namespace xbt
+} // namespace simgrid
+
+void xbt_throw_impossible(const char* file, int line, const char* func)
+{
+ std::stringstream ss;
+ ss << file << ":" << line << ":" << func << ": The Impossible Did Happen (yet again). Please report this bug.";
+ throw std::runtime_error(ss.str());
+}
+void xbt_throw_unimplemented(const char* file, int line, const char* func)
{
- simgrid::xbt::installExceptionHandler();
+ std::stringstream ss;
+ ss << file << ":" << line << ":" << func << ": Feature unimplemented yet. Please report this bug.";
+ throw std::runtime_error(ss.str());
}