The invention is directed to a method for distinguishing reachable objects and
non-reachable objects in an object-based application in a system with a volatile
memory and a non-volatile memory. The object-based application operates in the
non-volatile memory on the objects, whereof at least one is a root object. Each
root object is processed by writing for each object that is reachable from the
root object, a positive reachability information into the volatile memory and marking
those objects in the non-volatile memory as reusable memory, for which no positive
reachability information is present in the volatile memory.