The ROme OpTimistic Simulator  3.0.0
A General-Purpose Multithreaded Parallel/Distributed Simulation Platform
application.h File Reference

Header of the model used to verify the runtime correctness. More...

#include <ROOT-Sim.h>
#include <test_rng.h>
+ Include dependency graph for application.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  _buffer
 
struct  _lp_state_type
 

Macros

#define MAX_BUFFERS   256
 
#define MAX_BUFFER_SIZE   512
 
#define SEND_PROBABILITY   0.05
 
#define ALLOC_PROBABILITY   0.2
 
#define DEALLOC_PROBABILITY   0.2
 
#define DOUBLING_PROBABILITY   0.5
 
#define COMPLETE_EVENTS   10000
 

Typedefs

typedef struct _buffer buffer
 
typedef struct _lp_state_type lp_state
 

Enumerations

enum  { LOOP = MODEL_FINI + 1, RECEIVE }
 

Functions

bufferget_buffer (buffer *head, unsigned i)
 
uint32_t read_buffer (buffer *head, unsigned i, uint32_t old_crc)
 
bufferallocate_buffer (lp_state *state, const unsigned *data, unsigned count)
 
bufferdeallocate_buffer (buffer *head, unsigned i)
 
void crc_table_init (void)
 

Variables

const char model_expected_output_64 [679]
 

Detailed Description

Header of the model used to verify the runtime correctness.

Definition in file application.h.