changeset 28:5a7ce082651f

rm unnecessary
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Mon, 02 Nov 2015 04:17:33 +0900
parents a3798ce85b6b
children 894a300f199f
files meta_connector/example/synchronizedQueueConnected.c
diffstat 1 files changed, 0 insertions(+), 251 deletions(-) [+]
line wrap: on
line diff
--- a/meta_connector/example/synchronizedQueueConnected.c	Mon Nov 02 04:02:43 2015 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,251 +0,0 @@
-#include <stdlib.h>
-#include <stdio.h>
-
-#include "synchronizedQueueContext.h"
-
-#include "allocate.h"
-#include "origin_cs.h"
-
-#ifdef CLANG
-#define _CbC_retrun __return
-#define _CbC_environment __environment
-#endif
-
-#define NUM 100
-
-
-extern __code initSynchronizedQueueContext(struct Context* context);
-extern void allocator(struct Context* context);
-
-__code meta(struct Context* context, enum Code next) {
-    goto (context->code[next])(context);
-}
-
-/*-- generated by script */
-// __code code1(struct Allocate* allocate) {
-__code code1(struct Context* context, struct Allocate* allocate) {
-  allocate->size = sizeof(long);
-  allocator(context);
-/*-- connected by script */
-//   goto code2();
-goto meta(context, Code2);
-}
-
-__code code1_stub(struct Context* context) {
-  goto code1(context, &context->data[Allocate]->allocate);
-}
-
-/*-- generated by script */
-// __code code2(long* count) {
-__code code2(struct Context* context, long* count) {
-    *count = 0;
-/*-- connected by script */
-//     goto code3();
-goto meta(context, Code3);
-}
-
-__code code2_stub(struct Context* context) {
-    goto code2(context, &context->data[Count]->count);
-}
-/*-- generated by script */
-// __code code3(long* count, struct Allocate* allocate) {
-__code code3(struct Context* context, long* count, struct Allocate* allocate) {
-    long loop = *count;
-    if(loop == NUM) {
-/*-- connected by script */
-//         goto thread_exit();
-goto meta(context, Thread_exit);
-    }
-    allocate->size = sizeof(struct Element);
-    allocator(context);
-/*-- connected by script */
-//     goto code4();
-goto meta(context, Code4);
-}
-
-/*-- generated by script */
-__code code3_stub(struct Context* context) {
-    goto code3(context, &context->data[Count]->count, &context->data[Allocate]->allocate);
-}
-// __code code4(long* count, struct Allocate* allocate, struct Element* element) {
-__code code4(struct Context* context, long* count, struct Allocate* allocate, struct Element* element) {
-    allocate->after_put = Code3;
-    element->value = (*count)++;
-/*-- connected by script */
-//     goto sender();
-goto meta(context, Sender);
-}
-
-__code code4_stub(struct Context* context) {
-    goto code4(context, &context->data[Count]->count, &context->data[Allocate]->allocate, &context->data[context->dataNum]->element);
-}
-
-/*-- generated by script */
-
-__code meta_sender(struct Context* context, struct Queue* queue, enum Code next) {
-    // lock
-    pthread_mutex_lock(&queue->mutex);
-    goto (context->code[next])(context);
-}
-
-__code sender(struct Context* context, struct Queue* queue) {
-    goto meta_sender(context, queue, Put);
-}
-
-__code sender_stub(struct Context* context) {
-    goto sender(context, &context->data[Queue]->queue);
-}
-
-__code meta_put(struct Context* context, struct Queue* queue, enum Code next) {
-    // signal
-    pthread_cond_signal(&queue->cond);
-    // unlock
-    pthread_mutex_unlock(&queue->mutex);
-    goto (context->code[next])(context);
-}
-
-__code put(struct Context* context, struct Allocate* allocate, struct Queue* queue, struct Element* element) {
-    if(queue->first) {
-        queue->last->next = element;
-    } else {
-        queue->first = element;
-    }
-    queue->last   = element;
-    element->next = 0;
-    queue->count++;
-    printf("Put %d\n\n", element->value);
-    goto meta_put(context, queue, allocate->after_put);
-}
-
-__code put_stub(struct Context* context) {
-    goto put(context, &context->data[Allocate]->allocate, &context->data[Queue]->queue, &context->data[context->dataNum]->element);
-}
-
-/*-- generated by script */
-// __code code5(struct Allocate* allocate) {
-__code code5(struct Context* context, struct Allocate* allocate) {
-    allocate->size = sizeof(long);
-    allocator(context);
-/*-- connected by script */
-//     goto code6();
-goto meta(context, Code6);
-}
-
-__code code5_stub(struct Context* context) {
-    goto code5(context, &context->data[Allocate]->allocate);
-}
-
-/*-- generated by script */
-// __code code6(long* count) {
-__code code6(struct Context* context, long* count) {
-    *count = 0;
-/*-- connected by script */
-//     goto code7();
-goto meta(context, Code7);
-}
-
-__code code6_stub(struct Context* context) {
-    goto code6(context, &context->data[Count]->count);
-}
-
-/*-- generated by script */
-// __code code7(long* count, struct Allocate* allocate) {
-__code code7(struct Context* context, long* count, struct Allocate* allocate) {
-    long loop = *count;
-    if(loop == NUM) {
-        goto meta(context, Thread_exit);
-    }
-    (*count)++;
-    allocate->after_get = Code7;
-/*-- connected by script */
-//     goto receiver();
-goto meta(context, Receiver);
-}
-
-__code code7_stub(struct Context* context) {
-    goto code7(context, &context->data[Count]->count, &context->data[Allocate]->allocate);
-}
-
-__code meta_receiver(struct Context* context, struct Queue* queue, enum Code next) {
-    // lock
-    pthread_mutex_lock(&queue->mutex);
-    goto (context->code[next])(context);
-}
-
-/*-- generated by script */
-// __code receiver(struct Queue* queue) {
-__code receiver(struct Context* context, struct Queue* queue) {
-    goto meta_receiver(context, queue, Get);
-}
-
-__code receiver_stub(struct Context* context) {
-    goto receiver(context, &context->data[Queue]->queue);
-}
-
-__code meta_get(struct Context* context, enum Code next) {
-    pthread_mutex_unlock(&context->data[Queue]->queue.mutex);
-    goto (context->code[next])(context);
-}
-
-/*-- generated by script */
-// __code get(struct Allocate* allocate, struct Queue* queue, struct Element* element) {
-__code get(struct Context* context, struct Allocate* allocate, struct Queue* queue, struct Element* element) {
-    // thread wait if queue is empty
-    while (queue->count == 0) {
-        pthread_cond_wait(&queue->cond, &queue->mutex);
-    }
-    printf("      Get %d\n\n", queue->first->value);
-    queue->first = (queue->first->next) ? queue->first->next : 0;
-    queue->count--;
-    goto meta_get(context, allocate->after_get);
-}
-
-__code get_stub(struct Context* context) {
-    goto get(context, &context->data[Allocate]->allocate, &context->data[Queue]->queue, &context->data[context->dataNum]->element);
-}
-
-/*-- generated by script */
-// __code thread_exit() {
-__code thread_exit(struct Context* context) {
-    free(context->code);
-    free(context->data);
-    free(context->heapStart);
-    pthread_exit(0);
-}
-
-__code thread_exit_stub(struct Context* context) {
-    goto thread_exit(context);
-}
-
-void* thread_func(void* context) {
-    goto start_code((struct Context*)context, Code1);
-    return 0;
-}
-
-void* thread_func2(void* context) {
-    goto start_code((struct Context*)context, Code5);
-    return 0;
-}
-
-int main() {
-    struct Context* context1 = (struct Context*)malloc(sizeof(struct Context));
-    initSynchronizedQueueContext(context1);
-    struct Context* context2 = (struct Context*)malloc(sizeof(struct Context));
-    initSynchronizedQueueContext(context2);
-    struct Context* context3 = (struct Context*)malloc(sizeof(struct Context));
-    initSynchronizedQueueContext(context3);
-    struct Context* context4 = (struct Context*)malloc(sizeof(struct Context));
-    initSynchronizedQueueContext(context4);
-    context2->data[Queue] = context1->data[Queue];
-    context3->data[Queue] = context1->data[Queue];
-    context4->data[Queue] = context1->data[Queue];
-    pthread_t thread1, thread2, thread3, thread4;
-    pthread_create(&thread1, NULL, thread_func, (void *)context1);
-    pthread_create(&thread2, NULL, thread_func, (void *)context2);
-    pthread_create(&thread3, NULL, thread_func2, (void *)context3);
-    pthread_create(&thread4, NULL, thread_func2, (void *)context4);
-    pthread_join(thread1, NULL);
-    pthread_join(thread2, NULL);
-    pthread_join(thread3, NULL);
-    pthread_join(thread4, NULL);
-}