Vm-dev July 2015

vm-dev@lists.squeakfoundation.org

19 participants
87 discussions

VM Maker: VMMaker.oscog-eem.1405.mcz
by commits＠source.squeak.org 06 Jul '15

06 Jul '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1405.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1405 Author: eem Time: 6 July 2015, 11:43:50.069 am UUID: 7aff388a-73ba-4202-bb5a-72b0759ff46b Ancestors: VMMaker.oscog-eem.1404 Spur: Make sure the post become action unforwards the Process in the activeProcess inst var up to date. Add some more asserts to check. Also follow the specialObjectsArray after a pin become. Generically use storePointerUnchecked: when storing nils into the process lists. Nuke an unused method in the MT VM. =============== Diff against VMMaker.oscog-eem.1404 =============== Item was removed: - ----- Method: CoInterpreterMT>>removeLink:fromList: (in category 'process primitive support') ----- - removeLink: aLink fromList: aLinkedList - | linksNextLink tempLink lastLink nextLink | - linksNextLink := objectMemory fetchPointer: NextLinkIndex ofObject: aLink. - tempLink := objectMemory fetchPointer: FirstLinkIndex ofObject: aLinkedList. - lastLink := objectMemory fetchPointer: LastLinkIndex ofObject: aLinkedList. - aLink = tempLink - ifTrue: - [objectMemory storePointer: FirstLinkIndex - ofObject: aLinkedList - withValue: linksNextLink. - aLink = lastLink ifTrue: - [objectMemory storePointerUnchecked: LastLinkIndex - ofObject: aLinkedList - withValue: objectMemory nilObject]] - ifFalse: - [[tempLink = objectMemory nilObject ifTrue: [self error: 'link is not on list']. - nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: tempLink. - nextLink = aLink] whileFalse: - [tempLink := nextLink]. - objectMemory storePointer: NextLinkIndex - ofObject: tempLink - withValue: linksNextLink. - aLink = lastLink ifTrue: - [objectMemory storePointer: LastLinkIndex - ofObject: aLinkedList - withValue: tempLink]]. - objectMemory storePointer: NextLinkIndex ofObject: aLink withValue: objectMemory nilObject. - ^aLink! Item was removed: - ----- Method: CogVMSimulator>>removeLink:fromList: (in category 'multi-threading simulation switch') ----- - removeLink: aLink fromList: aLinkedList - "This method includes or excludes CoInterpreterMT methods as required. - Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" - - ^self perform: #removeLink:fromList: - withArguments: {aLink. aLinkedList} - inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was changed: ----- Method: SpurMemoryManager>>pinObject: (in category 'primitive support') ----- pinObject: objOop "Attempt to pin objOop, which must not be immediate. If the attempt succeeds answer objOop's (possibly moved) oop. If the attept fails, which can only occur if there is no memory, answer 0." <inline: false> | oldClone seg | <var: #seg type: #'SpurSegmentInfo *'> self assert: (self isNonImmediate: objOop). self flag: 'policy decision here. if already old, do we clone in a segment containing pinned objects or merely pin?'. "We choose to clone to keep pinned objects together to reduce fragmentation, assuming that pinning is rare and that fragmentation is a bad thing." (self isOldObject: objOop) ifTrue: [seg := segmentManager segmentContainingObj: objOop. seg containsPinned ifTrue: [self setIsPinnedOf: objOop to: true. ^objOop]. segmentManager someSegmentContainsPinned ifFalse: [self setIsPinnedOf: objOop to: true. seg containsPinned: true. ^objOop]]. oldClone := self cloneInOldSpaceForPinning: objOop. oldClone ~= 0 ifTrue: [becomeEffectsFlags := self becomeEffectFlagsFor: objOop. self setIsPinnedOf: oldClone to: true. self forward: objOop to: oldClone. + self followSpecialObjectsOop. coInterpreter postBecomeAction: becomeEffectsFlags. self postBecomeScanClassTable: becomeEffectsFlags. becomeEffectsFlags := 0]. ^oldClone! Item was changed: ----- Method: StackInterpreter>>addLastLink:toList: (in category 'process primitive support') ----- addLastLink: proc toList: aList "Add the given process to the end of the given linked list and set the backpointer of process to its new list." | lastLink | + self deny: (objectMemory isForwarded: proc). + self deny: (objectMemory isForwarded: aList). - self assert: (objectMemory isForwarded: aList) not. self assert: (objectMemory fetchPointer: NextLinkIndex ofObject: proc) = objectMemory nilObject. (self isEmptyList: aList) ifTrue: [objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: proc] ifFalse: [lastLink := objectMemory fetchPointer: LastLinkIndex ofObject: aList. self assert: lastLink ~= proc. objectMemory storePointer: NextLinkIndex ofObject: lastLink withValue: proc]. objectMemory storePointer: LastLinkIndex ofObject: aList withValue: proc. objectMemory storePointer: MyListIndex ofObject: proc withValue: aList! Item was changed: ----- Method: StackInterpreter>>followForwardingPointersInScheduler (in category 'object memory support') ----- followForwardingPointersInScheduler | schedAssoc sched procLists | schedAssoc := objectMemory splObj: SchedulerAssociation. "the GC follows pointers in the special objects array for us." self assert: (objectMemory isForwarded: schedAssoc) not. + "Make sure the active process has been followed." + self followForwardedObjectFields: schedAssoc toDepth: 1. - sched := objectMemory followObjField: ValueIndex ofObject: schedAssoc. + sched := objectMemory fetchPointer: ValueIndex ofObject: schedAssoc. + procLists := objectMemory followObjField: ProcessListsIndex ofObject: sched. + "Follow all links in the process list to ensure the lists are valid." 0 to: (objectMemory numSlotsOf: procLists) - 1 do: [:i| | list first last next | list := objectMemory followObjField: i ofObject: procLists. first := objectMemory followObjField: FirstLinkIndex ofObject: list. last := objectMemory followObjField: LastLinkIndex ofObject: list. [first ~= last] whileTrue: [next := objectMemory followObjField: NextLinkIndex ofObject: first. first := next]] ! Item was changed: ----- Method: StackInterpreter>>removeFirstLinkOfList: (in category 'process primitive support') ----- removeFirstLinkOfList: aList "Remove the first process from the given linked list." | first last next | + self deny: (objectMemory isForwarded: aList). - self assert: (objectMemory isForwarded: aList) not. first := objectMemory fetchPointer: FirstLinkIndex ofObject: aList. last := objectMemory fetchPointer: LastLinkIndex ofObject: aList. + self deny: (objectMemory isForwarded: first). + self deny: (objectMemory isForwarded: last). first = last + ifTrue: + [objectMemory + storePointerUnchecked: FirstLinkIndex ofObject: aList withValue: objectMemory nilObject; + storePointerUnchecked: LastLinkIndex ofObject: aList withValue: objectMemory nilObject] + ifFalse: + [next := objectMemory fetchPointer: NextLinkIndex ofObject: first. + objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: next]. + objectMemory storePointerUnchecked: NextLinkIndex ofObject: first withValue: objectMemory nilObject. + ^first! - ifTrue: [objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: objectMemory nilObject. - objectMemory storePointer: LastLinkIndex ofObject: aList withValue: objectMemory nilObject] - ifFalse: [next := objectMemory fetchPointer: NextLinkIndex ofObject: first. - objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: next]. - objectMemory storePointer: NextLinkIndex ofObject: first withValue: objectMemory nilObject. - ^ first! Item was changed: ----- Method: StackInterpreter>>removeProcess:fromList: (in category 'process primitive support') ----- removeProcess: aProcess fromList: aList "Remove a given process from a linked list. May fail if aProcess is not on the list." | firstLink lastLink nextLink tempLink | + self deny: (objectMemory isForwarded: aProcess). + self deny: (objectMemory isForwarded: aList). - self assert: (objectMemory isForwarded: aList) not. firstLink := objectMemory fetchPointer: FirstLinkIndex ofObject: aList. lastLink := objectMemory fetchPointer: LastLinkIndex ofObject: aList. + self deny: (objectMemory isForwarded: firstLink). + self deny: (objectMemory isForwarded: lastLink). + aProcess = firstLink + ifTrue: + [nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: aProcess. + self deny: (objectMemory isForwarded: nextLink). + objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: nextLink. + aProcess = lastLink ifTrue: + [objectMemory storePointerUnchecked: LastLinkIndex ofObject: aList withValue: objectMemory nilObject]] + ifFalse: + [tempLink := firstLink. + [self deny: (objectMemory isForwarded: tempLink). + tempLink = objectMemory nilObject ifTrue: + [self primitiveFail. ^self]. + nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: tempLink. + nextLink = aProcess] whileFalse: + [tempLink := objectMemory fetchPointer: NextLinkIndex ofObject: tempLink]. + nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: aProcess. + objectMemory storePointer: NextLinkIndex ofObject: tempLink withValue: nextLink. + aProcess = lastLink ifTrue: + [objectMemory storePointer: LastLinkIndex ofObject: aList withValue: tempLink]]. - aProcess = firstLink ifTrue:[ - nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: aProcess . - objectMemory storePointer: FirstLinkIndex ofObject: aList withValue: nextLink. - aProcess = lastLink ifTrue:[ - objectMemory storePointer: LastLinkIndex ofObject: aList withValue: objectMemory nilObject. - ]. - ] ifFalse:[ - tempLink := firstLink. - [tempLink = objectMemory nilObject ifTrue:[^self success: false]. "fail" - nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: tempLink. - nextLink = aProcess] whileFalse:[ - tempLink := objectMemory fetchPointer: NextLinkIndex ofObject: tempLink. - ]. - nextLink := objectMemory fetchPointer: NextLinkIndex ofObject: aProcess. - objectMemory storePointer: NextLinkIndex ofObject: tempLink withValue: nextLink. - aProcess = lastLink ifTrue:[ - objectMemory storePointer: LastLinkIndex ofObject: aList withValue: tempLink. - ]. - ]. objectMemory storePointer: NextLinkIndex ofObject: aProcess withValue: objectMemory nilObject! Item was changed: ----- Method: StackInterpreter>>spurPostBecomeAction: (in category 'object memory support') ----- spurPostBecomeAction: theBecomeEffectsFlags "Insulate the stack zone from the effects of a become. All receivers must be unfollowed for two reasons: 1. inst var access is direct with no read barrier 2. super sends (always to the receiver) have no class check and so don't trap for forwarded receivers. This is an issue for primitives that assume their receiver is valid and don't validate. Super sends require an explicit check to ensure receivers in super sends are unforwarded. e.g. super doSomethingWith: (self become: other) forwards the receiver self pushed on the stack. So we could avoid following non-pointer receivers. But this is too tricky, Instead, we always follow receivers. Methods must be unfollowed since bytecode access is direct with no read barrier. But this only needs to be done if the becomeEffectsFlags indicate that a CompiledMethod was becommed. The scheduler state must be followed, but only if the becomeEffectsFlags indicate that a pointer object was becommed." <option: #SpurObjectMemory> <inline: false> "For VM profiling" self flushAtCache. theBecomeEffectsFlags ~= 0 ifTrue: [(theBecomeEffectsFlags anyMask: BecameCompiledMethodFlag) ifTrue: [self followForwardedMethodsInMethodCache. self followForwardedMethodsInMethodZone]. "for CoInterpreter; must preceed followForwardingPointersInStackZone:" (theBecomeEffectsFlags anyMask: BecameActiveClassFlag) ifTrue: [self flushBecommedClassesInMethodCache. self flushBecommedClassesInMethodZone]. "for CoInterpreter" + (theBecomeEffectsFlags anyMask: BecamePointerObjectFlag) ifTrue: + [self followForwardingPointersInScheduler. + self followForwardingPointersInSpecialObjectsArray]. + (theBecomeEffectsFlags anyMask: BecamePointerObjectFlag + BecameCompiledMethodFlag) ifTrue: + [self followForwardingPointersInProfileState]]. - self followForwardingPointersInScheduler. - self followForwardingPointersInSpecialObjectsArray. - self followForwardingPointersInProfileState]. self followForwardingPointersInStackZone: theBecomeEffectsFlags!

1 0

New Cog VMs available
by Eliot Miranda 04 Jul '15

04 Jul '15

... at http://www.mirandabanda.org/files/Cog/VM/VM.r3395 These include the Squeak 4.6 & 5.0 release candidate VMs. Also included is a Newspeak ARM JIT VM. CogVM binaries as per VMMaker.oscog-eem.1403/r3395 Fix long-standing bug in primitiveVMParameter for setting, and hence allow Spur to set maxOldSpaceSize. Spur: Provide a limit to the size of old space on Spur. Access maxOldSpaceSize via vmParameterAt: 67 & command line parameter -maxoldspace. Cogit: Simplify pushRemoteTemp register management to be able to improve further the overall register management. -- best, Eliot

1 0

[commit][3396] Remember to upload the Newspeak ARM VM archive
by commits＠squeakvm.org 04 Jul '15

04 Jul '15

Revision: 3396 Author: eliot Date: 2015-07-04 09:09:13 -0700 (Sat, 04 Jul 2015) Log Message: ----------- Remember to upload the Newspeak ARM VM archive Modified Paths: -------------- branches/Cog/scripts/uploadvms Modified: branches/Cog/scripts/uploadvms =================================================================== --- branches/Cog/scripts/uploadvms 2015-06-30 01:32:55 UTC (rev 3395) +++ branches/Cog/scripts/uploadvms 2015-07-04 16:09:13 UTC (rev 3396) @@ -127,7 +127,7 @@ test -n "$WTSPUR" && ARCHIVES="$ARCHIVES cogspurmtwin-$TAG.zip" test -n "$LNSCOG" && ARCHIVES="$ARCHIVES nsvmlinux-$TAG.tgz nsvmlinuxht-$TAG.tgz" -test -n "$LNSSPUR" && ARCHIVES="$ARCHIVES nsvmspurlinux-$TAG.tgz nsvmspurlinuxht-$TAG.tgz" +test -n "$LNSSPUR" && ARCHIVES="$ARCHIVES nsvmspurlinux-$TAG.tgz nsvmspurlinuxht-$TAG.tgz nsvmspurlinuxhtARM-$TAG.tgz" test -n "$MNSCOG" && ARCHIVES="$ARCHIVES Newspeak Virtual Machine-$TAG.dmg Newspeak Virtual Machine.app-$TAG.tgz" test -n "$MNSSPUR" && ARCHIVES="$ARCHIVES Newspeak Spur Virtual Machine-$TAG.dmg Newspeak Spur Virtual Machine.app-$TAG.tgz" test -n "$WNSCOG" && ARCHIVES="$ARCHIVES nsvmwin-$TAG.zip nsvm-$TAG.msi"

1 0

VM Maker: VMMaker.oscog-eem.1404.mcz
by commits＠source.squeak.org 02 Jul '15

