Squeak-dev September 2010

squeak-dev@lists.squeakfoundation.org

110 participants
401 discussions

"A Mentoring Course on Smalltalk" Code License
by DeNigris Sean 26 Sep '10

26 Sep '10

I emailed Andres, the author, and he said "the code didn't have a license because I meant to put no restrictions on it... The MIT license is fine with me. In fact, I released the Hash Analysis Tool and Assessments under the MIT license already." Then he asked a great question: "Let me know what you need and I'll put it in. Or do you need that the book explicitly states the code mentioned therein is MIT?" I've been contacting many people to declare code as MIT. What "proof" is considered acceptable? I've been announcing it on the mailing list, so anyone could search back, contact me, and I could send them the email I received from the author, but that requires remembering the post, finding it, etc. What's the best way to go about this? License gurus? Sean

1 0

OpenGL performance on different platforms
by Alexander Lazarević 26 Sep '10

26 Sep '10

Just curious ... On Ubuntu I get a merely 25 fps doing the OpenGL example. If I move the mouse it starts to get faster and reaches about 60 fps. Why? Now on Windows7 running inside VirtualBox(!) on the very same hardware I get up to 400 fps and there is no influence by moving the mouse. Are there some magic buttons I have to press before using OpenGL on Linux/Ubuntu? Alex

5 4

Re: [squeak-dev] The Trunk: Kernel-eem.501.mcz
by Levente Uzonyi 26 Sep '10

26 Sep '10

On Sun, 26 Sep 2010, commits(a)source.squeak.org wrote: > Eliot Miranda uploaded a new version of Kernel to project The Trunk: > http://source.squeak.org/trunk/Kernel-eem.501.mcz > > ==================== Summary ==================== > > Name: Kernel-eem.501 > Author: eem > Time: 25 September 2010, 7:55:34.708 pm > UUID: 5b55eae3-594b-4416-9d47-5a4ebaabb238 > Ancestors: Kernel-ul.500 > > Add mirror primitives which can be used for accurate > execution simulation (a.k.a. debugging) of proxies. #objectSize: seems to be missing. Levente > > =============== Diff against Kernel-ul.500 =============== > > Item was added: > + ----- Method: ContextPart>>object:basicAt: (in category 'mirror primitives') ----- > + object: anObject basicAt: index > + "Answer the value of an indexable element in the argument anObject without sending > + it a message. Fail if the argument index is not an Integer or is out of bounds, or if > + anObject is not indexable. This mimics the action of the VM when it indexes an object. > + Used to simulate the execution machinery by, for example, the debugger. > + Primitive. See Object documentation whatIsAPrimitive." > + > + <primitive: 60> > + index isInteger ifTrue: [self errorSubscriptBounds: index]. > + index isNumber > + ifTrue: [^self object: anObject basicAt: index asInteger] > + ifFalse: [self errorNonIntegerIndex]! > > Item was added: > + ----- Method: ContextPart>>object:basicAt:put: (in category 'mirror primitives') ----- > + object: anObject basicAt: index put: value > + "Store the last argument > + value in the indexable element of the argument anObject indicated by index without sending > + anObject a message. Fail if the argument index is not an Integer or is out of bounds, or if > + anObject is not indexable, or if value is an inappropriate value for anObject's indexable slots. > + This mimics the action of the VM when it indexes an object. > + Used to simulate the execution machinery by, for example, the debugger. > + Primitive. See Object documentation whatIsAPrimitive." > + > + <primitive: 61> > + index isInteger > + ifTrue: [(index >= 1 and: [index <= (self objectSize: anObject)]) > + ifTrue: [self errorImproperStore] > + ifFalse: [self errorSubscriptBounds: index]]. > + index isNumber > + ifTrue: [^self object: anObject basicAt: index asInteger put: value] > + ifFalse: [self errorNonIntegerIndex]! > > Item was added: > + ----- Method: ContextPart>>object:eqeq: (in category 'mirror primitives') ----- > + object: anObject eqeq: anOtherObject > + "Answer whether the first and second arguments are the same object (have the > + same object pointer) without sending a message to the first argument. This > + mimics the action of the VM when it compares two object pointers. Used to > + simulate the execution machinery by, for example, the debugger. > + Primitive. See Object documentation whatIsAPrimitive." > + > + <primitive: 110> > + self primitiveFailed! > > Item was added: > + ----- Method: ContextPart>>object:instVarAt: (in category 'mirror primitives') ----- > + object: anObject instVarAt: anIndex > + "Primitive. Answer a fixed variable in an object. The numbering of the > + variables corresponds to the named instance variables. Fail if the index > + is not an Integer or is not the index of a fixed variable. Essential for the > + debugger. See Object documentation whatIsAPrimitive." > + > + <primitive: 73> > + "Access beyond fixed variables." > + ^self object: anObject basicAt: anIndex - (self objectClass: anObject) instSize! > > Item was added: > + ----- Method: ContextPart>>object:instVarAt:put: (in category 'mirror primitives') ----- > + object: anObject instVarAt: anIndex put: aValue > + "Primitive. Store a value into a fixed variable in the argument anObject. > + The numbering of the variables corresponds to the named instance > + variables. Fail if the index is not an Integer or is not the index of a > + fixed variable. Answer the value stored as the result. Using this > + message violates the principle that each object has sovereign control > + over the storing of values into its instance variables. Essential for the > + debugger. See Object documentation whatIsAPrimitive." > + > + <primitive: 74> > + "Access beyond fixed fields" > + ^self object: anObject basicAt: anIndex - (self objectClass: anObject) instSize put: aValue! > > Item was added: > + ----- Method: ContextPart>>object:perform:withArguments:inClass: (in category 'mirror primitives') ----- > + object: anObject perform: selector withArguments: argArray inClass: lookupClass > + "Send the selector, aSymbol, to anObject with arguments in argArray. > + Fail if the number of arguments expected by the selector > + does not match the size of argArray, or if lookupClass > + cannot be found among the anObject's superclasses. > + Primitive. Essential for the debugger." > + > + <primitive: 100 error: error> > + (selector isMemberOf: Symbol) ifFalse: > + [^self error: 'selector argument must be a Symbol']. > + (argArray isMemberOf: Array) ifFalse: > + [^self error: 'argArray must be an Array']. > + (selector numArgs = argArray size) > + ifFalse: [^self error: 'incorrect number of arguments']. > + ((self objectClass: anObject) == lookupClass > + or: [(self objectClass: anObject) inheritsFrom: lookupClass]) ifFalse: > + [^self error: 'lookupClass is not in anObject''s inheritance chain']. > + self primitiveFailed! > > >

