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;