Isn't this a problem of allocating and freeing resources being generally non-deterministic, regardless of what algorithm is used?