2 1

The Trunk: Kernel-eem.502.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.502.mcz ==================== Summary ==================== Name: Kernel-eem.502 Author: eem Time: 25 September 2010, 8:31:12.094 pm UUID: 2cf495fb-5958-4ba2-afdc-18caf380caef Ancestors: Kernel-eem.501 include ContextPart>>objectSize: amongst the mirror primitives =============== Diff against Kernel-eem.501 =============== Item was added: + ----- Method: ContextPart>>objectSize: (in category 'mirror primitives') ----- + objectSize: anObject + "Answer the number of indexable variables in the argument anObject without sending + it a message. This mimics the action of the VM when it fetches an object's variable size. + Used to simulate the execution machinery by, for example, the debugger. + Primitive. See Object documentation whatIsAPrimitive." + + <primitive: 62> + "The number of indexable fields of fixed-length objects is 0" + ^0!

1 0

The Trunk: Kernel-eem.501.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.501.mcz ==================== Summary ==================== Name: Kernel-eem.501 Author: eem Time: 25 September 2010, 7:55:34.708 pm UUID: 5b55eae3-594b-4416-9d47-5a4ebaabb238 Ancestors: Kernel-ul.500 Add mirror primitives which can be used for accurate execution simulation (a.k.a. debugging) of proxies. =============== Diff against Kernel-ul.500 =============== Item was added: + ----- Method: ContextPart>>object:basicAt: (in category 'mirror primitives') ----- + object: anObject basicAt: index + "Answer the value of an indexable element in the argument anObject without sending + it a message. Fail if the argument index is not an Integer or is out of bounds, or if + anObject is not indexable. This mimics the action of the VM when it indexes an object. + Used to simulate the execution machinery by, for example, the debugger. + Primitive. See Object documentation whatIsAPrimitive." + + <primitive: 60> + index isInteger ifTrue: [self errorSubscriptBounds: index]. + index isNumber + ifTrue: [^self object: anObject basicAt: index asInteger] + ifFalse: [self errorNonIntegerIndex]! Item was added: + ----- Method: ContextPart>>object:basicAt:put: (in category 'mirror primitives') ----- + object: anObject basicAt: index put: value + "Store the last argument + value in the indexable element of the argument anObject indicated by index without sending + anObject a message. Fail if the argument index is not an Integer or is out of bounds, or if + anObject is not indexable, or if value is an inappropriate value for anObject's indexable slots. + This mimics the action of the VM when it indexes an object. + Used to simulate the execution machinery by, for example, the debugger. + Primitive. See Object documentation whatIsAPrimitive." + + <primitive: 61> + index isInteger + ifTrue: [(index >= 1 and: [index <= (self objectSize: anObject)]) + ifTrue: [self errorImproperStore] + ifFalse: [self errorSubscriptBounds: index]]. + index isNumber + ifTrue: [^self object: anObject basicAt: index asInteger put: value] + ifFalse: [self errorNonIntegerIndex]! Item was added: + ----- Method: ContextPart>>object:eqeq: (in category 'mirror primitives') ----- + object: anObject eqeq: anOtherObject + "Answer whether the first and second arguments are the same object (have the + same object pointer) without sending a message to the first argument. This + mimics the action of the VM when it compares two object pointers. Used to + simulate the execution machinery by, for example, the debugger. + Primitive. See Object documentation whatIsAPrimitive." + + <primitive: 110> + self primitiveFailed! Item was added: + ----- Method: ContextPart>>object:instVarAt: (in category 'mirror primitives') ----- + object: anObject instVarAt: anIndex + "Primitive. Answer a fixed variable in an object. The numbering of the + variables corresponds to the named instance variables. Fail if the index + is not an Integer or is not the index of a fixed variable. Essential for the + debugger. See Object documentation whatIsAPrimitive." + + <primitive: 73> + "Access beyond fixed variables." + ^self object: anObject basicAt: anIndex - (self objectClass: anObject) instSize! Item was added: + ----- Method: ContextPart>>object:instVarAt:put: (in category 'mirror primitives') ----- + object: anObject instVarAt: anIndex put: aValue + "Primitive. Store a value into a fixed variable in the argument anObject. + The numbering of the variables corresponds to the named instance + variables. Fail if the index is not an Integer or is not the index of a + fixed variable. Answer the value stored as the result. Using this + message violates the principle that each object has sovereign control + over the storing of values into its instance variables. Essential for the + debugger. See Object documentation whatIsAPrimitive." + + <primitive: 74> + "Access beyond fixed fields" + ^self object: anObject basicAt: anIndex - (self objectClass: anObject) instSize put: aValue! Item was added: + ----- Method: ContextPart>>object:perform:withArguments:inClass: (in category 'mirror primitives') ----- + object: anObject perform: selector withArguments: argArray inClass: lookupClass + "Send the selector, aSymbol, to anObject with arguments in argArray. + Fail if the number of arguments expected by the selector + does not match the size of argArray, or if lookupClass + cannot be found among the anObject's superclasses. + Primitive. Essential for the debugger." + + <primitive: 100 error: error> + (selector isMemberOf: Symbol) ifFalse: + [^self error: 'selector argument must be a Symbol']. + (argArray isMemberOf: Array) ifFalse: + [^self error: 'argArray must be an Array']. + (selector numArgs = argArray size) + ifFalse: [^self error: 'incorrect number of arguments']. + ((self objectClass: anObject) == lookupClass + or: [(self objectClass: anObject) inheritsFrom: lookupClass]) ifFalse: + [^self error: 'lookupClass is not in anObject''s inheritance chain']. + self primitiveFailed!

