Execution environment. This struct contains information about the execution environment. An execution environment maintains a notion of a "current tag" and has its own event queue and scheduler. Normally, there is only one execution environment, but if you use scheduling enclaves, then there will be one for each enclave. More...

#include <environment.h>

Data Fields
bool	initialized

char *	name

int	id

tag_t	current_tag

tag_t	stop_tag

pqueue_t *	event_q

pqueue_t *	recycle_q

pqueue_t *	next_q

bool **	is_present_fields

int	is_present_fields_size

bool **	is_present_fields_abbreviated

int	is_present_fields_abbreviated_size

vector_t	sparse_io_record_sizes

trigger_handle_t	_lf_handle

trigger_t **	timer_triggers

int	timer_triggers_size

reaction_t **	startup_reactions

int	startup_reactions_size

reaction_t **	shutdown_reactions

int	shutdown_reactions_size

reaction_t **	reset_reactions

int	reset_reactions_size

mode_environment_t *	modes

trace_t *	trace

int	worker_thread_count

int	num_workers

lf_thread_t *	thread_ids

lf_mutex_t	mutex

lf_cond_t	event_q_changed

lf_scheduler_t *	scheduler

_lf_tag_advancement_barrier	barrier

lf_cond_t	global_tag_barrier_requestors_reached_zero

Detailed Description

Execution environment. This struct contains information about the execution environment. An execution environment maintains a notion of a "current tag" and has its own event queue and scheduler. Normally, there is only one execution environment, but if you use scheduling enclaves, then there will be one for each enclave.

Field Documentation

◆ _lf_handle

trigger_handle_t environment_t::_lf_handle

◆ barrier

_lf_tag_advancement_barrier environment_t::barrier

◆ current_tag

tag_t environment_t::current_tag

◆ event_q

pqueue_t* environment_t::event_q

◆ event_q_changed

lf_cond_t environment_t::event_q_changed

◆ global_tag_barrier_requestors_reached_zero

lf_cond_t environment_t::global_tag_barrier_requestors_reached_zero

◆ id

int environment_t::id

◆ initialized

bool environment_t::initialized

◆ is_present_fields

bool** environment_t::is_present_fields

◆ is_present_fields_abbreviated

bool** environment_t::is_present_fields_abbreviated

◆ is_present_fields_abbreviated_size

int environment_t::is_present_fields_abbreviated_size

◆ is_present_fields_size

int environment_t::is_present_fields_size

◆ modes

mode_environment_t* environment_t::modes

◆ mutex

lf_mutex_t environment_t::mutex

◆ name

char* environment_t::name

◆ next_q

pqueue_t* environment_t::next_q

◆ num_workers

int environment_t::num_workers

◆ recycle_q

pqueue_t* environment_t::recycle_q

◆ reset_reactions

reaction_t** environment_t::reset_reactions

◆ reset_reactions_size

int environment_t::reset_reactions_size

◆ scheduler

lf_scheduler_t* environment_t::scheduler

◆ shutdown_reactions

reaction_t** environment_t::shutdown_reactions

◆ shutdown_reactions_size

int environment_t::shutdown_reactions_size

◆ sparse_io_record_sizes

vector_t environment_t::sparse_io_record_sizes

◆ startup_reactions

reaction_t** environment_t::startup_reactions

◆ startup_reactions_size

int environment_t::startup_reactions_size

◆ stop_tag

tag_t environment_t::stop_tag

◆ thread_ids

lf_thread_t* environment_t::thread_ids

◆ timer_triggers

trigger_t** environment_t::timer_triggers

◆ timer_triggers_size

int environment_t::timer_triggers_size

◆ trace

trace_t* environment_t::trace

◆ worker_thread_count

int environment_t::worker_thread_count

The documentation for this struct was generated from the following file:

include/core/environment.h

Data Fields