lp.h

Go to the documentation of this file.

 
#pragma once
 
#include <arch/platform.h>
#include <core/core.h>
#include <lib/random/random.h>
#include <lp/msg.h>
#include <lp/process.h>
#include <mm/auto_ckpt.h>
#include <mm/model_allocator.h>
 
struct lp_ctx {
    simtime_t termination_t;
    struct rng_ctx *rng_ctx;
    void *state_pointer;
    unsigned fossil_epoch;
    struct auto_ckpt auto_ckpt;
    struct process_ctx p;
    struct mm_state mm_state;
};
 
#define lid_to_nid(lp_id) ((nid_t)((lp_id) * n_nodes / global_config.lps))
 
#define lid_to_rid(lp_id) ((rid_t)(((lp_id) - lid_node_first) * global_config.n_threads / n_lps_node))
 
extern uint64_t lid_node_first;
extern __thread uint64_t lid_thread_first;
extern __thread uint64_t lid_thread_end;
 
extern __thread struct lp_ctx *current_lp;
extern struct lp_ctx *lps;
 
#ifndef NDEBUG
extern bool lp_initialized;
#define lp_initialized_set() (lp_initialized = true)
#else
#define lp_initialized_set()
#endif
 
extern void lp_global_init(void);
extern void lp_global_fini(void);
 
extern void lp_init(void);
extern void lp_fini(void);