Module tikv_util::worker::pool[][src]

Structs

Builder
LazyWorker
ReceiverWrapper
RunnableWrapper
Scheduler

Scheduler provides interface to schedule task to underlying workers.

Worker

A worker that can schedule time consuming tasks.

Enums

Msg
ScheduleError

Traits

Runnable
RunnableWithTimer

Functions

dummy_scheduler

Creates a scheduler that can’t schedule any task.