rt_benchs/communication_techniques/include/lamport_comm.h

33 lines
777 B
C

#ifndef _SPECIFIC_COMM_H_
#define _SPECIFIC_COMM_H_ 1
/* Non standard include */
#include <commtech.h>
#ifndef BUF_SIZE
#define BUF_SIZE CACHE_LINE_SIZE
#endif
#define SHARED_SPACE_SIZE (2 * BUF_SIZE)
#define SHARED_SPACE_VOIDPTR (SHARED_SPACE_SIZE / sizeof(void *))
struct channel
{
void * volatile *shared_space;
volatile unsigned int cons_idx __attribute__ ((aligned (CACHE_LINE_SIZE)));
volatile unsigned int prod_idx __attribute__ ((aligned (CACHE_LINE_SIZE)));
};
__BEGIN_DECLS
static inline void send(struct channel *channel, void **addr)
{
while ((channel->prod_idx + 1) % SHARED_SPACE_VOIDPTR == channel->cons_idx);
channel->shared_space[channel->prod_idx] = addr;
channel->prod_idx = (channel->prod_idx + 1) % SHARED_SPACE_VOIDPTR;
}
__END_DECLS
#endif