annotate paper/src/taskManagerInterface.cbc @ 4:bf1f62556b81

add while_test_init_imple
author soto
date Thu, 11 Feb 2021 17:03:31 +0900
parents 959f4b34d6f4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
1 typedef struct TaskManager<Impl>{
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
2 union Data* taskManager;
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
3 struct Context* task;
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
4 struct Element* taskList;
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
5 __code spawn(Impl* taskManager, struct Context* task, __code next(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
6 __code spawnTasks(Impl* taskManagerImpl, struct Element* taskList, __code next1(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
7 __code setWaitTask(Impl* taskManagerImpl, struct Context* task, __code next(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
8 __code shutdown(Impl* taskManagerImpl, __code next(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
9 __code incrementTaskCount(Impl* taskManagerImpl, __code next(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
10 __code decrementTaskCount(Impl* taskManagerImpl, __code next(...));
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
11 __code next(...);
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
12 __code next1(...);
959f4b34d6f4 add final thesis
soto
parents:
diff changeset
13 } TaskManager;