LANG = CPP;
CLASS = mpmc_boundq_1_alt;
@Global_define:
- @DeclareStruct:
- typedef struct elem {
- t_element *pos;
- bool written;
- thread_id_t tid;
- thread_id_t fetch_tid;
- call_id_t id;
- } elem;
- @DeclareVar:
- spec_list *list;
+ //@DeclareStruct:
+ //typedef struct elem {
+ // t_element *pos;
+ // bool written;
+ // thread_id_t tid;
+ // thread_id_t fetch_tid;
+ // call_id_t id;
+ // } elem;
+ // @DeclareVar:
+ // spec_list *list;
//id_tag_t *tag;
- @InitVar:
- list = new_spec_list();
+ // @InitVar:
+ // list = new_spec_list();
//tag = new_id_tag();
- @Cleanup:
- if (list)
- free_spec_list();
+ // @Cleanup:
+// if (list)
+// free_spec_list();
@Happens_before:
Publish -> Fetch
Consume -> Prepare