Module id_tools

Id tools for tasking between servants and cluster master

Structs

TaskId

Task id to be used for task request between servants and cluster master

TaskIdGenerator

Task id generator for task request between servants and cluster master

Type Aliases

AcknowledgeId

Task id to be used for task request between servants and cluster master

IdBuilder

Id builder for task request between servants and cluster master; this is an alias for a task id generator shared between threads