ShieldedCache v1.0.0 ShieldedCache.TaskManager View Source
ShieldedCache.TaskManager
The TaskManager
module is used to manage adding, getting, and finishing tasks.
Specifically, in the ShieldedCache
, the TaskManager
manages all the fetch
tasks for the cache.
Link to this section Summary
Functions
Returns a specification to start this module under a supervisor
Link to this section Functions
Adds a task reference to the TaskSet
of the specified cache.
Returns a specification to start this module under a supervisor.
See Supervisor
.
Finishes a task reference in the TaskSet
of the specified cache.
Gets all of the current task references in the TaskSet
of the specified cache.
Initializes the ShieldedCache.TaskManager
Supervisor,
which in turn starts the ShieldedCache.TaskManager.TaskSet
module
under the ShieldedCache.TaskManager
supervision tree.
Starts the ShieldedCache.TaskManager
Supervisor,
which in turn starts the ShieldedCache.TaskManager.TaskSet
module
under the ShieldedCache.TaskManager
supervision tree.