1 2 3 4 5 6
# spacetoken _spacetoken_ can be used to keep track of how much of a resource has been allocted. It can be thought of as an allocator that is decoupled from the actual allocatable resource.