Mercurial > hg > CbC > old > CbC_scripts

annotate meta_connector/meta_connect_test_name.c @ 10:eec116fe2387

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
default meta connection
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 15 Sep 2015 17:41:47 +0900
parents 185d545a9a8e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include <stdlib.h>
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #include <stdio.h>
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 #include "synchronizedQueueContext.h"
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 #include "allocate.h"
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 #include "origin_cs.h"
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 #ifdef CLANG
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 #define _CbC_retrun __return
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 #define _CbC_environment __environment
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 #endif
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 #define NUM 100
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 extern __code initSynchronizedQueueContext(struct Context* context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 //__code code1(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // context->data[Allocate]->allocate.size = sizeof(struct Element);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // context->data[Allocate]->allocate.next = Code2;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 // goto meta(context, Allocator);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 //}
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 __code meta(struct Context* context, enum Code next) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 goto (context->code[next])(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 //__code code2(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 // context->data[Allocate]->allocate.after_put = Code3;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // context->data[context->dataNum] -> element.value = 1024;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 // goto meta(context, Sender);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 //}
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
8
ae45108716a2 fix usage
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
34 __code code1(struct Allocate* allocate) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 allocate->size = sizeof(long);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 allocate->next = Code2;
10
eec116fe2387 default meta connection
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
37 goto allocator();
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 __code code1_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 goto code1(context, &context->data[Allocate]->allocate);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
44 __code code2(long* count) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 *count = 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 goto meta(context, Code3);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 __code code2_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 goto code2(context, &context->data[Counter]->count);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
53 __code code3(long* count, struct Allocate* allocate) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 long loop = *count;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 if(loop == NUM) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 goto meta(context, ThreadExit);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 allocate->size = sizeof(struct Element);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 allocate->next = Code4;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 goto meta(context, Allocator);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 __code code3_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 goto code3(context, &context->data[Counter]->count, &context->data[Allocate]->allocate);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
67 __code code4(long* count, struct Allocate* allocate, struct Element* element) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 allocate->after_put = Code3;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 element->value = (*count)++;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 goto meta(context, Sender);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 __code code4_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 goto code4(context, &context->data[Counter]->count, &context->data[Allocate]->allocate, &context->data[context->dataNum]->element);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 __code meta_sender(struct Context* context, struct Queue* queue, enum Code next) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 // lock
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 pthread_mutex_lock(&queue->mutex);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 goto (context->code[next])(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
83 __code sender(struct Queue* queue) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 // goto meta_sender(context, queue, Put);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 goto put(queue);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 __code sender_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 goto sender(context, &context->data[Queue]->queue);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 __code meta_put(struct Context* context, struct Queue* queue, enum Code next) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 // signal
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 pthread_cond_signal(&queue->cond);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 // unlock
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 pthread_mutex_unlock(&queue->mutex);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 goto (context->code[next])(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
100 __code put(struct Allocate* allocate, struct Queue* queue, struct Element* element) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 if(queue->first) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 queue->last->next = element;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 } else {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 queue->first = element;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 queue->last = element;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 element->next = 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 queue->count++;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 printf("Put %d\n\n", element->value);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 goto meta_put(context, queue, allocate->after_put);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 __code put_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 goto put(context, &context->data[Allocate]->allocate, &context->data[Queue]->queue, &context->data[context->dataNum]->element);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
117 __code code5(struct Allocate* allocate) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 allocate->size = sizeof(long);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 allocate->next = Code6;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 goto meta(context, Allocator);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 __code code5_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 goto code5(context, &context->data[Allocate]->allocate);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
127 __code code6(long* count) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 *count = 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 goto meta(context, Code7);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 __code code6_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 goto code6(context, &context->data[Counter]->count);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
136 __code code7(long* count, struct Allocate* allocate) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 long loop = *count;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 if(loop == NUM) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 goto meta(context, ThreadExit);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 (*count)++;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 allocate->after_get = Code7;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 goto meta(context, Receiver);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 __code code7_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 goto code7(context, &context->data[Counter]->count, &context->data[Allocate]->allocate);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
149
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 __code meta_receiver(struct Context* context, struct Queue* queue, enum Code next) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 // lock
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 pthread_mutex_lock(&queue->mutex);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 goto (context->code[next])(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
156 __code receiver(struct Queue* queue) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 // goto meta_receiver(context, queue, Get);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158 goto get(queue);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 __code receiver_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 goto receiver(context, &context->data[Queue]->queue);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 __code meta_get(struct Context* context, enum Code next) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 pthread_mutex_unlock(&context->data[Queue]->queue.mutex);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 goto (context->code[next])(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168
9
185d545a9a8e context generation
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
169 __code get(struct Allocate* allocate, struct Queue* queue, struct Element* element) {
5
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 // thread wait if queue is empty
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 while (queue->count == 0) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 pthread_cond_wait(&queue->cond, &queue->mutex);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
174 printf(" Get %d\n\n", queue->first->value);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 queue->first = (queue->first->next) ? queue->first->next : 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 queue->count--;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 goto meta_get(context, allocate->after_get);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
179
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 __code get_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 goto get(context, &context->data[Allocate]->allocate, &context->data[Queue]->queue, &context->data[context->dataNum]->element);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
183
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 __code thread_exit(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 free(context->code);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 free(context->data);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 free(context->heapStart);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 pthread_exit(0);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
190
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 __code thread_exit_stub(struct Context* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 goto thread_exit(context);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
194
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 void* thread_func(void* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 goto start_code((struct Context*)context, Code1);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 return 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
199
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 void* thread_func2(void* context) {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 goto start_code((struct Context*)context, Code5);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 return 0;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 }
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
204
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 int main() {
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 struct Context* context1 = (struct Context*)malloc(sizeof(struct Context));
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 initSynchronizedQueueContext(context1);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 struct Context* context2 = (struct Context*)malloc(sizeof(struct Context));
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 initSynchronizedQueueContext(context2);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 struct Context* context3 = (struct Context*)malloc(sizeof(struct Context));
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 initSynchronizedQueueContext(context3);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 struct Context* context4 = (struct Context*)malloc(sizeof(struct Context));
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 initSynchronizedQueueContext(context4);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 context2->data[Queue] = context1->data[Queue];
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 context3->data[Queue] = context1->data[Queue];
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 context4->data[Queue] = context1->data[Queue];
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 pthread_t thread1, thread2, thread3, thread4;
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 pthread_create(&thread1, NULL, thread_func, (void *)context1);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 pthread_create(&thread2, NULL, thread_func, (void *)context2);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 pthread_create(&thread3, NULL, thread_func2, (void *)context3);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 pthread_create(&thread4, NULL, thread_func2, (void *)context4);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
222 pthread_join(thread1, NULL);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 pthread_join(thread2, NULL);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 pthread_join(thread3, NULL);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 pthread_join(thread4, NULL);
7af72e3e4b62 add name base meta connector
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 }