Mercurial > hg > Gears > GearsAgda

annotate src/parallel_execution/examples/twice/main.cbc @ 462:8d7e5d48cad3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Running CPU examples
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Wed, 20 Dec 2017 22:05:08 +0900
parents 57c715bd6283
children 7d67c9cf09ee
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"
462
8d7e5d48cad3 Running CPU examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 459
diff changeset
7 #include "TaskManager.h"
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 int cpu_num = 1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 int length = 102400;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 int split = 8;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 int* array_ptr;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 int gpu_num = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 int CPU_ANY = -1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 int CPU_CUDA = -1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 void *start_taskManager(struct Context *context) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 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
19 return 0;
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
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 __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
23 // loopCounter->tree = createRedBlackTree(context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 loopCounter->i = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 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
26 goto meta(context, C_code1);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 __code initDataGears_stub(struct Context* context) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 struct TaskManager* taskManager = Gearef(context, TaskManager);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 taskManager->taskManager = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 struct LoopCounter* loopCounter = Gearef(context, LoopCounter);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 goto initDataGears(context, loopCounter, taskManager);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 __code code1(struct Time* time) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 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
38 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
39 printf("length:\t\t%d\n", length);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 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
41 /* puts("queue"); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 /* print_queue(context->data[ActiveQueue]->queue.first); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 /* puts("tree"); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 /* print_tree(context->data[Tree]->tree.root); */
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 /* puts("result"); */
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
46 goto meta(context, C_createTask1);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
50 __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
51 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
52 Array* array2 = new Array();
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
53 Time* time = createTimeImpl(context);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
55 par goto createArray(array1, time, __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
56 par goto twice(array1, array2, iterate(split), __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
57 par goto printArray(array2, time, __exit);
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
58 goto code2();
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60
443
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
61 __code code2(struct TaskManager* taskManager) {
438
7679093bdd72 Work CUDAtwice
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 413
diff changeset
62 goto taskManager->shutdown(exit_code);
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
443
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
65 __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
66 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
67 }
ff2764cb5edb Fix segmentation fault of examples
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 438
diff changeset
68
409
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 void init(int argc, char** argv) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 for (int i = 1; argv[i]; ++i) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 if (strcmp(argv[i], "-cpu") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 cpu_num = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 else if (strcmp(argv[i], "-l") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 length = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 else if (strcmp(argv[i], "-s") == 0)
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 split = (int)atoi(argv[i+1]);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 else if (strcmp(argv[i], "-cuda") == 0) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 gpu_num = 1;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 CPU_CUDA = 0;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 }
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 }
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
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 int main(int argc, char** argv) {
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 init(argc, argv);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 struct Context* main_context = NEW(struct Context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 initContext(main_context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 main_context->next = C_initDataGears;
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 goto start_code(main_context);
4d1e3697a6b8 Add twice cbc file
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 }