You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

218 lines
7.5 KiB

// Copyright (c) 2014-2018, MyMonero.com
//
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without modification, are
// permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this list of
// conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright notice, this list
// of conditions and the following disclaimer in the documentation and/or other
// materials provided with the distribution.
//
// 3. Neither the name of the copyright holder nor the names of its contributors may be
// used to endorse or promote products derived from this software without specific
// prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
// THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
// STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
// THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
//
#pragma once
#include <atomic>
#include <ostream>
#include <type_traits>
//! \return True iff if copying `T` requires only memmove ASM.
template<typename T>
constexpr bool is_cheap_copy() noexcept {
return std::is_copy_constructible<T>() &&
std::is_trivially_copyable<T>() &&
std::is_trivially_destructible<T>();
}
//! \return True iff if there is no runtime penalty in passing `T` by value.
template<typename T>
constexpr bool is_by_value_cheap() noexcept {
return is_cheap_copy<T>() && sizeof(T) <= sizeof(void*);
}
/*! A basic and fast logging implementation. Disables C++ I/O stream
synchronization with C counterparts, and initializes a signal handler for
SIGUSR1 to toggle debug logging. So be aware of the consequences of each if
using this implementation.
\note `init` must be called before any logging occurs, or the provided log
level will be ignored. */
class logger {
static std::atomic<unsigned> current_level_;
static void do_init();
public:
/* String literals are converted to a pointer, and cheap to copy types are
taken by value. Otherwise, the value is taken by const reference. */
template<typename T>
using decay = typename std::conditional<
std::is_array<T>::value,
const typename std::remove_extent<T>::type *,
typename std::conditional<is_by_value_cheap<T>(), T, const T&>::type
>::type;
//! Associated level for the message and logger instance.
enum level : unsigned char {
kDebug = 0, //!< Maybe write to std::cerr (std::clog) with buffering
kInfo, //!< Maybe write to std::cerr (std::clog) with buffering
kWarning, //!< Maybe write to std::cerr (std::clog) with buffering
kError //<! Always write directly to std::cerr without buffering
};
//! Initialize the logging system, writing only messages at `base_level`.
static void init(level base_level);
//! Specific argument(s) for a log message (empty case)
template<typename... T>
class format {
public:
constexpr format() noexcept = default;
constexpr format(const format&) noexcept = default;
format& operator=(const format&) = delete;
void write(std::ostream&) const noexcept {}
};
//! Specific argument(s) for a log message (1+ arguments case)
template<typename Head, typename... Tail>
class format<Head, Tail...> : protected format<Tail...> {
static_assert(
is_by_value_cheap<Head>() || std::is_lvalue_reference<Head>(),
"invalid format setup"
);
const Head arg_;
public:
// Copies all format arguments
constexpr format(const format<Tail...>& args, const Head& arg) noexcept
: format<Tail...>(args), arg_(arg) {}
constexpr format() noexcept = default;
constexpr format(const format&) noexcept = default;
format& operator=(const format&) = delete;
//! Writes base class to `out`, then `arg` to `out`.
void write(std::ostream& out) const {
format<Tail...>::write(out);
out << arg_;
}
};
//! General information needed to log a message
struct info {
const char* const file_;
const unsigned short line_;
const level level_;
};
static_assert(
sizeof(info) <= sizeof(void*) * 2,
"unlikely to be passed via registers"
);
static_assert(is_cheap_copy<info>(), "info needs to be cheap to copy");
//! Log `args` from `src` if it meets or exceeds current log level.
template<typename... T>
static bool log(const info& src, const format<T...>& args) {
if (current_level_ <= unsigned(src.level_)) {
static_assert(
is_cheap_copy<format<T...>>(),
"format arguments should be cheap to copy"
);
static_assert(
std::is_trivially_destructible<formatter<T...>>(),
"unexpected destructor call required for formatter"
);
return formatter<T...>{args}.log(src);
}
return true;
}
private:
//! Provides type-erasure for logging arguments.
class formatter_base {
virtual void do_log(std::ostream& out) const = 0;
public:
formatter_base() noexcept = default;
formatter_base(const formatter_base&) = delete;
formatter_base& operator=(const formatter_base&) = delete;
bool log(const info src) const;
};
//! Type-erased log arguments
template<typename... T>
class formatter final : public formatter_base {
const format<T...> args_;
virtual void do_log(std::ostream& out) const override final {
args_.write(out);
}
public:
explicit formatter(const format<T...>& args) noexcept : args_(args) {}
formatter(const formatter&) = delete;
formatter& operator=(const formatter&) = delete;
};
};
template<typename... T>
void operator&(const logger::info& info, const logger::format<T...>& args) {
logger::log(info, args);
}
template<typename... Tail, typename Head>
constexpr logger::format<logger::decay<Head>, Tail...>
operator<<(const logger::format<Tail...>& args, const Head& arg) noexcept {
return {args, arg};
}
template<typename... Tail>
constexpr logger::format<std::ostream& (*)(std::ostream&), Tail...>
operator<<(const logger::format<Tail...>& args, std::ostream& (*arg)(std::ostream&) ) noexcept {
return {args, arg};
}
#ifdef LOGGER_LOG
# error already defined
#endif
#define LOGGER_LOG(level) \
logger::info{__FILE__, __LINE__, level} & logger::format<>{}
#ifdef LOGGER_ERROR
# error already defined
#endif
#define LOGGER_ERROR() LOGGER_LOG( logger::kError )
#ifdef LOGGER_WARNING
# error already defined
#endif
#define LOGGER_WARNING() LOGGER_LOG( logger::kWarning )
#ifdef LOGGER_INFO
# error already defined
#endif
#define LOGGER_INFO() LOGGER_LOG( logger::kInfo )
#ifdef LOGGER_DEBUG
# error already defined
#endif
#define LOGGER_DEBUG() LOGGER_LOG( logger::kDebug )