configuration.h

// Copyright (c) 2020-now by the Zeek Project. See LICENSE for details.
 
#pragma once
 
#include <cstddef>
#include <memory>
#include <optional>
#include <string>
 
#include <hilti/rt/filesystem.h>
#include <hilti/rt/util.h>
 
namespace hilti::rt {
 
struct Configuration {
    Configuration();
 
    size_t fiber_individual_stack_size = static_cast<size_t>(1 * 1024 * 1024);
 
    size_t fiber_shared_stack_size = static_cast<size_t>(1 * 1024 * 1024);
 
    size_t fiber_shared_stack_swap_size_min = static_cast<size_t>(10 * 1024);
 
    unsigned int fiber_cache_size = 200;
 
#ifdef _WIN32
    size_t fiber_min_stack_size = static_cast<size_t>(128 * 1024);
#else
    size_t fiber_min_stack_size = static_cast<size_t>(20 * 1024);
#endif
 
    std::optional<hilti::rt::filesystem::path> debug_out;
 
    bool show_backtraces = false;
 
    bool abort_on_exceptions = false;
 
    bool report_resource_usage = false;
 
    bool enable_profiling = false;
 
    std::string debug_streams;
 
    std::optional<std::reference_wrapper<std::ostream>> cout;
};
 
namespace configuration {
 
namespace detail {
extern HILTI_JIT_IMPORT std::unique_ptr<hilti::rt::Configuration> __configuration;
 
inline const Configuration& unsafeGet() {
    assert(detail::__configuration.get());
    return *detail::__configuration;
}
 
} // namespace detail
 
inline const Configuration& get() {
    if ( ! detail::__configuration )
        detail::__configuration = std::make_unique<hilti::rt::Configuration>();
 
    return *detail::__configuration;
}
 
extern void set(Configuration cfg);
 
} // namespace configuration
} // namespace hilti::rt