1 0

The Trunk: Tests-eem.94.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Eliot Miranda uploaded a new version of Tests to project The Trunk: http://source.squeak.org/trunk/Tests-eem.94.mcz ==================== Summary ==================== Name: Tests-eem.94 Author: eem Time: 25 September 2010, 7:50:24.958 pm UUID: ec24ec50-77af-42b0-881c-20e085aab9f7 Ancestors: Tests-nice.93 Revert the TestObjectsAsMethods tests now that VMMaker-oscog.33/r2313 adds the necessary support. =============== Diff against Tests-nice.93 =============== Item was removed: - ----- Method: TestObjectsAsMethods>>expectedFailures (in category 'as yet unclassified') ----- - expectedFailures - "Does crash VM with Cog" - - ^Smalltalk isRunningCogit - ifTrue:[#(testAddNumbers testDNU testAnswer42)] - ifFalse:[#()]! Item was changed: ----- Method: TestObjectsAsMethods>>testAddNumbers (in category 'as yet unclassified') ----- testAddNumbers "self debug: #testAddNumbers" - "Does crash VM with Cog" - Smalltalk isRunningCogit ifTrue:[^self assert: false]. - "md: I had to comment out the error... did strange things" self class addSelector: #add:with: withMethod: ObjectsAsMethodsExample new. self assert: (self add: 3 with: 4) = 7. "self assert: (self perform: #add:with: withArguments: #(3 4)) = 7. " self class basicRemoveSelector: #add:with:.! Item was changed: ----- Method: TestObjectsAsMethods>>testAnswer42 (in category 'as yet unclassified') ----- testAnswer42 - "Does crash VM with Cog" - Smalltalk isRunningCogit ifTrue:[^self assert: false]. - self class addSelector: #answer42 withMethod: ObjectsAsMethodsExample new. self assert: self answer42 = 42. self class basicRemoveSelector: #answer42.! Item was changed: ----- Method: TestObjectsAsMethods>>testDNU (in category 'as yet unclassified') ----- testDNU - "Does crash VM with Cog" - Smalltalk isRunningCogit ifTrue:[^self assert: false]. - self class addSelector: #answer42 withMethod: AbstractObjectsAsMethod new. self should: [self answer42] raise: MessageNotUnderstood. self class basicRemoveSelector: #answer42.!

1 0

