Everett
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
everett::redundant_runtime< P, Compose, Storage >::execution Struct Reference

Classes

struct  active_slots
 

Public Member Functions

void poison () noexcept
 
native_pointer make_empty ()
 
 execution (Storage context, Compose value)
 
 execution (snapshot_type source, Storage context, Compose value)
 
active_slots active (unsigned i) const
 
std::optional< unsigned > find (unsigned i, redundant_slot_state state) const
 
unsigned vacant (unsigned i) const
 
bool ready () const noexcept
 
void require_ready () const
 
bool initializable () const noexcept
 
void refresh (unsigned i)
 
merge_compose merger ()
 
std::uint64_t checkpoint_price () const
 
std::uint64_t visibility_price () const
 
void tally (std::uint64_t amount, category kind)
 
void direct (std::uint64_t amount, category kind)
 
void grant (std::uint64_t amount)
 
void initialize_sorted (std::span< profile_record const > records, std::uint64_t allowance, std::uint64_t depth_limit)
 
object_pointer object (native_pointer native, pair_type pair, routes next, unsigned level, std::uint64_t first, std::uint64_t last)
 
pair_type build_index (native_pointer native, routes target)
 
pair_type prepare_root (pair_type main, native_pointer secondary={})
 
void visibility ()
 
void checkpoint ()
 
std::uint64_t admission_price () const
 
void admit (profile_record const &record)
 
unsigned selected () const
 
routes index_targets (unsigned i) const
 
std::uint64_t price () const
 
category charge_kind (unsigned i) const
 
void begin (unsigned i)
 
void complete_native (unsigned i, native_pointer native)
 
void perform (unsigned i)
 
void serve ()
 

Static Public Member Functions

static pair_type make_empty_pair (native_pointer native)
 
static snapshot_type initial (pair_type pair)
 
static std::uint64_t augmented (object_pointer const &object)
 
static std::uint64_t index_price (std::uint64_t native, std::uint64_t main, std::uint64_t secondary)
 
static std::uint64_t root_price (std::uint64_t main, std::uint64_t secondary)
 
static std::uint64_t initial_native_price (std::uint64_t count)
 
static std::uint64_t initialization_price (std::uint64_t count)
 
template<class F >
static void visit (object_pointer const &value, F &fn)
 

Public Attributes

Storage storage
 
Compose compose
 
native_pointer empty
 
pair_type empty_pair
 
std::array< level_type, maximum_levels > levels {}
 
std::array< std::unique_ptr< worker >, maximum_levels > workers {}
 
unsigned height = 1
 
std::uint64_t admissions = 0
 
std::uint64_t next_identity = 1
 
std::uint64_t unsafe = 0
 
std::uint64_t credit = 0
 
std::uint64_t service_due = 0
 
routes root
 
query_type query
 
snapshot_type published
 
redundant_work work
 
bool failed = false
 
bool recovery = false
 
bool checkpoint_pending = false
 
bool changed = false
 

Constructor & Destructor Documentation

◆ execution() [1/2]

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
everett::redundant_runtime< P, Compose, Storage >::execution::execution ( Storage  context,
Compose  value 
)
inline

◆ execution() [2/2]

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
everett::redundant_runtime< P, Compose, Storage >::execution::execution ( snapshot_type  source,
Storage  context,
Compose  value 
)
inline

Member Function Documentation

◆ active()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
active_slots everett::redundant_runtime< P, Compose, Storage >::execution::active ( unsigned  i) const
inline

◆ admission_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::admission_price ( ) const
inline

◆ admit()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::admit ( profile_record const &  record)
inline

◆ augmented()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::augmented ( object_pointer const &  object)
inlinestatic

◆ begin()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::begin ( unsigned  i)
inline

◆ build_index()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
pair_type everett::redundant_runtime< P, Compose, Storage >::execution::build_index ( native_pointer  native,
routes  target 
)
inline

◆ charge_kind()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
category everett::redundant_runtime< P, Compose, Storage >::execution::charge_kind ( unsigned  i) const
inline

◆ checkpoint()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::checkpoint ( )
inline

◆ checkpoint_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::checkpoint_price ( ) const
inline

◆ complete_native()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::complete_native ( unsigned  i,
native_pointer  native 
)
inline

◆ direct()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::direct ( std::uint64_t  amount,
category  kind 
)
inline

◆ find()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::optional< unsigned > everett::redundant_runtime< P, Compose, Storage >::execution::find ( unsigned  i,
redundant_slot_state  state 
) const
inline

◆ grant()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::grant ( std::uint64_t  amount)
inline

◆ index_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::index_price ( std::uint64_t  native,
std::uint64_t  main,
std::uint64_t  secondary 
)
inlinestatic

