state.h

Go to the documentation of this file.

#pragma once

#include <ROOT-Sim.h>
#include <core/core.h>
#include <lib/numerical.h>
#include <lib/abm_layer.h>
#include <lib/topology.h>

enum {
    STATE_SAVING_INVALID = 0,   
    STATE_SAVING_COPY,          
    STATE_SAVING_PERIODIC       
};

typedef struct _state_t {
    // Pointers to chain this structure to the state queue
    struct _state_t *next;
    struct _state_t *prev;

    simtime_t lvt;
    void *log;
    msg_t *last_event;

    /* Per-LP fields which should be transparently rolled back */

    short unsigned int state;
    void *base_pointer;

    /* Library state fields */
    numerical_state_t numerical;
    
    topology_t *topology;

    void *region_data;
} state_t;

struct lp_struct;

extern bool LogState(struct lp_struct *);
extern void RestoreState(struct lp_struct *, state_t * restore_state);
extern void rollback(struct lp_struct *);
extern state_t *find_time_barrier(struct lp_struct *, simtime_t time);
extern void clean_queue_states(struct lp_struct *, simtime_t new_gvt);
extern void rebuild_state(struct lp_struct *, state_t * state_pointer, simtime_t time);
extern void set_checkpoint_period(struct lp_struct *, int period);
extern void force_LP_checkpoint(struct lp_struct *);
extern unsigned int silent_execution(struct lp_struct *, msg_t * evt, msg_t * final_evt);