Re: [Rd] modifying large R objects in place

From: Duncan Murdoch <murdoch_at_stats.uwo.ca>
Date: Fri, 28 Sep 2007 09:46:39 -0400

On 9/28/2007 7:45 AM, Petr Savicky wrote: > On Fri, Sep 28, 2007 at 12:39:30AM +0200, Peter Dalgaard wrote:   ...
>> Longer-term, I still have some hope for better reference counting, but
>> the semantics of environments make it really ugly -- an environment can
>> contain an object that contains the environment, a simple example being
>>
>> f <- function()
>> g <- function() 0
>> f()
>>
>> At the end of f(), we should decide whether to destroy f's evaluation
>> environment. In the present example, what we need to be able to see is
>> that this would remove all refences to g and that the reference from g
>> to f can therefore be ignored. Complete logic for sorting this out is
>> basically equivalent to a new garbage collector, and one can suspect
>> that applying the logic upon every function return is going to be
>> terribly inefficient. However, partial heuristics might apply.

> 
> I have to say that I do not understand the example very much.
> What is the input and output of f? Is g inside only defined or
> also used?

f has no input; it's output is the function g, whose environment is the evaluation environment of f. g is never used, but it is returned as the value of f. Thus we have the loop:

g refers to the environment.
the environment contains g.

Even though the result of f() was never saved, two things (the environment and g) got created and each would have non-zero reference count.

In a more complicated situation you might want to save the result of the function and then modify it. But because of the loop above, you would always think there's another reference to the object, so every in-place modification would require a copy first.

Duncan Murdoch



R-devel_at_r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel Received on Fri 28 Sep 2007 - 13:51:25 GMT

Archive maintained by Robert King, hosted by the discipline of statistics at the University of Newcastle, Australia.
Archive generated by hypermail 2.2.0, at Fri 28 Sep 2007 - 18:41:50 GMT.

Mailing list information is available at https://stat.ethz.ch/mailman/listinfo/r-devel. Please read the posting guide before posting to the list.