Mark–sweep algorithm