ROSS
crv-state.c File Reference
#include "ross.h"

Go to the source code of this file.

Data Structures

struct  llist_chptr

Functions

void crv_add_custom_state_checkpoint (crv_checkpointer *state_checkpoint)
static void crv_clean_linkedlist (void)
size_t crv_init_checkpoints (void)
static crv_checkpointerget_chkpntr (tw_lpid id)
static void print_event (crv_checkpointer const *chkptr, tw_lp *clp, tw_event *cev)
void crv_check_lpstates (tw_lp *clp, tw_event *cev, crv_lpstate_checkpoint_internal const *before_state, char const *before_msg, char const *after_msg)
void crv_copy_lpstate (crv_lpstate_checkpoint_internal *into, tw_lp const *clp)
void crv_clean_lpstate (crv_lpstate_checkpoint_internal *state, tw_lp const *clp)

Variables

struct llist_chptrhead_linked_list = NULL
struct llist_chptrtail_linked_list = NULL
struct crv_checkpointer ** checkpointer_for_lps = NULL

Function Documentation

◆ crv_add_custom_state_checkpoint()

void crv_add_custom_state_checkpoint ( crv_checkpointer * state_checkpoint)

Definition at line 14 of file crv-state.c.

References head_linked_list, llist_chptr::next, tail_linked_list, tw_error(), TW_LOC, and llist_chptr::val.

Referenced by main().

◆ crv_check_lpstates()

◆ crv_clean_linkedlist()

void crv_clean_linkedlist ( void )
static

Definition at line 30 of file crv-state.c.

References head_linked_list, llist_chptr::next, and tail_linked_list.

Referenced by crv_init_checkpoints().

◆ crv_clean_lpstate()

void crv_clean_lpstate ( crv_lpstate_checkpoint_internal * state,
tw_lp const * clp )

◆ crv_copy_lpstate()

◆ crv_init_checkpoints()

size_t crv_init_checkpoints ( void )

◆ get_chkpntr()

crv_checkpointer * get_chkpntr ( tw_lpid id)
static

Definition at line 81 of file crv-state.c.

References checkpointer_for_lps.

Referenced by crv_check_lpstates(), crv_clean_lpstate(), and crv_copy_lpstate().

◆ print_event()

Variable Documentation

◆ checkpointer_for_lps

struct crv_checkpointer** checkpointer_for_lps = NULL

Definition at line 12 of file crv-state.c.

Referenced by crv_init_checkpoints(), and get_chkpntr().

◆ head_linked_list

struct llist_chptr* head_linked_list = NULL

◆ tail_linked_list

struct llist_chptr* tail_linked_list = NULL

Definition at line 10 of file crv-state.c.

Referenced by crv_add_custom_state_checkpoint(), and crv_clean_linkedlist().