Mercurial > hg > Members > Moririn

annotate src/parallel_execution/Buffer.h @ 511:044c25475ed4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix stack.agda
author mir3636
date Thu, 04 Jan 2018 14:42:21 +0900
parents d8b2036c6942
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
494
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct Buffer<Impl>{
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 union Data* buffer;
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 union Data* data;
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 __code put(Impl* buffer, union Data* data, __code next(...));
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 __code take(Impl* buffer, __code next(union Data*, ...));
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 __code next(...);
d8b2036c6942 BoundedBuffer implments Buffer interface
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 } Buffer;