https://123dok.net/document/q2noke6q-concurrency-in-snap-stabilizing-local-resource-allocation.html