02 Jul '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1404.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1404 Author: eem Time: 2 July 2015, 9:40:01.397 am UUID: b73d0e90-367a-4575-8a29-87bbc81e4715 Ancestors: VMMaker.oscog-eem.1403 Fix merging of properties for super expansions. The old code would merge properties before renaming variables for inlining the super expansion, and forget to rename variable names in properties. The new code renames variables in properties as well as in the parse tree of copy to be inlined, and merges properties after renaming. Use super genSpecialSelectorEqualsEqualsWithForwarders in SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEqualsWithForwarders now that super expansion is fixed and nuke the indirection method. Fix SpurMemoryManager>>initializeWithOptions: to copy the options dictionary to its subclasses and all ancilliary classes. Fixes eg. in-image compilation now that maxOldSpaceSize is settable via options. =============== Diff against VMMaker.oscog-eem.1403 =============== Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEqualsWithForwarders (in category 'bytecode generators') ----- genSpecialSelectorEqualsEqualsWithForwarders "Override to count inlined branches if followed by a conditional branch. We borrow the following conditional branch's counter and when about to inline the comparison we decrement the counter (without writing it back) and if it trips simply abort the inlining, falling back to the normal send which will then continue to the conditional branch which will trip and enter the abort." | nextPC postBranchPC targetBytecodePC branchDescriptor counterReg fixup jumpEqual jumpNotEqual counterAddress countTripped unforwardArg unforwardRcvr argReg rcvrReg regMask | <var: #fixup type: #'BytecodeFixup *'> <var: #countTripped type: #'AbstractInstruction *'> <var: #label type: #'AbstractInstruction *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #jumpEqual type: #'AbstractInstruction *'> <var: #jumpNotEqual type: #'AbstractInstruction *'> + ((coInterpreter isOptimizedMethod: methodObj) or: [needsFrame not]) ifTrue: + [^super genSpecialSelectorEqualsEqualsWithForwarders]. - ((coInterpreter isOptimizedMethod: methodObj) or: [needsFrame not]) ifTrue: [ ^ self genSpecialSelectorEqualsEqualsWithForwardersWithoutCounters ]. regMask := 0. self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants)." self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. argReg ifNotNil: [ regMask := self registerMaskFor: argReg ]. rcvrReg ifNotNil: [ regMask := regMask bitOr: (self registerMaskFor: rcvrReg) ]. "Only interested in inlining if followed by a conditional branch." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genEqualsEqualsNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg]. "If branching the stack must be flushed for the merge" self ssFlushTo: simStackPtr - 2. unforwardArg ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg ]. unforwardRcvr ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: rcvrReg scratchReg: TempReg ]. counterReg := self allocateRegNotConflictingWith: regMask. self genExecutionCountLogicInto: [ :cAddress :countTripBranch | counterAddress := cAddress. countTripped := countTripBranch ] counterReg: counterReg. self assert: (unforwardArg or: [ unforwardRcvr ]). self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. branchDescriptor isBranchTrue ifTrue: [ fixup := self ensureNonMergeFixupAt: postBranchPC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. ] ifFalse: [ fixup := self ensureNonMergeFixupAt: targetBytecodePC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: postBranchPC - initialPC) asUnsignedInteger. ]. self genFallsThroughCountLogicCounterReg: counterReg counterAddress: counterAddress. self Jump: fixup. countTripped jmpTarget: self Label. "inlined version of #== ignoring the branchDescriptor if the counter trips to have normal state for the optimizer" self ssPop: -2. self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. "This code necessarily directly falls through the jumpIf: code which pops the top of the stack into TempReg. We therefore directly assign the result to TempReg to save one move instruction" jumpEqual := self JumpZero: 0. self genMoveFalseR: TempReg. jumpNotEqual := self Jump: 0. jumpEqual jmpTarget: (self genMoveTrueR: TempReg). jumpNotEqual jmpTarget: self Label. self ssPushRegister: TempReg. (self fixupAt: nextPC - initialPC) targetInstruction = 0 ifTrue: [ branchReachedOnlyForCounterTrip := true ]. ^ 0! Item was removed: - ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEqualsWithForwardersWithoutCounters (in category 'bytecode generators') ----- - genSpecialSelectorEqualsEqualsWithForwardersWithoutCounters - "This method is there because if I put directly the super send in genSpecialSelectorComparison Slang does not correctly translte the code to C, it does not correctly type one of the branchDescriptor to BytecodeDescriptor" - ^ super genSpecialSelectorEqualsEqualsWithForwarders! Item was changed: ----- Method: SpurMemoryManager class>>initializeWithOptions: (in category 'class initialization') ----- initializeWithOptions: optionsDictionary "SpurMemoryManager initializeWithOptions: Dictionary new" + {self}, (self ancilliaryClasses: optionsDictionary) do: + [:aSuperclass| + aSuperclass withAllSubclasses do: + [:class| class initializationOptions: optionsDictionary]]. + super initializeWithOptions: optionsDictionary. self initialize. self initBytesPerWord: (self == SpurMemoryManager ifTrue: [optionsDictionary at: #BytesPerWord ifAbsent: [4]] ifFalse: [self wordSize]). self initializeObjectHeaderConstants. "Initializes BaseHeaderSize so do early" self initializeSpurObjectRepresentationConstants. self initializeSpecialObjectIndices. self initializeCompactClassIndices. self initializePrimitiveErrorCodes. SpurGenerationScavenger initialize! Item was changed: ----- Method: TMethod>>renameVariablesUsing: (in category 'inlining support') ----- renameVariablesUsing: aDictionary "Rename all variables according to old->new mappings of the given dictionary." + | newDecls newProperties | - | newDecls | "map args and locals" args := args collect: [ :arg | aDictionary at: arg ifAbsent: [ arg ]]. locals := locals collect: [ :v | aDictionary at: v ifAbsent: [ v ]]. "map declarations" newDecls := declarations species new. declarations keysAndValuesDo: [:oldName :decl| (aDictionary at: oldName ifAbsent: nil) ifNotNil: [:newName| | index | index := decl indexOfWord: oldName. newDecls at: newName put: (index ~= 0 ifTrue: [decl copyReplaceFrom: index to: index + oldName size - 1 with: newName] ifFalse: [decl])] ifNil: [newDecls at: oldName put: decl]]. self newDeclarations: newDecls. + newProperties := properties copy. + newProperties pragmas do: + [:pragma| | mappedArgs | + mappedArgs := pragma arguments collect: [:arg| arg isString ifTrue: [aDictionary at: arg ifAbsent: arg] ifFalse: [arg]]. + mappedArgs ~= pragma arguments ifTrue: + [pragma setArguments: mappedArgs]]. + self properties: newProperties. + "map variable names in parse tree" parseTree nodesDo: [ :node | (node isVariable and: [aDictionary includesKey: node name]) ifTrue: [node setName: (aDictionary at: node name)]. (node isStmtList and: [node args size > 0]) ifTrue: [node setArguments: (node args collect: [ :arg | aDictionary at: arg ifAbsent: [ arg ]])]]! Item was changed: ----- Method: TMethod>>superExpansionNodeFor:args: (in category 'inlining') ----- superExpansionNodeFor: aSelector args: argumentNodes "Answer the expansion of a super send. Merge the super expansion's locals, properties and comment into this method's properties." (definingClass superclass lookupSelector: aSelector) ifNil: [self error: 'superclass does not define super method'] ifNotNil: [:superMethod| | superTMethod commonVars varMap | superTMethod := superMethod methodNode asTranslationMethodOfClass: self class. ((argumentNodes allSatisfy: [:parseNode| parseNode isVariableNode]) and: [(argumentNodes asOrderedCollection collect: [:parseNode| parseNode key]) = superTMethod args]) ifFalse: [self error: definingClass name, '>>',selector, ' args ~= ', superTMethod definingClass name, '>>', aSelector, (String with: $. with: Character cr), 'For super expansions to be translated correctly each argument must be a variable with the same name as the corresponding argument in the super method.']. - self mergePropertiesOfSuperMethod: superTMethod. (commonVars := superTMethod locals intersection: self locals) notEmpty ifTrue: [varMap := Dictionary new. commonVars do: [:k| varMap at: k put: (superTMethod unusedNamePrefixedBy: k avoiding: self allLocals)]. superTMethod renameVariablesUsing: varMap]. + self mergePropertiesOfSuperMethod: superTMethod. self assert: (superTMethod locals allSatisfy: [:var| (self locals includes: var) not]). locals addAll: superTMethod locals. superTMethod declarations keysAndValuesDo: [:var :decl| self declarationAt: var put: decl]. superTMethod comment ifNotNil: [:superComment| comment := comment ifNil: [superComment] ifNotNil: [superComment, comment]]. superTMethod extraVariableNumber ifNotNil: [:scvn| extraVariableNumber := extraVariableNumber ifNil: [scvn] ifNotNil: [:cvn| cvn + scvn]]. superTMethod elideAnyFinalReturn. ^superTMethod parseTree]!

1 0

Re: [Vm-dev] VM Maker: Cog-EstebanLorenzano.274.mcz
by Esteban Lorenzano 01 Jul '15

01 Jul '15

sorry, I made a stupid bad commit… please remove? thanks! Esteban > On 01 Jul 2015, at 12:25, commits(a)source.squeak.org wrote: > > > Esteban Lorenzano uploaded a new version of Cog to project VM Maker: > http://source.squeak.org/VMMaker/Cog-EstebanLorenzano.274.mcz > > ==================== Summary ==================== > > Name: Cog-EstebanLorenzano.274 > Author: EstebanLorenzano > Time: 1 July 2015, 2:25:04.350718 pm > UUID: c99c1364-253e-4ede-8620-e8df4e8cb3f5 > Ancestors: Cog-EstebanLorenzano.273 > > special objects array needs to store BoxedFloat64, not Float > > =============== Diff against Cog-eem.270 =============== > > Item was changed: > + SystemOrganization addCategory: #Cog! > + SystemOrganization addCategory: 'Cog-Bootstrapping'! > + SystemOrganization addCategory: 'Cog-Morphing Bytecode Set'! > + SystemOrganization addCategory: 'Cog-ProcessorPlugins'! > + SystemOrganization addCategory: 'Cog-Processors'! > + SystemOrganization addCategory: 'Cog-Processors-Tests'! > + SystemOrganization addCategory: 'Cog-Scripting'! > + SystemOrganization addCategory: 'Cog-Scripts'! > + SystemOrganization addCategory: 'Cog-Tests'! > - SystemOrganization addCategory: #'Cog-Bootstrapping'! > - SystemOrganization addCategory: #'Cog-Morphing Bytecode Set'! > - SystemOrganization addCategory: #'Cog-ProcessorPlugins'! > - SystemOrganization addCategory: #'Cog-Processors'! > - SystemOrganization addCategory: #'Cog-Processors-Tests'! > - SystemOrganization addCategory: #'Cog-Scripting'! > - SystemOrganization addCategory: #'Cog-Scripts'! > - SystemOrganization addCategory: #'Cog-Tests'! > > Item was changed: > ----- Method: Behavior>>BehaviorPROTOTYPEinstSize (in category '*Cog-method prototypes') ----- > BehaviorPROTOTYPEinstSize > "Answer the number of named instance variables > (as opposed to indexed variables) of the receiver. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size>" > ^format bitAnd: 16rFFFF! > > Item was changed: > ----- Method: Behavior>>BehaviorPROTOTYPEinstSpec (in category '*Cog-method prototypes') ----- > BehaviorPROTOTYPEinstSpec > "Answer the instance specification part of the format that defines what kind of object > an instance of the receiver is. The formats are > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > ^(format bitShift: -16) bitAnd: 16r1F! > > Item was changed: > ----- Method: BlockClosure>>BlockClosurePROTOTYPEsimulateValueWithArguments:caller: (in category '*Cog-method prototypes') ----- > BlockClosurePROTOTYPEsimulateValueWithArguments: anArray caller: aContext > "Simulate the valueWithArguments: primitive. Fail if anArray is not an array of the right arity." > | newContext sz | > + newContext := (Context newForMethod: outerContext method) > - newContext := (MethodContext newForMethod: outerContext method) > setSender: aContext > receiver: outerContext receiver > method: outerContext method > closure: self > startpc: startpc. > ((newContext objectClass: anArray) ~~ Array > or: [numArgs ~= anArray size]) ifTrue: > + [^Context primitiveFailTokenFor: nil]. > - [^ContextPart primitiveFailTokenFor: nil]. > sz := self basicSize. > newContext stackp: sz + numArgs. > 1 to: numArgs do: > [:i| newContext at: i put: (anArray at: i)]. > 1 to: sz do: > [:i| newContext at: i + numArgs put: (self at: i)]. > ^newContext! > > Item was added: > + ----- Method: ClassDescription>>ClassDescriptionPROTOTYPEmethodClassAssociation: (in category '*Cog-method prototypes squeak') ----- > + ClassDescriptionPROTOTYPEmethodClassAssociation: aBinding > + "sets the association to the class that I am installed in" > + ^self literalAt: self numLiterals put: aBinding! > > Item was changed: > ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEheaderFlagForEncoder: (in category '*Cog-method prototypes') ----- > CompiledMethodclassPROTOTYPEheaderFlagForEncoder: anEncoder > + ^ 0 > + "anEncoder class == PrimaryBytecodeSetEncoderClass ifTrue: [ ^0 ]. > + anEncoder class == SecondaryBytecodeSetEncoderClass ifTrue: [ ^SmallInteger minVal ]. > + self error: 'The encoder is not one of the two installed byte code sets'"! > - anEncoder class == PrimaryBytecodeSetEncoderClass ifTrue: > - [^0]. > - anEncoder class == SecondaryBytecodeSetEncoderClass ifTrue: > - [^SmallInteger minVal]. > - self error: 'The encoder is not one of the two installed bytecode sets'! > > Item was changed: > ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEinitialize (in category '*Cog-method prototypes') ----- > CompiledMethodclassPROTOTYPEinitialize "CompiledMethod initialize" > "Initialize class variables specifying the size of the temporary frame > needed to run instances of me." > > SmallFrame := 16. "Context range for temps+stack" > LargeFrame := 56. > PrimaryBytecodeSetEncoderClass ifNil: > [PrimaryBytecodeSetEncoderClass := EncoderForV3PlusClosures]. > SecondaryBytecodeSetEncoderClass ifNil: > [SecondaryBytecodeSetEncoderClass := EncoderForV3PlusClosures]! > > Item was changed: > ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: (in category '*Cog-method prototypes') ----- > CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: aBytecodeEncoderSubclass > PrimaryBytecodeSetEncoderClass == aBytecodeEncoderSubclass ifTrue: > [^self]. > (aBytecodeEncoderSubclass inheritsFrom: BytecodeEncoder) ifFalse: > [self error: 'A bytecode set encoder is expected to be a subclass of BytecodeEncoder']. > (self allSubInstances > detect: [:m| m header >= 0 and: [m encoderClass ~~ aBytecodeEncoderSubclass]] > ifNone: []) ifNotNil: > [Warning signal: 'There are existing CompiledMethods with a different encoderClass.']. > PrimaryBytecodeSetEncoderClass := aBytecodeEncoderSubclass! > > Item was changed: > ----- Method: CompiledMethod>>CompiledMethodPROTOTYPEencoderClass (in category '*Cog-method prototypes') ----- > CompiledMethodPROTOTYPEencoderClass > "Answer the encoder class that encoded the bytecodes in this method. > The sign flag bit is used by the VM to select a bytecode set. This formulation > may seem odd but this has to be fast, so no property probe unless needed." > > ^self header >= 0 > ifTrue: > [PrimaryBytecodeSetEncoderClass] > ifFalse: > [PrimaryBytecodeSetEncoderClass == SecondaryBytecodeSetEncoderClass > ifTrue: "Support for testing prior to installing another set" > [(self propertyValueAt: #encoderClass) ifNil: [SecondaryBytecodeSetEncoderClass]] > ifFalse: > [SecondaryBytecodeSetEncoderClass]]! > > Item was removed: > - ----- Method: ContextPart>>ContextPartPROTOTYPEdoPrimitive:method:receiver:args: (in category '*Cog-method prototypes') ----- > - ContextPartPROTOTYPEdoPrimitive: primitiveIndex method: meth receiver: receiver args: arguments > - "Simulate a primitive method whose index is primitiveIndex. The simulated receiver and > - arguments are given as arguments to this message. If successful, push result and return > - resuming context, else ^ {errCode, PrimitiveFailToken}. Any primitive which provokes > - execution needs to be intercepted and simulated to avoid execution running away." > - > - | value | > - "Judicious use of primitive 19 (a null primitive that doesn't do anything) prevents > - the debugger from entering various run-away activities such as spawning a new > - process, etc. Injudicious use results in the debugger not being able to debug > - interesting code, such as the debugger itself. hence use primitive 19 with care :-)" > - "SystemNavigation new browseAllSelect: [:m| m primitive = 19]" > - primitiveIndex = 19 ifTrue: > - [ToolSet > - debugContext: self > - label:'Code simulation error' > - contents: nil]. > - > - ((primitiveIndex between: 201 and: 222) > - and: [(self objectClass: receiver) includesBehavior: BlockClosure]) ifTrue: > - [((primitiveIndex between: 201 and: 205) "BlockClosure>>value[:value:...]" > - or: [primitiveIndex between: 221 and: 222]) ifTrue: "BlockClosure>>valueNoContextSwitch[:]" > - [^receiver simulateValueWithArguments: arguments caller: self]. > - primitiveIndex = 206 ifTrue: "BlockClosure>>valueWithArguments:" > - [^receiver simulateValueWithArguments: arguments first caller: self]]. > - > - primitiveIndex = 83 ifTrue: "afr 9/11/1998 19:50" "Object>>perform:[with:...]" > - [^self send: arguments first to: receiver with: arguments allButFirst super: false]. > - primitiveIndex = 84 ifTrue: "afr 9/11/1998 19:50 & eem 8/18/2009 17:04" "Object>>perform:withArguments:" > - [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (self objectClass: receiver)]. > - primitiveIndex = 100 ifTrue: "eem 8/18/2009 16:57" "Object>>perform:withArguments:inSuperclass:" > - [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (arguments at: 3)]. > - > - "Mutex>>primitiveEnterCriticalSection > - Mutex>>primitiveTestAndSetOwnershipOfCriticalSection" > - (primitiveIndex = 186 or: [primitiveIndex = 187]) ifTrue: > - [| active effective | > - active := Processor activeProcess. > - effective := active effectiveProcess. > - "active == effective" > - value := primitiveIndex = 186 > - ifTrue: [receiver primitiveEnterCriticalSectionOnBehalfOf: effective] > - ifFalse: [receiver primitiveTestAndSetOwnershipOfCriticalSectionOnBehalfOf: effective]. > - ^(self isPrimFailToken: value) > - ifTrue: [value] > - ifFalse: [self push: value]]. > - > - primitiveIndex = 188 ifTrue: "eem 5/27/2008 11:10 Object>>withArgs:executeMethod:" > - [^MethodContext > - sender: self > - receiver: receiver > - method: (arguments at: 2) > - arguments: (arguments at: 1)]. > - > - "Closure primitives" > - (primitiveIndex = 200 and: [self == receiver]) ifTrue: > - "ContextPart>>closureCopy:copiedValues:; simulated to get startpc right" > - [^self push: (BlockClosure > - outerContext: receiver > - startpc: pc + 2 > - numArgs: arguments first > - copiedValues: arguments last)]. > - > - primitiveIndex = 118 ifTrue: "tryPrimitive:withArgs:; avoid recursing in the VM" > - [(arguments size = 2 > - and: [arguments first isInteger > - and: [(self objectClass: arguments last) == Array]]) ifFalse: > - [^ContextPart primitiveFailTokenFor: nil]. > - ^self doPrimitive: arguments first method: meth receiver: receiver args: arguments last]. > - > - value := primitiveIndex = 120 "FFI method" > - ifTrue: [(meth literalAt: 1) tryInvokeWithArguments: arguments] > - ifFalse: > - [primitiveIndex = 117 "named primitives" > - ifTrue: [self tryNamedPrimitiveIn: meth for: receiver withArgs: arguments] > - ifFalse: [receiver tryPrimitive: primitiveIndex withArgs: arguments]]. > - > - ^(self isPrimFailToken: value) > - ifTrue: [value] > - ifFalse: [self push: value]! > > Item was removed: > - ----- Method: ContextPart>>ContextPartPROTOTYPEisPrimFailToken: (in category '*Cog-method prototypes') ----- > - ContextPartPROTOTYPEisPrimFailToken: anObject > - ^(self objectClass: anObject) == Array > - and: [anObject size = 2 > - and: [anObject first == PrimitiveFailToken]]! > > Item was changed: > ----- Method: Decompiler>>DecompilerPROTOTYPEdecompile:in:method:using: (in category '*Cog-method prototypes squeak 4.3') ----- > DecompilerPROTOTYPEdecompile: aSelector in: aClass method: aMethod using: aConstructor > > | block node | > constructor := aConstructor. > method := aMethod. > self initSymbols: aClass. "create symbol tables" > method isQuick > ifTrue: [block := self quickMethod] > ifFalse: > [stack := OrderedCollection new: method frameSize. > lastJumpIfPcStack := OrderedCollection new. > caseExits := OrderedCollection new. > statements := OrderedCollection new: 20. > numLocalTemps := 0. > super method: method pc: method initialPC. > "skip primitive error code store if necessary" > (method primitive ~= 0 and: [self skipCallPrimitive; willStore]) ifTrue: > [pc := pc + (method encoderClass bytecodeSize: self firstByte). > tempVars := tempVars asOrderedCollection]. > block := self blockTo: method endPC + 1. > stack isEmpty ifFalse: [self error: 'stack not empty']]. > node := constructor > codeMethod: aSelector > block: block > tempVars: tempVars > primitive: method primitive > class: aClass. > method primitive > 0 ifTrue: > [node removeAndRenameLastTempIfErrorCode]. > ^node preen! > > Item was changed: > ----- Method: InstructionStream>>InstructionStreamPROTOTYPEinterpretV3ClosuresExtension:in:for: (in category '*Cog-method prototypes') ----- > InstructionStreamPROTOTYPEinterpretV3ClosuresExtension: offset in: method for: client > | type offset2 byte2 byte3 byte4 | > offset <= 6 ifTrue: > ["Extended op codes 128-134" > byte2 := method at: pc. pc := pc + 1. > offset <= 2 ifTrue: > ["128-130: extended pushes and pops" > type := byte2 // 64. > offset2 := byte2 \\ 64. > offset = 0 ifTrue: > [type = 0 ifTrue: [^client pushReceiverVariable: offset2]. > type = 1 ifTrue: [^client pushTemporaryVariable: offset2]. > type = 2 ifTrue: [^client pushConstant: (method literalAt: offset2 + 1)]. > type = 3 ifTrue: [^client pushLiteralVariable: (method literalAt: offset2 + 1)]]. > offset = 1 ifTrue: > [type = 0 ifTrue: [^client storeIntoReceiverVariable: offset2]. > type = 1 ifTrue: [^client storeIntoTemporaryVariable: offset2]. > type = 2 ifTrue: [self error: 'illegalStore']. > type = 3 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: offset2 + 1)]]. > offset = 2 ifTrue: > [type = 0 ifTrue: [^client popIntoReceiverVariable: offset2]. > type = 1 ifTrue: [^client popIntoTemporaryVariable: offset2]. > type = 2 ifTrue: [self error: 'illegalStore']. > type = 3 ifTrue: [^client popIntoLiteralVariable: (method literalAt: offset2 + 1)]]]. > "131-134: extended sends" > offset = 3 ifTrue: "Single extended send" > [^client send: (method literalAt: byte2 \\ 32 + 1) > super: false numArgs: byte2 // 32]. > offset = 4 ifTrue: "Double extended do-anything" > [byte3 := method at: pc. pc := pc + 1. > type := byte2 // 32. > type = 0 ifTrue: [^client send: (method literalAt: byte3 + 1) > super: false numArgs: byte2 \\ 32]. > type = 1 ifTrue: [^client send: (method literalAt: byte3 + 1) > super: true numArgs: byte2 \\ 32]. > type = 2 ifTrue: [^client pushReceiverVariable: byte3]. > type = 3 ifTrue: [^client pushConstant: (method literalAt: byte3 + 1)]. > type = 4 ifTrue: [^client pushLiteralVariable: (method literalAt: byte3 + 1)]. > type = 5 ifTrue: [^client storeIntoReceiverVariable: byte3]. > type = 6 ifTrue: [^client popIntoReceiverVariable: byte3]. > type = 7 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: byte3 + 1)]]. > offset = 5 ifTrue: "Single extended send to super" > [^client send: (method literalAt: byte2 \\ 32 + 1) > super: true > numArgs: byte2 // 32]. > offset = 6 ifTrue: "Second extended send" > [^client send: (method literalAt: byte2 \\ 64 + 1) > super: false > numArgs: byte2 // 64]]. > offset = 7 ifTrue: [^client doPop]. > offset = 8 ifTrue: [^client doDup]. > offset = 9 ifTrue: [^client pushActiveContext]. > byte2 := method at: pc. pc := pc + 1. > offset = 10 ifTrue: > [^byte2 < 128 > ifTrue: [client pushNewArrayOfSize: byte2] > ifFalse: [client pushConsArrayWithElements: byte2 - 128]]. > byte3 := method at: pc. pc := pc + 1. > offset = 11 ifTrue: [^client callPrimitive: byte2 + (byte3 bitShift: 8)]. > offset = 12 ifTrue: [^client pushRemoteTemp: byte2 inVectorAt: byte3]. > offset = 13 ifTrue: [^client storeIntoRemoteTemp: byte2 inVectorAt: byte3]. > offset = 14 ifTrue: [^client popIntoRemoteTemp: byte2 inVectorAt: byte3]. > "offset = 15" > byte4 := method at: pc. pc := pc + 1. > ^client > pushClosureCopyNumCopiedValues: (byte2 bitShift: -4) > numArgs: (byte2 bitAnd: 16rF) > blockSize: (byte3 * 256) + byte4! > > Item was changed: > ----- Method: InstructionStream>>InstructionStreamPROTOTYPEnextPc: (in category '*Cog-method prototypes') ----- > InstructionStreamPROTOTYPEnextPc: currentByte > "Answer the pc of the next bytecode following the current one, given the current bytecode.." > > ^pc + (self method encoderClass bytecodeSize: currentByte)! > > Item was changed: > ----- Method: MCClassDefinition>>MCClassDefinitionPROTOTYPEkindOfSubclass (in category '*Cog-method prototypes squeak 4.3') ----- > MCClassDefinitionPROTOTYPEkindOfSubclass > type = #normal ifTrue: [^' subclass: ']. > type = #variable ifTrue: [^' variableSubclass: ']. > type = #bytes ifTrue: [^' variableByteSubclass: ']. > type = #compiledMethod ifTrue: [^' variableByteSubclass: ' ]. > type = #words ifTrue: [^' variableWordSubclass: ']. > type = #weak ifTrue: [^' weakSubclass: ' ]. > type = #ephemeron ifTrue: [^' ephemeronSubclass: ' ]. > type = #immediate ifTrue: [^' immediateSubclass: ' ]. > self error: 'Unrecognized class type'! > > Item was changed: > ----- Method: MCMethodDefinition>>MCMethodDefinitionPROTOTYPEinitializeWithClassName:classIsMeta:selector:category:timeStamp:source: (in category '*Cog-method prototypes squeak 4.3') ----- > MCMethodDefinitionPROTOTYPEinitializeWithClassName: classString > classIsMeta: metaBoolean > selector: selectorString > category: catString > timeStamp: timeString > source: sourceString > className := classString asSymbol. > selector := selectorString asSymbol. > category := catString ifNil: [Categorizer default] ifNotNil: [catString asSymbol]. > timeStamp := timeString. > classIsMeta := metaBoolean. > source := sourceString withSqueakLineEndings! > > Item was removed: > - ----- Method: MethodContext>>MethodContextPROTOTYPEfailPrimitiveWith: (in category '*Cog-method prototypes') ----- > - MethodContextPROTOTYPEfailPrimitiveWith: maybePrimFailToken > - "The receiver is a freshly-created context on a primitive method. Skip the callPrimitive: > - bytecode and store the primitive fail code if there is one and the method consumes it." > - self skipCallPrimitive. > - ((self isPrimFailToken: maybePrimFailToken) > - and: [method encoderClass isStoreAt: pc in: method]) ifTrue: > - [self at: stackp put: maybePrimFailToken last]! > > Item was removed: > - ----- Method: MethodContext>>xray (in category '*Cog-Tests-xrays') ----- > - xray > - "Lift the veil from a context and answer an integer describing its interior state. > - Used for e.g. VM tests so they can verify they're testing what they think they're testing. > - 0 implies a vanilla heap context. > - Bit 0 = is or was married to a frame > - Bit 1 = is still married to a frame > - Bit 2 = frame is executing machine code > - Bit 3 = has machine code pc (as opposed to nil or a bytecode pc) > - Bit 4 = method is currently compiled to machine code" > - <primitive: 213> > - ^0 "Can only fail if unimplemented; therefore simply answer 0"! > > Item was removed: > - ----- Method: MethodContext>>xrayIsDivorced (in category '*Cog-Tests-xrays') ----- > - xrayIsDivorced > - ^(self xray bitAnd: 3) = 1! > > Item was removed: > - ----- Method: MethodContext>>xrayIsExecutingMachineCode (in category '*Cog-Tests-xrays') ----- > - xrayIsExecutingMachineCode > - ^self xray anyMask: 4! > > Item was removed: > - ----- Method: MethodContext>>xrayIsMarried (in category '*Cog-Tests-xrays') ----- > - xrayIsMarried > - ^self xray anyMask: 2! > > Item was removed: > - ----- Method: MethodContext>>xrayLastExecutedMachineCode (in category '*Cog-Tests-xrays') ----- > - xrayLastExecutedMachineCode > - ^self xray anyMask: 8! > > Item was removed: > - ----- Method: MethodContext>>xrayMethodIsCompiledToMachineCode (in category '*Cog-Tests-xrays') ----- > - xrayMethodIsCompiledToMachineCode > - ^self xray anyMask: 16! > > Item was added: > + ----- Method: MethodNode>>MethodNodePROTOTYPEgenerate:using:ifQuick: (in category '*Cog-method prototypes') ----- > + MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass ifQuick: methodBlock > + | v | > + (primitive = 0 and: [arguments size = 0 and: [block isQuick]]) ifFalse: > + [^self]. > + v := block code. > + v < 0 ifTrue: > + [^self]. > + v = LdSelf ifTrue: > + [^methodBlock value: (aCompiledMethodClass toReturnSelfTrailerBytes: trailer)]. > + (v between: LdTrue and: LdMinus1 + 3) ifTrue: > + [^methodBlock value: (aCompiledMethodClass toReturnConstant: v - LdSelf trailerBytes: trailer)]. > + v < ((CodeBases at: LdInstType) + (CodeLimits at: LdInstType)) ifTrue: > + [^methodBlock value: (aCompiledMethodClass toReturnField: v trailerBytes: trailer)]. > + v // 256 = 1 ifTrue: > + [^methodBlock value: (aCompiledMethodClass toReturnField: v \\ 256 trailerBytes: trailer)]! > > Item was changed: > ----- Method: SimulatorHarness>>interpreter:object:perform:withArguments: (in category 'bootstrap methods') ----- > interpreter: sim object: receiver perform: selector withArguments: arguments > "Interpret an expression in oldHeap using oldInterpreter. > Answer the result." > | fp savedpc savedsp savedStackPages result startByteCount | > self assert: ({receiver. selector}, arguments allSatisfy: > [:oop| oop isInteger and: [sim objectMemory addressCouldBeOop: oop]]). > savedpc := sim localIP. > savedsp := sim localSP. > savedStackPages := Set with: sim stackPage. > sim internalPush: receiver. > arguments do: [:arg| sim internalPush: arg]. > sim > argumentCount: arguments size; > messageSelector: selector. > fp := sim localFP. > startByteCount := sim byteCount. > "sim byteCount = 66849 ifTrue: [self halt]." > sim normalSend. > sim incrementByteCount. "otherwise, send is not counted" > ["sim printFrame: sim localFP WithSP: sim localSP" > "sim setBreakSelector: #elementsForwardIdentityTo:" > "sim byteCount = 66849 ifTrue: [self halt]." > "(sim byteCount > 7508930 and: [sim localFP = -16r27894]) ifTrue: > [self halt]." > fp = sim localFP] whileFalse: > [sim singleStep. > (savedStackPages includes: sim stackPage) ifFalse: "If the stack gets deep something has probably gone wrong..." > [savedStackPages size > 20 ifTrue: [self halt]. > savedStackPages add: sim stackPage]]. > result := sim internalPopStack. > self assert: savedsp = sim localSP. > self assert: sim localIP - 1 = savedpc. > sim localIP: savedpc. > ^result! > > Item was changed: > ----- Method: SimulatorHarness>>withExecutableInterpreter:do: (in category 'bootstrap methods') ----- > withExecutableInterpreter: sim do: aBlock > "With the oldInterpreter ready to execute code, evaluate aBlock, > then return the interpreter (and the heap) to the ``just snapshotted'' state." > | savedpc savedfp initialContext finalContext | > sim > initStackPages; > loadInitialContext; > internalizeIPandSP. > savedpc := sim localIP. > savedfp := sim localFP. > "sim printHeadFrame." > aBlock value. > "sim printHeadFrame." > sim > internalPush: sim localIP; > externalizeIPandSP. > "now undo the execution state" > self assert: sim localFP = savedfp. > initialContext := sim frameContext: savedfp. > finalContext := sim voidVMStateForSnapshotFlushingExternalPrimitivesIf: false. > self assert: initialContext = finalContext. > self assert: sim localIP = savedpc. > sim objectMemory > storePointer: SuspendedContextIndex > ofObject: sim activeProcess > withValue: finalContext! > > Item was changed: > ----- Method: SpurBootstrap class>>bootstrapPharoImage: (in category 'utilities') ----- > bootstrapPharoImage: imageFileBaseName > | oldCompilerClass oldBytecodeBackend | > > oldCompilerClass := SmalltalkImage compilerClass. > oldBytecodeBackend := CompilationContext bytecodeBackend. > [ > SmalltalkImage compilerClass: Compiler. > - CompilationContext bytecodeBackend: IRSpurSqueakV3PlusClosuresBytecodeGenerator. > self bootstrapImage: imageFileBaseName type: 'pharo' ] > ensure: [ > SmalltalkImage compilerClass: oldCompilerClass. > CompilationContext bytecodeBackend: oldBytecodeBackend ]! > > Item was changed: > ----- Method: SpurBootstrap>>allPrototypeMethodSymbols (in category 'method prototypes') ----- > allPrototypeMethodSymbols > "self basicNew allPrototypeMethodSymbols" > | symbols | > + "self assert: SpurBootstrap isolatedPrototypes isEmpty." > - self assert: SpurBootstrap isolatedPrototypes isEmpty. > symbols := Set new. > self prototypeClassNameMetaSelectorMethodDo: > [:className :isMeta :selector :method | | adder | > symbols > add: className; > add: selector. > adder := [:lit| > (lit isSymbol and: [lit ~~ method selector]) ifTrue: [symbols add: lit]. > lit isArray ifTrue: [lit do: adder]]. > method literals do: adder]. > ^symbols! > > Item was changed: > ----- Method: SpurBootstrap>>allocateClassTable (in category 'bootstrap image') ----- > allocateClassTable > "Allocate the root of the classTable plus enough pages to accomodate all classes in > the classToIndex map. Don't fill in the entries yet; the classes have yet to be cloned." > | tableRoot page maxSize numPages | > tableRoot := newHeap > allocateSlots: newHeap classTableRootSlots + newHeap hiddenRootSlots > format: newHeap arrayFormat > classIndex: newHeap arrayClassIndexPun. > self assert: (newHeap numSlotsOf: tableRoot) = (newHeap classTableRootSlots + newHeap hiddenRootSlots). > self assert: (newHeap formatOf: tableRoot) = newHeap arrayFormat. > self assert: (newHeap classIndexOf: tableRoot) = newHeap arrayClassIndexPun. > newHeap nilFieldsOf: tableRoot. > "first page is strong" > page := newHeap > allocateSlots: newHeap classTablePageSize > format: newHeap arrayFormat > classIndex: newHeap arrayClassIndexPun. > self assert: (newHeap numSlotsOf: page) = newHeap classTablePageSize. > self assert: (newHeap formatOf: tableRoot) = newHeap arrayFormat. > self assert: (newHeap classIndexOf: tableRoot) = newHeap arrayClassIndexPun. > self assert: (newHeap objectAfter: tableRoot limit: newHeap freeStart) = page. > lastClassTablePage := page. > newHeap nilFieldsOf: page. > newHeap storePointer: 0 ofObject: tableRoot withValue: page. > newHeap setHiddenRootsObj: tableRoot. > maxSize := classToIndex inject: 0 into: [:a :b| a max: b]. > numPages := (maxSize + newHeap classTableMinorIndexMask / newHeap classTablePageSize) truncated. > 2 to: numPages do: > [:i| > page := newHeap > allocateSlots: newHeap classTablePageSize > format: newHeap arrayFormat > classIndex: newHeap arrayClassIndexPun. > self assert: (newHeap numSlotsOf: page) = newHeap classTablePageSize. > self assert: (newHeap formatOf: page) = newHeap arrayFormat. > self assert: (newHeap classIndexOf: page) = newHeap arrayClassIndexPun. > newHeap fillObj: page numSlots: newHeap classTablePageSize with: newHeap nilObject. > newHeap storePointer: i - 1 ofObject: tableRoot withValue: page. > self assert: (newHeap objectAfter: (newHeap fetchPointer: i - 2 ofObject: tableRoot) limit: newHeap freeStart) = page. > lastClassTablePage := page]. > "and once again to recompute numClassTablePages post building the class table." > newHeap instVarNamed: 'numClassTablePages' put: nil. > newHeap setHiddenRootsObj: tableRoot! > > Item was changed: > ----- Method: SpurBootstrap>>bootstrapImageUsingFileReference: (in category 'public access') ----- > bootstrapImageUsingFileReference: imageName > | dirName baseName dir | > dirName := imageName asFileReference parent fullName. > baseName := (imageName endsWith: '.image') > ifTrue: [ imageName asFileReference base ] > ifFalse: [ (imageName, '.image') asFileReference base ]. > dir := dirName asFileReference. > self on: (dir / (baseName, '.image')) fullName. > [self transform] > on: Halt > do: [:ex| > "suppress halts from the usual suspects (development time halts)" > (#(fullGC compactImage) includes: ex signalerContext sender selector) > ifTrue: [ex resume] > ifFalse: [ex pass]]. > self writeSnapshot: (dir / (baseName, '-spur.image')) fullName > ofTransformedImage: newHeap > headerFlags: oldInterpreter getImageHeaderFlags > screenSize: oldInterpreter savedWindowSize. > (dir / (baseName, '.changes')) copyTo: (dir / (baseName, '-spur.changes'))! > > Item was changed: > ----- Method: SpurBootstrap>>rehashImage (in category 'bootstrap image') ----- > rehashImage > "Rehash all collections in newHeap. > Find out which classes implement rehash, entering a 1 against their classIndex in rehashFlags. > Enumerate all objects, rehashing those whose class has a bit set in rehashFlags." > | n sim rehashFlags dotDate rehashSym sizeSym | > rehashSym := map at: (self findSymbol: #rehash). > sizeSym := map at: (self findSymbol: #size). > sim := StackInterpreterSimulator > onObjectMemory: newHeap > options: #(ObjectMemory #Spur32BitMemoryManager). > sim > setImageHeaderFlagsFrom: oldInterpreter getImageHeaderFlags; > imageName: 'spur image'; > assertValidExecutionPointersAtEachStep: false.. > newHeap coInterpreter: sim. > sim bootstrapping: true. > sim initializeInterpreter: 0. > sim instVarNamed: 'methodDictLinearSearchLimit' put: SmallInteger maxVal. > > sim redirectTranscriptToHost. > > newHeap > setHashBitsOf: newHeap nilObject to: 1; > setHashBitsOf: newHeap falseObject to: 2; > setHashBitsOf: newHeap trueObject to: 3. > > rehashFlags := ByteArray new: newHeap numClassTablePages * newHeap classTablePageSize. > n := 0. > newHeap classTableObjectsDo: > [:class| | classIndex | > sim messageSelector: rehashSym. > "Lookup rehash but don't be fooled by ProtoObject>>rehash, which is just ^self." > ((sim lookupOrdinaryNoMNUEtcInClass: class) = 0 > and: [(sim isQuickPrimitiveIndex: (sim primitiveIndexOf: (sim instVarNamed: 'newMethod'))) not]) ifTrue: > [n := n + 1. > classIndex := newHeap rawHashBitsOf: class. > rehashFlags > at: classIndex >> 3 + 1 > put: ((rehashFlags at: classIndex >> 3 + 1) > bitOr: (1 << (classIndex bitAnd: 7)))]]. > Transcript cr; print: n; nextPutAll: ' classes understand rehash. rehashing instances...'; flush. > dotDate := Time now asSeconds. > n := 0. > self withExecutableInterpreter: sim > do: [sim setBreakSelector: 'error:'. > "don't rehash twice (actually without limit), so don't rehash any new objects created." > newHeap allExistingOldSpaceObjectsDo: > [:o| | classIndex | > classIndex := newHeap classIndexOf: o. > ((rehashFlags at: classIndex >> 3 + 1) anyMask: 1 << (classIndex bitAnd: 7)) ifTrue: > [Time now asSeconds > dotDate ifTrue: > [Transcript nextPut: $.; flush. > dotDate := Time now asSeconds]. > "2845 = n ifTrue: [self halt]." > "Rehash an object if its size is > 0. > Symbol implements rehash, but let's not waste time rehashing it; in Squeak > up to 2013 symbols are kept in a set which will get reashed anyway.. > Don't rehash empty collections; they may be large for a reason and rehashing will shrink them." > ((sim addressCouldBeClassObj: o) > or: [(self interpreter: sim > object: o > perform: sizeSym > withArguments: #()) = (newHeap integerObjectOf: 0)]) ifFalse: > [self interpreter: sim > object: o > perform: rehashSym > withArguments: #()]]]]! > > Item was changed: > ----- Method: SpurBootstrap>>writeSnapshot:ofTransformedImage:headerFlags:screenSize: (in category 'testing') ----- > writeSnapshot: imageFileName ofTransformedImage: spurHeap headerFlags: headerFlags screenSize: screenSizeInteger > "The bootstrapped image typically contains a few big free chunks and one huge free chunk. > Test snapshot writing and loading by turning the largest non-huge chunks into segment bridges > and saving." > | penultimate ultimate sizes counts barriers sim | > sim := StackInterpreterSimulator onObjectMemory: spurHeap. > sim bootstrapping: true. > spurHeap > coInterpreter: sim; > setEndOfMemory: spurHeap endOfMemory + spurHeap bridgeSize. "hack; initializeInterpreter: cuts it back by bridgeSize" > sim initializeInterpreter: 0; > setImageHeaderFlagsFrom: headerFlags; > setDisplayForm: nil. > spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. > (spurHeap isFreeObject: penultimate) ifTrue: "old, pre-pigCompact segmented save" > [self assert: (spurHeap isSegmentBridge: ultimate). > sizes := Bag new. > spurHeap allObjectsInFreeTree: (spurHeap freeLists at: 0) do: > [:f| > sizes add: (spurHeap bytesInObject: f)]. > counts := sizes sortedCounts. > self assert: counts last key = 1. "1 huge chunk" > counts size > 1 > ifTrue: > [self assert: ((counts at: counts size - 1) key > 2 > and: [(counts at: counts size - 1) value > 1024]). > barriers := (1 to: (counts at: counts size - 1) key) collect: > [:ign| spurHeap allocateOldSpaceChunkOfExactlyBytes: (counts at: counts size - 1) value]. > barriers := barriers, {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}] > ifFalse: > [barriers := {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}]. > barriers last ifNotNil: > [:end| > spurHeap setEndOfMemory: end. > spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. > self assert: (spurHeap addressAfter: ultimate) = end]]. > spurHeap checkFreeSpace. > spurHeap runLeakCheckerForFullGC. > barriers ifNotNil: "old, pre-pigCompact segmented save" > [spurHeap segmentManager initializeFromFreeChunks: (barriers sort collect: [:b| spurHeap objectStartingAt: b])]. > spurHeap checkFreeSpace. > spurHeap runLeakCheckerForFullGC. > sim bereaveAllMarriedContextsForSnapshotFlushingExternalPrimitivesIf: true. > sim imageName: imageFileName. > sim writeImageFileIO. > Transcript cr; show: 'Done!!'! > > Item was added: > + SpurBootstrapSqueakFamilyPrototypes subclass: #SpurBootstrapOldSqueakPrototypes > + instanceVariableNames: '' > + classVariableNames: '' > + poolDictionaries: '' > + category: 'Cog-Bootstrapping'! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>BehaviorPROTOTYPEbasicIdentityHash (in category 'method prototypes') ----- > BehaviorPROTOTYPEbasicIdentityHash > "Answer a SmallInteger whose value is related to the receiver's identity. > Behavior implements identityHash to allow the VM to use an object representation which > does not include a direct reference to an object's class in an object. If the VM is using > this implementation then classes are held in a class table and instances contain the index > of their class in the table. A class's class table index is its identityHash so that an instance > can be created without searching the table for a class's index. The VM uses this primitive > to enter the class into the class table, assigning its identityHash with an as yet unused > class table index. If this primitive fails it means that the class table is full. In Spur as of > 2014 there are 22 bits of classTable index and 22 bits of identityHash per object. > > Primitive. Essential. Do not override. See Object documentation whatIsAPrimitive." > > <primitive: 175> > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>BehaviorPROTOTYPElargeIdentityHash (in category 'method prototypes') ----- > BehaviorPROTOTYPElargeIdentityHash > "Answer a SmallInteger whose value is related to the receiver's identity. > Behavior implements identityHash to allow the VM to use an object representation which > does not include a direct reference to an object's class in an object. If the VM is using > this implementation then classes are held in a class table and instances contain the index > of their class in the table. A class's class table index is its identityHash so that an instance > can be created without searching the table for a class's index. The VM uses this primitive > to enter the class into the class table, assigning its identityHash with an as yet unused > class table index. If this primitive fails it means that the class table is full. In Spur as of > 2014 there are 22 bits of classTable index and 22 bits of identityHash per object." > > <primitive: 175> > self primitiveFailed! > > Item was added: > + ----- Method: SpurBootstrapPharoPrototypes>>BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- > + BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex > + numArgs > 15 ifTrue: > + [^self error: 'Cannot compile -- too many arguments']. > + numTemps > 63 ifTrue: > + [^self error: 'Cannot compile -- too many temporary variables']. > + numLits > 65535 ifTrue: > + [^self error: 'Cannot compile -- too many literals']. > + ^(CompiledMethod headerFlagForEncoder: self class) > + + (numArgs bitShift: 24) > + + (numTemps bitShift: 18) > + "+ (largeBit bitShift: 17)" "largeBit gets filled in later" > + + (primitiveIndex > 0 ifTrue: [1 bitShift: 16] ifFalse: [0]) > + + numLits! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>CharacterPROTOTYPEsetValue: (in category 'method prototypes') ----- > CharacterPROTOTYPEsetValue: newValue > self error: 'Characters are immutable'! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>ContextclassPROTOTYPEallInstances (in category 'method prototypes') ----- > ContextclassPROTOTYPEallInstances > "Answer all instances of the receiver." > <primitive: 177> > "The primitive can fail because memory is low. If so, fall back on the old > enumeration code, which gives the system a chance to GC and/or grow. > Because aBlock might change the class of inst (for example, using become:), > it is essential to compute next before aBlock value: inst. > Only count until thisContext since this context has been created only to > compute the existing instances." > | inst insts next | > insts := WriteStream on: (Array new: 64). > inst := self someInstance. > [inst == thisContext or: [inst == nil]] whileFalse: > [next := inst nextInstance. > insts nextPut: inst. > inst := next]. > ^insts contents! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>ContextclassPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- > ContextclassPROTOTYPEallInstancesDo: aBlock > "Evaluate aBlock with each of the current instances of the receiver." > | instances inst next | > instances := self allInstancesOrNil. > instances ifNotNil: > [instances do: aBlock. > ^self]. > "allInstancesOrNil can fail because memory is low. If so, fall back on the old > enumeration code. Because aBlock might change the class of inst (for example, > using become:), it is essential to compute next before aBlock value: inst. > Only count until thisContext since evaluation of aBlock will create new contexts." > inst := self someInstance. > [inst == thisContext or: [inst == nil]] whileFalse: > [next := inst nextInstance. > aBlock value: inst. > inst := next]! > > Item was added: > + ----- Method: SpurBootstrapPharoPrototypes>>MethodNodePROTOTYPEgenerate:using:ifQuick: (in category 'method prototypes') ----- > + MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass ifQuick: methodBlock > + <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>ProtoObjectPROTOTYPEidentityHash (in category 'method prototypes') ----- > ProtoObjectPROTOTYPEidentityHash > "Answer a SmallInteger whose value is related to the receiver's identity. > This method must not be overridden, except by SmallInteger. As of > 2014, the 32-bit Spur VM has 22 bits of hash and 31-bit SmallIntegers > (30 bits + 1 sign bit). Shifting by 8 will not create large integers. > > Do not override." > > ^self basicIdentityHash bitShift: 8! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEcomputeFormat:instSize:forSuper:ccIndex: (in category 'method prototypes') ----- > SlotClassBuilderPROTOTYPEcomputeFormat: type instSize: newInstSize forSuper: newSuper ccIndex: ccIndex > "Compute the new format for making oldClass a subclass of newSuper. > Answer the format or nil if there is any problem." > | instSize isVar isWords isPointers isWeak | > type == #compiledMethod ifTrue: > [newInstSize > 0 ifTrue: > [self error: 'A compiled method class cannot have named instance variables'. > ^nil]. > ^CompiledMethod format]. > instSize := newInstSize + (newSuper ifNil:[0] ifNotNil:[newSuper instSize]). > instSize > 65535 ifTrue: > [self error: 'Class has too many instance variables (', instSize printString,')'. > ^nil]. > type == #normal ifTrue:[isVar := isWeak := false. isWords := isPointers := true]. > type == #bytes ifTrue:[isVar := true. isWords := isPointers := isWeak := false]. > type == #words ifTrue:[isVar := isWords := true. isPointers := isWeak := false]. > type == #variable ifTrue:[isVar := isPointers := isWords := true. isWeak := false]. > type == #weak ifTrue:[isVar := isWeak := isWords := isPointers := true]. > type == #ephemeron ifTrue:[isVar := false. isWeak := isWords := isPointers := true]. > type == #immediate ifTrue:[isVar := isWeak := isPointers := false. isWords := true]. > (isPointers not and: [instSize > 0]) ifTrue: > [self error: 'A non-pointer class cannot have named instance variables'. > ^nil]. > ^self format: instSize variable: isVar words: isWords pointers: isPointers weak: isWeak! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEformat:variable:words:pointers:weak: (in category 'method prototypes') ----- > SlotClassBuilderPROTOTYPEformat: nInstVars variable: isVar words: isWords pointers: isPointers weak: isWeak > "Compute the format for the given instance specfication. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = reserved for 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > | instSpec | > instSpec := isWeak > ifTrue: > [isVar > ifTrue: [4] > ifFalse: [5]] > ifFalse: > [isPointers > ifTrue: > [isVar > ifTrue: [nInstVars > 0 ifTrue: [3] ifFalse: [2]] > ifFalse: [nInstVars > 0 ifTrue: [1] ifFalse: [0]]] > ifFalse: > [isVar > ifTrue: [isWords ifTrue: [12] ifFalse: [16]] > ifFalse: [7]]]. > ^(instSpec bitShift: 16) + nInstVars! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEsuperclass:immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- > SlotClassBuilderPROTOTYPEsuperclass: aClass > immediateSubclass: t instanceVariableNames: f > classVariableNames: d poolDictionaries: s category: cat > "This is the standard initialization message for creating a > new immediate class as a subclass of an existing class." > | env | > aClass instSize > 0 > ifTrue: [^self error: 'cannot make an immediate subclass of a class with named fields']. > aClass isVariable > ifTrue: [^self error: 'cannot make an immediate subclass of a class with indexed instance variables']. > aClass isPointers > ifFalse: [^self error: 'cannot make an immediate subclass of a class without pointer fields']. > "Cope with pre-environment and environment versions. Simplify asap." > env := (Smalltalk classNamed: #EnvironmentRequest) > ifNil: [aClass environment] > ifNotNil: [:erc| erc signal ifNil: [aClass environment]]. > ^self > name: t > inEnvironment: env > subclassOf: aClass > type: #immediate > instanceVariableNames: f > classVariableNames: d > poolDictionaries: s > category: cat! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEupdate:to: (in category 'method prototypes') ----- > SlotClassBuilderPROTOTYPEupdate: oldClass to: newClass > "Convert oldClass, all its instances and possibly its meta class into newClass, > instances of newClass and possibly its meta class. The process is surprisingly > simple in its implementation and surprisingly complex in its nuances and potentially > bad side effects. > We can rely on two assumptions (which are critical): > #1: The method #updateInstancesFrom: will not create any lasting pointers to > 'old' instances ('old' is quote on quote since #updateInstancesFrom: will do > a become of the old vs. the new instances and therefore it will not create > pointers to *new* instances before the #become: which are *old* afterwards) > #2: The non-preemptive execution of the critical piece of code guarantees that > nobody can get a hold by 'other means' (such as process interruption and > reflection) on the old instances. > Given the above two, we know that after #updateInstancesFrom: there are no pointers > to any old instances. After the forwarding become there will be no pointers to the old > class or meta class either. > Andreas Raab, 2/27/2003 23:42" > | meta | > meta := oldClass isMeta. > "Note: Everything from here on will run without the ability to get interrupted > to prevent any other process to create new instances of the old class." > ["Note: The following removal may look somewhat obscure and needs an explanation. > When we mutate the class hierarchy we create new classes for any existing subclass. > So it may look as if we don't have to remove the old class from its superclass. However, > at the top of the hierarchy (the first class we reshape) that superclass itself is not newly > created so therefore it will hold both the oldClass and newClass in its (obsolete or not) > subclasses. Since the #become: below will transparently replace the pointers to oldClass > with newClass the superclass would have newClass in its subclasses TWICE. With rather > unclear effects if we consider that we may convert the meta-class hierarchy itself (which > is derived from the non-meta class hierarchy). > Due to this problem ALL classes are removed from their superclass just prior to converting > them. Here, breaking the superclass/subclass invariant really doesn't matter since we will > effectively remove the oldClass (becomeForward:) just a few lines below." > > oldClass superclass removeSubclass: oldClass. > oldClass superclass removeObsoleteSubclass: oldClass. > > "make sure that the VM cache is clean" > oldClass methodDict do: [:cm | cm flushCache]. > > "Convert the instances of oldClass into instances of newClass" > newClass updateInstancesFrom: oldClass. > > meta > ifTrue: > [oldClass becomeForward: newClass. > oldClass updateMethodBindingsTo: oldClass binding] > ifFalse: > [{oldClass. oldClass class} elementsForwardIdentityTo: {newClass. newClass class}. > oldClass updateMethodBindingsTo: oldClass binding. > oldClass class updateMethodBindingsTo: oldClass class binding]. > > "eem 5/31/2014 07:22 At this point there used to be a garbage collect whose purpose was > to ensure no old instances existed after the becomeForward:. Without the GC it was possible > to resurrect old instances using e.g. allInstancesDo:. This was because the becomeForward: > updated references from the old objects to new objects but didn't destroy the old objects. > But as of late 2013/early 2014 becomeForward: has been modified to free all the old objects."] > valueUnpreemptively! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>SmalltalkImagePROTOTYPEnewSpecialObjectsArray (in category 'method prototypes') ----- > SmalltalkImagePROTOTYPEnewSpecialObjectsArray > "Smalltalk recreateSpecialObjectsArray" > > "To external package developers: > **** DO NOT OVERRIDE THIS METHOD. ***** > If you are writing a plugin and need additional special object(s) for your own use, > use addGCRoot() function and use own, separate special objects registry " > > "The Special Objects Array is an array of objects used by the Squeak virtual machine. > Its contents are critical and accesses to it by the VM are unchecked, so don't even > think of playing here unless you know what you are doing." > | newArray | > newArray := Array new: 60. > "Nil false and true get used throughout the interpreter" > newArray at: 1 put: nil. > newArray at: 2 put: false. > newArray at: 3 put: true. > "This association holds the active process (a ProcessScheduler)" > newArray at: 4 put: (self globals associationAt: #Processor). > "Numerous classes below used for type checking and instantiation" > newArray at: 5 put: Bitmap. > newArray at: 6 put: SmallInteger. > newArray at: 7 put: ByteString. > newArray at: 8 put: Array. > newArray at: 9 put: Smalltalk. > + newArray at: 10 put: BoxedFloat64. > - newArray at: 10 put: Float. > newArray at: 11 put: (self globals at: #MethodContext ifAbsent: [self globals at: #Context]). > newArray at: 12 put: nil. "was BlockContext." > newArray at: 13 put: Point. > newArray at: 14 put: LargePositiveInteger. > newArray at: 15 put: Display. > newArray at: 16 put: Message. > newArray at: 17 put: CompiledMethod. > newArray at: 18 put: ((self primitiveGetSpecialObjectsArray at: 18) ifNil: [Semaphore new]). "low space Semaphore" > newArray at: 19 put: Semaphore. > newArray at: 20 put: Character. > newArray at: 21 put: #doesNotUnderstand:. > newArray at: 22 put: #cannotReturn:. > newArray at: 23 put: nil. "This is the process signalling low space." > "An array of the 32 selectors that are compiled as special bytecodes, > paired alternately with the number of arguments each takes." > newArray at: 24 put: #( #+ 1 #- 1 #< 1 #> 1 #<= 1 #>= 1 #= 1 #~= 1 > #* 1 #/ 1 #\\ 1 #@ 1 #bitShift: 1 #// 1 #bitAnd: 1 #bitOr: 1 > #at: 1 #at:put: 2 #size 0 #next 0 #nextPut: 1 #atEnd 0 #== 1 #class 0 > #blockCopy: 1 #value 0 #value: 1 #do: 1 #new 0 #new: 1 #x 0 #y 0 ). > "An array of the 255 Characters in ascii order. > Cog inlines table into machine code at: prim so do not regenerate it. > This is nil in Spur, which has immediate Characters." > newArray at: 25 put: (self primitiveGetSpecialObjectsArray at: 25). > newArray at: 26 put: #mustBeBoolean. > newArray at: 27 put: ByteArray. > newArray at: 28 put: Process. > "An array of up to 31 classes whose instances will have compact headers; an empty array in Spur" > newArray at: 29 put: self compactClassesArray. > newArray at: 30 put: ((self primitiveGetSpecialObjectsArray at: 30) ifNil: [Semaphore new]). "delay Semaphore" > newArray at: 31 put: ((self primitiveGetSpecialObjectsArray at: 31) ifNil: [Semaphore new]). "user interrupt Semaphore" > "Entries 32 - 34 unreferenced. Previously these contained prototype instances to be copied for fast initialization" > newArray at: 32 put: nil. "was the prototype Float" > newArray at: 33 put: nil. "was the prototype 4-byte LargePositiveInteger" > newArray at: 34 put: nil. "was the prototype Point" > newArray at: 35 put: #cannotInterpret:. > newArray at: 36 put: nil. "was the prototype MethodContext" > newArray at: 37 put: BlockClosure. > newArray at: 38 put: nil. "was the prototype BlockContext" > "array of objects referred to by external code" > newArray at: 39 put: (self primitiveGetSpecialObjectsArray at: 39). "external semaphores" > newArray at: 40 put: nil. "Reserved for Mutex in Cog VMs" > newArray at: 41 put: ((self primitiveGetSpecialObjectsArray at: 41) ifNil: [LinkedList new]). "Reserved for a LinkedList instance for overlapped calls in CogMT" > newArray at: 42 put: ((self primitiveGetSpecialObjectsArray at: 42) ifNil: [Semaphore new]). "finalization Semaphore" > newArray at: 43 put: LargeNegativeInteger. > "External objects for callout. > Note: Written so that one can actually completely remove the FFI." > newArray at: 44 put: (self at: #ExternalAddress ifAbsent: []). > newArray at: 45 put: (self at: #ExternalStructure ifAbsent: []). > newArray at: 46 put: (self at: #ExternalData ifAbsent: []). > newArray at: 47 put: (self at: #ExternalFunction ifAbsent: []). > newArray at: 48 put: (self at: #ExternalLibrary ifAbsent: []). > newArray at: 49 put: #aboutToReturn:through:. > newArray at: 50 put: #run:with:in:. > "51 reserved for immutability message" > newArray at: 51 put: #attemptToAssign:withIndex:. > newArray at: 52 put: #(nil "nil => generic error" #'bad receiver' > #'bad argument' #'bad index' > #'bad number of arguments' > #'inappropriate operation' #'unsupported operation' > #'no modification' #'insufficient object memory' > #'insufficient C memory' #'not found' #'bad method' > #'internal error in named primitive machinery' > #'object may move' #'resource limit exceeded' > #'object is pinned' #'primitive write beyond end of object'). > "53 to 55 are for Alien" > newArray at: 53 put: (self at: #Alien ifAbsent: []). > newArray at: 54 put: #invokeCallbackContext:. "use invokeCallback:stack:registers:jmpbuf: for old Alien callbacks." > newArray at: 55 put: (self at: #UnsafeAlien ifAbsent: []). > > "Used to be WeakFinalizationList for WeakFinalizationList hasNewFinalization, obsoleted by ephemeron support." > newArray at: 56 put: nil. > > "reserved for foreign callback process" > newArray at: 57 put: (self primitiveGetSpecialObjectsArray at: 57 ifAbsent: []). > > newArray at: 58 put: #unusedBytecode. > "59 reserved for Sista counter tripped message" > newArray at: 59 put: #conditionalBranchCounterTrippedOn:. > "60 reserved for Sista class trap message" > newArray at: 60 put: #classTrapFor:. > > ^newArray! > > Item was added: > + ----- Method: SpurBootstrapPharoPrototypes>>StringPROTOTYPEadaptToNumber:andSend: (in category 'method prototypes') ----- > + StringPROTOTYPEadaptToNumber: receiver andSend: selector > + "If I am involved in arithmetic with a number, convert me to a number." > + self flag: #todo. "This is needed for the conversion to spur... please remove me" > + ^ receiver perform: selector with: self asNumber! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEallInstances (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEallInstances > "Answer all instances of the receiver." > self error: 'Traits does not have instances.'! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEallInstancesDo: aBlock > "Evaluate aBlock with each of the current instances of the receiver." > self error: 'Traits does not have instances.'! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisBits (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEisBits > "Answer whether the receiver contains just bits (not pointers). > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > ^self instSpec >= 7! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisBytes (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEisBytes > "Answer whether the receiver has 8-bit instance variables. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > ^self instSpec >= 16! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisEphemeronClass (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEisEphemeronClass > "Answer whether the receiver has ephemeral instance variables. The garbage collector will > fire (queue for finalization) any ephemeron whose first instance variable is not referenced > other than from the transitive closure of references from ephemerons. Hence referring to > an object from the first inst var of an ephemeron will cause the ephemeron to fire when > the rest of the system does not refer to the object and that object is ready to be collected. > Since references from the remaining inst vars of an ephemeron will not prevent the ephemeron > from firing, ephemerons may act as the associations in weak dictionaries such that the value > (e.g. properties attached to the key) will not prevent firing when the key is no longer referenced > other than from ephemerons. Ephemerons can therefore be used to implement instance-based > pre-mortem finalization." > ^self instSpec = 5! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisImmediateClass (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEisImmediateClass > "Answer whether the receiver has immediate instances. Immediate instances > store their value in their object pointer, not in an object body. Hence immediates > take no space and are immutable. The immediates are distinguished by tag bits > in the pointer. They include SmallIntegers and Characters. Hence in the 32-bit > system SmallIntegers are 31-bit signed integers and Characters are 30-bit > unsigned character codes." > ^self instSpec = 7! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisVariable (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEisVariable > "Answer whether the receiver has indexable variables. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > | instSpec | > instSpec := self instSpec. > ^instSpec >= 2 and: [instSpec <= 4 or: [instSpec >= 9]]! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEkindOfSubclass (in category 'method prototypes') ----- > TraitBehaviorPROTOTYPEkindOfSubclass > "Answer a String that is the keyword that describes the receiver's kind of subclass, > either a regular subclass, a variableSubclass, a variableByteSubclass, > a variableWordSubclass, a weakSubclass, an ephemeronSubclass or an immediateSubclass. > c.f. typeOfClass" > ^self isVariable > ifTrue: > [self isBits > ifTrue: > [self isBytes > ifTrue: [' variableByteSubclass: '] > ifFalse: [' variableWordSubclass: ']] > ifFalse: > [self isWeak > ifTrue: [' weakSubclass: '] > ifFalse: [' variableSubclass: ']]] > ifFalse: > [self isImmediateClass > ifTrue: [' immediateSubclass: '] > ifFalse: > [self isEphemeronClass > ifTrue: [' ephemeronSubclass: '] > ifFalse: [' subclass: ']]]! > > Item was changed: > ----- Method: SpurBootstrapPharoPrototypes>>VirtualMachinePROTOTYPEsetGCParameters (in category 'method prototypes') ----- > VirtualMachinePROTOTYPEsetGCParameters > "Adjust the VM's default GC parameters to avoid too much tenuring. > Maybe this should be left to the VM?" > > | proportion edenSize survivorSize averageObjectSize numObjects | > proportion := 0.9. "tenure when 90% of pastSpace is full" > edenSize := self parameterAt: 44. > survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" > averageObjectSize := 8 * self wordSize. "a good approximation" > numObjects := (proportion * survivorSize / averageObjectSize) rounded. > self tenuringThreshold: numObjects "tenure when more than this many objects survive the GC"! > > Item was added: > + ----- Method: SpurBootstrapPharoPrototypes>>WeakFinalizationListclassPROTOTYPEhasNewFinalization (in category 'method prototypes') ----- > + WeakFinalizationListclassPROTOTYPEhasNewFinalization > + ^ false! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstances (in category 'method prototypes') ----- > BehaviorPROTOTYPEallInstances > "Answer all instances of the receiver." > <primitive: 177> > "The primitive can fail because memory is low. If so, fall back on the old > enumeration code, which gives the system a chance to GC and/or grow. > Because aBlock might change the class of inst (for example, using become:), > it is essential to compute next before aBlock value: inst." > | inst insts next | > insts := WriteStream on: (Array new: 64). > inst := self someInstance. > [inst == nil] whileFalse: > [next := inst nextInstance. > (inst == insts or: [inst == insts originalContents]) ifFalse: [insts nextPut: inst]. > inst := next]. > ^insts contents! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- > BehaviorPROTOTYPEallInstancesDo: aBlock > "Evaluate aBlock with each of the current instances of the receiver." > | instances inst next | > instances := self allInstancesOrNil. > instances ifNotNil: > [instances do: aBlock. > ^self]. > "allInstancesOrNil can fail because memory is low. If so, fall back on the old > enumeration code. Because aBlock might change the class of inst (for example, > using become:), it is essential to compute next before aBlock value: inst." > inst := self someInstance. > [inst == nil] whileFalse: > [next := inst nextInstance. > aBlock value: inst. > inst := next]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstancesOrNil (in category 'method prototypes') ----- > BehaviorPROTOTYPEallInstancesOrNil > "Answer all instances of the receiver, or nil if the primitive > fails, which it may be due to being out of memory." > <primitive: 177> > ^nil! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbasicNew (in category 'method prototypes') ----- > BehaviorPROTOTYPEbasicNew > "Primitive. Answer an instance of the receiver (which is a class) with no > indexable variables. Fail if the class is indexable. Essential. See Object > documentation whatIsAPrimitive. > > If the primitive fails because space is low then the scavenger will run > before the method is activated. Check that space was low and retry > via handleFailingBasicNew if so." > > <primitive: 70 error: ec> > ec == #'insufficient object memory' ifTrue: > [^self handleFailingBasicNew]. > self isVariable ifTrue: [^self basicNew: 0]. > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbasicNew: (in category 'method prototypes') ----- > BehaviorPROTOTYPEbasicNew: sizeRequested > "Primitive. Answer an instance of this class with the number of indexable > variables specified by the argument, sizeRequested. Fail if this class is not > indexable or if the argument is not a positive Integer, or if there is not > enough memory available. Essential. See Object documentation whatIsAPrimitive. > > If the primitive fails because space is low then the scavenger will run before the > method is activated. Check args and retry via handleFailingBasicNew: if they're OK." > > <primitive: 71 error: ec> > ec == #'insufficient object memory' ifTrue: > [^self handleFailingBasicNew: sizeRequested]. > self isVariable ifFalse: > [self error: self printString, ' cannot have variable sized instances']. > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbyteSizeOfInstance (in category 'method prototypes') ----- > BehaviorPROTOTYPEbyteSizeOfInstance > "Answer the total memory size of an instance of the receiver." > > <primitive: 181 error: ec> > self isVariable ifTrue: > [^self byteSizeOfInstanceOfSize: 0]. > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbyteSizeOfInstanceOfSize: (in category 'method prototypes') ----- > BehaviorPROTOTYPEbyteSizeOfInstanceOfSize: basicSize > "Answer the total memory size of an instance of the receiver > with the given number of indexable instance variables." > > <primitive: 181 error: ec> > self isVariable > ifTrue: "If the primitive overflowed answer a close approximation" > [(basicSize isInteger > and: [basicSize >= 16r1000000]) ifTrue: > [^2 * (self byteSizeOfInstanceOfSize: basicSize + 1 // 2) > - (self byteSizeOfInstanceOfSize: 0)]] > ifFalse: > [basicSize = 0 ifTrue: > [^self byteSizeOfInstance]]. > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEelementSize (in category 'method prototypes') ----- > BehaviorPROTOTYPEelementSize > "Answer the size in bytes of an element in the receiver. The formats are > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > | instSpec | > instSpec := self instSpec. > instSpec < 9 ifTrue: [^Smalltalk wordSize]. > instSpec >= 16 ifTrue: [^1]. > instSpec >= 12 ifTrue: [^2]. > instSpec >= 10 ifTrue: [^4]. > ^8! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingBasicNew (in category 'method prototypes') ----- > BehaviorPROTOTYPEhandleFailingBasicNew > "handleFailingBasicNew gets sent after basicNew has failed and allowed > a scavenging garbage collection to occur. The scavenging collection > will have happened as the VM is activating the (failing) basicNew. If > handleFailingBasicNew fails then the scavenge failed to reclaim sufficient > space and a global garbage collection is required. Retry after garbage > collecting and growing memory if necessary. > > Primitive. Answer an instance of this class with the number of indexable > variables specified by the argument, sizeRequested. Fail if this class is not > indexable or if the argument is not a positive Integer, or if there is not > enough memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 70> > Smalltalk garbageCollect < 1048576 ifTrue: > [Smalltalk growMemoryByAtLeast: 1048576]. > ^self handleFailingFailingBasicNew "retry after global garbage collect"! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingBasicNew: (in category 'method prototypes') ----- > BehaviorPROTOTYPEhandleFailingBasicNew: sizeRequested > "handleFailingBasicNew: gets sent after basicNew: has failed and allowed > a scavenging garbage collection to occur. The scavenging collection > will have happened as the VM is activating the (failing) basicNew:. If > handleFailingBasicNew: fails then the scavenge failed to reclaim sufficient > space and a global garbage collection is required. Retry after garbage > collecting and growing memory if necessary. > > Primitive. Answer an instance of this class with the number of indexable > variables specified by the argument, sizeRequested. Fail if this class is not > indexable or if the argument is not a positive Integer, or if there is not > enough memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 71> > | bytesRequested | > bytesRequested := self byteSizeOfInstanceOfSize: sizeRequested. > Smalltalk garbageCollect < bytesRequested ifTrue: > [Smalltalk growMemoryByAtLeast: bytesRequested]. > "retry after global garbage collect and possible grow" > ^self handleFailingFailingBasicNew: sizeRequested! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingFailingBasicNew (in category 'method prototypes') ----- > BehaviorPROTOTYPEhandleFailingFailingBasicNew > "This basicNew gets sent after handleFailingBasicNew: has done a full > garbage collection and possibly grown memory. If this basicNew fails > then the system really is low on space, so raise the OutOfMemory signal. > > Primitive. Answer an instance of this class with the number of indexable > variables specified by the argument, sizeRequested. Fail if this class is not > indexable or if the argument is not a positive Integer, or if there is not > enough memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 70> > "space must be low" > OutOfMemory signal. > ^self basicNew "retry if user proceeds"! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingFailingBasicNew: (in category 'method prototypes') ----- > BehaviorPROTOTYPEhandleFailingFailingBasicNew: sizeRequested > "This basicNew: gets sent after handleFailingBasicNew: has done a full > garbage collection and possibly grown memory. If this basicNew: fails > then the system really is low on space, so raise the OutOfMemory signal. > > Primitive. Answer an instance of this class with the number of indexable > variables specified by the argument, sizeRequested. Fail if this class is not > indexable or if the argument is not a positive Integer, or if there is not > enough memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 71> > "space must be low." > OutOfMemory signal. > ^self basicNew: sizeRequested "retry if user proceeds"! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEindexIfCompact (in category 'method prototypes') ----- > BehaviorPROTOTYPEindexIfCompact > "Backward compatibility with the Squeak V3 object format. > Spur does not have a distinction between compact and non-compact classes." > ^0! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisBits (in category 'method prototypes') ----- > BehaviorPROTOTYPEisBits > "Answer whether the receiver contains just bits (not pointers). > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > ^self instSpec >= 7! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisBytes (in category 'method prototypes') ----- > BehaviorPROTOTYPEisBytes > "Answer whether the receiver has 8-bit instance variables. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > ^self instSpec >= 16! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisEphemeronClass (in category 'method prototypes') ----- > BehaviorPROTOTYPEisEphemeronClass > "Answer whether the receiver has ephemeral instance variables. The garbage collector will > fire (queue for finalization) any ephemeron whose first instance variable is not referenced > other than from the transitive closure of references from ephemerons. Hence referring to > an object from the first inst var of an ephemeron will cause the ephemeron to fire when > the rest of the system does not refer to the object and that object is ready to be collected. > Since references from the remaining inst vars of an ephemeron will not prevent the ephemeron > from firing, ephemerons may act as the associations in weak dictionaries such that the value > (e.g. properties attached to the key) will not prevent firing when the key is no longer referenced > other than from ephemerons. Ephemerons can therefore be used to implement instance-based > pre-mortem finalization." > ^self instSpec = 5! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisImmediateClass (in category 'method prototypes') ----- > BehaviorPROTOTYPEisImmediateClass > "Answer whether the receiver has immediate instances. Immediate instances > store their value in their object pointer, not in an object body. Hence immediates > take no space and are immutable. The immediates are distinguished by tag bits > in the pointer. They include SmallIntegers and Characters. Hence in the 32-bit > system SmallIntegers are 31-bit signed integers and Characters are 30-bit > unsigned character codes." > ^self instSpec = 7! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisVariable (in category 'method prototypes') ----- > BehaviorPROTOTYPEisVariable > "Answer whether the receiver has indexable variables. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > | instSpec | > instSpec := self instSpec. > ^instSpec >= 2 and: [instSpec <= 4 or: [instSpec >= 9]]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEkindOfSubclass (in category 'method prototypes') ----- > BehaviorPROTOTYPEkindOfSubclass > "Answer a String that is the keyword that describes the receiver's kind of subclass, > either a regular subclass, a variableSubclass, a variableByteSubclass, > a variableWordSubclass, a weakSubclass, an ephemeronSubclass or an immediateSubclass. > c.f. typeOfClass" > ^self isVariable > ifTrue: > [self isBits > ifTrue: > [self isBytes > ifTrue: [' variableByteSubclass: '] > ifFalse: [' variableWordSubclass: ']] > ifFalse: > [self isWeak > ifTrue: [' weakSubclass: '] > ifFalse: [' variableSubclass: ']]] > ifFalse: > [self isImmediateClass > ifTrue: [' immediateSubclass: '] > ifFalse: > [self isEphemeronClass > ifTrue: [' ephemeronSubclass: '] > ifFalse: [' subclass: ']]]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEshouldNotBeRedefined (in category 'method prototypes') ----- > BehaviorPROTOTYPEshouldNotBeRedefined > "Answer if the receiver should not be redefined. > The assumption is that classes in Smalltalk specialObjects and > instance-specific Behaviors should not be redefined" > > ^(Smalltalk specialObjectsArray > identityIndexOf: self > ifAbsent: [(self isKindOf: self) ifTrue: [1] ifFalse: [0]]) ~= 0! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEtypeOfClass (in category 'method prototypes') ----- > BehaviorPROTOTYPEtypeOfClass > "Answer a symbol uniquely describing the type of the receiver. c.f. kindOfSubclass" > self isBytes ifTrue: > [^self instSpec = CompiledMethod instSpec > ifTrue: [#compiledMethod] "Very special!!" > ifFalse: [#bytes]]. > (self isWords and: [self isPointers not]) ifTrue: > [^self instSpec = SmallInteger instSpec > ifTrue: [#immediate] "Very special!!" > ifFalse: [#words]]. > self isWeak ifTrue: [^#weak]. > self isVariable ifTrue: [^#variable]. > self isEphemeronClass ifTrue: [^#ephemeron]. > ^#normal! > > Item was added: > + ----- Method: SpurBootstrapPrototypes>>BlockClosurePROTOTYPEsimulateValueWithArguments:caller: (in category 'method prototypes') ----- > + BlockClosurePROTOTYPEsimulateValueWithArguments: anArray caller: aContext > + <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- > BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex > numArgs > 15 ifTrue: > [^self error: 'Cannot compile -- too many arguments']. > numTemps > 63 ifTrue: > [^self error: 'Cannot compile -- too many temporary variables']. > numLits > 65535 ifTrue: > [^self error: 'Cannot compile -- too many literals']. > ^(CompiledMethod headerFlagForEncoder: self) > + (numArgs bitShift: 24) > + (numTemps bitShift: 18) > "+ (largeBit bitShift: 17)" "largeBit gets filled in later" > + (primitiveIndex > 0 ifTrue: [1 bitShift: 16] ifFalse: [0]) > + numLits! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>BytecodeEncoderPROTOTYPEsizeCallPrimitive: (in category 'method prototypes') ----- > BytecodeEncoderPROTOTYPEsizeCallPrimitive: primitiveIndex > ^self sizeOpcodeSelector: #genCallPrimitive: withArguments: {primitiveIndex}! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEDollarEquals: (in category 'method prototypes') ----- > CharacterPROTOTYPEDollarEquals: aCharacter > "Primitive. Answer if the receiver and the argument are the > same object (have the same object pointer). Optional. See > Object documentation whatIsAPrimitive." > <primitive: 110> > ^self == aCharacter! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEasInteger (in category 'method prototypes') ----- > CharacterPROTOTYPEasInteger > "Answer the receiver's character code." > <primitive: 171> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEasciiValue (in category 'method prototypes') ----- > CharacterPROTOTYPEasciiValue > "Answer the receiver's character code. > This will be ascii for characters with value <= 127, > and Unicode for those with higher values." > <primitive: 171> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEcopy (in category 'method prototypes') ----- > CharacterPROTOTYPEcopy > "Answer the receiver, because Characters are unique." > ^self! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEdeepCopy (in category 'method prototypes') ----- > CharacterPROTOTYPEdeepCopy > "Answer the receiver, because Characters are unique." > ^self! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEhash (in category 'method prototypes') ----- > CharacterPROTOTYPEhash > "Hash is reimplemented because = is implemented. > Answer the receiver's character code." > <primitive: 171> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEidentityHash (in category 'method prototypes') ----- > CharacterPROTOTYPEidentityHash > "Answer the receiver's character code." > <primitive: 171> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEveryDeepCopyWith: (in category 'method prototypes') ----- > CharacterPROTOTYPEveryDeepCopyWith: deepCopier > "Answer the receiver, because Characters are unique." > ^self! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEdigitValue: (in category 'method prototypes') ----- > CharacterclassPROTOTYPEdigitValue: x > "Answer the Character whose digit value is x. For example, > answer $9 for x=9, $0 for x=0, $A for x=10, $Z for x=35." > > | n | > n := x asInteger. > ^self value: (n < 10 ifTrue: [n + 48] ifFalse: [n + 55])! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEinitialize (in category 'method prototypes') ----- > CharacterclassPROTOTYPEinitialize > "Create the DigitsValues table." > "Character initialize" > self initializeDigitValues! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEvalue: (in category 'method prototypes') ----- > CharacterclassPROTOTYPEvalue: anInteger > "Answer the Character whose value is anInteger." > <primitive: 170> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>ClassDescriptionPROTOTYPEupdateInstancesFrom: (in category 'method prototypes') ----- > ClassDescriptionPROTOTYPEupdateInstancesFrom: oldClass > "Recreate any existing instances of the argument, oldClass, as instances of > the receiver, which is a newly changed class. Permute variables as necessary, > and forward old instances to new instances.. Answer nil to defeat any clients > that expected the old behaviour of answering the array of old instances." > "ar 7/15/1999: The updating below is possibly dangerous. If there are any > contexts having an old instance as receiver it might crash the system if > the new receiver in which the context is executed has a different layout. > See bottom below for a simple example:" > + self > + updateInstances: oldClass allInstances asArray > + from: oldClass > + isMeta: self isMeta. > - self updateInstances: oldClass allInstances asArray from: oldClass isMeta: self isMeta. > - "Now fix up instances in segments that are out on the disk." > - ImageSegment allSubInstancesDo: > - [:seg | > - seg segUpdateInstancesOf: oldClass toBe: self isMeta: self isMeta]. > ^nil > > "This attempts to crash the VM by stepping off the end of an instance. > As the doctor says, do not do this." > " | crashingBlock class | > class := Object subclass: #CrashTestDummy > instanceVariableNames: 'instVar' > classVariableNames: '' > poolDictionaries: '' > category: 'Crash-Test'. > class compile:'instVar: value instVar := value'. > class compile:'crashingBlock ^[instVar]'. > crashingBlock := (class new) instVar: 42; crashingBlock. > Object subclass: #CrashTestDummy > instanceVariableNames: '' > classVariableNames: '' > poolDictionaries: '' > category: 'Crash-Test'. > crashingBlock value"! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodPROTOTYPEprimitive (in category 'method prototypes') ----- > CompiledMethodPROTOTYPEprimitive > "Answer the primitive index associated with the receiver. > Zero indicates that this is not a primitive method." > | initialPC | > ^(self header anyMask: 65536) "Is the hasPrimitive? flag set?" > ifTrue: [(self at: (initialPC := self initialPC) + 1) + ((self at: initialPC + 2) bitShift: 8)] > ifFalse: [0]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEhandleFailingFailingNewMethod:header: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEhandleFailingFailingNewMethod: numberOfBytes header: headerWord > "This newMethod:header: gets sent after handleFailingBasicNew: has done a full > garbage collection and possibly grown memory. If this basicNew: fails then the > system really is low on space, so raise the OutOfMemory signal. > > Primitive. Answer an instance of this class with the number of indexable variables > specified by the argument, headerWord, and the number of bytecodes specified > by numberOfBytes. Fail if this if the arguments are not Integers, or if numberOfBytes > is negative, or if the receiver is not a CompiledMethod class, or if there is not enough > memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 79> > "space must be low." > OutOfMemory signal. > "retry if user proceeds" > ^self newMethod: numberOfBytes header: headerWord! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEhandleFailingNewMethod:header: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEhandleFailingNewMethod: numberOfBytes header: headerWord > "This newMethod:header: gets sent after newMethod:header: has failed > and allowed a scavenging garbage collection to occur. The scavenging > collection will have happened as the VM is activating the (failing) basicNew:. > If handleFailingBasicNew: fails then the scavenge failed to reclaim sufficient > space and a global garbage collection is required. Retry after garbage > collecting and growing memory if necessary. > > Primitive. Answer an instance of this class with the number of indexable variables > specified by the argument, headerWord, and the number of bytecodes specified > by numberOfBytes. Fail if this if the arguments are not Integers, or if numberOfBytes > is negative, or if the receiver is not a CompiledMethod class, or if there is not enough > memory available. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 79> > | bytesRequested | > bytesRequested := (headerWord bitAnd: 16rFFFF) + 1 * Smalltalk wordSize + numberOfBytes + 16. > Smalltalk garbageCollect < bytesRequested ifTrue: > [Smalltalk growMemoryByAtLeast: bytesRequested]. > "retry after global garbage collect and possible grow" > ^self handleFailingFailingNewMethod: numberOfBytes header: headerWord! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEheaderFlagForEncoder: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEheaderFlagForEncoder: anEncoder > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinitialize (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEinitialize "CompiledMethod initialize" > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: aBytecodeEncoderSubclass > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinstallSecondaryBytecodeSet: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEinstallSecondaryBytecodeSet: aBytecodeEncoderSubclass > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewBytes:trailerBytes:nArgs:nTemps:nStack:nLits:primitive: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEnewBytes: numberOfBytes trailerBytes: trailer nArgs: nArgs nTemps: nTemps nStack: stackSize nLits: nLits primitive: primitiveIndex > "Since this method refers to ClassVariables things are easier if it lives in the actual class." > > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewBytes:trailerBytes:nArgs:nTemps:nStack:nLits:primitive:flag: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEnewBytes: numberOfBytes trailerBytes: trailer nArgs: nArgs nTemps: nTemps nStack: stackSize nLits: nLits primitive: primitiveIndex flag: flag > "Since this method refers to ClassVariables things are easier if it lives in the actual class." > > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewMethod:header: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEnewMethod: numberOfBytes header: headerWord > "Primitive. Answer an instance of me. The number of literals (and other > information) is specified by the headerWord (see my class comment). > The first argument specifies the number of fields for bytecodes in the > method. Fail if either argument is not a SmallInteger, or if numberOfBytes > is negative, or if memory is low. Once the header of a method is set by > this primitive, it cannot be changed to change the number of literals. > Essential. See Object documentation whatIsAPrimitive." > > <primitive: 79 error: ec> > ec == #'insufficient object memory' ifTrue: > [^self handleFailingNewMethod: numberOfBytes header: headerWord]. > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnConstant:trailerBytes: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEtoReturnConstant: index trailerBytes: trailer > "Answer an instance of me that is a quick return of the constant > indexed in (true false nil -1 0 1 2)." > > ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 256 + index! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnField:trailerBytes: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEtoReturnField: field trailerBytes: trailer > "Answer an instance of me that is a quick return of the instance variable > indexed by the argument, field." > > ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 264 + field! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnSelfTrailerBytes: (in category 'method prototypes') ----- > CompiledMethodclassPROTOTYPEtoReturnSelfTrailerBytes: trailer > "Answer an instance of me that is a quick return of the instance (^self)." > > ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 256! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>EncoderForV3PROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- > EncoderForV3PROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex > <remove>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresPROTOTYPEgenCallPrimitive: (in category 'method prototypes') ----- > EncoderForV3PlusClosuresPROTOTYPEgenCallPrimitive: primitiveIndex > "Since this method has inst var refs the prototype must live in the actual class." > > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresclassPROTOTYPEbytecodeSize: (in category 'method prototypes') ----- > EncoderForV3PlusClosuresclassPROTOTYPEbytecodeSize: bytecode > "Answer the number of bytes in the bytecode." > bytecode <= 125 ifTrue: > [^1]. > bytecode >= 176 ifTrue: > [^1]. > bytecode >= 160 ifTrue: "long jumps" > [^2]. > bytecode >= 144 ifTrue: "short jumps" > [^1]. > "extensions" > bytecode >= 128 ifTrue: > [^#(2 2 2 2 3 2 2 1 1 1 2 3 3 3 3 4) at: bytecode - 127]. > ^nil! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresclassPROTOTYPEcallPrimitiveCode (in category 'method prototypes') ----- > EncoderForV3PlusClosuresclassPROTOTYPEcallPrimitiveCode > "139 11101111 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256)" > ^139! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>FloatclassPROTOTYPEbasicNew (in category 'method prototypes') ----- > FloatclassPROTOTYPEbasicNew > ^BoxedFloat64 basicNew: 2! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>FloatclassPROTOTYPEbasicNew: (in category 'method prototypes') ----- > FloatclassPROTOTYPEbasicNew: anInteger > ^BoxedFloat64 basicNew: 2! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>InstructionClientPROTOTYPEcallPrimitive: (in category 'method prototypes') ----- > InstructionClientPROTOTYPEcallPrimitive: pimIndex > "V3PlusClosures: 139 10001011 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256) > NewsqueakV4: 249 11111001 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256) > SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + ( jjjjjjj * 256) > m=1 means inlined primitive, no hard return after execution."! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>MethodNodeOLDSQUEAKPROTOTYPEgenerate: (in category 'method prototypes') ----- > MethodNodeOLDSQUEAKPROTOTYPEgenerate: trailer > "The receiver is the root of a parse tree. Answer a CompiledMethod. > The argument, trailer, is arbitrary but is typically either the reference > to the source code that is stored with every CompiledMethod, or an > encoding of the method's temporary names." > > ^self generate: trailer using: CompiledMethod! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>MethodNodePROTOTYPEgenerate:using: (in category 'method prototypes') ----- > MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass > "Since this method has inst var refs the prototype must live in the actual class." > > <indirect>! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SmallIntegerPROTOTYPEasCharacter (in category 'method prototypes') ----- > SmallIntegerPROTOTYPEasCharacter > <primitive: 170> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEcompactClassesArray (in category 'method prototypes') ----- > SmalltalkImagePROTOTYPEcompactClassesArray > "Smalltalk compactClassesArray" > "Backward-compatibility support. Spur does not have compact classes." > ^{}! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEgrowMemoryByAtLeast: (in category 'method prototypes') ----- > SmalltalkImagePROTOTYPEgrowMemoryByAtLeast: numBytes > "Grow memory by at least the requested number of bytes. > Primitive. Essential. Fail if no memory is available." > <primitive: 180> > (numBytes isInteger and: [numBytes > 0]) ifTrue: > [OutOfMemory signal]. > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEmaxIdentityHash (in category 'method prototypes') ----- > SmalltalkImagePROTOTYPEmaxIdentityHash > "Answer the maximum identityHash value supported by the VM." > <primitive: 176> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SpaceTallyPROTOTYPEspaceForInstancesOf: (in category 'method prototypes') ----- > SpaceTallyPROTOTYPEspaceForInstancesOf: aClass > "Answer a pair of the number of bytes consumed by all instances of the > given class, including their object headers, and the number of instances." > > | instances total | > instances := aClass allInstances. > instances isEmpty ifTrue: [^#(0 0)]. > total := 0. > aClass isVariable > ifTrue: > [instances do: > [:i| total := total + (aClass byteSizeOfInstanceOfSize: i basicSize)]] > ifFalse: > [total := instances size * aClass byteSizeOfInstance]. > ^{ total. instances size }! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SystemDictionaryPROTOTYPEgrowMemoryByAtLeast: (in category 'method prototypes') ----- > SystemDictionaryPROTOTYPEgrowMemoryByAtLeast: numBytes > "Grow memory by at least the requested number of bytes. > Primitive. Fail if no memory is available. Essential." > <primitive: 180> > ^(numBytes isInteger and: [numBytes > 0]) > ifTrue: [OutOfMemory signal] > ifFalse: [self primitiveFailed]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SystemDictionaryPROTOTYPEmaxIdentityHash (in category 'method prototypes') ----- > SystemDictionaryPROTOTYPEmaxIdentityHash > "Answer the maximum identityHash value supported by the VM." > <primitive: 176> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjects (in category 'method prototypes') ----- > SystemNavigationPROTOTYPEallObjects > "Answer an Array of all objects in the system. Fail if > there isn't enough memory to instantiate the result." > <primitive: 178> > ^self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjectsDo: (in category 'method prototypes') ----- > SystemNavigationPROTOTYPEallObjectsDo: aBlock > "Evaluate the argument, aBlock, for each object in the system, excluding immediates > such as SmallInteger and Character." > self allObjectsOrNil > ifNotNil: [:allObjects| allObjects do: aBlock] > ifNil: > ["Fall back on the old single object primitive code. With closures, this needs > to use an end marker (lastObject) since activation of the block will create > new contexts and cause an infinite loop. The lastObject must be created > before calling someObject, so that the VM can settle the enumeration (e.g. > by flushing new space) as a side effect of someObject" > | object lastObject | > lastObject := Object new. > object := self someObject. > [lastObject == object or: [0 == object]] whileFalse: > [aBlock value: object. > object := object nextObject]]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjectsOrNil (in category 'method prototypes') ----- > SystemNavigationPROTOTYPEallObjectsOrNil > "Answer an Array of all objects in the system. Fail if there isn't > enough memory to instantiate the result and answer nil." > <primitive: 178> > ^nil! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>WideStringPROTOTYPEat: (in category 'method prototypes') ----- > WideStringPROTOTYPEat: index > "Answer the Character stored in the field of the receiver indexed by the > argument. Primitive. Fail if the index argument is not an Integer or is out > of bounds. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 63> > ^index isInteger > ifTrue: > [self errorSubscriptBounds: index] > ifFalse: > [index isNumber > ifTrue: [self at: index asInteger] > ifFalse: [self errorNonIntegerIndex]]! > > Item was changed: > ----- Method: SpurBootstrapPrototypes>>WideStringPROTOTYPEat:put: (in category 'method prototypes') ----- > WideStringPROTOTYPEat: index put: aCharacter > "Store the Character into the field of the receiver indicated by the index. > Primitive. Fail if the index is not an Integer or is out of bounds, or if the > argument is not a Character. Essential. See Object documentation whatIsAPrimitive." > > <primitive: 64> > ^aCharacter isCharacter > ifTrue: > [index isInteger > ifTrue: [self errorSubscriptBounds: index] > ifFalse: [self errorNonIntegerIndex]] > ifFalse: > [self errorImproperStore]! > > Item was changed: > ----- Method: SpurBootstrapSqueak43Prototypes>>InstructionStreamPROTOTYPEinterpretExtension:in:for: (in category 'method prototypes') ----- > InstructionStreamPROTOTYPEinterpretExtension: offset in: method for: client > ^self interpretV3ClosuresExtension: offset in: method for: client! > > Item was changed: > ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEcomputeFormat:instSize:forSuper:ccIndex: (in category 'method prototypes') ----- > ClassBuilderPROTOTYPEcomputeFormat: type instSize: newInstSize forSuper: newSuper ccIndex: ccIndex > "Compute the new format for making oldClass a subclass of newSuper. > Answer the format or nil if there is any problem." > | instSize isVar isWords isPointers isWeak | > type == #compiledMethod ifTrue: > [newInstSize > 0 ifTrue: > [self error: 'A compiled method class cannot have named instance variables'. > ^nil]. > ^CompiledMethod format]. > instSize := newInstSize + (newSuper ifNil:[0] ifNotNil:[newSuper instSize]). > instSize > 65535 ifTrue: > [self error: 'Class has too many instance variables (', instSize printString,')'. > ^nil]. > type == #normal ifTrue:[isVar := isWeak := false. isWords := isPointers := true]. > type == #bytes ifTrue:[isVar := true. isWords := isPointers := isWeak := false]. > type == #words ifTrue:[isVar := isWords := true. isPointers := isWeak := false]. > type == #variable ifTrue:[isVar := isPointers := isWords := true. isWeak := false]. > type == #weak ifTrue:[isVar := isWeak := isWords := isPointers := true]. > type == #ephemeron ifTrue:[isVar := false. isWeak := isWords := isPointers := true]. > type == #immediate ifTrue:[isVar := isWeak := isPointers := false. isWords := true]. > (isPointers not and: [instSize > 0]) ifTrue: > [self error: 'A non-pointer class cannot have named instance variables'. > ^nil]. > ^self format: instSize variable: isVar words: isWords pointers: isPointers weak: isWeak! > > Item was changed: > ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEformat:variable:words:pointers:weak: (in category 'method prototypes') ----- > ClassBuilderPROTOTYPEformat: nInstVars variable: isVar words: is32BitWords pointers: isPointers weak: isWeak > "Compute the format for the given instance specfication. > Above Cog Spur the class format is > <5 bits inst spec><16 bits inst size> > where the 5-bit inst spec is > 0 = 0 sized objects (UndefinedObject True False et al) > 1 = non-indexable objects with inst vars (Point et al) > 2 = indexable objects with no inst vars (Array et al) > 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) > 4 = weak indexable objects with inst vars (WeakArray et al) > 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) > 6 = unused > 7 = immediates (SmallInteger, Character) > 8 = unused > 9 = reserved for 64-bit indexable > 10-11 = 32-bit indexable (Bitmap) > 12-15 = 16-bit indexable > 16-23 = 8-bit indexable > 24-31 = compiled methods (CompiledMethod)" > | instSpec | > instSpec := isWeak > ifTrue: > [isVar > ifTrue: [4] > ifFalse: [5]] > ifFalse: > [isPointers > ifTrue: > [isVar > ifTrue: [nInstVars > 0 ifTrue: [3] ifFalse: [2]] > ifFalse: [nInstVars > 0 ifTrue: [1] ifFalse: [0]]] > ifFalse: > [isVar > ifTrue: [is32BitWords ifTrue: [10] ifFalse: [16]] > ifFalse: [7]]]. > ^(instSpec bitShift: 16) + nInstVars! > > Item was changed: > ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEsuperclass:immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- > ClassBuilderPROTOTYPEsuperclass: aClass > immediateSubclass: t instanceVariableNames: f > classVariableNames: d poolDictionaries: s category: cat > "This is the standard initialization message for creating a > new immediate class as a subclass of an existing class." > | env | > aClass instSize > 0 > ifTrue: [^self error: 'cannot make an immediate subclass of a class with named fields']. > aClass isVariable > ifTrue: [^self error: 'cannot make an immediate subclass of a class with indexed instance variables']. > aClass isPointers > ifFalse: [^self error: 'cannot make an immediate subclass of a class without pointer fields']. > "Cope with pre-environment and environment versions. Simplify asap." > env := (Smalltalk classNamed: #EnvironmentRequest) > ifNil: [aClass environment] > ifNotNil: [:erc| erc signal ifNil: [aClass environment]]. > ^self > name: t > inEnvironment: env > subclassOf: aClass > type: #immediate > instanceVariableNames: f > classVariableNames: d > poolDictionaries: s > category: cat! > > Item was changed: > ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEupdate:to: (in category 'method prototypes') ----- > ClassBuilderPROTOTYPEupdate: oldClass to: newClass > "Convert oldClass, all its instances and possibly its meta class into newClass, > instances of newClass and possibly its meta class. The process is surprisingly > simple in its implementation and surprisingly complex in its nuances and potentially > bad side effects. > We can rely on two assumptions (which are critical): > #1: The method #updateInstancesFrom: will not create any lasting pointers to > 'old' instances ('old' is quote on quote since #updateInstancesFrom: will do > a become of the old vs. the new instances and therefore it will not create > pointers to *new* instances before the #become: which are *old* afterwards) > #2: The non-preemptive execution of the critical piece of code guarantees that > nobody can get a hold by 'other means' (such as process interruption and > reflection) on the old instances. > Given the above two, we know that after #updateInstancesFrom: there are no pointers > to any old instances. After the forwarding become there will be no pointers to the old > class or meta class either. > Andreas Raab, 2/27/2003 23:42" > | meta | > meta := oldClass isMeta. > "Note: Everything from here on will run without the ability to get interrupted > to prevent any other process to create new instances of the old class." > ["Note: The following removal may look somewhat obscure and needs an explanation. > When we mutate the class hierarchy we create new classes for any existing subclass. > So it may look as if we don't have to remove the old class from its superclass. However, > at the top of the hierarchy (the first class we reshape) that superclass itself is not newly > created so therefore it will hold both the oldClass and newClass in its (obsolete or not) > subclasses. Since the #become: below will transparently replace the pointers to oldClass > with newClass the superclass would have newClass in its subclasses TWICE. With rather > unclear effects if we consider that we may convert the meta-class hierarchy itself (which > is derived from the non-meta class hierarchy). > Due to this problem ALL classes are removed from their superclass just prior to converting > them. Here, breaking the superclass/subclass invariant really doesn't matter since we will > effectively remove the oldClass (becomeForward:) just a few lines below." > > oldClass superclass removeSubclass: oldClass. > oldClass superclass removeObsoleteSubclass: oldClass. > > "make sure that the VM cache is clean" > oldClass methodDict do: [:cm | cm flushCache]. > > "Convert the instances of oldClass into instances of newClass" > newClass updateInstancesFrom: oldClass. > > meta > ifTrue: > [oldClass becomeForward: newClass. > oldClass updateMethodBindingsTo: oldClass binding] > ifFalse: > [{oldClass. oldClass class} elementsForwardIdentityTo: {newClass. newClass class}. > oldClass updateMethodBindingsTo: oldClass binding. > oldClass class updateMethodBindingsTo: oldClass class binding]. > > "eem 5/31/2014 07:22 At this point there used to be a garbage collect whose purpose was > to ensure no old instances existed after the becomeForward:. Without the GC it was possible > to resurrect old instances using e.g. allInstancesDo:. This was because the becomeForward: > updated references from the old objects to new objects but didn't destroy the old objects. > But as of late 2013/early 2014 becomeForward: has been modified to free all the old objects."] > valueUnpreemptively! > > Item was changed: > ----- Method: SpurBootstrapSqueakFamilyPrototypes>>InstructionPrinterPROTOTYPEcallPrimitive: (in category 'method prototypes') ----- > InstructionPrinterPROTOTYPEcallPrimitive: index > "Print the callPrimitive." > > self print: 'callPrimtive: ' , index printString! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>BehaviorPROTOTYPEidentityHash (in category 'method prototypes') ----- > BehaviorPROTOTYPEidentityHash > "Answer a SmallInteger whose value is related to the receiver's identity. > Behavior implements identityHash to allow the VM to use an object representation which > does not include a direct reference to an object's class in an object. If the VM is using > this implementation then classes are held in a class table and instances contain the index > of their class in the table. A class's class table index is its identityHash so that an instance > can be created without searching the table for a class's index. The VM uses this primitive > to enter the class into the class table, assigning its identityHash with an as yet unused > class table index. If this primitive fails it means that the class table is full. In Spur as of > 2014 there are 22 bits of classTable index and 22 bits of identityHash per object. > > Primitive. Essential. Do not override. See Object documentation whatIsAPrimitive." > > <primitive: 175> > self primitiveFailed! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>CharacterPROTOTYPEclone (in category 'method prototypes') ----- > CharacterPROTOTYPEclone > "Answer the receiver, because Characters are unique." > ^self! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>ClassPROTOTYPEimmediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- > ClassPROTOTYPEimmediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat > "This is the standard initialization message for creating a new > immediate class as a subclass of an existing class (the receiver)." > ^ClassBuilder new > superclass: self > immediateSubclass: t > instanceVariableNames: f > classVariableNames: d > poolDictionaries: s > category: cat! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>ContextPartPROTOTYPEsend:to:with:super: (in category 'method prototypes') ----- > ContextPartPROTOTYPEsend: selector to: rcvr with: arguments super: superFlag > "Simulate the action of sending a message with selector arguments > to rcvr. The argument, superFlag, tells whether the receiver of the > message was specified with 'super' in the source method." > > ^self send: selector > to: rcvr > with: arguments > lookupIn: (superFlag > ifTrue: [self method methodClassAssociation value superclass] > ifFalse: [self objectClass: rcvr])! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>ContextPartPROTOTYPEtryNamedPrimitiveIn:for:withArgs: (in category 'method prototypes') ----- > ContextPartPROTOTYPEtryNamedPrimitiveIn: aCompiledMethod for: aReceiver withArgs: arguments > "Invoke the named primitive for aCompiledMethod, answering its result, or, > if the primiitve fails, answering the error code." > <primitive: 218 error: ec> > ec ifNotNil: > ["If ec is an integer other than -1 there was a problem with primitive 218, > not with the external primitive itself. -1 indicates a generic failure (where > ec should be nil) but ec = nil means primitive 218 is not implemented. So > interpret -1 to mean the external primitive failed with a nil error code." > ec isInteger ifTrue: > [ec = -1 > ifTrue: [ec := nil] > ifFalse: [self primitiveFailed]]]. > ^self class primitiveFailTokenFor: ec! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>IntegerclassPROTOTYPEinitialize (in category 'method prototypes') ----- > IntegerclassPROTOTYPEinitialize > "Integer initialize" > self initializeLowBitPerByteTable! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>MethodContextclassPROTOTYPEallInstances (in category 'method prototypes') ----- > MethodContextclassPROTOTYPEallInstances > "Answer all instances of the receiver." > <primitive: 177> > "The primitive can fail because memory is low. If so, fall back on the old > enumeration code, which gives the system a chance to GC and/or grow. > Because aBlock might change the class of inst (for example, using become:), > it is essential to compute next before aBlock value: inst. > Only count until thisContext since this context has been created only to > compute the existing instances." > | inst insts next | > insts := WriteStream on: (Array new: 64). > inst := self someInstance. > [inst == thisContext or: [inst == nil]] whileFalse: > [next := inst nextInstance. > insts nextPut: inst. > inst := next]. > ^insts contents! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>MethodContextclassPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- > MethodContextclassPROTOTYPEallInstancesDo: aBlock > "Evaluate aBlock with each of the current instances of the receiver." > | instances inst next | > instances := self allInstancesOrNil. > instances ifNotNil: > [instances do: aBlock. > ^self]. > "allInstancesOrNil can fail because memory is low. If so, fall back on the old > enumeration code. Because aBlock might change the class of inst (for example, > using become:), it is essential to compute next before aBlock value: inst. > Only count until thisContext since evaluation of aBlock will create new contexts." > inst := self someInstance. > [inst == thisContext or: [inst == nil]] whileFalse: > [next := inst nextInstance. > aBlock value: inst. > inst := next]! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>ProtoObjectPROTOTYPEscaledIdentityHash (in category 'method prototypes') ----- > ProtoObjectPROTOTYPEscaledIdentityHash > "For identityHash values returned by primitive 75, answer > such values times 2^8. Otherwise, match the existing > identityHash implementation" > > ^self identityHash * 256 "bitShift: 8"! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>SmalltalkImagePROTOTYPEsetGCParameters (in category 'method prototypes') ----- > SmalltalkImagePROTOTYPEsetGCParameters > "Adjust the VM's default GC parameters to avoid too much tenuring. > Maybe this should be left to the VM?" > > | proportion edenSize survivorSize averageObjectSize numObjects | > proportion := 0.9. "tenure when 90% of pastSpace is full" > edenSize := SmalltalkImage current vmParameterAt: 44. > survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" > averageObjectSize := 8 * self wordSize. "a good approximation" > numObjects := (proportion * survivorSize / averageObjectSize) rounded. > SmalltalkImage current vmParameterAt: 6 put: numObjects "tenure when more than this many objects survive the GC"! > > Item was changed: > ----- Method: SpurBootstrapSqueakPrototypes>>SystemDictionaryPROTOTYPEsetGCParameters (in category 'method prototypes') ----- > SystemDictionaryPROTOTYPEsetGCParameters > "Adjust the VM's default GC parameters to avoid too much tenuring. > Maybe this should be left to the VM?" > > | proportion edenSize survivorSize averageObjectSize numObjects | > proportion := 0.9. "tenure when 90% of pastSpace is full" > edenSize := SmalltalkImage current vmParameterAt: 44. > survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" > averageObjectSize := 8 * self wordSize. "a good approximation" > numObjects := (proportion * survivorSize / averageObjectSize) rounded. > SmalltalkImage current vmParameterAt: 6 put: numObjects "tenure when more than this many objects survive the GC"! >

2 2

please remove Cog-EstebanLorenzano.274
by Esteban Lorenzano 01 Jul '15

01 Jul '15

Hi, I made a commit in wrong repository :P Can someone with rights remove it? is Cog-EstebanLorenzano.274 thanks, Esteban

1 0

VM Maker: Cog-EstebanLorenzano.274.mcz
by commits＠source.squeak.org 01 Jul '15

01 Jul '15

Esteban Lorenzano uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-EstebanLorenzano.274.mcz ==================== Summary ==================== Name: Cog-EstebanLorenzano.274 Author: EstebanLorenzano Time: 1 July 2015, 2:25:04.350718 pm UUID: c99c1364-253e-4ede-8620-e8df4e8cb3f5 Ancestors: Cog-EstebanLorenzano.273 special objects array needs to store BoxedFloat64, not Float =============== Diff against Cog-eem.270 =============== Item was changed: + SystemOrganization addCategory: #Cog! + SystemOrganization addCategory: 'Cog-Bootstrapping'! + SystemOrganization addCategory: 'Cog-Morphing Bytecode Set'! + SystemOrganization addCategory: 'Cog-ProcessorPlugins'! + SystemOrganization addCategory: 'Cog-Processors'! + SystemOrganization addCategory: 'Cog-Processors-Tests'! + SystemOrganization addCategory: 'Cog-Scripting'! + SystemOrganization addCategory: 'Cog-Scripts'! + SystemOrganization addCategory: 'Cog-Tests'! - SystemOrganization addCategory: #'Cog-Bootstrapping'! - SystemOrganization addCategory: #'Cog-Morphing Bytecode Set'! - SystemOrganization addCategory: #'Cog-ProcessorPlugins'! - SystemOrganization addCategory: #'Cog-Processors'! - SystemOrganization addCategory: #'Cog-Processors-Tests'! - SystemOrganization addCategory: #'Cog-Scripting'! - SystemOrganization addCategory: #'Cog-Scripts'! - SystemOrganization addCategory: #'Cog-Tests'! Item was changed: ----- Method: Behavior>>BehaviorPROTOTYPEinstSize (in category '*Cog-method prototypes') ----- BehaviorPROTOTYPEinstSize "Answer the number of named instance variables (as opposed to indexed variables) of the receiver. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size>" ^format bitAnd: 16rFFFF! Item was changed: ----- Method: Behavior>>BehaviorPROTOTYPEinstSpec (in category '*Cog-method prototypes') ----- BehaviorPROTOTYPEinstSpec "Answer the instance specification part of the format that defines what kind of object an instance of the receiver is. The formats are 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" ^(format bitShift: -16) bitAnd: 16r1F! Item was changed: ----- Method: BlockClosure>>BlockClosurePROTOTYPEsimulateValueWithArguments:caller: (in category '*Cog-method prototypes') ----- BlockClosurePROTOTYPEsimulateValueWithArguments: anArray caller: aContext "Simulate the valueWithArguments: primitive. Fail if anArray is not an array of the right arity." | newContext sz | + newContext := (Context newForMethod: outerContext method) - newContext := (MethodContext newForMethod: outerContext method) setSender: aContext receiver: outerContext receiver method: outerContext method closure: self startpc: startpc. ((newContext objectClass: anArray) ~~ Array or: [numArgs ~= anArray size]) ifTrue: + [^Context primitiveFailTokenFor: nil]. - [^ContextPart primitiveFailTokenFor: nil]. sz := self basicSize. newContext stackp: sz + numArgs. 1 to: numArgs do: [:i| newContext at: i put: (anArray at: i)]. 1 to: sz do: [:i| newContext at: i + numArgs put: (self at: i)]. ^newContext! Item was added: + ----- Method: ClassDescription>>ClassDescriptionPROTOTYPEmethodClassAssociation: (in category '*Cog-method prototypes squeak') ----- + ClassDescriptionPROTOTYPEmethodClassAssociation: aBinding + "sets the association to the class that I am installed in" + ^self literalAt: self numLiterals put: aBinding! Item was changed: ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEheaderFlagForEncoder: (in category '*Cog-method prototypes') ----- CompiledMethodclassPROTOTYPEheaderFlagForEncoder: anEncoder + ^ 0 + "anEncoder class == PrimaryBytecodeSetEncoderClass ifTrue: [ ^0 ]. + anEncoder class == SecondaryBytecodeSetEncoderClass ifTrue: [ ^SmallInteger minVal ]. + self error: 'The encoder is not one of the two installed byte code sets'"! - anEncoder class == PrimaryBytecodeSetEncoderClass ifTrue: - [^0]. - anEncoder class == SecondaryBytecodeSetEncoderClass ifTrue: - [^SmallInteger minVal]. - self error: 'The encoder is not one of the two installed bytecode sets'! Item was changed: ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEinitialize (in category '*Cog-method prototypes') ----- CompiledMethodclassPROTOTYPEinitialize "CompiledMethod initialize" "Initialize class variables specifying the size of the temporary frame needed to run instances of me." SmallFrame := 16. "Context range for temps+stack" LargeFrame := 56. PrimaryBytecodeSetEncoderClass ifNil: [PrimaryBytecodeSetEncoderClass := EncoderForV3PlusClosures]. SecondaryBytecodeSetEncoderClass ifNil: [SecondaryBytecodeSetEncoderClass := EncoderForV3PlusClosures]! Item was changed: ----- Method: CompiledMethod class>>CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: (in category '*Cog-method prototypes') ----- CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: aBytecodeEncoderSubclass PrimaryBytecodeSetEncoderClass == aBytecodeEncoderSubclass ifTrue: [^self]. (aBytecodeEncoderSubclass inheritsFrom: BytecodeEncoder) ifFalse: [self error: 'A bytecode set encoder is expected to be a subclass of BytecodeEncoder']. (self allSubInstances detect: [:m| m header >= 0 and: [m encoderClass ~~ aBytecodeEncoderSubclass]] ifNone: []) ifNotNil: [Warning signal: 'There are existing CompiledMethods with a different encoderClass.']. PrimaryBytecodeSetEncoderClass := aBytecodeEncoderSubclass! Item was changed: ----- Method: CompiledMethod>>CompiledMethodPROTOTYPEencoderClass (in category '*Cog-method prototypes') ----- CompiledMethodPROTOTYPEencoderClass "Answer the encoder class that encoded the bytecodes in this method. The sign flag bit is used by the VM to select a bytecode set. This formulation may seem odd but this has to be fast, so no property probe unless needed." ^self header >= 0 ifTrue: [PrimaryBytecodeSetEncoderClass] ifFalse: [PrimaryBytecodeSetEncoderClass == SecondaryBytecodeSetEncoderClass ifTrue: "Support for testing prior to installing another set" [(self propertyValueAt: #encoderClass) ifNil: [SecondaryBytecodeSetEncoderClass]] ifFalse: [SecondaryBytecodeSetEncoderClass]]! Item was removed: - ----- Method: ContextPart>>ContextPartPROTOTYPEdoPrimitive:method:receiver:args: (in category '*Cog-method prototypes') ----- - ContextPartPROTOTYPEdoPrimitive: primitiveIndex method: meth receiver: receiver args: arguments - "Simulate a primitive method whose index is primitiveIndex. The simulated receiver and - arguments are given as arguments to this message. If successful, push result and return - resuming context, else ^ {errCode, PrimitiveFailToken}. Any primitive which provokes - execution needs to be intercepted and simulated to avoid execution running away." - - | value | - "Judicious use of primitive 19 (a null primitive that doesn't do anything) prevents - the debugger from entering various run-away activities such as spawning a new - process, etc. Injudicious use results in the debugger not being able to debug - interesting code, such as the debugger itself. hence use primitive 19 with care :-)" - "SystemNavigation new browseAllSelect: [:m| m primitive = 19]" - primitiveIndex = 19 ifTrue: - [ToolSet - debugContext: self - label:'Code simulation error' - contents: nil]. - - ((primitiveIndex between: 201 and: 222) - and: [(self objectClass: receiver) includesBehavior: BlockClosure]) ifTrue: - [((primitiveIndex between: 201 and: 205) "BlockClosure>>value[:value:...]" - or: [primitiveIndex between: 221 and: 222]) ifTrue: "BlockClosure>>valueNoContextSwitch[:]" - [^receiver simulateValueWithArguments: arguments caller: self]. - primitiveIndex = 206 ifTrue: "BlockClosure>>valueWithArguments:" - [^receiver simulateValueWithArguments: arguments first caller: self]]. - - primitiveIndex = 83 ifTrue: "afr 9/11/1998 19:50" "Object>>perform:[with:...]" - [^self send: arguments first to: receiver with: arguments allButFirst super: false]. - primitiveIndex = 84 ifTrue: "afr 9/11/1998 19:50 & eem 8/18/2009 17:04" "Object>>perform:withArguments:" - [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (self objectClass: receiver)]. - primitiveIndex = 100 ifTrue: "eem 8/18/2009 16:57" "Object>>perform:withArguments:inSuperclass:" - [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (arguments at: 3)]. - - "Mutex>>primitiveEnterCriticalSection - Mutex>>primitiveTestAndSetOwnershipOfCriticalSection" - (primitiveIndex = 186 or: [primitiveIndex = 187]) ifTrue: - [| active effective | - active := Processor activeProcess. - effective := active effectiveProcess. - "active == effective" - value := primitiveIndex = 186 - ifTrue: [receiver primitiveEnterCriticalSectionOnBehalfOf: effective] - ifFalse: [receiver primitiveTestAndSetOwnershipOfCriticalSectionOnBehalfOf: effective]. - ^(self isPrimFailToken: value) - ifTrue: [value] - ifFalse: [self push: value]]. - - primitiveIndex = 188 ifTrue: "eem 5/27/2008 11:10 Object>>withArgs:executeMethod:" - [^MethodContext - sender: self - receiver: receiver - method: (arguments at: 2) - arguments: (arguments at: 1)]. - - "Closure primitives" - (primitiveIndex = 200 and: [self == receiver]) ifTrue: - "ContextPart>>closureCopy:copiedValues:; simulated to get startpc right" - [^self push: (BlockClosure - outerContext: receiver - startpc: pc + 2 - numArgs: arguments first - copiedValues: arguments last)]. - - primitiveIndex = 118 ifTrue: "tryPrimitive:withArgs:; avoid recursing in the VM" - [(arguments size = 2 - and: [arguments first isInteger - and: [(self objectClass: arguments last) == Array]]) ifFalse: - [^ContextPart primitiveFailTokenFor: nil]. - ^self doPrimitive: arguments first method: meth receiver: receiver args: arguments last]. - - value := primitiveIndex = 120 "FFI method" - ifTrue: [(meth literalAt: 1) tryInvokeWithArguments: arguments] - ifFalse: - [primitiveIndex = 117 "named primitives" - ifTrue: [self tryNamedPrimitiveIn: meth for: receiver withArgs: arguments] - ifFalse: [receiver tryPrimitive: primitiveIndex withArgs: arguments]]. - - ^(self isPrimFailToken: value) - ifTrue: [value] - ifFalse: [self push: value]! Item was removed: - ----- Method: ContextPart>>ContextPartPROTOTYPEisPrimFailToken: (in category '*Cog-method prototypes') ----- - ContextPartPROTOTYPEisPrimFailToken: anObject - ^(self objectClass: anObject) == Array - and: [anObject size = 2 - and: [anObject first == PrimitiveFailToken]]! Item was changed: ----- Method: Decompiler>>DecompilerPROTOTYPEdecompile:in:method:using: (in category '*Cog-method prototypes squeak 4.3') ----- DecompilerPROTOTYPEdecompile: aSelector in: aClass method: aMethod using: aConstructor | block node | constructor := aConstructor. method := aMethod. self initSymbols: aClass. "create symbol tables" method isQuick ifTrue: [block := self quickMethod] ifFalse: [stack := OrderedCollection new: method frameSize. lastJumpIfPcStack := OrderedCollection new. caseExits := OrderedCollection new. statements := OrderedCollection new: 20. numLocalTemps := 0. super method: method pc: method initialPC. "skip primitive error code store if necessary" (method primitive ~= 0 and: [self skipCallPrimitive; willStore]) ifTrue: [pc := pc + (method encoderClass bytecodeSize: self firstByte). tempVars := tempVars asOrderedCollection]. block := self blockTo: method endPC + 1. stack isEmpty ifFalse: [self error: 'stack not empty']]. node := constructor codeMethod: aSelector block: block tempVars: tempVars primitive: method primitive class: aClass. method primitive > 0 ifTrue: [node removeAndRenameLastTempIfErrorCode]. ^node preen! Item was changed: ----- Method: InstructionStream>>InstructionStreamPROTOTYPEinterpretV3ClosuresExtension:in:for: (in category '*Cog-method prototypes') ----- InstructionStreamPROTOTYPEinterpretV3ClosuresExtension: offset in: method for: client | type offset2 byte2 byte3 byte4 | offset <= 6 ifTrue: ["Extended op codes 128-134" byte2 := method at: pc. pc := pc + 1. offset <= 2 ifTrue: ["128-130: extended pushes and pops" type := byte2 // 64. offset2 := byte2 \\ 64. offset = 0 ifTrue: [type = 0 ifTrue: [^client pushReceiverVariable: offset2]. type = 1 ifTrue: [^client pushTemporaryVariable: offset2]. type = 2 ifTrue: [^client pushConstant: (method literalAt: offset2 + 1)]. type = 3 ifTrue: [^client pushLiteralVariable: (method literalAt: offset2 + 1)]]. offset = 1 ifTrue: [type = 0 ifTrue: [^client storeIntoReceiverVariable: offset2]. type = 1 ifTrue: [^client storeIntoTemporaryVariable: offset2]. type = 2 ifTrue: [self error: 'illegalStore']. type = 3 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: offset2 + 1)]]. offset = 2 ifTrue: [type = 0 ifTrue: [^client popIntoReceiverVariable: offset2]. type = 1 ifTrue: [^client popIntoTemporaryVariable: offset2]. type = 2 ifTrue: [self error: 'illegalStore']. type = 3 ifTrue: [^client popIntoLiteralVariable: (method literalAt: offset2 + 1)]]]. "131-134: extended sends" offset = 3 ifTrue: "Single extended send" [^client send: (method literalAt: byte2 \\ 32 + 1) super: false numArgs: byte2 // 32]. offset = 4 ifTrue: "Double extended do-anything" [byte3 := method at: pc. pc := pc + 1. type := byte2 // 32. type = 0 ifTrue: [^client send: (method literalAt: byte3 + 1) super: false numArgs: byte2 \\ 32]. type = 1 ifTrue: [^client send: (method literalAt: byte3 + 1) super: true numArgs: byte2 \\ 32]. type = 2 ifTrue: [^client pushReceiverVariable: byte3]. type = 3 ifTrue: [^client pushConstant: (method literalAt: byte3 + 1)]. type = 4 ifTrue: [^client pushLiteralVariable: (method literalAt: byte3 + 1)]. type = 5 ifTrue: [^client storeIntoReceiverVariable: byte3]. type = 6 ifTrue: [^client popIntoReceiverVariable: byte3]. type = 7 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: byte3 + 1)]]. offset = 5 ifTrue: "Single extended send to super" [^client send: (method literalAt: byte2 \\ 32 + 1) super: true numArgs: byte2 // 32]. offset = 6 ifTrue: "Second extended send" [^client send: (method literalAt: byte2 \\ 64 + 1) super: false numArgs: byte2 // 64]]. offset = 7 ifTrue: [^client doPop]. offset = 8 ifTrue: [^client doDup]. offset = 9 ifTrue: [^client pushActiveContext]. byte2 := method at: pc. pc := pc + 1. offset = 10 ifTrue: [^byte2 < 128 ifTrue: [client pushNewArrayOfSize: byte2] ifFalse: [client pushConsArrayWithElements: byte2 - 128]]. byte3 := method at: pc. pc := pc + 1. offset = 11 ifTrue: [^client callPrimitive: byte2 + (byte3 bitShift: 8)]. offset = 12 ifTrue: [^client pushRemoteTemp: byte2 inVectorAt: byte3]. offset = 13 ifTrue: [^client storeIntoRemoteTemp: byte2 inVectorAt: byte3]. offset = 14 ifTrue: [^client popIntoRemoteTemp: byte2 inVectorAt: byte3]. "offset = 15" byte4 := method at: pc. pc := pc + 1. ^client pushClosureCopyNumCopiedValues: (byte2 bitShift: -4) numArgs: (byte2 bitAnd: 16rF) blockSize: (byte3 * 256) + byte4! Item was changed: ----- Method: InstructionStream>>InstructionStreamPROTOTYPEnextPc: (in category '*Cog-method prototypes') ----- InstructionStreamPROTOTYPEnextPc: currentByte "Answer the pc of the next bytecode following the current one, given the current bytecode.." ^pc + (self method encoderClass bytecodeSize: currentByte)! Item was changed: ----- Method: MCClassDefinition>>MCClassDefinitionPROTOTYPEkindOfSubclass (in category '*Cog-method prototypes squeak 4.3') ----- MCClassDefinitionPROTOTYPEkindOfSubclass type = #normal ifTrue: [^' subclass: ']. type = #variable ifTrue: [^' variableSubclass: ']. type = #bytes ifTrue: [^' variableByteSubclass: ']. type = #compiledMethod ifTrue: [^' variableByteSubclass: ' ]. type = #words ifTrue: [^' variableWordSubclass: ']. type = #weak ifTrue: [^' weakSubclass: ' ]. type = #ephemeron ifTrue: [^' ephemeronSubclass: ' ]. type = #immediate ifTrue: [^' immediateSubclass: ' ]. self error: 'Unrecognized class type'! Item was changed: ----- Method: MCMethodDefinition>>MCMethodDefinitionPROTOTYPEinitializeWithClassName:classIsMeta:selector:category:timeStamp:source: (in category '*Cog-method prototypes squeak 4.3') ----- MCMethodDefinitionPROTOTYPEinitializeWithClassName: classString classIsMeta: metaBoolean selector: selectorString category: catString timeStamp: timeString source: sourceString className := classString asSymbol. selector := selectorString asSymbol. category := catString ifNil: [Categorizer default] ifNotNil: [catString asSymbol]. timeStamp := timeString. classIsMeta := metaBoolean. source := sourceString withSqueakLineEndings! Item was removed: - ----- Method: MethodContext>>MethodContextPROTOTYPEfailPrimitiveWith: (in category '*Cog-method prototypes') ----- - MethodContextPROTOTYPEfailPrimitiveWith: maybePrimFailToken - "The receiver is a freshly-created context on a primitive method. Skip the callPrimitive: - bytecode and store the primitive fail code if there is one and the method consumes it." - self skipCallPrimitive. - ((self isPrimFailToken: maybePrimFailToken) - and: [method encoderClass isStoreAt: pc in: method]) ifTrue: - [self at: stackp put: maybePrimFailToken last]! Item was removed: - ----- Method: MethodContext>>xray (in category '*Cog-Tests-xrays') ----- - xray - "Lift the veil from a context and answer an integer describing its interior state. - Used for e.g. VM tests so they can verify they're testing what they think they're testing. - 0 implies a vanilla heap context. - Bit 0 = is or was married to a frame - Bit 1 = is still married to a frame - Bit 2 = frame is executing machine code - Bit 3 = has machine code pc (as opposed to nil or a bytecode pc) - Bit 4 = method is currently compiled to machine code" - <primitive: 213> - ^0 "Can only fail if unimplemented; therefore simply answer 0"! Item was removed: - ----- Method: MethodContext>>xrayIsDivorced (in category '*Cog-Tests-xrays') ----- - xrayIsDivorced - ^(self xray bitAnd: 3) = 1! Item was removed: - ----- Method: MethodContext>>xrayIsExecutingMachineCode (in category '*Cog-Tests-xrays') ----- - xrayIsExecutingMachineCode - ^self xray anyMask: 4! Item was removed: - ----- Method: MethodContext>>xrayIsMarried (in category '*Cog-Tests-xrays') ----- - xrayIsMarried - ^self xray anyMask: 2! Item was removed: - ----- Method: MethodContext>>xrayLastExecutedMachineCode (in category '*Cog-Tests-xrays') ----- - xrayLastExecutedMachineCode - ^self xray anyMask: 8! Item was removed: - ----- Method: MethodContext>>xrayMethodIsCompiledToMachineCode (in category '*Cog-Tests-xrays') ----- - xrayMethodIsCompiledToMachineCode - ^self xray anyMask: 16! Item was added: + ----- Method: MethodNode>>MethodNodePROTOTYPEgenerate:using:ifQuick: (in category '*Cog-method prototypes') ----- + MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass ifQuick: methodBlock + | v | + (primitive = 0 and: [arguments size = 0 and: [block isQuick]]) ifFalse: + [^self]. + v := block code. + v < 0 ifTrue: + [^self]. + v = LdSelf ifTrue: + [^methodBlock value: (aCompiledMethodClass toReturnSelfTrailerBytes: trailer)]. + (v between: LdTrue and: LdMinus1 + 3) ifTrue: + [^methodBlock value: (aCompiledMethodClass toReturnConstant: v - LdSelf trailerBytes: trailer)]. + v < ((CodeBases at: LdInstType) + (CodeLimits at: LdInstType)) ifTrue: + [^methodBlock value: (aCompiledMethodClass toReturnField: v trailerBytes: trailer)]. + v // 256 = 1 ifTrue: + [^methodBlock value: (aCompiledMethodClass toReturnField: v \\ 256 trailerBytes: trailer)]! Item was changed: ----- Method: SimulatorHarness>>interpreter:object:perform:withArguments: (in category 'bootstrap methods') ----- interpreter: sim object: receiver perform: selector withArguments: arguments "Interpret an expression in oldHeap using oldInterpreter. Answer the result." | fp savedpc savedsp savedStackPages result startByteCount | self assert: ({receiver. selector}, arguments allSatisfy: [:oop| oop isInteger and: [sim objectMemory addressCouldBeOop: oop]]). savedpc := sim localIP. savedsp := sim localSP. savedStackPages := Set with: sim stackPage. sim internalPush: receiver. arguments do: [:arg| sim internalPush: arg]. sim argumentCount: arguments size; messageSelector: selector. fp := sim localFP. startByteCount := sim byteCount. "sim byteCount = 66849 ifTrue: [self halt]." sim normalSend. sim incrementByteCount. "otherwise, send is not counted" ["sim printFrame: sim localFP WithSP: sim localSP" "sim setBreakSelector: #elementsForwardIdentityTo:" "sim byteCount = 66849 ifTrue: [self halt]." "(sim byteCount > 7508930 and: [sim localFP = -16r27894]) ifTrue: [self halt]." fp = sim localFP] whileFalse: [sim singleStep. (savedStackPages includes: sim stackPage) ifFalse: "If the stack gets deep something has probably gone wrong..." [savedStackPages size > 20 ifTrue: [self halt]. savedStackPages add: sim stackPage]]. result := sim internalPopStack. self assert: savedsp = sim localSP. self assert: sim localIP - 1 = savedpc. sim localIP: savedpc. ^result! Item was changed: ----- Method: SimulatorHarness>>withExecutableInterpreter:do: (in category 'bootstrap methods') ----- withExecutableInterpreter: sim do: aBlock "With the oldInterpreter ready to execute code, evaluate aBlock, then return the interpreter (and the heap) to the ``just snapshotted'' state." | savedpc savedfp initialContext finalContext | sim initStackPages; loadInitialContext; internalizeIPandSP. savedpc := sim localIP. savedfp := sim localFP. "sim printHeadFrame." aBlock value. "sim printHeadFrame." sim internalPush: sim localIP; externalizeIPandSP. "now undo the execution state" self assert: sim localFP = savedfp. initialContext := sim frameContext: savedfp. finalContext := sim voidVMStateForSnapshotFlushingExternalPrimitivesIf: false. self assert: initialContext = finalContext. self assert: sim localIP = savedpc. sim objectMemory storePointer: SuspendedContextIndex ofObject: sim activeProcess withValue: finalContext! Item was changed: ----- Method: SpurBootstrap class>>bootstrapPharoImage: (in category 'utilities') ----- bootstrapPharoImage: imageFileBaseName | oldCompilerClass oldBytecodeBackend | oldCompilerClass := SmalltalkImage compilerClass. oldBytecodeBackend := CompilationContext bytecodeBackend. [ SmalltalkImage compilerClass: Compiler. - CompilationContext bytecodeBackend: IRSpurSqueakV3PlusClosuresBytecodeGenerator. self bootstrapImage: imageFileBaseName type: 'pharo' ] ensure: [ SmalltalkImage compilerClass: oldCompilerClass. CompilationContext bytecodeBackend: oldBytecodeBackend ]! Item was changed: ----- Method: SpurBootstrap>>allPrototypeMethodSymbols (in category 'method prototypes') ----- allPrototypeMethodSymbols "self basicNew allPrototypeMethodSymbols" | symbols | + "self assert: SpurBootstrap isolatedPrototypes isEmpty." - self assert: SpurBootstrap isolatedPrototypes isEmpty. symbols := Set new. self prototypeClassNameMetaSelectorMethodDo: [:className :isMeta :selector :method | | adder | symbols add: className; add: selector. adder := [:lit| (lit isSymbol and: [lit ~~ method selector]) ifTrue: [symbols add: lit]. lit isArray ifTrue: [lit do: adder]]. method literals do: adder]. ^symbols! Item was changed: ----- Method: SpurBootstrap>>allocateClassTable (in category 'bootstrap image') ----- allocateClassTable "Allocate the root of the classTable plus enough pages to accomodate all classes in the classToIndex map. Don't fill in the entries yet; the classes have yet to be cloned." | tableRoot page maxSize numPages | tableRoot := newHeap allocateSlots: newHeap classTableRootSlots + newHeap hiddenRootSlots format: newHeap arrayFormat classIndex: newHeap arrayClassIndexPun. self assert: (newHeap numSlotsOf: tableRoot) = (newHeap classTableRootSlots + newHeap hiddenRootSlots). self assert: (newHeap formatOf: tableRoot) = newHeap arrayFormat. self assert: (newHeap classIndexOf: tableRoot) = newHeap arrayClassIndexPun. newHeap nilFieldsOf: tableRoot. "first page is strong" page := newHeap allocateSlots: newHeap classTablePageSize format: newHeap arrayFormat classIndex: newHeap arrayClassIndexPun. self assert: (newHeap numSlotsOf: page) = newHeap classTablePageSize. self assert: (newHeap formatOf: tableRoot) = newHeap arrayFormat. self assert: (newHeap classIndexOf: tableRoot) = newHeap arrayClassIndexPun. self assert: (newHeap objectAfter: tableRoot limit: newHeap freeStart) = page. lastClassTablePage := page. newHeap nilFieldsOf: page. newHeap storePointer: 0 ofObject: tableRoot withValue: page. newHeap setHiddenRootsObj: tableRoot. maxSize := classToIndex inject: 0 into: [:a :b| a max: b]. numPages := (maxSize + newHeap classTableMinorIndexMask / newHeap classTablePageSize) truncated. 2 to: numPages do: [:i| page := newHeap allocateSlots: newHeap classTablePageSize format: newHeap arrayFormat classIndex: newHeap arrayClassIndexPun. self assert: (newHeap numSlotsOf: page) = newHeap classTablePageSize. self assert: (newHeap formatOf: page) = newHeap arrayFormat. self assert: (newHeap classIndexOf: page) = newHeap arrayClassIndexPun. newHeap fillObj: page numSlots: newHeap classTablePageSize with: newHeap nilObject. newHeap storePointer: i - 1 ofObject: tableRoot withValue: page. self assert: (newHeap objectAfter: (newHeap fetchPointer: i - 2 ofObject: tableRoot) limit: newHeap freeStart) = page. lastClassTablePage := page]. "and once again to recompute numClassTablePages post building the class table." newHeap instVarNamed: 'numClassTablePages' put: nil. newHeap setHiddenRootsObj: tableRoot! Item was changed: ----- Method: SpurBootstrap>>bootstrapImageUsingFileReference: (in category 'public access') ----- bootstrapImageUsingFileReference: imageName | dirName baseName dir | dirName := imageName asFileReference parent fullName. baseName := (imageName endsWith: '.image') ifTrue: [ imageName asFileReference base ] ifFalse: [ (imageName, '.image') asFileReference base ]. dir := dirName asFileReference. self on: (dir / (baseName, '.image')) fullName. [self transform] on: Halt do: [:ex| "suppress halts from the usual suspects (development time halts)" (#(fullGC compactImage) includes: ex signalerContext sender selector) ifTrue: [ex resume] ifFalse: [ex pass]]. self writeSnapshot: (dir / (baseName, '-spur.image')) fullName ofTransformedImage: newHeap headerFlags: oldInterpreter getImageHeaderFlags screenSize: oldInterpreter savedWindowSize. (dir / (baseName, '.changes')) copyTo: (dir / (baseName, '-spur.changes'))! Item was changed: ----- Method: SpurBootstrap>>rehashImage (in category 'bootstrap image') ----- rehashImage "Rehash all collections in newHeap. Find out which classes implement rehash, entering a 1 against their classIndex in rehashFlags. Enumerate all objects, rehashing those whose class has a bit set in rehashFlags." | n sim rehashFlags dotDate rehashSym sizeSym | rehashSym := map at: (self findSymbol: #rehash). sizeSym := map at: (self findSymbol: #size). sim := StackInterpreterSimulator onObjectMemory: newHeap options: #(ObjectMemory #Spur32BitMemoryManager). sim setImageHeaderFlagsFrom: oldInterpreter getImageHeaderFlags; imageName: 'spur image'; assertValidExecutionPointersAtEachStep: false.. newHeap coInterpreter: sim. sim bootstrapping: true. sim initializeInterpreter: 0. sim instVarNamed: 'methodDictLinearSearchLimit' put: SmallInteger maxVal. sim redirectTranscriptToHost. newHeap setHashBitsOf: newHeap nilObject to: 1; setHashBitsOf: newHeap falseObject to: 2; setHashBitsOf: newHeap trueObject to: 3. rehashFlags := ByteArray new: newHeap numClassTablePages * newHeap classTablePageSize. n := 0. newHeap classTableObjectsDo: [:class| | classIndex | sim messageSelector: rehashSym. "Lookup rehash but don't be fooled by ProtoObject>>rehash, which is just ^self." ((sim lookupOrdinaryNoMNUEtcInClass: class) = 0 and: [(sim isQuickPrimitiveIndex: (sim primitiveIndexOf: (sim instVarNamed: 'newMethod'))) not]) ifTrue: [n := n + 1. classIndex := newHeap rawHashBitsOf: class. rehashFlags at: classIndex >> 3 + 1 put: ((rehashFlags at: classIndex >> 3 + 1) bitOr: (1 << (classIndex bitAnd: 7)))]]. Transcript cr; print: n; nextPutAll: ' classes understand rehash. rehashing instances...'; flush. dotDate := Time now asSeconds. n := 0. self withExecutableInterpreter: sim do: [sim setBreakSelector: 'error:'. "don't rehash twice (actually without limit), so don't rehash any new objects created." newHeap allExistingOldSpaceObjectsDo: [:o| | classIndex | classIndex := newHeap classIndexOf: o. ((rehashFlags at: classIndex >> 3 + 1) anyMask: 1 << (classIndex bitAnd: 7)) ifTrue: [Time now asSeconds > dotDate ifTrue: [Transcript nextPut: $.; flush. dotDate := Time now asSeconds]. "2845 = n ifTrue: [self halt]." "Rehash an object if its size is > 0. Symbol implements rehash, but let's not waste time rehashing it; in Squeak up to 2013 symbols are kept in a set which will get reashed anyway.. Don't rehash empty collections; they may be large for a reason and rehashing will shrink them." ((sim addressCouldBeClassObj: o) or: [(self interpreter: sim object: o perform: sizeSym withArguments: #()) = (newHeap integerObjectOf: 0)]) ifFalse: [self interpreter: sim object: o perform: rehashSym withArguments: #()]]]]! Item was changed: ----- Method: SpurBootstrap>>writeSnapshot:ofTransformedImage:headerFlags:screenSize: (in category 'testing') ----- writeSnapshot: imageFileName ofTransformedImage: spurHeap headerFlags: headerFlags screenSize: screenSizeInteger "The bootstrapped image typically contains a few big free chunks and one huge free chunk. Test snapshot writing and loading by turning the largest non-huge chunks into segment bridges and saving." | penultimate ultimate sizes counts barriers sim | sim := StackInterpreterSimulator onObjectMemory: spurHeap. sim bootstrapping: true. spurHeap coInterpreter: sim; setEndOfMemory: spurHeap endOfMemory + spurHeap bridgeSize. "hack; initializeInterpreter: cuts it back by bridgeSize" sim initializeInterpreter: 0; setImageHeaderFlagsFrom: headerFlags; setDisplayForm: nil. spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. (spurHeap isFreeObject: penultimate) ifTrue: "old, pre-pigCompact segmented save" [self assert: (spurHeap isSegmentBridge: ultimate). sizes := Bag new. spurHeap allObjectsInFreeTree: (spurHeap freeLists at: 0) do: [:f| sizes add: (spurHeap bytesInObject: f)]. counts := sizes sortedCounts. self assert: counts last key = 1. "1 huge chunk" counts size > 1 ifTrue: [self assert: ((counts at: counts size - 1) key > 2 and: [(counts at: counts size - 1) value > 1024]). barriers := (1 to: (counts at: counts size - 1) key) collect: [:ign| spurHeap allocateOldSpaceChunkOfExactlyBytes: (counts at: counts size - 1) value]. barriers := barriers, {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}] ifFalse: [barriers := {spurHeap allocateOldSpaceChunkOfExactlyBytes: (spurHeap bytesInObject: penultimate)}]. barriers last ifNotNil: [:end| spurHeap setEndOfMemory: end. spurHeap allOldSpaceEntitiesDo: [:e| penultimate := ultimate. ultimate := e]. self assert: (spurHeap addressAfter: ultimate) = end]]. spurHeap checkFreeSpace. spurHeap runLeakCheckerForFullGC. barriers ifNotNil: "old, pre-pigCompact segmented save" [spurHeap segmentManager initializeFromFreeChunks: (barriers sort collect: [:b| spurHeap objectStartingAt: b])]. spurHeap checkFreeSpace. spurHeap runLeakCheckerForFullGC. sim bereaveAllMarriedContextsForSnapshotFlushingExternalPrimitivesIf: true. sim imageName: imageFileName. sim writeImageFileIO. Transcript cr; show: 'Done!!'! Item was added: + SpurBootstrapSqueakFamilyPrototypes subclass: #SpurBootstrapOldSqueakPrototypes + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Cog-Bootstrapping'! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>BehaviorPROTOTYPEbasicIdentityHash (in category 'method prototypes') ----- BehaviorPROTOTYPEbasicIdentityHash "Answer a SmallInteger whose value is related to the receiver's identity. Behavior implements identityHash to allow the VM to use an object representation which does not include a direct reference to an object's class in an object. If the VM is using this implementation then classes are held in a class table and instances contain the index of their class in the table. A class's class table index is its identityHash so that an instance can be created without searching the table for a class's index. The VM uses this primitive to enter the class into the class table, assigning its identityHash with an as yet unused class table index. If this primitive fails it means that the class table is full. In Spur as of 2014 there are 22 bits of classTable index and 22 bits of identityHash per object. Primitive. Essential. Do not override. See Object documentation whatIsAPrimitive." <primitive: 175> self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>BehaviorPROTOTYPElargeIdentityHash (in category 'method prototypes') ----- BehaviorPROTOTYPElargeIdentityHash "Answer a SmallInteger whose value is related to the receiver's identity. Behavior implements identityHash to allow the VM to use an object representation which does not include a direct reference to an object's class in an object. If the VM is using this implementation then classes are held in a class table and instances contain the index of their class in the table. A class's class table index is its identityHash so that an instance can be created without searching the table for a class's index. The VM uses this primitive to enter the class into the class table, assigning its identityHash with an as yet unused class table index. If this primitive fails it means that the class table is full. In Spur as of 2014 there are 22 bits of classTable index and 22 bits of identityHash per object." <primitive: 175> self primitiveFailed! Item was added: + ----- Method: SpurBootstrapPharoPrototypes>>BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- + BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex + numArgs > 15 ifTrue: + [^self error: 'Cannot compile -- too many arguments']. + numTemps > 63 ifTrue: + [^self error: 'Cannot compile -- too many temporary variables']. + numLits > 65535 ifTrue: + [^self error: 'Cannot compile -- too many literals']. + ^(CompiledMethod headerFlagForEncoder: self class) + + (numArgs bitShift: 24) + + (numTemps bitShift: 18) + "+ (largeBit bitShift: 17)" "largeBit gets filled in later" + + (primitiveIndex > 0 ifTrue: [1 bitShift: 16] ifFalse: [0]) + + numLits! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>CharacterPROTOTYPEsetValue: (in category 'method prototypes') ----- CharacterPROTOTYPEsetValue: newValue self error: 'Characters are immutable'! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>ContextclassPROTOTYPEallInstances (in category 'method prototypes') ----- ContextclassPROTOTYPEallInstances "Answer all instances of the receiver." <primitive: 177> "The primitive can fail because memory is low. If so, fall back on the old enumeration code, which gives the system a chance to GC and/or grow. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst. Only count until thisContext since this context has been created only to compute the existing instances." | inst insts next | insts := WriteStream on: (Array new: 64). inst := self someInstance. [inst == thisContext or: [inst == nil]] whileFalse: [next := inst nextInstance. insts nextPut: inst. inst := next]. ^insts contents! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>ContextclassPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- ContextclassPROTOTYPEallInstancesDo: aBlock "Evaluate aBlock with each of the current instances of the receiver." | instances inst next | instances := self allInstancesOrNil. instances ifNotNil: [instances do: aBlock. ^self]. "allInstancesOrNil can fail because memory is low. If so, fall back on the old enumeration code. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst. Only count until thisContext since evaluation of aBlock will create new contexts." inst := self someInstance. [inst == thisContext or: [inst == nil]] whileFalse: [next := inst nextInstance. aBlock value: inst. inst := next]! Item was added: + ----- Method: SpurBootstrapPharoPrototypes>>MethodNodePROTOTYPEgenerate:using:ifQuick: (in category 'method prototypes') ----- + MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass ifQuick: methodBlock + <indirect>! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>ProtoObjectPROTOTYPEidentityHash (in category 'method prototypes') ----- ProtoObjectPROTOTYPEidentityHash "Answer a SmallInteger whose value is related to the receiver's identity. This method must not be overridden, except by SmallInteger. As of 2014, the 32-bit Spur VM has 22 bits of hash and 31-bit SmallIntegers (30 bits + 1 sign bit). Shifting by 8 will not create large integers. Do not override." ^self basicIdentityHash bitShift: 8! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEcomputeFormat:instSize:forSuper:ccIndex: (in category 'method prototypes') ----- SlotClassBuilderPROTOTYPEcomputeFormat: type instSize: newInstSize forSuper: newSuper ccIndex: ccIndex "Compute the new format for making oldClass a subclass of newSuper. Answer the format or nil if there is any problem." | instSize isVar isWords isPointers isWeak | type == #compiledMethod ifTrue: [newInstSize > 0 ifTrue: [self error: 'A compiled method class cannot have named instance variables'. ^nil]. ^CompiledMethod format]. instSize := newInstSize + (newSuper ifNil:[0] ifNotNil:[newSuper instSize]). instSize > 65535 ifTrue: [self error: 'Class has too many instance variables (', instSize printString,')'. ^nil]. type == #normal ifTrue:[isVar := isWeak := false. isWords := isPointers := true]. type == #bytes ifTrue:[isVar := true. isWords := isPointers := isWeak := false]. type == #words ifTrue:[isVar := isWords := true. isPointers := isWeak := false]. type == #variable ifTrue:[isVar := isPointers := isWords := true. isWeak := false]. type == #weak ifTrue:[isVar := isWeak := isWords := isPointers := true]. type == #ephemeron ifTrue:[isVar := false. isWeak := isWords := isPointers := true]. type == #immediate ifTrue:[isVar := isWeak := isPointers := false. isWords := true]. (isPointers not and: [instSize > 0]) ifTrue: [self error: 'A non-pointer class cannot have named instance variables'. ^nil]. ^self format: instSize variable: isVar words: isWords pointers: isPointers weak: isWeak! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEformat:variable:words:pointers:weak: (in category 'method prototypes') ----- SlotClassBuilderPROTOTYPEformat: nInstVars variable: isVar words: isWords pointers: isPointers weak: isWeak "Compute the format for the given instance specfication. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = reserved for 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" | instSpec | instSpec := isWeak ifTrue: [isVar ifTrue: [4] ifFalse: [5]] ifFalse: [isPointers ifTrue: [isVar ifTrue: [nInstVars > 0 ifTrue: [3] ifFalse: [2]] ifFalse: [nInstVars > 0 ifTrue: [1] ifFalse: [0]]] ifFalse: [isVar ifTrue: [isWords ifTrue: [12] ifFalse: [16]] ifFalse: [7]]]. ^(instSpec bitShift: 16) + nInstVars! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEsuperclass:immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- SlotClassBuilderPROTOTYPEsuperclass: aClass immediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat "This is the standard initialization message for creating a new immediate class as a subclass of an existing class." | env | aClass instSize > 0 ifTrue: [^self error: 'cannot make an immediate subclass of a class with named fields']. aClass isVariable ifTrue: [^self error: 'cannot make an immediate subclass of a class with indexed instance variables']. aClass isPointers ifFalse: [^self error: 'cannot make an immediate subclass of a class without pointer fields']. "Cope with pre-environment and environment versions. Simplify asap." env := (Smalltalk classNamed: #EnvironmentRequest) ifNil: [aClass environment] ifNotNil: [:erc| erc signal ifNil: [aClass environment]]. ^self name: t inEnvironment: env subclassOf: aClass type: #immediate instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>SlotClassBuilderPROTOTYPEupdate:to: (in category 'method prototypes') ----- SlotClassBuilderPROTOTYPEupdate: oldClass to: newClass "Convert oldClass, all its instances and possibly its meta class into newClass, instances of newClass and possibly its meta class. The process is surprisingly simple in its implementation and surprisingly complex in its nuances and potentially bad side effects. We can rely on two assumptions (which are critical): #1: The method #updateInstancesFrom: will not create any lasting pointers to 'old' instances ('old' is quote on quote since #updateInstancesFrom: will do a become of the old vs. the new instances and therefore it will not create pointers to *new* instances before the #become: which are *old* afterwards) #2: The non-preemptive execution of the critical piece of code guarantees that nobody can get a hold by 'other means' (such as process interruption and reflection) on the old instances. Given the above two, we know that after #updateInstancesFrom: there are no pointers to any old instances. After the forwarding become there will be no pointers to the old class or meta class either. Andreas Raab, 2/27/2003 23:42" | meta | meta := oldClass isMeta. "Note: Everything from here on will run without the ability to get interrupted to prevent any other process to create new instances of the old class." ["Note: The following removal may look somewhat obscure and needs an explanation. When we mutate the class hierarchy we create new classes for any existing subclass. So it may look as if we don't have to remove the old class from its superclass. However, at the top of the hierarchy (the first class we reshape) that superclass itself is not newly created so therefore it will hold both the oldClass and newClass in its (obsolete or not) subclasses. Since the #become: below will transparently replace the pointers to oldClass with newClass the superclass would have newClass in its subclasses TWICE. With rather unclear effects if we consider that we may convert the meta-class hierarchy itself (which is derived from the non-meta class hierarchy). Due to this problem ALL classes are removed from their superclass just prior to converting them. Here, breaking the superclass/subclass invariant really doesn't matter since we will effectively remove the oldClass (becomeForward:) just a few lines below." oldClass superclass removeSubclass: oldClass. oldClass superclass removeObsoleteSubclass: oldClass. "make sure that the VM cache is clean" oldClass methodDict do: [:cm | cm flushCache]. "Convert the instances of oldClass into instances of newClass" newClass updateInstancesFrom: oldClass. meta ifTrue: [oldClass becomeForward: newClass. oldClass updateMethodBindingsTo: oldClass binding] ifFalse: [{oldClass. oldClass class} elementsForwardIdentityTo: {newClass. newClass class}. oldClass updateMethodBindingsTo: oldClass binding. oldClass class updateMethodBindingsTo: oldClass class binding]. "eem 5/31/2014 07:22 At this point there used to be a garbage collect whose purpose was to ensure no old instances existed after the becomeForward:. Without the GC it was possible to resurrect old instances using e.g. allInstancesDo:. This was because the becomeForward: updated references from the old objects to new objects but didn't destroy the old objects. But as of late 2013/early 2014 becomeForward: has been modified to free all the old objects."] valueUnpreemptively! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>SmalltalkImagePROTOTYPEnewSpecialObjectsArray (in category 'method prototypes') ----- SmalltalkImagePROTOTYPEnewSpecialObjectsArray "Smalltalk recreateSpecialObjectsArray" "To external package developers: **** DO NOT OVERRIDE THIS METHOD. ***** If you are writing a plugin and need additional special object(s) for your own use, use addGCRoot() function and use own, separate special objects registry " "The Special Objects Array is an array of objects used by the Squeak virtual machine. Its contents are critical and accesses to it by the VM are unchecked, so don't even think of playing here unless you know what you are doing." | newArray | newArray := Array new: 60. "Nil false and true get used throughout the interpreter" newArray at: 1 put: nil. newArray at: 2 put: false. newArray at: 3 put: true. "This association holds the active process (a ProcessScheduler)" newArray at: 4 put: (self globals associationAt: #Processor). "Numerous classes below used for type checking and instantiation" newArray at: 5 put: Bitmap. newArray at: 6 put: SmallInteger. newArray at: 7 put: ByteString. newArray at: 8 put: Array. newArray at: 9 put: Smalltalk. + newArray at: 10 put: BoxedFloat64. - newArray at: 10 put: Float. newArray at: 11 put: (self globals at: #MethodContext ifAbsent: [self globals at: #Context]). newArray at: 12 put: nil. "was BlockContext." newArray at: 13 put: Point. newArray at: 14 put: LargePositiveInteger. newArray at: 15 put: Display. newArray at: 16 put: Message. newArray at: 17 put: CompiledMethod. newArray at: 18 put: ((self primitiveGetSpecialObjectsArray at: 18) ifNil: [Semaphore new]). "low space Semaphore" newArray at: 19 put: Semaphore. newArray at: 20 put: Character. newArray at: 21 put: #doesNotUnderstand:. newArray at: 22 put: #cannotReturn:. newArray at: 23 put: nil. "This is the process signalling low space." "An array of the 32 selectors that are compiled as special bytecodes, paired alternately with the number of arguments each takes." newArray at: 24 put: #( #+ 1 #- 1 #< 1 #> 1 #<= 1 #>= 1 #= 1 #~= 1 #* 1 #/ 1 #\\ 1 #@ 1 #bitShift: 1 #// 1 #bitAnd: 1 #bitOr: 1 #at: 1 #at:put: 2 #size 0 #next 0 #nextPut: 1 #atEnd 0 #== 1 #class 0 #blockCopy: 1 #value 0 #value: 1 #do: 1 #new 0 #new: 1 #x 0 #y 0 ). "An array of the 255 Characters in ascii order. Cog inlines table into machine code at: prim so do not regenerate it. This is nil in Spur, which has immediate Characters." newArray at: 25 put: (self primitiveGetSpecialObjectsArray at: 25). newArray at: 26 put: #mustBeBoolean. newArray at: 27 put: ByteArray. newArray at: 28 put: Process. "An array of up to 31 classes whose instances will have compact headers; an empty array in Spur" newArray at: 29 put: self compactClassesArray. newArray at: 30 put: ((self primitiveGetSpecialObjectsArray at: 30) ifNil: [Semaphore new]). "delay Semaphore" newArray at: 31 put: ((self primitiveGetSpecialObjectsArray at: 31) ifNil: [Semaphore new]). "user interrupt Semaphore" "Entries 32 - 34 unreferenced. Previously these contained prototype instances to be copied for fast initialization" newArray at: 32 put: nil. "was the prototype Float" newArray at: 33 put: nil. "was the prototype 4-byte LargePositiveInteger" newArray at: 34 put: nil. "was the prototype Point" newArray at: 35 put: #cannotInterpret:. newArray at: 36 put: nil. "was the prototype MethodContext" newArray at: 37 put: BlockClosure. newArray at: 38 put: nil. "was the prototype BlockContext" "array of objects referred to by external code" newArray at: 39 put: (self primitiveGetSpecialObjectsArray at: 39). "external semaphores" newArray at: 40 put: nil. "Reserved for Mutex in Cog VMs" newArray at: 41 put: ((self primitiveGetSpecialObjectsArray at: 41) ifNil: [LinkedList new]). "Reserved for a LinkedList instance for overlapped calls in CogMT" newArray at: 42 put: ((self primitiveGetSpecialObjectsArray at: 42) ifNil: [Semaphore new]). "finalization Semaphore" newArray at: 43 put: LargeNegativeInteger. "External objects for callout. Note: Written so that one can actually completely remove the FFI." newArray at: 44 put: (self at: #ExternalAddress ifAbsent: []). newArray at: 45 put: (self at: #ExternalStructure ifAbsent: []). newArray at: 46 put: (self at: #ExternalData ifAbsent: []). newArray at: 47 put: (self at: #ExternalFunction ifAbsent: []). newArray at: 48 put: (self at: #ExternalLibrary ifAbsent: []). newArray at: 49 put: #aboutToReturn:through:. newArray at: 50 put: #run:with:in:. "51 reserved for immutability message" newArray at: 51 put: #attemptToAssign:withIndex:. newArray at: 52 put: #(nil "nil => generic error" #'bad receiver' #'bad argument' #'bad index' #'bad number of arguments' #'inappropriate operation' #'unsupported operation' #'no modification' #'insufficient object memory' #'insufficient C memory' #'not found' #'bad method' #'internal error in named primitive machinery' #'object may move' #'resource limit exceeded' #'object is pinned' #'primitive write beyond end of object'). "53 to 55 are for Alien" newArray at: 53 put: (self at: #Alien ifAbsent: []). newArray at: 54 put: #invokeCallbackContext:. "use invokeCallback:stack:registers:jmpbuf: for old Alien callbacks." newArray at: 55 put: (self at: #UnsafeAlien ifAbsent: []). "Used to be WeakFinalizationList for WeakFinalizationList hasNewFinalization, obsoleted by ephemeron support." newArray at: 56 put: nil. "reserved for foreign callback process" newArray at: 57 put: (self primitiveGetSpecialObjectsArray at: 57 ifAbsent: []). newArray at: 58 put: #unusedBytecode. "59 reserved for Sista counter tripped message" newArray at: 59 put: #conditionalBranchCounterTrippedOn:. "60 reserved for Sista class trap message" newArray at: 60 put: #classTrapFor:. ^newArray! Item was added: + ----- Method: SpurBootstrapPharoPrototypes>>StringPROTOTYPEadaptToNumber:andSend: (in category 'method prototypes') ----- + StringPROTOTYPEadaptToNumber: receiver andSend: selector + "If I am involved in arithmetic with a number, convert me to a number." + self flag: #todo. "This is needed for the conversion to spur... please remove me" + ^ receiver perform: selector with: self asNumber! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEallInstances (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEallInstances "Answer all instances of the receiver." self error: 'Traits does not have instances.'! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEallInstancesDo: aBlock "Evaluate aBlock with each of the current instances of the receiver." self error: 'Traits does not have instances.'! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisBits (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEisBits "Answer whether the receiver contains just bits (not pointers). Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" ^self instSpec >= 7! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisBytes (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEisBytes "Answer whether the receiver has 8-bit instance variables. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" ^self instSpec >= 16! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisEphemeronClass (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEisEphemeronClass "Answer whether the receiver has ephemeral instance variables. The garbage collector will fire (queue for finalization) any ephemeron whose first instance variable is not referenced other than from the transitive closure of references from ephemerons. Hence referring to an object from the first inst var of an ephemeron will cause the ephemeron to fire when the rest of the system does not refer to the object and that object is ready to be collected. Since references from the remaining inst vars of an ephemeron will not prevent the ephemeron from firing, ephemerons may act as the associations in weak dictionaries such that the value (e.g. properties attached to the key) will not prevent firing when the key is no longer referenced other than from ephemerons. Ephemerons can therefore be used to implement instance-based pre-mortem finalization." ^self instSpec = 5! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisImmediateClass (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEisImmediateClass "Answer whether the receiver has immediate instances. Immediate instances store their value in their object pointer, not in an object body. Hence immediates take no space and are immutable. The immediates are distinguished by tag bits in the pointer. They include SmallIntegers and Characters. Hence in the 32-bit system SmallIntegers are 31-bit signed integers and Characters are 30-bit unsigned character codes." ^self instSpec = 7! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEisVariable (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEisVariable "Answer whether the receiver has indexable variables. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" | instSpec | instSpec := self instSpec. ^instSpec >= 2 and: [instSpec <= 4 or: [instSpec >= 9]]! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>TraitBehaviorPROTOTYPEkindOfSubclass (in category 'method prototypes') ----- TraitBehaviorPROTOTYPEkindOfSubclass "Answer a String that is the keyword that describes the receiver's kind of subclass, either a regular subclass, a variableSubclass, a variableByteSubclass, a variableWordSubclass, a weakSubclass, an ephemeronSubclass or an immediateSubclass. c.f. typeOfClass" ^self isVariable ifTrue: [self isBits ifTrue: [self isBytes ifTrue: [' variableByteSubclass: '] ifFalse: [' variableWordSubclass: ']] ifFalse: [self isWeak ifTrue: [' weakSubclass: '] ifFalse: [' variableSubclass: ']]] ifFalse: [self isImmediateClass ifTrue: [' immediateSubclass: '] ifFalse: [self isEphemeronClass ifTrue: [' ephemeronSubclass: '] ifFalse: [' subclass: ']]]! Item was changed: ----- Method: SpurBootstrapPharoPrototypes>>VirtualMachinePROTOTYPEsetGCParameters (in category 'method prototypes') ----- VirtualMachinePROTOTYPEsetGCParameters "Adjust the VM's default GC parameters to avoid too much tenuring. Maybe this should be left to the VM?" | proportion edenSize survivorSize averageObjectSize numObjects | proportion := 0.9. "tenure when 90% of pastSpace is full" edenSize := self parameterAt: 44. survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" averageObjectSize := 8 * self wordSize. "a good approximation" numObjects := (proportion * survivorSize / averageObjectSize) rounded. self tenuringThreshold: numObjects "tenure when more than this many objects survive the GC"! Item was added: + ----- Method: SpurBootstrapPharoPrototypes>>WeakFinalizationListclassPROTOTYPEhasNewFinalization (in category 'method prototypes') ----- + WeakFinalizationListclassPROTOTYPEhasNewFinalization + ^ false! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstances (in category 'method prototypes') ----- BehaviorPROTOTYPEallInstances "Answer all instances of the receiver." <primitive: 177> "The primitive can fail because memory is low. If so, fall back on the old enumeration code, which gives the system a chance to GC and/or grow. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst." | inst insts next | insts := WriteStream on: (Array new: 64). inst := self someInstance. [inst == nil] whileFalse: [next := inst nextInstance. (inst == insts or: [inst == insts originalContents]) ifFalse: [insts nextPut: inst]. inst := next]. ^insts contents! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- BehaviorPROTOTYPEallInstancesDo: aBlock "Evaluate aBlock with each of the current instances of the receiver." | instances inst next | instances := self allInstancesOrNil. instances ifNotNil: [instances do: aBlock. ^self]. "allInstancesOrNil can fail because memory is low. If so, fall back on the old enumeration code. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst." inst := self someInstance. [inst == nil] whileFalse: [next := inst nextInstance. aBlock value: inst. inst := next]! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEallInstancesOrNil (in category 'method prototypes') ----- BehaviorPROTOTYPEallInstancesOrNil "Answer all instances of the receiver, or nil if the primitive fails, which it may be due to being out of memory." <primitive: 177> ^nil! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbasicNew (in category 'method prototypes') ----- BehaviorPROTOTYPEbasicNew "Primitive. Answer an instance of the receiver (which is a class) with no indexable variables. Fail if the class is indexable. Essential. See Object documentation whatIsAPrimitive. If the primitive fails because space is low then the scavenger will run before the method is activated. Check that space was low and retry via handleFailingBasicNew if so." <primitive: 70 error: ec> ec == #'insufficient object memory' ifTrue: [^self handleFailingBasicNew]. self isVariable ifTrue: [^self basicNew: 0]. self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbasicNew: (in category 'method prototypes') ----- BehaviorPROTOTYPEbasicNew: sizeRequested "Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, sizeRequested. Fail if this class is not indexable or if the argument is not a positive Integer, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive. If the primitive fails because space is low then the scavenger will run before the method is activated. Check args and retry via handleFailingBasicNew: if they're OK." <primitive: 71 error: ec> ec == #'insufficient object memory' ifTrue: [^self handleFailingBasicNew: sizeRequested]. self isVariable ifFalse: [self error: self printString, ' cannot have variable sized instances']. self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbyteSizeOfInstance (in category 'method prototypes') ----- BehaviorPROTOTYPEbyteSizeOfInstance "Answer the total memory size of an instance of the receiver." <primitive: 181 error: ec> self isVariable ifTrue: [^self byteSizeOfInstanceOfSize: 0]. self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEbyteSizeOfInstanceOfSize: (in category 'method prototypes') ----- BehaviorPROTOTYPEbyteSizeOfInstanceOfSize: basicSize "Answer the total memory size of an instance of the receiver with the given number of indexable instance variables." <primitive: 181 error: ec> self isVariable ifTrue: "If the primitive overflowed answer a close approximation" [(basicSize isInteger and: [basicSize >= 16r1000000]) ifTrue: [^2 * (self byteSizeOfInstanceOfSize: basicSize + 1 // 2) - (self byteSizeOfInstanceOfSize: 0)]] ifFalse: [basicSize = 0 ifTrue: [^self byteSizeOfInstance]]. self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEelementSize (in category 'method prototypes') ----- BehaviorPROTOTYPEelementSize "Answer the size in bytes of an element in the receiver. The formats are 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" | instSpec | instSpec := self instSpec. instSpec < 9 ifTrue: [^Smalltalk wordSize]. instSpec >= 16 ifTrue: [^1]. instSpec >= 12 ifTrue: [^2]. instSpec >= 10 ifTrue: [^4]. ^8! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingBasicNew (in category 'method prototypes') ----- BehaviorPROTOTYPEhandleFailingBasicNew "handleFailingBasicNew gets sent after basicNew has failed and allowed a scavenging garbage collection to occur. The scavenging collection will have happened as the VM is activating the (failing) basicNew. If handleFailingBasicNew fails then the scavenge failed to reclaim sufficient space and a global garbage collection is required. Retry after garbage collecting and growing memory if necessary. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, sizeRequested. Fail if this class is not indexable or if the argument is not a positive Integer, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 70> Smalltalk garbageCollect < 1048576 ifTrue: [Smalltalk growMemoryByAtLeast: 1048576]. ^self handleFailingFailingBasicNew "retry after global garbage collect"! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingBasicNew: (in category 'method prototypes') ----- BehaviorPROTOTYPEhandleFailingBasicNew: sizeRequested "handleFailingBasicNew: gets sent after basicNew: has failed and allowed a scavenging garbage collection to occur. The scavenging collection will have happened as the VM is activating the (failing) basicNew:. If handleFailingBasicNew: fails then the scavenge failed to reclaim sufficient space and a global garbage collection is required. Retry after garbage collecting and growing memory if necessary. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, sizeRequested. Fail if this class is not indexable or if the argument is not a positive Integer, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 71> | bytesRequested | bytesRequested := self byteSizeOfInstanceOfSize: sizeRequested. Smalltalk garbageCollect < bytesRequested ifTrue: [Smalltalk growMemoryByAtLeast: bytesRequested]. "retry after global garbage collect and possible grow" ^self handleFailingFailingBasicNew: sizeRequested! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingFailingBasicNew (in category 'method prototypes') ----- BehaviorPROTOTYPEhandleFailingFailingBasicNew "This basicNew gets sent after handleFailingBasicNew: has done a full garbage collection and possibly grown memory. If this basicNew fails then the system really is low on space, so raise the OutOfMemory signal. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, sizeRequested. Fail if this class is not indexable or if the argument is not a positive Integer, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 70> "space must be low" OutOfMemory signal. ^self basicNew "retry if user proceeds"! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEhandleFailingFailingBasicNew: (in category 'method prototypes') ----- BehaviorPROTOTYPEhandleFailingFailingBasicNew: sizeRequested "This basicNew: gets sent after handleFailingBasicNew: has done a full garbage collection and possibly grown memory. If this basicNew: fails then the system really is low on space, so raise the OutOfMemory signal. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, sizeRequested. Fail if this class is not indexable or if the argument is not a positive Integer, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 71> "space must be low." OutOfMemory signal. ^self basicNew: sizeRequested "retry if user proceeds"! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEindexIfCompact (in category 'method prototypes') ----- BehaviorPROTOTYPEindexIfCompact "Backward compatibility with the Squeak V3 object format. Spur does not have a distinction between compact and non-compact classes." ^0! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisBits (in category 'method prototypes') ----- BehaviorPROTOTYPEisBits "Answer whether the receiver contains just bits (not pointers). Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" ^self instSpec >= 7! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisBytes (in category 'method prototypes') ----- BehaviorPROTOTYPEisBytes "Answer whether the receiver has 8-bit instance variables. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" ^self instSpec >= 16! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisEphemeronClass (in category 'method prototypes') ----- BehaviorPROTOTYPEisEphemeronClass "Answer whether the receiver has ephemeral instance variables. The garbage collector will fire (queue for finalization) any ephemeron whose first instance variable is not referenced other than from the transitive closure of references from ephemerons. Hence referring to an object from the first inst var of an ephemeron will cause the ephemeron to fire when the rest of the system does not refer to the object and that object is ready to be collected. Since references from the remaining inst vars of an ephemeron will not prevent the ephemeron from firing, ephemerons may act as the associations in weak dictionaries such that the value (e.g. properties attached to the key) will not prevent firing when the key is no longer referenced other than from ephemerons. Ephemerons can therefore be used to implement instance-based pre-mortem finalization." ^self instSpec = 5! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisImmediateClass (in category 'method prototypes') ----- BehaviorPROTOTYPEisImmediateClass "Answer whether the receiver has immediate instances. Immediate instances store their value in their object pointer, not in an object body. Hence immediates take no space and are immutable. The immediates are distinguished by tag bits in the pointer. They include SmallIntegers and Characters. Hence in the 32-bit system SmallIntegers are 31-bit signed integers and Characters are 30-bit unsigned character codes." ^self instSpec = 7! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEisVariable (in category 'method prototypes') ----- BehaviorPROTOTYPEisVariable "Answer whether the receiver has indexable variables. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" | instSpec | instSpec := self instSpec. ^instSpec >= 2 and: [instSpec <= 4 or: [instSpec >= 9]]! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEkindOfSubclass (in category 'method prototypes') ----- BehaviorPROTOTYPEkindOfSubclass "Answer a String that is the keyword that describes the receiver's kind of subclass, either a regular subclass, a variableSubclass, a variableByteSubclass, a variableWordSubclass, a weakSubclass, an ephemeronSubclass or an immediateSubclass. c.f. typeOfClass" ^self isVariable ifTrue: [self isBits ifTrue: [self isBytes ifTrue: [' variableByteSubclass: '] ifFalse: [' variableWordSubclass: ']] ifFalse: [self isWeak ifTrue: [' weakSubclass: '] ifFalse: [' variableSubclass: ']]] ifFalse: [self isImmediateClass ifTrue: [' immediateSubclass: '] ifFalse: [self isEphemeronClass ifTrue: [' ephemeronSubclass: '] ifFalse: [' subclass: ']]]! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEshouldNotBeRedefined (in category 'method prototypes') ----- BehaviorPROTOTYPEshouldNotBeRedefined "Answer if the receiver should not be redefined. The assumption is that classes in Smalltalk specialObjects and instance-specific Behaviors should not be redefined" ^(Smalltalk specialObjectsArray identityIndexOf: self ifAbsent: [(self isKindOf: self) ifTrue: [1] ifFalse: [0]]) ~= 0! Item was changed: ----- Method: SpurBootstrapPrototypes>>BehaviorPROTOTYPEtypeOfClass (in category 'method prototypes') ----- BehaviorPROTOTYPEtypeOfClass "Answer a symbol uniquely describing the type of the receiver. c.f. kindOfSubclass" self isBytes ifTrue: [^self instSpec = CompiledMethod instSpec ifTrue: [#compiledMethod] "Very special!!" ifFalse: [#bytes]]. (self isWords and: [self isPointers not]) ifTrue: [^self instSpec = SmallInteger instSpec ifTrue: [#immediate] "Very special!!" ifFalse: [#words]]. self isWeak ifTrue: [^#weak]. self isVariable ifTrue: [^#variable]. self isEphemeronClass ifTrue: [^#ephemeron]. ^#normal! Item was added: + ----- Method: SpurBootstrapPrototypes>>BlockClosurePROTOTYPEsimulateValueWithArguments:caller: (in category 'method prototypes') ----- + BlockClosurePROTOTYPEsimulateValueWithArguments: anArray caller: aContext + <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- BytecodeEncoderPROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex numArgs > 15 ifTrue: [^self error: 'Cannot compile -- too many arguments']. numTemps > 63 ifTrue: [^self error: 'Cannot compile -- too many temporary variables']. numLits > 65535 ifTrue: [^self error: 'Cannot compile -- too many literals']. ^(CompiledMethod headerFlagForEncoder: self) + (numArgs bitShift: 24) + (numTemps bitShift: 18) "+ (largeBit bitShift: 17)" "largeBit gets filled in later" + (primitiveIndex > 0 ifTrue: [1 bitShift: 16] ifFalse: [0]) + numLits! Item was changed: ----- Method: SpurBootstrapPrototypes>>BytecodeEncoderPROTOTYPEsizeCallPrimitive: (in category 'method prototypes') ----- BytecodeEncoderPROTOTYPEsizeCallPrimitive: primitiveIndex ^self sizeOpcodeSelector: #genCallPrimitive: withArguments: {primitiveIndex}! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEDollarEquals: (in category 'method prototypes') ----- CharacterPROTOTYPEDollarEquals: aCharacter "Primitive. Answer if the receiver and the argument are the same object (have the same object pointer). Optional. See Object documentation whatIsAPrimitive." <primitive: 110> ^self == aCharacter! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEasInteger (in category 'method prototypes') ----- CharacterPROTOTYPEasInteger "Answer the receiver's character code." <primitive: 171> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEasciiValue (in category 'method prototypes') ----- CharacterPROTOTYPEasciiValue "Answer the receiver's character code. This will be ascii for characters with value <= 127, and Unicode for those with higher values." <primitive: 171> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEcopy (in category 'method prototypes') ----- CharacterPROTOTYPEcopy "Answer the receiver, because Characters are unique." ^self! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEdeepCopy (in category 'method prototypes') ----- CharacterPROTOTYPEdeepCopy "Answer the receiver, because Characters are unique." ^self! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEhash (in category 'method prototypes') ----- CharacterPROTOTYPEhash "Hash is reimplemented because = is implemented. Answer the receiver's character code." <primitive: 171> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEidentityHash (in category 'method prototypes') ----- CharacterPROTOTYPEidentityHash "Answer the receiver's character code." <primitive: 171> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterPROTOTYPEveryDeepCopyWith: (in category 'method prototypes') ----- CharacterPROTOTYPEveryDeepCopyWith: deepCopier "Answer the receiver, because Characters are unique." ^self! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEdigitValue: (in category 'method prototypes') ----- CharacterclassPROTOTYPEdigitValue: x "Answer the Character whose digit value is x. For example, answer $9 for x=9, $0 for x=0, $A for x=10, $Z for x=35." | n | n := x asInteger. ^self value: (n < 10 ifTrue: [n + 48] ifFalse: [n + 55])! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEinitialize (in category 'method prototypes') ----- CharacterclassPROTOTYPEinitialize "Create the DigitsValues table." "Character initialize" self initializeDigitValues! Item was changed: ----- Method: SpurBootstrapPrototypes>>CharacterclassPROTOTYPEvalue: (in category 'method prototypes') ----- CharacterclassPROTOTYPEvalue: anInteger "Answer the Character whose value is anInteger." <primitive: 170> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>ClassDescriptionPROTOTYPEupdateInstancesFrom: (in category 'method prototypes') ----- ClassDescriptionPROTOTYPEupdateInstancesFrom: oldClass "Recreate any existing instances of the argument, oldClass, as instances of the receiver, which is a newly changed class. Permute variables as necessary, and forward old instances to new instances.. Answer nil to defeat any clients that expected the old behaviour of answering the array of old instances." "ar 7/15/1999: The updating below is possibly dangerous. If there are any contexts having an old instance as receiver it might crash the system if the new receiver in which the context is executed has a different layout. See bottom below for a simple example:" + self + updateInstances: oldClass allInstances asArray + from: oldClass + isMeta: self isMeta. - self updateInstances: oldClass allInstances asArray from: oldClass isMeta: self isMeta. - "Now fix up instances in segments that are out on the disk." - ImageSegment allSubInstancesDo: - [:seg | - seg segUpdateInstancesOf: oldClass toBe: self isMeta: self isMeta]. ^nil "This attempts to crash the VM by stepping off the end of an instance. As the doctor says, do not do this." " | crashingBlock class | class := Object subclass: #CrashTestDummy instanceVariableNames: 'instVar' classVariableNames: '' poolDictionaries: '' category: 'Crash-Test'. class compile:'instVar: value instVar := value'. class compile:'crashingBlock ^[instVar]'. crashingBlock := (class new) instVar: 42; crashingBlock. Object subclass: #CrashTestDummy instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Crash-Test'. crashingBlock value"! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodPROTOTYPEprimitive (in category 'method prototypes') ----- CompiledMethodPROTOTYPEprimitive "Answer the primitive index associated with the receiver. Zero indicates that this is not a primitive method." | initialPC | ^(self header anyMask: 65536) "Is the hasPrimitive? flag set?" ifTrue: [(self at: (initialPC := self initialPC) + 1) + ((self at: initialPC + 2) bitShift: 8)] ifFalse: [0]! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEhandleFailingFailingNewMethod:header: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEhandleFailingFailingNewMethod: numberOfBytes header: headerWord "This newMethod:header: gets sent after handleFailingBasicNew: has done a full garbage collection and possibly grown memory. If this basicNew: fails then the system really is low on space, so raise the OutOfMemory signal. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, headerWord, and the number of bytecodes specified by numberOfBytes. Fail if this if the arguments are not Integers, or if numberOfBytes is negative, or if the receiver is not a CompiledMethod class, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 79> "space must be low." OutOfMemory signal. "retry if user proceeds" ^self newMethod: numberOfBytes header: headerWord! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEhandleFailingNewMethod:header: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEhandleFailingNewMethod: numberOfBytes header: headerWord "This newMethod:header: gets sent after newMethod:header: has failed and allowed a scavenging garbage collection to occur. The scavenging collection will have happened as the VM is activating the (failing) basicNew:. If handleFailingBasicNew: fails then the scavenge failed to reclaim sufficient space and a global garbage collection is required. Retry after garbage collecting and growing memory if necessary. Primitive. Answer an instance of this class with the number of indexable variables specified by the argument, headerWord, and the number of bytecodes specified by numberOfBytes. Fail if this if the arguments are not Integers, or if numberOfBytes is negative, or if the receiver is not a CompiledMethod class, or if there is not enough memory available. Essential. See Object documentation whatIsAPrimitive." <primitive: 79> | bytesRequested | bytesRequested := (headerWord bitAnd: 16rFFFF) + 1 * Smalltalk wordSize + numberOfBytes + 16. Smalltalk garbageCollect < bytesRequested ifTrue: [Smalltalk growMemoryByAtLeast: bytesRequested]. "retry after global garbage collect and possible grow" ^self handleFailingFailingNewMethod: numberOfBytes header: headerWord! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEheaderFlagForEncoder: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEheaderFlagForEncoder: anEncoder <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinitialize (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEinitialize "CompiledMethod initialize" <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEinstallPrimaryBytecodeSet: aBytecodeEncoderSubclass <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEinstallSecondaryBytecodeSet: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEinstallSecondaryBytecodeSet: aBytecodeEncoderSubclass <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewBytes:trailerBytes:nArgs:nTemps:nStack:nLits:primitive: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEnewBytes: numberOfBytes trailerBytes: trailer nArgs: nArgs nTemps: nTemps nStack: stackSize nLits: nLits primitive: primitiveIndex "Since this method refers to ClassVariables things are easier if it lives in the actual class." <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewBytes:trailerBytes:nArgs:nTemps:nStack:nLits:primitive:flag: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEnewBytes: numberOfBytes trailerBytes: trailer nArgs: nArgs nTemps: nTemps nStack: stackSize nLits: nLits primitive: primitiveIndex flag: flag "Since this method refers to ClassVariables things are easier if it lives in the actual class." <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEnewMethod:header: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEnewMethod: numberOfBytes header: headerWord "Primitive. Answer an instance of me. The number of literals (and other information) is specified by the headerWord (see my class comment). The first argument specifies the number of fields for bytecodes in the method. Fail if either argument is not a SmallInteger, or if numberOfBytes is negative, or if memory is low. Once the header of a method is set by this primitive, it cannot be changed to change the number of literals. Essential. See Object documentation whatIsAPrimitive." <primitive: 79 error: ec> ec == #'insufficient object memory' ifTrue: [^self handleFailingNewMethod: numberOfBytes header: headerWord]. ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnConstant:trailerBytes: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEtoReturnConstant: index trailerBytes: trailer "Answer an instance of me that is a quick return of the constant indexed in (true false nil -1 0 1 2)." ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 256 + index! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnField:trailerBytes: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEtoReturnField: field trailerBytes: trailer "Answer an instance of me that is a quick return of the instance variable indexed by the argument, field." ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 264 + field! Item was changed: ----- Method: SpurBootstrapPrototypes>>CompiledMethodclassPROTOTYPEtoReturnSelfTrailerBytes: (in category 'method prototypes') ----- CompiledMethodclassPROTOTYPEtoReturnSelfTrailerBytes: trailer "Answer an instance of me that is a quick return of the instance (^self)." ^self newBytes: 3 trailerBytes: trailer nArgs: 0 nTemps: 0 nStack: 0 nLits: 2 primitive: 256! Item was changed: ----- Method: SpurBootstrapPrototypes>>EncoderForV3PROTOTYPEcomputeMethodHeaderForNumArgs:numTemps:numLits:primitive: (in category 'method prototypes') ----- EncoderForV3PROTOTYPEcomputeMethodHeaderForNumArgs: numArgs numTemps: numTemps numLits: numLits primitive: primitiveIndex <remove>! Item was changed: ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresPROTOTYPEgenCallPrimitive: (in category 'method prototypes') ----- EncoderForV3PlusClosuresPROTOTYPEgenCallPrimitive: primitiveIndex "Since this method has inst var refs the prototype must live in the actual class." <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresclassPROTOTYPEbytecodeSize: (in category 'method prototypes') ----- EncoderForV3PlusClosuresclassPROTOTYPEbytecodeSize: bytecode "Answer the number of bytes in the bytecode." bytecode <= 125 ifTrue: [^1]. bytecode >= 176 ifTrue: [^1]. bytecode >= 160 ifTrue: "long jumps" [^2]. bytecode >= 144 ifTrue: "short jumps" [^1]. "extensions" bytecode >= 128 ifTrue: [^#(2 2 2 2 3 2 2 1 1 1 2 3 3 3 3 4) at: bytecode - 127]. ^nil! Item was changed: ----- Method: SpurBootstrapPrototypes>>EncoderForV3PlusClosuresclassPROTOTYPEcallPrimitiveCode (in category 'method prototypes') ----- EncoderForV3PlusClosuresclassPROTOTYPEcallPrimitiveCode "139 11101111 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256)" ^139! Item was changed: ----- Method: SpurBootstrapPrototypes>>FloatclassPROTOTYPEbasicNew (in category 'method prototypes') ----- FloatclassPROTOTYPEbasicNew ^BoxedFloat64 basicNew: 2! Item was changed: ----- Method: SpurBootstrapPrototypes>>FloatclassPROTOTYPEbasicNew: (in category 'method prototypes') ----- FloatclassPROTOTYPEbasicNew: anInteger ^BoxedFloat64 basicNew: 2! Item was changed: ----- Method: SpurBootstrapPrototypes>>InstructionClientPROTOTYPEcallPrimitive: (in category 'method prototypes') ----- InstructionClientPROTOTYPEcallPrimitive: pimIndex "V3PlusClosures: 139 10001011 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256) NewsqueakV4: 249 11111001 iiiiiiii jjjjjjjj Call Primitive #iiiiiiii + (jjjjjjjj * 256) SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + ( jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution."! Item was changed: ----- Method: SpurBootstrapPrototypes>>MethodNodeOLDSQUEAKPROTOTYPEgenerate: (in category 'method prototypes') ----- MethodNodeOLDSQUEAKPROTOTYPEgenerate: trailer "The receiver is the root of a parse tree. Answer a CompiledMethod. The argument, trailer, is arbitrary but is typically either the reference to the source code that is stored with every CompiledMethod, or an encoding of the method's temporary names." ^self generate: trailer using: CompiledMethod! Item was changed: ----- Method: SpurBootstrapPrototypes>>MethodNodePROTOTYPEgenerate:using: (in category 'method prototypes') ----- MethodNodePROTOTYPEgenerate: trailer using: aCompiledMethodClass "Since this method has inst var refs the prototype must live in the actual class." <indirect>! Item was changed: ----- Method: SpurBootstrapPrototypes>>SmallIntegerPROTOTYPEasCharacter (in category 'method prototypes') ----- SmallIntegerPROTOTYPEasCharacter <primitive: 170> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEcompactClassesArray (in category 'method prototypes') ----- SmalltalkImagePROTOTYPEcompactClassesArray "Smalltalk compactClassesArray" "Backward-compatibility support. Spur does not have compact classes." ^{}! Item was changed: ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEgrowMemoryByAtLeast: (in category 'method prototypes') ----- SmalltalkImagePROTOTYPEgrowMemoryByAtLeast: numBytes "Grow memory by at least the requested number of bytes. Primitive. Essential. Fail if no memory is available." <primitive: 180> (numBytes isInteger and: [numBytes > 0]) ifTrue: [OutOfMemory signal]. ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>SmalltalkImagePROTOTYPEmaxIdentityHash (in category 'method prototypes') ----- SmalltalkImagePROTOTYPEmaxIdentityHash "Answer the maximum identityHash value supported by the VM." <primitive: 176> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>SpaceTallyPROTOTYPEspaceForInstancesOf: (in category 'method prototypes') ----- SpaceTallyPROTOTYPEspaceForInstancesOf: aClass "Answer a pair of the number of bytes consumed by all instances of the given class, including their object headers, and the number of instances." | instances total | instances := aClass allInstances. instances isEmpty ifTrue: [^#(0 0)]. total := 0. aClass isVariable ifTrue: [instances do: [:i| total := total + (aClass byteSizeOfInstanceOfSize: i basicSize)]] ifFalse: [total := instances size * aClass byteSizeOfInstance]. ^{ total. instances size }! Item was changed: ----- Method: SpurBootstrapPrototypes>>SystemDictionaryPROTOTYPEgrowMemoryByAtLeast: (in category 'method prototypes') ----- SystemDictionaryPROTOTYPEgrowMemoryByAtLeast: numBytes "Grow memory by at least the requested number of bytes. Primitive. Fail if no memory is available. Essential." <primitive: 180> ^(numBytes isInteger and: [numBytes > 0]) ifTrue: [OutOfMemory signal] ifFalse: [self primitiveFailed]! Item was changed: ----- Method: SpurBootstrapPrototypes>>SystemDictionaryPROTOTYPEmaxIdentityHash (in category 'method prototypes') ----- SystemDictionaryPROTOTYPEmaxIdentityHash "Answer the maximum identityHash value supported by the VM." <primitive: 176> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjects (in category 'method prototypes') ----- SystemNavigationPROTOTYPEallObjects "Answer an Array of all objects in the system. Fail if there isn't enough memory to instantiate the result." <primitive: 178> ^self primitiveFailed! Item was changed: ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjectsDo: (in category 'method prototypes') ----- SystemNavigationPROTOTYPEallObjectsDo: aBlock "Evaluate the argument, aBlock, for each object in the system, excluding immediates such as SmallInteger and Character." self allObjectsOrNil ifNotNil: [:allObjects| allObjects do: aBlock] ifNil: ["Fall back on the old single object primitive code. With closures, this needs to use an end marker (lastObject) since activation of the block will create new contexts and cause an infinite loop. The lastObject must be created before calling someObject, so that the VM can settle the enumeration (e.g. by flushing new space) as a side effect of someObject" | object lastObject | lastObject := Object new. object := self someObject. [lastObject == object or: [0 == object]] whileFalse: [aBlock value: object. object := object nextObject]]! Item was changed: ----- Method: SpurBootstrapPrototypes>>SystemNavigationPROTOTYPEallObjectsOrNil (in category 'method prototypes') ----- SystemNavigationPROTOTYPEallObjectsOrNil "Answer an Array of all objects in the system. Fail if there isn't enough memory to instantiate the result and answer nil." <primitive: 178> ^nil! Item was changed: ----- Method: SpurBootstrapPrototypes>>WideStringPROTOTYPEat: (in category 'method prototypes') ----- WideStringPROTOTYPEat: index "Answer the Character stored in the field of the receiver indexed by the argument. Primitive. Fail if the index argument is not an Integer or is out of bounds. Essential. See Object documentation whatIsAPrimitive." <primitive: 63> ^index isInteger ifTrue: [self errorSubscriptBounds: index] ifFalse: [index isNumber ifTrue: [self at: index asInteger] ifFalse: [self errorNonIntegerIndex]]! Item was changed: ----- Method: SpurBootstrapPrototypes>>WideStringPROTOTYPEat:put: (in category 'method prototypes') ----- WideStringPROTOTYPEat: index put: aCharacter "Store the Character into the field of the receiver indicated by the index. Primitive. Fail if the index is not an Integer or is out of bounds, or if the argument is not a Character. Essential. See Object documentation whatIsAPrimitive." <primitive: 64> ^aCharacter isCharacter ifTrue: [index isInteger ifTrue: [self errorSubscriptBounds: index] ifFalse: [self errorNonIntegerIndex]] ifFalse: [self errorImproperStore]! Item was changed: ----- Method: SpurBootstrapSqueak43Prototypes>>InstructionStreamPROTOTYPEinterpretExtension:in:for: (in category 'method prototypes') ----- InstructionStreamPROTOTYPEinterpretExtension: offset in: method for: client ^self interpretV3ClosuresExtension: offset in: method for: client! Item was changed: ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEcomputeFormat:instSize:forSuper:ccIndex: (in category 'method prototypes') ----- ClassBuilderPROTOTYPEcomputeFormat: type instSize: newInstSize forSuper: newSuper ccIndex: ccIndex "Compute the new format for making oldClass a subclass of newSuper. Answer the format or nil if there is any problem." | instSize isVar isWords isPointers isWeak | type == #compiledMethod ifTrue: [newInstSize > 0 ifTrue: [self error: 'A compiled method class cannot have named instance variables'. ^nil]. ^CompiledMethod format]. instSize := newInstSize + (newSuper ifNil:[0] ifNotNil:[newSuper instSize]). instSize > 65535 ifTrue: [self error: 'Class has too many instance variables (', instSize printString,')'. ^nil]. type == #normal ifTrue:[isVar := isWeak := false. isWords := isPointers := true]. type == #bytes ifTrue:[isVar := true. isWords := isPointers := isWeak := false]. type == #words ifTrue:[isVar := isWords := true. isPointers := isWeak := false]. type == #variable ifTrue:[isVar := isPointers := isWords := true. isWeak := false]. type == #weak ifTrue:[isVar := isWeak := isWords := isPointers := true]. type == #ephemeron ifTrue:[isVar := false. isWeak := isWords := isPointers := true]. type == #immediate ifTrue:[isVar := isWeak := isPointers := false. isWords := true]. (isPointers not and: [instSize > 0]) ifTrue: [self error: 'A non-pointer class cannot have named instance variables'. ^nil]. ^self format: instSize variable: isVar words: isWords pointers: isPointers weak: isWeak! Item was changed: ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEformat:variable:words:pointers:weak: (in category 'method prototypes') ----- ClassBuilderPROTOTYPEformat: nInstVars variable: isVar words: is32BitWords pointers: isPointers weak: isWeak "Compute the format for the given instance specfication. Above Cog Spur the class format is <5 bits inst spec><16 bits inst size> where the 5-bit inst spec is 0 = 0 sized objects (UndefinedObject True False et al) 1 = non-indexable objects with inst vars (Point et al) 2 = indexable objects with no inst vars (Array et al) 3 = indexable objects with inst vars (MethodContext AdditionalMethodState et al) 4 = weak indexable objects with inst vars (WeakArray et al) 5 = weak non-indexable objects with inst vars (ephemerons) (Ephemeron) 6 = unused 7 = immediates (SmallInteger, Character) 8 = unused 9 = reserved for 64-bit indexable 10-11 = 32-bit indexable (Bitmap) 12-15 = 16-bit indexable 16-23 = 8-bit indexable 24-31 = compiled methods (CompiledMethod)" | instSpec | instSpec := isWeak ifTrue: [isVar ifTrue: [4] ifFalse: [5]] ifFalse: [isPointers ifTrue: [isVar ifTrue: [nInstVars > 0 ifTrue: [3] ifFalse: [2]] ifFalse: [nInstVars > 0 ifTrue: [1] ifFalse: [0]]] ifFalse: [isVar ifTrue: [is32BitWords ifTrue: [10] ifFalse: [16]] ifFalse: [7]]]. ^(instSpec bitShift: 16) + nInstVars! Item was changed: ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEsuperclass:immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- ClassBuilderPROTOTYPEsuperclass: aClass immediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat "This is the standard initialization message for creating a new immediate class as a subclass of an existing class." | env | aClass instSize > 0 ifTrue: [^self error: 'cannot make an immediate subclass of a class with named fields']. aClass isVariable ifTrue: [^self error: 'cannot make an immediate subclass of a class with indexed instance variables']. aClass isPointers ifFalse: [^self error: 'cannot make an immediate subclass of a class without pointer fields']. "Cope with pre-environment and environment versions. Simplify asap." env := (Smalltalk classNamed: #EnvironmentRequest) ifNil: [aClass environment] ifNotNil: [:erc| erc signal ifNil: [aClass environment]]. ^self name: t inEnvironment: env subclassOf: aClass type: #immediate instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat! Item was changed: ----- Method: SpurBootstrapSqueakFamilyPrototypes>>ClassBuilderPROTOTYPEupdate:to: (in category 'method prototypes') ----- ClassBuilderPROTOTYPEupdate: oldClass to: newClass "Convert oldClass, all its instances and possibly its meta class into newClass, instances of newClass and possibly its meta class. The process is surprisingly simple in its implementation and surprisingly complex in its nuances and potentially bad side effects. We can rely on two assumptions (which are critical): #1: The method #updateInstancesFrom: will not create any lasting pointers to 'old' instances ('old' is quote on quote since #updateInstancesFrom: will do a become of the old vs. the new instances and therefore it will not create pointers to *new* instances before the #become: which are *old* afterwards) #2: The non-preemptive execution of the critical piece of code guarantees that nobody can get a hold by 'other means' (such as process interruption and reflection) on the old instances. Given the above two, we know that after #updateInstancesFrom: there are no pointers to any old instances. After the forwarding become there will be no pointers to the old class or meta class either. Andreas Raab, 2/27/2003 23:42" | meta | meta := oldClass isMeta. "Note: Everything from here on will run without the ability to get interrupted to prevent any other process to create new instances of the old class." ["Note: The following removal may look somewhat obscure and needs an explanation. When we mutate the class hierarchy we create new classes for any existing subclass. So it may look as if we don't have to remove the old class from its superclass. However, at the top of the hierarchy (the first class we reshape) that superclass itself is not newly created so therefore it will hold both the oldClass and newClass in its (obsolete or not) subclasses. Since the #become: below will transparently replace the pointers to oldClass with newClass the superclass would have newClass in its subclasses TWICE. With rather unclear effects if we consider that we may convert the meta-class hierarchy itself (which is derived from the non-meta class hierarchy). Due to this problem ALL classes are removed from their superclass just prior to converting them. Here, breaking the superclass/subclass invariant really doesn't matter since we will effectively remove the oldClass (becomeForward:) just a few lines below." oldClass superclass removeSubclass: oldClass. oldClass superclass removeObsoleteSubclass: oldClass. "make sure that the VM cache is clean" oldClass methodDict do: [:cm | cm flushCache]. "Convert the instances of oldClass into instances of newClass" newClass updateInstancesFrom: oldClass. meta ifTrue: [oldClass becomeForward: newClass. oldClass updateMethodBindingsTo: oldClass binding] ifFalse: [{oldClass. oldClass class} elementsForwardIdentityTo: {newClass. newClass class}. oldClass updateMethodBindingsTo: oldClass binding. oldClass class updateMethodBindingsTo: oldClass class binding]. "eem 5/31/2014 07:22 At this point there used to be a garbage collect whose purpose was to ensure no old instances existed after the becomeForward:. Without the GC it was possible to resurrect old instances using e.g. allInstancesDo:. This was because the becomeForward: updated references from the old objects to new objects but didn't destroy the old objects. But as of late 2013/early 2014 becomeForward: has been modified to free all the old objects."] valueUnpreemptively! Item was changed: ----- Method: SpurBootstrapSqueakFamilyPrototypes>>InstructionPrinterPROTOTYPEcallPrimitive: (in category 'method prototypes') ----- InstructionPrinterPROTOTYPEcallPrimitive: index "Print the callPrimitive." self print: 'callPrimtive: ' , index printString! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>BehaviorPROTOTYPEidentityHash (in category 'method prototypes') ----- BehaviorPROTOTYPEidentityHash "Answer a SmallInteger whose value is related to the receiver's identity. Behavior implements identityHash to allow the VM to use an object representation which does not include a direct reference to an object's class in an object. If the VM is using this implementation then classes are held in a class table and instances contain the index of their class in the table. A class's class table index is its identityHash so that an instance can be created without searching the table for a class's index. The VM uses this primitive to enter the class into the class table, assigning its identityHash with an as yet unused class table index. If this primitive fails it means that the class table is full. In Spur as of 2014 there are 22 bits of classTable index and 22 bits of identityHash per object. Primitive. Essential. Do not override. See Object documentation whatIsAPrimitive." <primitive: 175> self primitiveFailed! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>CharacterPROTOTYPEclone (in category 'method prototypes') ----- CharacterPROTOTYPEclone "Answer the receiver, because Characters are unique." ^self! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>ClassPROTOTYPEimmediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- ClassPROTOTYPEimmediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat "This is the standard initialization message for creating a new immediate class as a subclass of an existing class (the receiver)." ^ClassBuilder new superclass: self immediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>ContextPartPROTOTYPEsend:to:with:super: (in category 'method prototypes') ----- ContextPartPROTOTYPEsend: selector to: rcvr with: arguments super: superFlag "Simulate the action of sending a message with selector arguments to rcvr. The argument, superFlag, tells whether the receiver of the message was specified with 'super' in the source method." ^self send: selector to: rcvr with: arguments lookupIn: (superFlag ifTrue: [self method methodClassAssociation value superclass] ifFalse: [self objectClass: rcvr])! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>ContextPartPROTOTYPEtryNamedPrimitiveIn:for:withArgs: (in category 'method prototypes') ----- ContextPartPROTOTYPEtryNamedPrimitiveIn: aCompiledMethod for: aReceiver withArgs: arguments "Invoke the named primitive for aCompiledMethod, answering its result, or, if the primiitve fails, answering the error code." <primitive: 218 error: ec> ec ifNotNil: ["If ec is an integer other than -1 there was a problem with primitive 218, not with the external primitive itself. -1 indicates a generic failure (where ec should be nil) but ec = nil means primitive 218 is not implemented. So interpret -1 to mean the external primitive failed with a nil error code." ec isInteger ifTrue: [ec = -1 ifTrue: [ec := nil] ifFalse: [self primitiveFailed]]]. ^self class primitiveFailTokenFor: ec! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>IntegerclassPROTOTYPEinitialize (in category 'method prototypes') ----- IntegerclassPROTOTYPEinitialize "Integer initialize" self initializeLowBitPerByteTable! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>MethodContextclassPROTOTYPEallInstances (in category 'method prototypes') ----- MethodContextclassPROTOTYPEallInstances "Answer all instances of the receiver." <primitive: 177> "The primitive can fail because memory is low. If so, fall back on the old enumeration code, which gives the system a chance to GC and/or grow. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst. Only count until thisContext since this context has been created only to compute the existing instances." | inst insts next | insts := WriteStream on: (Array new: 64). inst := self someInstance. [inst == thisContext or: [inst == nil]] whileFalse: [next := inst nextInstance. insts nextPut: inst. inst := next]. ^insts contents! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>MethodContextclassPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- MethodContextclassPROTOTYPEallInstancesDo: aBlock "Evaluate aBlock with each of the current instances of the receiver." | instances inst next | instances := self allInstancesOrNil. instances ifNotNil: [instances do: aBlock. ^self]. "allInstancesOrNil can fail because memory is low. If so, fall back on the old enumeration code. Because aBlock might change the class of inst (for example, using become:), it is essential to compute next before aBlock value: inst. Only count until thisContext since evaluation of aBlock will create new contexts." inst := self someInstance. [inst == thisContext or: [inst == nil]] whileFalse: [next := inst nextInstance. aBlock value: inst. inst := next]! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>ProtoObjectPROTOTYPEscaledIdentityHash (in category 'method prototypes') ----- ProtoObjectPROTOTYPEscaledIdentityHash "For identityHash values returned by primitive 75, answer such values times 2^8. Otherwise, match the existing identityHash implementation" ^self identityHash * 256 "bitShift: 8"! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>SmalltalkImagePROTOTYPEsetGCParameters (in category 'method prototypes') ----- SmalltalkImagePROTOTYPEsetGCParameters "Adjust the VM's default GC parameters to avoid too much tenuring. Maybe this should be left to the VM?" | proportion edenSize survivorSize averageObjectSize numObjects | proportion := 0.9. "tenure when 90% of pastSpace is full" edenSize := SmalltalkImage current vmParameterAt: 44. survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" averageObjectSize := 8 * self wordSize. "a good approximation" numObjects := (proportion * survivorSize / averageObjectSize) rounded. SmalltalkImage current vmParameterAt: 6 put: numObjects "tenure when more than this many objects survive the GC"! Item was changed: ----- Method: SpurBootstrapSqueakPrototypes>>SystemDictionaryPROTOTYPEsetGCParameters (in category 'method prototypes') ----- SystemDictionaryPROTOTYPEsetGCParameters "Adjust the VM's default GC parameters to avoid too much tenuring. Maybe this should be left to the VM?" | proportion edenSize survivorSize averageObjectSize numObjects | proportion := 0.9. "tenure when 90% of pastSpace is full" edenSize := SmalltalkImage current vmParameterAt: 44. survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" averageObjectSize := 8 * self wordSize. "a good approximation" numObjects := (proportion * survivorSize / averageObjectSize) rounded. SmalltalkImage current vmParameterAt: 6 put: numObjects "tenure when more than this many objects survive the GC"!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev July 2015