WorkQueue.growArray

Doubles the capacity of array. Call either by owner or with lock held -- it is OK for base, but not top, to move while resizings are in progress.

class WorkQueue
final
void
growArray
(
bool locked
)

Meta