trace_util.h

Go to the documentation of this file.

#define LF_TRACE
#include "reactor.h"
#include "trace.h"
 
/*
 * String description of event types.
 */
extern const char* trace_event_names[];

#define _LF_TRACE_FAILURE(trace_file)                                                                                  \
  do {                                                                                                                 \
    fprintf(stderr, "ERROR: Access to trace file failed.\n");                                                          \
    fclose(trace_file);                                                                                                \
    trace_file = NULL;                                                                                                 \
    exit(1);                                                                                                           \
  } while (0)

#define BUFFER_SIZE 1024
 
/* Buffer for reading trace records. */
extern trace_record_t trace[];
 
/* File containing the trace binary data. */
extern FILE* trace_file;
 
/* File for writing the output data. */
extern FILE* output_file;
 
/* File for writing summary statistics. */
extern FILE* summary_file;

void usage();
 
/* The start time read from the trace file. */
extern instant_t start_time;
 
/* Table of pointers to a description of the object. */
extern object_description_t* object_table;
extern int object_table_size;
 
/* Name of the top-level reactor (first entry in symbol table). */
extern char* top_level;

char* root_name(const char* path);

FILE* open_file(const char* path, const char* mode);

char* get_object_description(void* reactor, int* index);

char* get_trigger_name(void* trigger, int* index);

void print_table();

size_t read_header();

int read_trace();