Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/Queue.cbc @ 266:ffcd80cc3a83
create SingleLinkedQueue.cbc
author | mir3636 |
---|---|
date | Sat, 28 Jan 2017 23:12:44 +0900 |
parents | |
children | fd470e090403 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/parallel_execution/Queue.cbc Sat Jan 28 23:12:44 2017 +0900 @@ -0,0 +1,11 @@ +typedef struct Queue<Impl>{ + union Data* queue; + union Data* data; + __code whenEmpty(...); + __code clear(Impl* queue, __code next(...)); + __code put(Impl* queue, union Data* data, __code next(...)); + __code take(Impl* queue, __code next(union Data*, ...)); + __code isEmpty(Impl* queue, __code next(...), __code whenEmpty(...)); + __code next(...); +} Stack; +