Mercurial > hg > Gears > GearsAgda

annotate src/parallel_execution/Semaphore.cbc @ 286:fd470e090403

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add sempahore
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Sun, 05 Feb 2017 22:15:27 +0900
parents
children de1e315379c6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
286
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct Semaphore<Impl>{
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 union Data* semaphore;
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 __code p(Impl* semaphore, __code next(...));
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 __code v(Impl* semaphore, __code next(...));
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 __code next(...);
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 } Semaphore;
fd470e090403 Add sempahore
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7