[squeak-dev] ObjectFinalizerTests>>testFinalizationOfEquals

Norbert Hartl norbert at hartl.name
Sat Jun 14 12:41:29 UTC 2008


On Sat, 2008-06-14 at 14:33 +0200, Adrian Lienhard wrote:
> On Jun 14, 2008, at 12:29 , Norbert Hartl wrote:
> 
> > While trying to fix some things in pharo I came across a test
> > I have some problems with understanding (by the way this test has
> > vanished in 3.10).
> >
> > testFinalizationOfEquals
> >  "self debug: #testFinalizationOfEquals"
> > 	
> >  | bag o |
> >  bag := IdentityBag new.
> >  1 to: 5 do: [:n | o := Object new. bag add: n. o toFinalizeSend:
> > #remove: to: bag with: n].
> >  1 to: 5 do: [:n | o := Object new. bag add: n. o toFinalizeSend:
> > #remove: to: bag with: n].
> >  o := nil. "<-- Hello Klaus :)"
> >  Smalltalk garbageCollect.
> >  self assert: [ bag isEmpty ].
> 
Ah, I didn't notice the change from string to object. Now I know why 
the test is green :)

thanks,

Norbert
> just for clarification, the original version of the test used *equal*  
> values (as the test name suggests):
> 
> bag := IdentityBag new.
> 1 to: 5 do: [:n | o := n asString copy. bag add: n. o toFinalizeSend:  
> #remove: to: bag with: n].
> 1 to: 5 do: [:n | o := n asString copy. bag add: n. o toFinalizeSend:  
> #remove: to: bag with: n].
> Smalltalk garbageCollect.
> 1 to: 5 do: [:n | self deny: (bag includes: n)]
> 
> I guess, this test has been added to point out that the finalization  
> mechanism does not correctly work when used concurrently with objects  
> that are equal. The finalization registry uses a WeakKeyDictionary,  
> rather than a WeakIdentityKeyDictionary, as Norbert notes below, thats  
> why...
> 
> What was the rationale to remove this test in 3.10? Is this an  
> expected behavior?
> 
> Adrian
> 
> >
> >
> > My problem is that toFinalizeSend:to:with adds an Objectfinalizer
> > to the finalizationRegistry of the instance. But
> >
> > Object>>finalizationRegistry
> >  "Answer the finalization registry associated with the receiver."
> >  ^WeakRegistry default
> >
> > returns a global object which is WeakKeyDictionary. And
> >
> > | d |
> > d := WeakKeyDictionary new.
> > d at: (1 asString copy) put: $a.
> > d at: (1 asString copy) put: $b.
> > d size
> >
> > prints 1. To me that would exchange every entry from the first
> > run by the second run (because the objects are equal).
> >
> > So I would assume that if there does not happen a run of the
> > garbagecollector between the two loops the objects of the first
> > loop should be still contained in the bag. But the test is named
> > finalizationOfEquals so I have to assume: self doesNotUnderstand
> >
> > Can someone explain it to me, please?
> >
> > Norbert
> >
> >
> >
> 
> 




More information about the Squeak-dev mailing list