The Trunk: Collections-ul.384.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Levente Uzonyi uploaded a new version of Collections to project The Trunk: http://source.squeak.org/trunk/Collections-ul.384.mcz ==================== Summary ==================== Name: Collections-ul.384 Author: ul Time: 26 September 2010, 2:52:19.252 am UUID: 1a219312-0f50-574e-8615-bf87532a46c8 Ancestors: Collections-ul.383 - Finalization enhancements part 3 =============== Diff against Collections-ul.383 =============== Item was removed: - Collection subclass: #WeakFinalizationRegistry - instanceVariableNames: 'list valueDictionary sema' - classVariableNames: 'Default' - poolDictionaries: '' - category: 'Collections-Weak'! - - !WeakFinalizationRegistry commentStamp: 'Igor.Stasenko 3/8/2010 23:04' prior: 0! - This kind of WeakRegistry using a new VM feature, - which allows a more robust finalization support. - - In contrast to old implementation, it doesn't spending linear time , checking what elements became garbage.! Item was removed: - ----- Method: WeakFinalizationRegistry classSide>>default (in category 'accessing') ----- - default - ^Default ifNil:[Default := self new]! Item was removed: - ----- Method: WeakFinalizationRegistry classSide>>migrateOldRegistries (in category 'migrating registry') ----- - migrateOldRegistries - Smalltalk at: #WeakFinalizationRegistry ifAbsent: [ ^ self "already done" ]. - - Smalltalk recreateSpecialObjectsArray. - WeakArray restartFinalizationProcess. - - Smalltalk garbageCollect; garbageCollect. - - "leave no chance to interrupt migration" - Compiler evaluate: ' - [ | old new oldClass newClass | - old := OrderedCollection new. - new := OrderedCollection new. - WeakRegistry allInstancesDo: [:registry | | newr | - old add: registry. - newr := WeakFinalizationRegistry basicNew initialize. - registry migrateTo: newr. - new add: newr ]. - old asArray elementsForwardIdentityTo: new asArray. - - oldClass := WeakRegistry. - newClass := WeakFinalizationRegistry. - - Smalltalk forgetClass: newClass logged: false. - newClass superclass removeSubclass: newClass. - newClass setName: #WeakRegistry. - oldClass becomeForward: newClass. - ] forkAt: Processor highestPriority. - '. - ! Item was removed: - ----- Method: WeakFinalizationRegistry classSide>>new (in category 'instance creation') ----- - new - | registry | - registry := super new. - WeakArray addWeakDependent: registry. - ^registry - ! Item was removed: - ----- Method: WeakFinalizationRegistry classSide>>new: (in category 'instance creation') ----- - new: n - ^ self new! Item was removed: - ----- Method: WeakFinalizationRegistry>>add: (in category 'adding') ----- - add: anObject - "Add anObject to the receiver. Store the object as well as the associated executor." - - ^self add: anObject executor: anObject executor! Item was removed: - ----- Method: WeakFinalizationRegistry>>add:executor: (in category 'adding') ----- - add: anObject executor: anExecutor - - self protected: [ | finItem | - finItem := valueDictionary at: anObject ifAbsentPut: [ - WeakFinalizerItem new list: list object: anObject ]. - finItem add: anExecutor ]. - ^ anObject - ! Item was removed: - ----- Method: WeakFinalizationRegistry>>do: (in category 'enumerating') ----- - do: aBlock - ^self protected: [ - valueDictionary keysDo: aBlock. - ]. - ! Item was removed: - ----- Method: WeakFinalizationRegistry>>finalizeValues (in category 'finalization') ----- - finalizeValues - "Finalize any values, which happen to stocked in our list, due to some weak references become garbage" - - | finalizer | - - WeakFinalizationList hasNewFinalization ifFalse: [ - self protected: [ valueDictionary finalizeValues ]. - ^ self ]. - - self protected: [ finalizer := list swapWithNil ]. - - "We don't need to protect a following loop from concurrent access, - because at the moment we're finalizing values, - only we can access this list of finalizers, because valueDictionary already see them - as an unused slots, because they're associated with key == nil" - - [ finalizer notNil ] whileTrue: [ - | next | - next := finalizer next. - finalizer finalizeValues. - finalizer := next - ]. - ! Item was removed: - ----- Method: WeakFinalizationRegistry>>initialize (in category 'initialize-release') ----- - initialize - valueDictionary := WeakIdentityKeyDictionary new. - list := WeakFinalizationList new. - sema := Semaphore forMutualExclusion. - self installFinalizer.! Item was removed: - ----- Method: WeakFinalizationRegistry>>installFinalizer (in category 'initialize-release') ----- - installFinalizer - - valueDictionary finalizer: #finalizeValues! Item was removed: - ----- Method: WeakFinalizationRegistry>>keys (in category 'accessing') ----- - keys - - ^ valueDictionary keys! Item was removed: - ----- Method: WeakFinalizationRegistry>>postCopy (in category 'copying') ----- - postCopy - "should we prohibit any attempts to copy receiver?" - self protected: [ | oldDict | - sema := Semaphore forMutualExclusion. - oldDict := valueDictionary. - list := WeakFinalizationList new. - valueDictionary := WeakIdentityKeyDictionary new. - self installFinalizer. - - oldDict keysAndValuesDo: [:key :value | - valueDictionary at: key put: (value copyWithList: list) - ]. - ]! Item was removed: - ----- Method: WeakFinalizationRegistry>>printElementsOn: (in category 'printing') ----- - printElementsOn: aStream - sema ifNil: [^super printElementsOn: aStream]. - aStream nextPutAll: '(<this WeakRegistry is locked>)'! Item was removed: - ----- Method: WeakFinalizationRegistry>>protected: (in category 'private') ----- - protected: aBlock - "Execute aBlock protected by the accessLock" - - ^ sema - critical: aBlock - ifError: [ :msg :rcvr | - rcvr error: msg ] ! Item was removed: - ----- Method: WeakFinalizationRegistry>>remove:ifAbsent: (in category 'printing') ----- - remove: oldObject ifAbsent: exceptionBlock - "Remove oldObject as one of the receiver's elements." - - oldObject ifNil: [ ^nil ]. - ^(self protected: [ valueDictionary removeKey: oldObject ifAbsent: nil ]) - ifNil: [ exceptionBlock value ]! Item was removed: - ----- Method: WeakFinalizationRegistry>>removeAll (in category 'printing') ----- - removeAll - "See super" - - self protected:[ - valueDictionary removeAll. - ].! Item was removed: - ----- Method: WeakFinalizationRegistry>>size (in category 'accessing') ----- - size - ^ self protected: [valueDictionary slowSize]! Item was removed: - ----- Method: WeakFinalizationRegistry>>species (in category 'private') ----- - species - ^Set! Item was changed: Collection subclass: #WeakRegistry + instanceVariableNames: 'list valueDictionary sema' - instanceVariableNames: 'valueDictionary accessLock executors' classVariableNames: 'Default' poolDictionaries: '' category: 'Collections-Weak'! + !WeakRegistry commentStamp: 'ul 9/26/2010 02:51' prior: 0! - !WeakRegistry commentStamp: '<historical>' prior: 0! I am a registry for objects needing finalization. When an object is added the object as well as its executor is stored. When the object is garbage collected, the executor can take the appropriate action for any resources associated with the object. + This kind of WeakRegistry is using a new VM feature, which allows a more robust finalization support. In contrast to the old implementation, it doesn't spend linear time checking which elements became garbage. + See also: Object executor Object actAsExecutor + Object finalize! - Object finalize - ! Item was changed: ----- Method: WeakRegistry class>>default (in category 'accessing') ----- default ^Default ifNil:[Default := self new]! Item was changed: ----- Method: WeakRegistry class>>new (in category 'instance creation') ----- new + | registry | + registry := super new. + WeakArray addWeakDependent: registry. + ^registry + ! - ^self new: 5! Item was changed: ----- Method: WeakRegistry class>>new: (in category 'instance creation') ----- new: n + ^ self new! - | registry | - registry := super new initialize: n. - WeakArray addWeakDependent: registry. - ^registry! Item was changed: ----- Method: WeakRegistry>>add: (in category 'adding') ----- add: anObject "Add anObject to the receiver. Store the object as well as the associated executor." ^self add: anObject executor: anObject executor! Item was changed: ----- Method: WeakRegistry>>add:executor: (in category 'adding') ----- add: anObject executor: anExecutor + + self protected: [ | finItem | + finItem := valueDictionary at: anObject ifAbsentPut: [ + WeakFinalizerItem new list: list object: anObject ]. + finItem add: anExecutor ]. + ^ anObject + ! - "Add anObject to the receiver. Store the object as well as the associated executor." - - self protected: [ - (valueDictionary associationAt: anObject ifAbsent: nil) - ifNil: [ valueDictionary at: anObject put: anExecutor ] - ifNotNil: [ :association | - | finalizer | - (finalizer := association value) class == ObjectFinalizerCollection - ifTrue: [ finalizer add: anExecutor ] - ifFalse: [ - association value: (ObjectFinalizerCollection - with: association value - with: anExecutor) ] ] ]. - ^anObject! Item was changed: ----- Method: WeakRegistry>>do: (in category 'enumerating') ----- do: aBlock + ^self protected: [ - ^self protected:[ valueDictionary keysDo: aBlock. ]. ! Item was changed: ----- Method: WeakRegistry>>finalizeValues (in category 'finalization') ----- finalizeValues + "Finalize any values, which happen to stocked in our list, due to some weak references become garbage" - "Some of our elements may have gone away. Look for those and activate the associated executors." + | finalizer | + + WeakFinalizationList hasNewFinalization ifFalse: [ + self protected: [ valueDictionary finalizeValues ]. + ^ self ]. + + self protected: [ finalizer := list swapWithNil ]. + + "We don't need to protect a following loop from concurrent access, + because at the moment we're finalizing values, + only we can access this list of finalizers, because valueDictionary already see them + as an unused slots, because they're associated with key == nil" + + [ finalizer notNil ] whileTrue: [ + | next | + next := finalizer next. + finalizer finalizeValues. + finalizer := next + ]. + ! - | collectedExecutors | - self protected: [ - valueDictionary finalizeValues. - collectedExecutors := executors. - executors := nil ]. - collectedExecutors ifNotNil: [ - collectedExecutors do: #finalize ]! Item was added: + ----- Method: WeakRegistry>>initialize (in category 'initialize-release') ----- + initialize + valueDictionary := WeakIdentityKeyDictionary new. + list := WeakFinalizationList new. + sema := Semaphore forMutualExclusion. + self installFinalizer.! Item was removed: - ----- Method: WeakRegistry>>initialize: (in category 'initialize') ----- - initialize: n - - valueDictionary := WeakIdentityKeyDictionary new: n. - accessLock := Semaphore forMutualExclusion. - self installFinalizer.! Item was changed: + ----- Method: WeakRegistry>>installFinalizer (in category 'initialize-release') ----- - ----- Method: WeakRegistry>>installFinalizer (in category 'initialize') ----- installFinalizer + valueDictionary finalizer: #finalizeValues! - valueDictionary finalizer: [ :executor | - (executors ifNil: [ executors := OrderedCollection new ]) add: executor ]! Item was removed: - ----- Method: WeakRegistry>>migrateTo: (in category 'migrating') ----- - migrateTo: newRegistry - - self protected: [ - valueDictionary keysDo: [ :key | - newRegistry add: key executor: (valueDictionary at: key). - ]].! Item was changed: ----- Method: WeakRegistry>>postCopy (in category 'copying') ----- postCopy + "should we prohibit any attempts to copy receiver?" + self protected: [ | oldDict | + sema := Semaphore forMutualExclusion. + oldDict := valueDictionary. + list := WeakFinalizationList new. + valueDictionary := WeakIdentityKeyDictionary new. + self installFinalizer. + + oldDict keysAndValuesDo: [:key :value | + valueDictionary at: key put: (value copyWithList: list) + ]. + ]! - - self protected: [ "Uses the original accessLock" - accessLock := Semaphore forMutualExclusion. - valueDictionary := valueDictionary copy. - valueDictionary associationsDo: [ :each | - each value class == ObjectFinalizerCollection - ifTrue: [ each value: each value copy ] ]. - executors := executors copy. - self installFinalizer ]! Item was changed: ----- Method: WeakRegistry>>printElementsOn: (in category 'printing') ----- printElementsOn: aStream + sema ifNil: [^super printElementsOn: aStream]. - accessLock ifNil: [^super printElementsOn: aStream]. aStream nextPutAll: '(<this WeakRegistry is locked>)'! Item was changed: ----- Method: WeakRegistry>>protected: (in category 'private') ----- protected: aBlock "Execute aBlock protected by the accessLock" + ^ sema + critical: aBlock + ifError: [ :msg :rcvr | + rcvr error: msg ] ! - ^accessLock - ifNil: [ aBlock value ] - ifNotNil: [ - accessLock - critical: aBlock - ifError: [ :msg :rcvr | - rcvr error: msg ] ]! Item was changed: + ----- Method: WeakRegistry>>remove:ifAbsent: (in category 'printing') ----- - ----- Method: WeakRegistry>>remove:ifAbsent: (in category 'removing') ----- remove: oldObject ifAbsent: exceptionBlock "Remove oldObject as one of the receiver's elements." oldObject ifNil: [ ^nil ]. ^(self protected: [ valueDictionary removeKey: oldObject ifAbsent: nil ]) ifNil: [ exceptionBlock value ]! Item was changed: + ----- Method: WeakRegistry>>removeAll (in category 'printing') ----- - ----- Method: WeakRegistry>>removeAll (in category 'removing') ----- removeAll "See super" self protected:[ valueDictionary removeAll. ].! Item was changed: ----- Method: WeakRegistry>>size (in category 'accessing') ----- size + ^ self protected: [valueDictionary slowSize]! - ^ self protected: [valueDictionary size]! Item was changed: ----- Method: WeakRegistry>>species (in category 'private') ----- species ^Set!

