![]() |
Spicy
|
#include <configuration.h>
Public Attributes | |
size_t | fiber_individual_stack_size = 1 * 1024 * 1024 |
size_t | fiber_shared_stack_size = 1 * 1024 * 1024 |
unsigned int | fiber_cache_size = 100 |
size_t | fiber_min_stack_size = 20 * 1024 |
std::optional< hilti::rt::filesystem::path > | debug_out |
bool | show_backtraces = false |
bool | abort_on_exceptions = false |
bool | report_resource_usage = false |
std::string | debug_streams |
std::optional< std::reference_wrapper< std::ostream > > | cout |
Configuration parameters for the HILTI runtime system.
bool hilti::rt::Configuration::abort_on_exceptions = false |
abort() instead of throwing HILTI exceptions. Print summary of runtime resource usage at termination
std::optional<std::reference_wrapper<std::ostream> > hilti::rt::Configuration::cout |
Output stream for hilti::print(). If unset, printing will be silenced.
std::optional<hilti::rt::filesystem::path> hilti::rt::Configuration::debug_out |
File where debug output is to be sent. Default is stderr.
std::string hilti::rt::Configuration::debug_streams |
Colon-separated list of debug streams to enable. Default comes from HILTI_DEBUG.
unsigned int hilti::rt::Configuration::fiber_cache_size = 100 |
Max. number of fibers cached for reuse.
size_t hilti::rt::Configuration::fiber_individual_stack_size = 1 * 1024 * 1024 |
Stack size for fibers with individual stacks.
size_t hilti::rt::Configuration::fiber_min_stack_size = 20 * 1024 |
Minimum stack size that a fiber must have left for use at beginning of a function's execution. This should leave enough headroom for (1) the current function to still execute, and (2) safely abort with an exception if we're getting too low. (It seems that the latter can require quite a bit of space, hence the large default here.)
size_t hilti::rt::Configuration::fiber_shared_stack_size = 1 * 1024 * 1024 |
Stack size for shared fiber stack.
bool hilti::rt::Configuration::show_backtraces = false |
Show backtraces when reporting unhandled exceptions.