From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jamie Lokier To: Zack Weinberg Cc: Alexandre Oliva , egcs@egcs.cygnus.com Subject: Re: making aliases into the middle of a structure Date: Fri, 23 Apr 1999 15:20:00 -0000 Message-id: <19990424001706.A5781@pcep-jamie.cern.ch> References: <19990423223236.A5686@pcep-jamie.cern.ch> <199904232048.QAA20585@blastula.phys.columbia.edu> <199904232048.QAA20585@blastula.phys.columbia.edu> X-SW-Source: 1999-04/msg00823.html Zack Weinberg wrote: > >Does the dump include enough type information to generate a decent > >non-conservative garbage collector? > > You'd need stack frame information too, wouldn't you? In general yes, but a typed garbage collector that doesn't know about stack frames would still be very useful. Of course in my real fantasy it does do stack frames (based on PC à la exceptions), it moves objects when that is more efficient, and it efficiently handles polymorphic structures. But that's fantasy land :-) -- Jamie From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jamie Lokier To: Zack Weinberg Cc: Alexandre Oliva , egcs@egcs.cygnus.com Subject: Re: making aliases into the middle of a structure Date: Fri, 30 Apr 1999 23:15:00 -0000 Message-ID: <19990424001706.A5781@pcep-jamie.cern.ch> References: <19990423223236.A5686@pcep-jamie.cern.ch> <199904232048.QAA20585@blastula.phys.columbia.edu> X-SW-Source: 1999-04n/msg00829.html Message-ID: <19990430231500.w_OMUR2FfEiftcLO8ulFUzG72jZ6JNir7_HMpVEp_DA@z> Zack Weinberg wrote: > >Does the dump include enough type information to generate a decent > >non-conservative garbage collector? > > You'd need stack frame information too, wouldn't you? In general yes, but a typed garbage collector that doesn't know about stack frames would still be very useful. Of course in my real fantasy it does do stack frames (based on PC à la exceptions), it moves objects when that is more efficient, and it efficiently handles polymorphic structures. But that's fantasy land :-) -- Jamie