[m-rev.] diff: add Nancy's thesis

[Julien Fischer]

On Fri, 25 Feb 2005, Zoltan Somogyi wrote:

> +One of the key advantages of modern programming languages
> +is that they free the programmer from the burden of explicit memory management.
> +Usualy, this means that memory management is delegated to the runtime system
> +by the use of a run-rime garbage collector (RTGC).
> +Basically, a RTGC is a dedicated process
> +that is run in parallel with the user program.
> +Whever the user program needs to store some data,
> +the RTGC provides the desired memory space.
> +At regular intervals, the RTGC reviews the uses of the allocated memory space,
> +and recovers those memory cels that have become garbage,
s/cels/cells/

> +i.e. that cannot be accessed any more by the user program.
> +</p>
> +A complementary form of automatic memory management
> +is compile-time garbage collection (CGTC),
> +where the decisions form memory management
> +are taken at compile time instead of at run-time.
> +The compiler determines the lifetime of the variables
> +that are created during the execution of the program,
> +and thus also the memory that will be associated with these variables.
> +Whenever the compiler can guarantee that a variable,
> +or more precisely, parts of the memory resources
> +that this variable points to at run-time,
> +wil never ever be accessed beyond a certain program instruction,
s/wil/will

> +then the compiler can add instructions to deallocate these resources
> +at that particular instruction
> +without compromising the correctness of the code.
> +If the program instruction is followed by a series of instructions
> +that require the allocation of new memory cells, then the compiler
> +can replace the sequence of deallocation and allocation instructions,
> +by instructions updating the garbage ells, thus reusing these cells.
s/ells/cells

That's fine otherwise.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------