1 0

The Trunk: Collections-ul.383.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Levente Uzonyi uploaded a new version of Collections to project The Trunk: http://source.squeak.org/trunk/Collections-ul.383.mcz ==================== Summary ==================== Name: Collections-ul.383 Author: ul Time: 26 September 2010, 2:50:13.438 am UUID: 4192bba2-2c8f-404c-bf9f-7256f89e2a3d Ancestors: Collections-ul.382 - Finalization enhancements part 2 =============== Diff against Collections-ul.382 =============== Item was changed: ----- Method: WeakArray class>>finalizationProcess (in category 'private') ----- finalizationProcess - [true] whileTrue: + [ WeakFinalizationList initTestPair. + FinalizationSemaphore wait. - [FinalizationSemaphore wait. FinalizationLock critical: + [ + WeakFinalizationList checkTestPair. + FinalizationDependents do: - [FinalizationDependents do: [:weakDependent | weakDependent ifNotNil: [weakDependent finalizeValues]]] ifError: [:msg :rcvr | rcvr error: msg]. ]. ! Item was changed: + (PackageInfo named: 'Collections') postscript: 'WeakFinalizationRegistry migrateOldRegistries'! - (PackageInfo named: 'Collections') postscript: 'WeakRegistry allSubInstancesDo: #installFinalizer'!

