Mercurial > hg > Gears > GearsAgda

diff src/parallel_execution/context.h @ 112:e3cba827d489

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add spawnTask CS
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2016 17:29:21 +0900
parents 059b26a250cc
children d05b9937aa95
line wrap: on
line diff
--- a/src/parallel_execution/context.h	Mon May 02 20:39:02 2016 +0900
+++ b/src/parallel_execution/context.h	Tue May 03 17:29:21 2016 +0900
@@ -60,11 +60,14 @@
     CreateData2,
     CreateTask1,
     CreateTask2,
+    CreateTask3,
+    CreateTask4,
     PutQueue1,
     PutQueue2,
     PutQueue3,
     PutQueue4,
     GetQueue,
+    SpawnTask,
     Twice,
     StartTime,
     EndTime,
@@ -131,7 +134,8 @@
         enum Code code;
         int key;
         struct Queue* waitMe;
-        struct Queue* waitI;
+        struct OdsQueue* waitI;
+        int idsCount;
     } task;
     struct Queue {
         struct Element* first;
@@ -172,4 +176,16 @@
         enum Code next;
         long size;
     } allocate;
+    struct OutPutDataSegments {
+        union Data **data;
+    } ods;
+    struct OdsQueue {
+        struct OdsElement* first;
+        struct OdsElement* last;
+        int count;
+    } odsQueue;
+    struct OdsElement {
+        struct OutPutDataSegments* ods;
+        struct OdsElement* next;
+    } odsElement;
 };