Garbage collection problems

[jacob navia]

As many people know, I think that garbage collection is a good
solution for many memory allocation problems.

I am aware however, that nothing is "the silver bullet", not
even the GC.

A recent article in slashdot
http://developers.slashdot.org/artic.../11/17/0552247
proves that.

A C# application was leaking memory, and the application would
become slower and slower because the memory was getting full and the
system was swapping like mad until it just failed.

Why?

Because a list that should be destroyed wasn't being destroyed.
This is similar to another bug that Sun discovered in their
Java implementation. The list wasn't being destroyed because
SOMEWHERE there was a reference to that list, and the GC could
not destroy it.

It is interesting to note that this bug is as difficult to trace as
a missing free or similar bugs. It required a specialized tool
to find it (yes, there are specialized tools to solve GC memory
allocation problems as there are specialized tools to solve
non-gc memory allocation problems)

The lesson to be learned is that you have to be careful (when using the
GC) to
1) Set all pointers to unused memory to NULL.
2) Do NOT store pointers to GC memory in permanent structures if you
want that data to eventually be collected.

The above bug was that the list registered itself in a global
data structure and wasn't getting destroyed.

If the GC wouldn't have been there, the programmer would have freed
the memory, what would have closed the memory leak but left
a dangling pointer in the global data structure!

Not a better alternative.

--
jacob navia
jacob at jacob point remcomp point fr
logiciels/informatique
http://www.cs.virginia.edu/~lcc-win32

[Ben Pfaff]

Richard Heathfield <rj*@see.sig.in validwrites:

cr88192 said:

>must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

