rti_local.h

Go to the documentation of this file.

 
#ifndef RTI_LOCAL_H
#define RTI_LOCAL_H
 
#ifdef LF_ENCLAVES
 
#include "lf_types.h"
#include "rti_common.h"

typedef struct enclave_info_t {
  scheduling_node_t base;
  environment_t* env;             // A pointer to the environment of the enclave
  lf_cond_t next_event_condition; // Condition variable used by scheduling_nodes to notify an enclave
                                  // that it's call to next_event_tag() should unblock.
} enclave_info_t;

typedef struct {
  rti_common_t base;
} rti_local_t;

void initialize_local_rti(environment_t* envs, int num_envs);

void free_local_rti();

void initialize_enclave_info(enclave_info_t* enclave, int idx, environment_t* env);

tag_t rti_next_event_tag_locked(enclave_info_t* enclave, tag_t next_event_tag);

void rti_logical_tag_complete_locked(enclave_info_t* enclave, tag_t completed);

void rti_update_other_net_locked(enclave_info_t* src, enclave_info_t* target, tag_t net);

int lf_get_upstream_of(int enclave_id, int** result);

int lf_get_downstream_of(int enclave_id, int** result);

int lf_get_upstream_delay_of(int enclave_id, interval_t** result);
 
#endif // LF_ENCLAVES
#endif // RTI_LOCAL_H