Mercurial > hg > Gears > GearsAgda

diff src/parallel_execution/queue.h @ 170:ee7134f3bef1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Tue, 22 Nov 2016 10:36:45 +0900
parents 34562e63981f
children 57a11c15ff4c
line wrap: on
line diff
--- a/src/parallel_execution/queue.h	Tue Nov 22 09:48:37 2016 +0900
+++ b/src/parallel_execution/queue.h	Tue Nov 22 10:36:45 2016 +0900
@@ -1,6 +1,13 @@
 extern union Data* createSingleLinkedQueue(struct Context* context);
 
-extern __code putSingleLinkedQueue_stub(struct Context* context) ;
-extern __code takeSingleLinkedQueue_stub(struct Context* context) ;
-extern __code isEmptySingleLinkedQueue_stub(struct Context* context) ;
-extern __code clearSingleLinkedQueue_stub(struct Context* context) ;
+extern __code putSingleLinkedQueue_stub(struct Context* context);
+extern __code takeSingleLinkedQueue_stub(struct Context* context);
+extern __code isEmptySingleLinkedQueue_stub(struct Context* context);
+extern __code clearSingleLinkedQueue_stub(struct Context* context);
+
+extern union Data* createSynchronizedQueue(struct Context* context);
+
+extern __code putSynchronizedQueue_stub(struct Context* context);
+extern __code takeSynchronizedQueue_stub(struct Context* context);
+extern __code isEmptySynchronizedQueue_stub(struct Context* context);
+extern __code clearSynchronizedQueue_stub(struct Context* context);