Thread IDs are reused often, so there could be a case where a thread died without releasing the slot, and comes up and allocates a new slot before garbage collector could free it.

The decision to free up a buffer pool slot is based on the least recently used (LRU) principle.

An exit desk operator who can free a previously allocated car slot, charge the leaving customer accordingly and record exit times.