Re: [Lit.] Buffer overruns

newstome_at_comcast.net
Date: 01/19/05 

Date: Tue, 18 Jan 2005 21:48:55 -0600

Phil Carmody <thefatphil_demunged@yahoo.co.uk> wrote:
> newstome@comcast.net writes:
>
>> Douglas A. Gwyn <DAGwyn@null.net> wrote:
>> >David Wagner wrote:
>> >> Douglas A. Gwyn wrote:
>> >> Depends on what you mean by "corrected". Certainly if you are using
>> >> GC such a bug should never cause the system to run amok. If you are
>> >> not using GC, such a bug could easily cause the system to run amok.
>> >
>> > That's quite wrong. Just because some allocated storage
>> > has been reclaimed by a garbage collector does not mean
>> > that a dangling pointer to it becomes safe to dereference.
>>
>> Huh? Using a system with garbage collection, it is impossible to such
>> a "dangling pointer"... If there's a "pointer to it", it will not be
>> reclaimed.
>
> Even with Knuth's XOR-ed doubly-linked lists?

In a language that supports garbage collection, with type-safe
handling of pointers, you can't do integer operations (like XOR) on
pointers. In other words, you couldn't implement XORed doubly-linked
lists, so that's not an issue. 

-- 
That's News To Me!
newstome@comcast.net

Relevant Pages

  • Troubleshooting garbage collection issues
    ... we get into a situation where the garbage collection ... The infinite loop itself occurs in gcmodule.c, ... pointer to the first generation head node. ... seen something like this before and has either pointers to specific GC ...
    (comp.lang.python)
  • Re: C++ sucks for games
    ... >>numbers indicating that garbage collection was over 15 times slower than ... >>change the fact that they are conceptually smart pointers. ... Ã la the worst of the older programming languages ... >>may not copy that string, we can't be sure without more knowledge of the ...
    (comp.lang.lisp)
  • Re: Why isnt multiple inheritance very useful?
    ... it was a natural design decision for Smalltalk language based ... As for garbage collection, it is not easy to just say a few things ... and those running on VM do not have pointers? ...
    (comp.lang.cpp)
  • Re: Troubleshooting garbage collection issues
    ... we get into a situation where the garbage collection ... The infinite loop itself occurs in gcmodule.c, ... pointer to the first generation head node. ... seen something like this before and has either pointers to specific GC ...
    (comp.lang.python)
  • Re: tecomp 0.6 released
    ... both in object records *and* in stack frames. ... you want to do "exact" garbage collection. ... the GC to just walk up the stack, checking references only. ... but doesn't the Boehm GC consider pointers into the middle ...
    (comp.lang.eiffel)
Quantcast