I think that most of us want the memory allocator to magically do
the right thing in every instance without any effort on our part.
Some people call this magic wonderment "garbage collection".
--
"It wouldn't be a new C standard if it didn't give a
new meaning to the word `static'."
--Peter Seebach on C99

[Richard Heathfield]

Ben Pfaff said:

Richard Heathfield <rj*@see.sig.in validwrites:

>cr88192 said:

>>must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

I think that most of us want the memory allocator to magically do
the right thing in every instance without any effort on our part.

Again, who is "most of us"?

I don't want the MM subsystem to get creative. I want it to do exactly what
I tell it to do, exactly when I tell it to do it.

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[Richard Tobin]

In article <87************ @bsb.me.uk>,
Ben Bacarisse <be********@bsb .me.ukwrote:

>You miss my point. Conservative GC is always "safe" since anything that
even looks like a reference will prevent memory from being freed

In C, you do have to keep pointers as things that look like a
reference. You can memcpy() the bits of a pointer and shuffle them
up, wait a while, then unshuffle them and store them back in a
pointer. You can even print them out to a file. No GC is going to
handle that unaided.

-- Richard
--
"Considerat ion shall be given to the need for as many as 32 characters
in some alphabets" - X3.4, 1963.

[cr88192]

"Richard Heathfield" <rj*@see.sig.in validwrote in message
news:db******** *************@b t.com...

cr88192 said:

<snip>

>must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

myself, many other people I talk to, ...

after all, if no one really wanted GC, then Java and C# would leave them
out, and things like Boehm, and the endless other custom GC frameworks,
would simply not be used.

but, of course, I don't speak for embedded developers really, mostly good
old desktop programmers...
GC by itself is not very expensive, but going over to something like Java or
C# is...
GC is worth the costs, but Java may not be.

and so on...

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[Chris Dollin]

Richard Heathfield wrote:

cr88192 said:

<snip>

>must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

I can't answer that. I /can/ say that /I/ want GC.

And I've got it [1]. I just don't see that it's the right tool /for C/,
certainly not to the point where it would be a mandatory part of
the Standard. I see no harm in an implementation providing GC /as
an option/, so long as it's an honest global GC, and the implementation
makes it clear that its a non-Standard /option/.

I am a hedgehog of very little brain, and as well as long words bothering
me, I only have so much brain-power to give to my code; if I can give up
a significant part of store-management worries to the language /at an
acceptable price/, whizzo! I'm all for it, it leaves me free to attend
to other, less automatable, parts of program design.

[1] Because most of my work code nowadays is Java, and I've historically
used Lisp and Pop11 as well as implementing and then using languages
with GC.

--
Chris "one was pure functional" Dollin

Hewlett-Packard Limited registered office: Cain Road, Bracknell,
registered no: 690597 England Berks RG12 1HN

[Richard Heathfield]

cr88192 said:

>
"Richard Heathfield" <rj*@see.sig.in validwrote in message
news:db******** *************@b t.com...

>cr88192 said:

<snip>

>>must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

myself, many other people I talk to, ...

So "some people" rather than "most people", yes?

after all, if no one really wanted GC, then Java and C# would leave them
out,

Since the only relevant language here in comp.lang.c is C, and since C
doesn't have GC, we can deduce from your argument that no C programmer
really wants GC. (That's the trouble with logic - it can bite you back.)

and things like Boehm, and the endless other custom GC frameworks,
would simply not be used.

but, of course, I don't speak for embedded developers really, mostly good
old desktop programmers...

You don't speak for me, that's for sure.

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[Richard Heathfield]

Chris Dollin said:

<snip>

I am a hedgehog of very little brain, and as well as long words bothering
me, I only have so much brain-power to give to my code; if I can give up
a significant part of store-management worries to the language /at an
acceptable price/, whizzo! I'm all for it, it leaves me free to attend
to other, less automatable, parts of program design.

Sure, and I agree - but I remain unconvinced that it is available /at an
acceptable price/.

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[cr88192]

"Richard Heathfield" <rj*@see.sig.in validwrote in message
news:Hq******** *************** *******@bt.com. ..

cr88192 said:

>>
"Richard Heathfield" <rj*@see.sig.in validwrote in message
news:db******* **************@ bt.com...

>>cr88192 said:

<snip>

must of us are in a land where we still want things like GC

By what authority do you speak for "must of us"?

myself, many other people I talk to, ...

So "some people" rather than "most people", yes?

some, or most, a difficult and not very solid argument...
one would then have to count to know one way or another.

>

>after all, if no one really wanted GC, then Java and C# would leave them
out,

Since the only relevant language here in comp.lang.c is C, and since C
doesn't have GC, we can deduce from your argument that no C programmer
really wants GC. (That's the trouble with logic - it can bite you back.)

or, a much simpler argument:
I am a C programmer, and I use GC in C, thus, there exist C programmers who
use GC.

a similar point can be made about the OP, or for that matter, the existence
of this, and many similar threads.
if no C programmers wanted GC, then they would have no reason to post in
comp.lang.c or comp.std.c (unless of course, they were covert C# or Java
coders, which using myself as an example, I am not).

>and things like Boehm, and the endless other custom GC frameworks,
would simply not be used.

but, of course, I don't speak for embedded developers really, mostly good
old desktop programmers...

You don't speak for me, that's for sure.

possible.

so, to the first question, are people like me or you the majority?...
well, no one says that all C programmers have to use GC, or that
standardization is particularly needed, the fact that Boehm is de-facto is
probably good enough.

it is much like OpenGL. many people use it, but it is fine as a 3rd party
library...

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[cr88192]

"Richard Heathfield" <rj*@see.sig.in validwrote in message
news:Hq******** *************** *******@bt.com. ..

Chris Dollin said:

<snip>

>I am a hedgehog of very little brain, and as well as long words bothering
me, I only have so much brain-power to give to my code; if I can give up
a significant part of store-management worries to the language /at an
acceptable price/, whizzo! I'm all for it, it leaves me free to attend
to other, less automatable, parts of program design.

Sure, and I agree - but I remain unconvinced that it is available /at an
acceptable price/.

so, which is more expensive?
GC, or OpenGL?...

a GC, or at least of the conservative variety, only has a minor (and often
largely ignorable) impact on general coding practice.

with GL, often, a good portion of the app's operation ends up being focused
on the GL way of doing things, and the needed support machinery to use it
effectively is not exactly minor (GL has good and bad points).

yet, many still use GL, and so, for someone like me, it does not ask "that"
much to use GC as well...

now, what about DirectX?...

....
feature that may effect certain edge cases, of feature that almost totally
changes how you would structure an app?...

--
Richard Heathfield <http://www.cpax.org.uk >
Email: -http://www. +rjh@
Google users: <http://www.cpax.org.uk/prg/writings/googly.php>
"Usenet is a strange place" - dmr 29 July 1999

[Chris Dollin]

Richard Heathfield wrote:

Chris Dollin said:

>I am a hedgehog of very little brain, and as well as long words bothering
me, I only have so much brain-power to give to my code; if I can give up
a significant part of store-management worries to the language /at an
acceptable price/, whizzo! I'm all for it, it leaves me free to attend
to other, less automatable, parts of program design.

Sure, and I agree - but I remain unconvinced that it is available /at an
acceptable price/.

In my experience, for the kind of programming that I do, it's been available
since the 80s.

Tradeoffs differ among domains.

[I'm happy taking a performance hit from dynamic typing, too.]

--
Chris "polymorphi c" Dollin

Hewlett-Packard Limited registered office: Cain Road, Bracknell,
registered no: 690597 England Berks RG12 1HN