benchmarks/checkfence/msqueue/msn_harness.c.in

   1 #include "msn.c"
   2
   3 queue_t queue;
   4
   5 void i()
   6 {
   7   init_queue(&queue);
   8 }
   9 void e()
  10 {
  11   value_t val = 1;
  12         for(int i=0;i<PROBLEMSIZE;i++)
  13                 enqueue(&queue, val);
  14 }
  15 void d()
  16 {
  17   boolean_t res;
  18   value_t val;
  19         for(int i=0;i<PROBLEMSIZE;i++)
  20                 res = dequeue(&queue, &val);
  21 }