trace.h

Go to the documentation of this file.

 
#ifndef TRACE_H
#define TRACE_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <stdint.h>
#include <stdbool.h>
 
#include "lf_core_version.h"

const version_t* lf_version_tracing();

typedef enum {
  trace_reactor,

  trace_trigger,

  trace_user
} _lf_trace_object_t;

typedef struct object_description_t object_description_t;
struct object_description_t {
  void* pointer;

  void* trigger;

  _lf_trace_object_t type;

  char* description;
};

typedef struct {
  int event_type;
  void* pointer;
  int src_id;
  int dst_id;
  int64_t logical_time;
  int64_t microstep;
  int64_t physical_time;
  void* trigger;
  int64_t extra_delay;
} trace_record_nodeps_t;

void lf_tracing_global_init(char* process_name, char* process_names, int process_id, int max_num_local_threads);

void lf_tracing_register_trace_event(object_description_t description);

void lf_tracing_set_start_time(int64_t start_time);

void lf_tracing_tracepoint(int worker, trace_record_nodeps_t* tr);

void lf_tracing_global_shutdown();
 
#ifdef __cplusplus
}
#endif
 
#endif // TRACE_H