prt_vdp.h

Go to the documentation of this file.

#ifndef PRT_VDP_H
#define PRT_VDP_H

#include "prt.h"

#ifdef __cplusplus
extern "C" {
#endif

struct prt_thread_s;
struct prt_channel_s;
enum prt_channel_direction_e;

typedef void (*prt_vdp_function_t)(int*, int, struct prt_channel_s**, struct prt_channel_s**, void*, void*);

typedef struct prt_vdp_s {
    struct prt_thread_s *thread;    // back pointer to the parent thread
    int *tuple;                     // the VDP's tuple
    int counter;                    // the VDP's countdown counter
    int num_inputs;                 // number of input channels
    struct prt_channel_s **input;   // array of input channels
    int num_outputs;                // number of output channels
    struct prt_channel_s **output;  // array of output channels
    prt_vdp_function_t function;    // VDP's function
    void *local_store;              // VDP's persistent local storage
    int color;                      // RGB color for tracing
} prt_vdp_t;

prt_vdp_t* prt_vdp_new(
    int *tuple, int counter,
    prt_vdp_function_t function,
    size_t local_store_size,
    int num_inputs, int num_outputs, int color);
void prt_vdp_delete(prt_vdp_t *vdp);
void prt_vdp_destroy(prt_vdp_t *vdp);
void prt_vdp_channel_insert(
    prt_vdp_t *vdp, struct prt_channel_s *channel,
    enum prt_channel_direction_e direction, int slot);
int prt_vdp_ready(prt_vdp_t *vdp);

#ifdef __cplusplus
}
#endif

#endif /* PRT_VDP_H */