Mercurial > hg > Gears > GearsAgda

comparison src/parallel_execution/context.h @ 114:d05b9937aa95

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change element data from Task to Data
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Tue, 07 Jun 2016 18:43:21 +0900
parents e3cba827d489
children b224aa7b80a0
comparison
equal deleted inserted replaced
112:e3cba827d489 114:d05b9937aa95
132 #endif 132 #endif
133 struct Task { 133 struct Task {
134 enum Code code; 134 enum Code code;
135 int key; 135 int key;
136 struct Queue* waitMe; 136 struct Queue* waitMe;
137 struct OdsQueue* waitI; 137 struct Queue* waitI;
138 int idsCount; 138 int idsCount;
139 } task; 139 } task;
140 struct Queue { 140 struct Queue {
141 struct Element* first; 141 struct Element* first;
142 struct Element* last; 142 struct Element* last;
143 int count; 143 int count;
144 } queue; 144 } queue;
145 struct Element { 145 struct Element {
146 struct Task* task; 146 union Data* data;
147 struct Element* next; 147 struct Element* next;
148 } element; 148 } element;
149 struct Array { 149 struct Array {
150 int index; 150 int index;
151 int prefix; 151 int prefix;
177 long size; 177 long size;
178 } allocate; 178 } allocate;
179 struct OutPutDataSegments { 179 struct OutPutDataSegments {
180 union Data **data; 180 union Data **data;
181 } ods; 181 } ods;
182 struct OdsQueue {
183 struct OdsElement* first;
184 struct OdsElement* last;
185 int count;
186 } odsQueue;
187 struct OdsElement {
188 struct OutPutDataSegments* ods;
189 struct OdsElement* next;
190 } odsElement;
191 }; 182 };
183
184 union MetaData {
185 struct Queue waitMeTasks;
186 struct Queue waitI;
187 };
188