Mercurial > hg > Gears > GearsAgda

annotate src/parallel_execution/examples/twice/main.cbc @ 447:57132ef16009

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove ALLOCATE_DATA_GEAR from par goto code gear arguments
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Thu, 30 Nov 2017 15:42:19 +0900
parents ff2764cb5edb
children d3d7a7d6a117
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include <stdio.h>
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #include <string.h>
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 #include <stdlib.h>
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 #include <unistd.h>
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 #include "../../../context.h"
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 int cpu_num = 1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 int length = 102400;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 int split = 8;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 int* array_ptr;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 int gpu_num = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 int CPU_ANY = -1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 int CPU_CUDA = -1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 void *start_taskManager(struct Context *context) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 goto initDataGears(context, Gearef(context, LoopCounter), Gearef(context, TaskManager));
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 return 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 #ifdef USE_CUDAWorker
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 #ifdef USE_CUDA_MAIN_THREAD
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 extern volatile int cuda_initialized;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 #endif
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 #endif
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 __code initDataGears(struct LoopCounter* loopCounter, struct TaskManager* taskManager) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 // loopCounter->tree = createRedBlackTree(context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 loopCounter->i = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 taskManager->taskManager = (union Data*)createTaskManagerImpl(context, cpu_num, gpu_num, 0);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 #ifdef USE_CUDAWorker
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 #ifdef USE_CUDA_MAIN_THREAD
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 while(! cuda_initialized) {};
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 #endif
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 #endif
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 goto meta(context, C_code1);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 __code initDataGears_stub(struct Context* context) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 struct TaskManager* taskManager = Gearef(context, TaskManager);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 taskManager->taskManager = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 #if (! defined(USE_CUDAWorker) || ! defined(USE_CUDA_MAIN_THREAD))
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 struct LoopCounter* loopCounter = Gearef(context, LoopCounter);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 goto initDataGears(context, loopCounter, taskManager);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 #else
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 cuda_initialized = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 pthread_t thread;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 pthread_create(&thread, NULL, (void*)&start_taskManager, context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 while (taskManager->taskManager == 0);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 TaskManager *t = (TaskManager*)taskManager->taskManager;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 TaskManagerImpl *im = (TaskManagerImpl*)t->taskManager;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 struct Queue *q = (Queue *)im->workers[0];
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 createCUDAWorker(context,0,q, im);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 pthread_join(thread,0);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 exit(0);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 #endif
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 __code code1(struct Time* time) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 printf("cpus:\t\t%d\n", cpu_num);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 printf("gpus:\t\t%d\n", gpu_num);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 printf("length:\t\t%d\n", length);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 printf("length/task:\t%d\n", length/split);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 /* puts("queue"); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 /* print_queue(context->data[ActiveQueue]->queue.first); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 /* puts("tree"); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 /* print_tree(context->data[Tree]->tree.root); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 /* puts("result"); */
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
69 goto meta(context, C_createTask1);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
73 __code createTask1(struct LoopCounter* loopCounter, struct TaskManager* taskManager) {
447
57132ef16009 Remove ALLOCATE_DATA_GEAR from par goto code gear arguments
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 443
diff changeset
74 Array* array1 = new Array();
57132ef16009 Remove ALLOCATE_DATA_GEAR from par goto code gear arguments
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 443
diff changeset
75 Array* array2 = new Array();
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
76 Time* time = createTimeImpl(context);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
78 par goto createArray(array1, time, __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
79 par goto twice(array1, array2, iterate(split), __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
80 par goto printArray(array2, time, __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
81 goto code2();
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
443
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
84 __code code2(struct TaskManager* taskManager) {
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
85 goto taskManager->shutdown(exit_code);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87
443
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
88 __code code2_stub(struct Context* context) {
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
89 goto code2(context, &Gearef(context, TaskManager)->taskManager->TaskManager);
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
90 }
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
91
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 void init(int argc, char** argv) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 for (int i = 1; argv[i]; ++i) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 if (strcmp(argv[i], "-cpu") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 cpu_num = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 else if (strcmp(argv[i], "-l") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 length = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 else if (strcmp(argv[i], "-s") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 split = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 else if (strcmp(argv[i], "-cuda") == 0) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 gpu_num = 1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 CPU_CUDA = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 int main(int argc, char** argv) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 init(argc, argv);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 struct Context* main_context = NEW(struct Context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 initContext(main_context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 main_context->next = C_initDataGears;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 goto start_code(main_context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 }