Impossibility of essential real-time garbage collection in the general case
Résumé
We give an example of a computational problem for which no RAM (random access machine) can ensure a non-trivial garbage collection though a large amount of used memory can be in principle freed starting from some time moment. This example is of theoretical nature and means only that there can be no universal algorithm for "sufficiently good" real-time garbage collection applicable in all situations.