Mercurial > hg > Papers > 2020 > ryokka-master
view paper/src/taskManagerInterface.cbc @ 11:831316a767e8
add hoare figure
author | ryokka |
---|---|
date | Mon, 10 Feb 2020 14:20:21 +0900 |
parents | c7acb9211784 |
children |
line wrap: on
line source
typedef struct TaskManager<Impl>{ union Data* taskManager; struct Context* task; struct Element* taskList; __code spawn(Impl* taskManager, struct Context* task, __code next(...)); __code spawnTasks(Impl* taskManagerImpl, struct Element* taskList, __code next1(...)); __code setWaitTask(Impl* taskManagerImpl, struct Context* task, __code next(...)); __code shutdown(Impl* taskManagerImpl, __code next(...)); __code incrementTaskCount(Impl* taskManagerImpl, __code next(...)); __code decrementTaskCount(Impl* taskManagerImpl, __code next(...)); __code next(...); __code next1(...); } TaskManager;