Mercurial > hg > Gears > GearsAgda

annotate src/parallel_execution/Queue.cbc @ 444:0c024ea61601

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Using cas interface but occurred warning
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Sun, 26 Nov 2017 04:26:44 +0900
parents fb50cf8aa615
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
266
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
1 typedef struct Queue<Impl>{
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
2 union Data* queue;
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
3 union Data* data;
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
4 __code whenEmpty(...);
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
5 __code clear(Impl* queue, __code next(...));
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
6 __code put(Impl* queue, union Data* data, __code next(...));
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
7 __code take(Impl* queue, __code next(union Data*, ...));
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
8 __code isEmpty(Impl* queue, __code next(...), __code whenEmpty(...));
ffcd80cc3a83 create SingleLinkedQueue.cbc
mir3636
parents:
diff changeset
9 __code next(...);
286
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 266
diff changeset
10 } Queue;