◆ index_targets()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
routes everett::redundant_runtime< P, Compose, Storage >::execution::index_targets ( unsigned  i) const
inline

◆ initial()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static snapshot_type everett::redundant_runtime< P, Compose, Storage >::execution::initial ( pair_type  pair)
inlinestatic

◆ initial_native_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::initial_native_price ( std::uint64_t  count)
inlinestatic

◆ initializable()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::initializable ( ) const
inlinenoexcept

◆ initialization_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::initialization_price ( std::uint64_t  count)
inlinestatic

◆ initialize_sorted()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::initialize_sorted ( std::span< profile_record const >  records,
std::uint64_t  allowance,
std::uint64_t  depth_limit 
)
inline

◆ make_empty()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
native_pointer everett::redundant_runtime< P, Compose, Storage >::execution::make_empty ( )
inline

◆ make_empty_pair()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static pair_type everett::redundant_runtime< P, Compose, Storage >::execution::make_empty_pair ( native_pointer  native)
inlinestatic

◆ merger()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
merge_compose everett::redundant_runtime< P, Compose, Storage >::execution::merger ( )
inline

◆ object()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
object_pointer everett::redundant_runtime< P, Compose, Storage >::execution::object ( native_pointer  native,
pair_type  pair,
routes  next,
unsigned  level,
std::uint64_t  first,
std::uint64_t  last 
)
inline

◆ perform()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::perform ( unsigned  i)
inline

◆ poison()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::poison ( )
inlinenoexcept

◆ prepare_root()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
pair_type everett::redundant_runtime< P, Compose, Storage >::execution::prepare_root ( pair_type  main,
native_pointer  secondary = {} 
)
inline

◆ price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::price ( ) const
inline

◆ ready()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::ready ( ) const
inlinenoexcept

◆ refresh()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::refresh ( unsigned  i)
inline

◆ require_ready()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::require_ready ( ) const
inline

◆ root_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
static std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::root_price ( std::uint64_t  main,
std::uint64_t  secondary 
)
inlinestatic

◆ selected()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
unsigned everett::redundant_runtime< P, Compose, Storage >::execution::selected ( ) const
inline

◆ serve()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::serve ( )
inline

◆ tally()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::tally ( std::uint64_t  amount,
category  kind 
)
inline

◆ vacant()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
unsigned everett::redundant_runtime< P, Compose, Storage >::execution::vacant ( unsigned  i) const
inline

◆ visibility()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
void everett::redundant_runtime< P, Compose, Storage >::execution::visibility ( )
inline

◆ visibility_price()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::visibility_price ( ) const
inline

◆ visit()

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
template<class F >
static void everett::redundant_runtime< P, Compose, Storage >::execution::visit ( object_pointer const &  value,
F &  fn 
)
inlinestatic

Member Data Documentation

◆ admissions

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::admissions = 0

◆ changed

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::changed = false

◆ checkpoint_pending

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::checkpoint_pending = false

◆ compose

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
Compose everett::redundant_runtime< P, Compose, Storage >::execution::compose

◆ credit

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::credit = 0

◆ empty

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
native_pointer everett::redundant_runtime< P, Compose, Storage >::execution::empty

◆ empty_pair

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
pair_type everett::redundant_runtime< P, Compose, Storage >::execution::empty_pair

◆ failed

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::failed = false

◆ height

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
unsigned everett::redundant_runtime< P, Compose, Storage >::execution::height = 1

◆ levels

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::array<level_type, maximum_levels> everett::redundant_runtime< P, Compose, Storage >::execution::levels {}

◆ next_identity

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::next_identity = 1

◆ published

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
snapshot_type everett::redundant_runtime< P, Compose, Storage >::execution::published

◆ query

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
query_type everett::redundant_runtime< P, Compose, Storage >::execution::query

◆ recovery

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
bool everett::redundant_runtime< P, Compose, Storage >::execution::recovery = false

◆ root

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
routes everett::redundant_runtime< P, Compose, Storage >::execution::root

◆ service_due

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::service_due = 0

◆ storage

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
Storage everett::redundant_runtime< P, Compose, Storage >::execution::storage

◆ unsafe

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::uint64_t everett::redundant_runtime< P, Compose, Storage >::execution::unsafe = 0

◆ work

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
redundant_work everett::redundant_runtime< P, Compose, Storage >::execution::work

◆ workers

template<class P , class Compose = replace_native_value, class Storage = profile_runtime_storage<P>>
std::array<std::unique_ptr<worker>, maximum_levels> everett::redundant_runtime< P, Compose, Storage >::execution::workers {}
The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.8