1 0

The Trunk: Collections-ul.382.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Levente Uzonyi uploaded a new version of Collections to project The Trunk: http://source.squeak.org/trunk/Collections-ul.382.mcz ==================== Summary ==================== Name: Collections-ul.382 Author: ul Time: 26 September 2010, 2:49:22.722 am UUID: d69042a0-5600-9f40-9a64-44c89d59dbee Ancestors: Collections-ul.381 - Finalization enhancements part 1 =============== Diff against Collections-ul.381 =============== Item was added: + Object subclass: #WeakFinalizationList + instanceVariableNames: 'first' + classVariableNames: 'HasNewFinalization TestItem TestList' + poolDictionaries: '' + category: 'Collections-Weak'! + + !WeakFinalizationList commentStamp: 'Igor.Stasenko 9/22/2010 21:09' prior: 0! + IMPORTANT!!!!!! + + This class is a special object, recognized by VM. + Its only purpose is to + a) identify a special kind of objects who usually having a weak references but + also having an instance of me held by first non-weak fixed slot (instance variable). + + b) a 'first' instance variable points to the head of a list of items, reported by VM which has weak references which became garbage during last garbage collection + + At my class side, there are some public behavior, which is used by finalization process to detect if VM supports new finalization scheme or should use the old one. + Weak registry using #hasNewFinalization for switching to correct finalization logic, + depending on VM it currently runs on. + ! Item was added: + ----- Method: WeakFinalizationList classSide>>checkTestPair (in category 'vm capability test') ----- + checkTestPair + HasNewFinalization := TestList swapWithNil notNil.! Item was added: + ----- Method: WeakFinalizationList classSide>>hasNewFinalization (in category 'vm capability test') ----- + hasNewFinalization + ^ HasNewFinalization == true! Item was added: + ----- Method: WeakFinalizationList classSide>>initTestPair (in category 'vm capability test') ----- + initTestPair + TestItem := WeakFinalizerItem new list: TestList object: Object new. + ! Item was added: + ----- Method: WeakFinalizationList classSide>>initialize (in category 'class initialization') ----- + initialize + TestList := self new.! Item was added: + ----- Method: WeakFinalizationList>>first (in category 'accessing') ----- + first + ^ first! Item was added: + ----- Method: WeakFinalizationList>>swapWithNil (in category 'accessing') ----- + swapWithNil + + | head | + head := first. + first := nil. + ^ head! Item was added: + Collection subclass: #WeakFinalizationRegistry + instanceVariableNames: 'list valueDictionary sema' + classVariableNames: 'Default' + poolDictionaries: '' + category: 'Collections-Weak'! + + !WeakFinalizationRegistry commentStamp: 'Igor.Stasenko 3/8/2010 23:04' prior: 0! + This kind of WeakRegistry using a new VM feature, + which allows a more robust finalization support. + + In contrast to old implementation, it doesn't spending linear time , checking what elements became garbage.! Item was added: + ----- Method: WeakFinalizationRegistry classSide>>default (in category 'accessing') ----- + default + ^Default ifNil:[Default := self new]! Item was added: + ----- Method: WeakFinalizationRegistry classSide>>migrateOldRegistries (in category 'migrating registry') ----- + migrateOldRegistries + Smalltalk at: #WeakFinalizationRegistry ifAbsent: [ ^ self "already done" ]. + + Smalltalk recreateSpecialObjectsArray. + WeakArray restartFinalizationProcess. + + Smalltalk garbageCollect; garbageCollect. + + "leave no chance to interrupt migration" + Compiler evaluate: ' + [ | old new oldClass newClass | + old := OrderedCollection new. + new := OrderedCollection new. + WeakRegistry allInstancesDo: [:registry | | newr | + old add: registry. + newr := WeakFinalizationRegistry basicNew initialize. + registry migrateTo: newr. + new add: newr ]. + old asArray elementsForwardIdentityTo: new asArray. + + oldClass := WeakRegistry. + newClass := WeakFinalizationRegistry. + + Smalltalk forgetClass: newClass logged: false. + newClass superclass removeSubclass: newClass. + newClass setName: #WeakRegistry. + oldClass becomeForward: newClass. + ] forkAt: Processor highestPriority. + '. + ! Item was added: + ----- Method: WeakFinalizationRegistry classSide>>new (in category 'instance creation') ----- + new + | registry | + registry := super new. + WeakArray addWeakDependent: registry. + ^registry + ! Item was added: + ----- Method: WeakFinalizationRegistry classSide>>new: (in category 'instance creation') ----- + new: n + ^ self new! Item was added: + ----- Method: WeakFinalizationRegistry>>add: (in category 'adding') ----- + add: anObject + "Add anObject to the receiver. Store the object as well as the associated executor." + + ^self add: anObject executor: anObject executor! Item was added: + ----- Method: WeakFinalizationRegistry>>add:executor: (in category 'adding') ----- + add: anObject executor: anExecutor + + self protected: [ | finItem | + finItem := valueDictionary at: anObject ifAbsentPut: [ + WeakFinalizerItem new list: list object: anObject ]. + finItem add: anExecutor ]. + ^ anObject + ! Item was added: + ----- Method: WeakFinalizationRegistry>>do: (in category 'enumerating') ----- + do: aBlock + ^self protected: [ + valueDictionary keysDo: aBlock. + ]. + ! Item was added: + ----- Method: WeakFinalizationRegistry>>finalizeValues (in category 'finalization') ----- + finalizeValues + "Finalize any values, which happen to stocked in our list, due to some weak references become garbage" + + | finalizer | + + WeakFinalizationList hasNewFinalization ifFalse: [ + self protected: [ valueDictionary finalizeValues ]. + ^ self ]. + + self protected: [ finalizer := list swapWithNil ]. + + "We don't need to protect a following loop from concurrent access, + because at the moment we're finalizing values, + only we can access this list of finalizers, because valueDictionary already see them + as an unused slots, because they're associated with key == nil" + + [ finalizer notNil ] whileTrue: [ + | next | + next := finalizer next. + finalizer finalizeValues. + finalizer := next + ]. + ! Item was added: + ----- Method: WeakFinalizationRegistry>>initialize (in category 'initialize-release') ----- + initialize + valueDictionary := WeakIdentityKeyDictionary new. + list := WeakFinalizationList new. + sema := Semaphore forMutualExclusion. + self installFinalizer.! Item was added: + ----- Method: WeakFinalizationRegistry>>installFinalizer (in category 'initialize-release') ----- + installFinalizer + + valueDictionary finalizer: #finalizeValues! Item was added: + ----- Method: WeakFinalizationRegistry>>keys (in category 'accessing') ----- + keys + + ^ valueDictionary keys! Item was added: + ----- Method: WeakFinalizationRegistry>>postCopy (in category 'copying') ----- + postCopy + "should we prohibit any attempts to copy receiver?" + self protected: [ | oldDict | + sema := Semaphore forMutualExclusion. + oldDict := valueDictionary. + list := WeakFinalizationList new. + valueDictionary := WeakIdentityKeyDictionary new. + self installFinalizer. + + oldDict keysAndValuesDo: [:key :value | + valueDictionary at: key put: (value copyWithList: list) + ]. + ]! Item was added: + ----- Method: WeakFinalizationRegistry>>printElementsOn: (in category 'printing') ----- + printElementsOn: aStream + sema ifNil: [^super printElementsOn: aStream]. + aStream nextPutAll: '(<this WeakRegistry is locked>)'! Item was added: + ----- Method: WeakFinalizationRegistry>>protected: (in category 'private') ----- + protected: aBlock + "Execute aBlock protected by the accessLock" + + ^ sema + critical: aBlock + ifError: [ :msg :rcvr | + rcvr error: msg ] ! Item was added: + ----- Method: WeakFinalizationRegistry>>remove:ifAbsent: (in category 'printing') ----- + remove: oldObject ifAbsent: exceptionBlock + "Remove oldObject as one of the receiver's elements." + + oldObject ifNil: [ ^nil ]. + ^(self protected: [ valueDictionary removeKey: oldObject ifAbsent: nil ]) + ifNil: [ exceptionBlock value ]! Item was added: + ----- Method: WeakFinalizationRegistry>>removeAll (in category 'printing') ----- + removeAll + "See super" + + self protected:[ + valueDictionary removeAll. + ].! Item was added: + ----- Method: WeakFinalizationRegistry>>size (in category 'accessing') ----- + size + ^ self protected: [valueDictionary slowSize]! Item was added: + ----- Method: WeakFinalizationRegistry>>species (in category 'private') ----- + species + ^Set! Item was added: + Object weakSubclass: #WeakFinalizerItem + instanceVariableNames: 'list next executor' + classVariableNames: '' + poolDictionaries: '' + category: 'Collections-Weak'! + + !WeakFinalizerItem commentStamp: 'Igor.Stasenko 9/22/2010 20:59' prior: 0! + My instances is used by weak registry to hold a single weak reference + and executor(s). + + Once object, referenced weakly by my instance become garbage, a weak registry triggers its execution + by sending #finalizeValues to my instance. + + Note, that a new VM finalization scheme does not implies to use this particular class + in order to implement finalization scheme. VM refers only to WeakFinalizationList class. + + In this way, my class and its implementation can serve as an example for implementing various finalization actions, which may differ from this one, provided by default for use by weak registry. + + Once initialized, my instance should: + - point to particular list (an instance of WeakFinalizationList), + - next should be nil + - executor or multiple executors initialized + - weak reference slot should point to some object of interest + + At the moment, when object, referenced weakly, become garbage, VM checks if its fist instance variable is an instance of WeakFinalizationList. + If it so, then it adds a given object to this list, and also links the tail of list through 'next' instance variable. + + So, as a result of garbage collection, a list will contain all objects, which had weak references to garbage collected objects. + It is a responsibility of application to manage the instances of WeakFinalizationList's , as well as clear this list before the next garbage collection. + As a consequence of that you can: + - use multiple different lists and manage them differently in order to react differently when some objects became garbage + - you are not obliged to handle/clear the list(s) immediately after GC. You can clean up them periodically. + - you can implement own kind of weak referencing object(s), which could use same finalization, provided by newer VMs. + + VM requires only that an object with weak reference having at least two instance variables, + and its first instance variable points to instance of WeakFinalizationList. Everything else is optional. + ! Item was added: + ----- Method: WeakFinalizerItem classSide>>new (in category 'as yet unclassified') ----- + new + ^ self basicNew: 1! Item was added: + ----- Method: WeakFinalizerItem>>add: (in category 'accessing') ----- + add: newExecutor + + executor + ifNil: [ executor := newExecutor ] + ifNotNil: [ + executor hasMultipleExecutors + ifTrue: [ executor add: newExecutor] + ifFalse: [ executor := ObjectFinalizerCollection with: executor with: newExecutor ] + ]! Item was added: + ----- Method: WeakFinalizerItem>>clear (in category 'accessing') ----- + clear + list := next := nil.! Item was added: + ----- Method: WeakFinalizerItem>>copyWithList: (in category 'copying') ----- + copyWithList: aList + + ^ self copy list: aList! Item was added: + ----- Method: WeakFinalizerItem>>executor (in category 'accessing') ----- + executor + ^ executor! Item was added: + ----- Method: WeakFinalizerItem>>finalizeValues (in category 'finalizing') ----- + finalizeValues + " cleanup the receiver, so it could be reused " + | ex | + ex := executor. + executor := nil. + next := nil. + ex finalize.! Item was added: + ----- Method: WeakFinalizerItem>>list (in category 'accessing') ----- + list + ^ list! Item was added: + ----- Method: WeakFinalizerItem>>list: (in category 'accessing') ----- + list: aList + list := aList! Item was added: + ----- Method: WeakFinalizerItem>>list:object: (in category 'initialize-release') ----- + list: weakFinalizationList object: anObject + self assert: (weakFinalizationList class == WeakFinalizationList). + list := weakFinalizationList. + self at: 1 put: anObject. + ! Item was added: + ----- Method: WeakFinalizerItem>>list:object:executor: (in category 'initialize-release') ----- + list: weakFinalizationList object: anObject executor: anExecutor + self assert: (weakFinalizationList class == WeakFinalizationList). + list := weakFinalizationList. + self at: 1 put: anObject. + executor := anExecutor! Item was added: + ----- Method: WeakFinalizerItem>>next (in category 'accessing') ----- + next + ^ next! Item was added: + ----- Method: WeakFinalizerItem>>object (in category 'accessing') ----- + object + ^ self at: 1! Item was added: + ----- Method: WeakFinalizerItem>>postCopy (in category 'copying') ----- + postCopy + executor hasMultipleFinalizers ifTrue: [ executor := executor copy ].! Item was added: + ----- Method: WeakRegistry>>migrateTo: (in category 'migrating') ----- + migrateTo: newRegistry + + self protected: [ + valueDictionary keysDo: [ :key | + newRegistry add: key executor: (valueDictionary at: key). + ]].!

1 0

The Trunk: Kernel-ul.500.mcz
by commits＠source.squeak.org 26 Sep '10

26 Sep '10

Levente Uzonyi uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-ul.500.mcz ==================== Summary ==================== Name: Kernel-ul.500 Author: ul Time: 26 September 2010, 2:35:30.752 am UUID: 3a530acf-ede2-6141-9d3e-604d16abea08 Ancestors: Kernel-nice.499 Finalization enhancements. =============== Diff against Kernel-nice.499 =============== Item was added: + ----- Method: Object>>hasMultipleExecutors (in category 'finalization') ----- + hasMultipleExecutors + "All objects, except ObjectFinalizerCollection instances should answer false to this message" + ^ false!

1 0

← Newer
1
...
4
5
6
7
8
9
10
...
41
Older →

Jump to page: