Vm-dev November 2021

vm-dev@lists.squeakfoundation.org

11 participants
54 discussions

GitHub actions build artifacts...
by Eliot Miranda 27 Nov '21

27 Nov '21

Hi All, where do the github actions built VM packages (e.g. squeak.cog.spur_linux32ARMv6_202111250841) end up? Why does the VM trunk download link on squeak.org point to github.com/opensmalltalk-vm rather than where the build artifacts are? _,,,^..^,,,_ best, Eliot

4 5

VM Maker: VMMakerUI-eem.52.mcz
by commits＠source.squeak.org 26 Nov '21

26 Nov '21

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.52.mcz ==================== Summary ==================== Name: VMMakerUI-eem.52 Author: eem Time: 25 November 2021, 9:19:07.229851 pm UUID: 2388a1a4-1dfa-4578-9cd9-364b2e12851b Ancestors: VMMakerUI-eem.51 Fix some bugs in the SimulatorMorph framework. =============== Diff against VMMakerUI-eem.51 =============== Item was changed: ----- Method: SimulatorEventTransformer>>degenerateMouseEvent: (in category 'event transformation') ----- degenerateMouseEvent: aMorphicEvent "see HandMorph>>generateMouseEvent" modifiers := aMorphicEvent buttons >> 3. "Sad, but modifiers come in on mouse move events..." ^{ EventTypeMouse. aMorphicEvent timeStamp. aMorphicEvent position x. aMorphicEvent position y. + aMorphicEvent buttons bitAnd: 7. "thanks Ron T." - aMorphicEvent button bitAnd: 7. "thanks Ron T." modifiers. "Thanks dtl" aMorphicEvent class == MouseButtonEvent ifTrue: [aMorphicEvent nClicks] ifFalse: [0]. self windowIndex }! Item was changed: ----- Method: SimulatorMorph>>contextPanel (in category 'submorphs - squeakJS') ----- contextPanel "This should show the currentContext and Special Objects array. as seen at SqueakJS Doing that requires real talent. talent tty is lacking at the moment on: [ Array with: (MorphWithSubmorphsWrapper with: self) ] Array with: (ObjectExplorerWrapper with: rootObject name: 'root' model: self parent: nil) " ^contextPanel ifNil: + [contextPanel := SimpleHierarchicalListMorph - [contextPanel := (SimpleHierarchicalListMorph on: [ Array with: (ObjectExplorerWrapper with: (self model vm) name: 'root' model: (self model vm) parent: nil) ] list: #value selected: nil changeSelected: nil menu: nil + keystroke: nil. - keystroke: nil) showScrollBarsOnlyWhenNeeded: true. contextPanel color: Color transparent; hResizing: #spaceFill; vResizing: #spaceFill; + hScrollBarPolicy: #whenNeeded; + vScrollBarPolicy: #whenNeeded; cellInset: 5; yourself] ! Item was changed: ----- Method: SimulatorMorphicModel>>ioExit (in category 'buttons callbacks') ----- ioExit + vm displayView activeHand removeEventListener: self. - vm displayView activeHand removeEventListener: self model. vm ioExit!

1 0

[OpenSmalltalk/opensmalltalk-vm] 571120: better framebuffer hookup
by Tobias Pape 25 Nov '21

25 Nov '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 5711201e8a5e7bcec5a25883f08202d775fa1646 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/5711201e8a5e7bcec5… Author: KenDickey <Ken.Dickey(a)Whidbey.COM> Date: 2021-11-24 (Wed, 24 Nov 2021) Changed paths: M platforms/unix/vm-display-fbdev/sqUnixEvdevKeyMouse.c M platforms/unix/vm-display-fbdev/sqUnixFBDevFramebuffer.c Log Message: ----------- better framebuffer hookup Commit: 3154c7f473ab017ede53dd8849bed46276d064e5 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/3154c7f473ab017ede… Author: KenDickey <Ken.Dickey(a)Whidbey.COM> Date: 2021-11-24 (Wed, 24 Nov 2021) Changed paths: M platforms/unix/vm-display-fbdev/sqUnixFBDev.c Log Message: ----------- better help doc Commit: 2d4528c363ec88117f3ff2a056fb18b4a2cc99c5 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/2d4528c363ec88117f… Author: Tobias Pape <krono(a)users.noreply.github.com> Date: 2021-11-25 (Thu, 25 Nov 2021) Changed paths: M platforms/unix/vm-display-fbdev/sqUnixEvdevKeyMouse.c M platforms/unix/vm-display-fbdev/sqUnixFBDev.c M platforms/unix/vm-display-fbdev/sqUnixFBDevFramebuffer.c Log Message: ----------- Merge pull request #606 from KenDickey/Cog vm-display-fbdev fixes to integrate Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/f30c25c06cbd...2d…

1 0

VM Maker: VMMaker.oscog-eem.3111.mcz
by commits＠source.squeak.org 24 Nov '21

24 Nov '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3111.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3111 Author: eem Time: 23 November 2021, 7:34:50.330398 pm UUID: 27fe97ff-bcae-4575-abf9-276901dda03e Ancestors: VMMaker.oscog-eem.3110 Minor fixes for CoInterpreterMT =============== Diff against VMMaker.oscog-eem.3110 =============== Item was changed: ----- Method: CoInterpreterMT>>bindProcess:toId: (in category 'process primitive support') ----- bindProcess: aProcess toId: newId "Change a Process's thread binding and answer 0, otherwise answer a suitable error code. Cases: process is unbound & unaffined id 0 nothing to do id non-zero ensure thread and bind process is affined (temporarily bound to a thread for the duration of a surrender of ownership) id = affined index nothing to do id = 0 nothing to do id ~= 0 && id ~= affined index fail process is bound (permanently bound to a thread) id = bound index nothing to do id ~= bound index set bound index" | threadIdField ownerIndex affinedId | processHasThreadId ifFalse: [^PrimErrUnsupported]. threadIdField := self threadIdFieldOf: aProcess. ownerIndex := self ownerIndexOfThreadId: threadIdField. "If aProcess is affined (temporarily bound to) a thread then the operation can only succeed if the newId is the same as that aProcess is affined to, or is zero (is unbinding)." (self isAffinedThreadId: threadIdField) ifTrue: [affinedId := self affinedThreadId: threadIdField. (newId = 0 or: [newId = affinedId]) ifTrue: [self setThreadIdFieldOfProcess: aProcess to: newId << ThreadIdShift + affinedId. + ^nil]. - ^0]. ^PrimErrInappropriate]. ownerIndex > 0 ifTrue: [(self startThreadForThreadIndex: ownerIndex) ifFalse: [^PrimErrLimitExceeded]]. self setThreadIdFieldOfProcess: aProcess to: newId << ThreadIdShift. + ^nil! - ^0! Item was changed: ----- Method: CoInterpreterMT>>primitiveProcessBindToThreadId (in category 'process primitives') ----- primitiveProcessBindToThreadId "Attempt to bind the receiver to the thread with the id of the argument or nil, where the receiver is a Process. If successful the VM will ensure that there are at least id many threads active." | aProcess id | <export: true> - self break. self cCode: [] inSmalltalk: [cogThreadManager isNil ifTrue: [^self primitiveFail]]. processHasThreadId ifFalse: [^self primitiveFailFor: PrimErrUnsupported]. id := self stackTop. aProcess := self stackValue: 1. ((id = objectMemory nilObject or: [(objectMemory isIntegerObject: id) and: [id ~= (objectMemory integerObjectOf: 0)]]) and: [(objectMemory isPointers: aProcess) and: [(objectMemory slotSizeOf: aProcess) >= (ThreadIdIndex + 1)]]) ifFalse: [^self primitiveFailFor: PrimErrBadArgument]. id := id = objectMemory nilObject ifTrue: [0] ifFalse: [objectMemory integerValueOf: id]. id abs >= cogThreadManager maxNumThreads ifTrue: [^self primitiveFailFor: PrimErrLimitExceeded]. (self bindProcess: aProcess toId: id) ifNotNil: [:ec| ^self primitiveFailFor: ec]. id := self ownerIndexOfProcess: aProcess. (aProcess = self activeProcess and: [(activeProcessAffined := id ~= 0) and: [(cogThreadManager vmOwnerIsCompatibleWith: id) not]]) ifTrue: [(self quickFetchInteger: PriorityIndex ofObject: aProcess) < maxWaitingPriority ifTrue: [maxWaitingPriority = self quickFetchInteger: PriorityIndex ofObject: aProcess]. checkThreadActivation := true. self forceInterruptCheck]. self methodReturnReceiver!

1 0

VM Maker: VMMaker.oscog-eem.3110.mcz
by commits＠source.squeak.org 24 Nov '21

24 Nov '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3110.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3110 Author: eem Time: 23 November 2021, 7:00:21.438658 pm UUID: 169281c1-069d-4dbd-96cc-9cf07417c95a Ancestors: VMMaker.oscog-eem.3109 StackInterpreter: Implement printing suspended processes in printAllStacks by searching the heasp for all processes (including subinstances) waiting on other than a linked list. Hence nuke ClassMutex which specifies a slot in the specialObjectsArray which has never been used in production. CoInterpreterMT: Override to printAllStacks also print the awol processes MT Simulation: fix ioWaitOnOSSemaphore: to switch regioster states correctly =============== Diff against VMMaker.oscog-eem.3109 =============== Item was changed: ----- Method: CoInterpreterMT>>primitiveProcessBindToThreadId (in category 'process primitives') ----- primitiveProcessBindToThreadId "Attempt to bind the receiver to the thread with the id of the argument or nil, where the receiver is a Process. If successful the VM will ensure that there are at least id many threads active." | aProcess id | <export: true> + self break. self cCode: [] inSmalltalk: [cogThreadManager isNil ifTrue: [^self primitiveFail]]. processHasThreadId ifFalse: [^self primitiveFailFor: PrimErrUnsupported]. id := self stackTop. aProcess := self stackValue: 1. ((id = objectMemory nilObject or: [(objectMemory isIntegerObject: id) and: [id ~= (objectMemory integerObjectOf: 0)]]) and: [(objectMemory isPointers: aProcess) and: [(objectMemory slotSizeOf: aProcess) >= (ThreadIdIndex + 1)]]) ifFalse: [^self primitiveFailFor: PrimErrBadArgument]. id := id = objectMemory nilObject ifTrue: [0] ifFalse: [objectMemory integerValueOf: id]. id abs >= cogThreadManager maxNumThreads ifTrue: [^self primitiveFailFor: PrimErrLimitExceeded]. (self bindProcess: aProcess toId: id) ifNotNil: [:ec| ^self primitiveFailFor: ec]. id := self ownerIndexOfProcess: aProcess. (aProcess = self activeProcess and: [(activeProcessAffined := id ~= 0) and: [(cogThreadManager vmOwnerIsCompatibleWith: id) not]]) ifTrue: [(self quickFetchInteger: PriorityIndex ofObject: aProcess) < maxWaitingPriority ifTrue: [maxWaitingPriority = self quickFetchInteger: PriorityIndex ofObject: aProcess]. checkThreadActivation := true. self forceInterruptCheck]. self methodReturnReceiver! Item was added: + ----- Method: CoInterpreterMT>>printAllStacks (in category 'debug printing') ----- + printAllStacks + "Print all the stacks of all running processes, including those that are currently suspended. + Override to print the AWOL processes." + super printAllStacks. + self cr; print: 'awol processes'. + 1 to: cogThreadManager getNumThreads do: + [:i| | vmThread | + vmThread := cogThreadManager vmThreadAt: i. + vmThread state ifNotNil: + [vmThread awolProcIndex > 0 ifTrue: + [self cr; print: 'thread '; printNum: i. + 0 to: vmThread awolProcIndex - 1 do: + [:j| + self printProcessStack: (vmThread awolProcesses at: j)]]]]! Item was changed: ----- Method: CogThreadManager>>ioWaitOnOSSemaphore: (in category 'simulation') ----- ioWaitOnOSSemaphore: aSemaphorePtr <var: #anOSSemaphore type: #'sqOSSemaphore *'> <returnTypeC: #void> <doNotGenerate> "See platforms/Cross/vm/sq.h for the real definition." "Simulate the VM's heartbeat by calling checkVMOwnershipFromHeartbeat if the wait times-out." + | thisThread | [aSemaphorePtr value waitTimeoutMSecs: 1000] whileTrue: [coInterpreter checkVMOwnershipFromHeartbeat]. self deny: vmOwner = 0. + thisThread := self vmThreadForCurrentProcess. cogit withProcessorHaltedDo: [| processor | processor := cogit processor. registerStates + at: thisThread index - at: vmOwner ifPresent: [:registerState| + self assertValidStackPointersInState: registerState forIndex: thisThread index]. - self assertValidStackPointersInState: registerState forIndex: vmOwner]. processor setRegisterState: (registerStates + at: thisThread index - at: vmOwner ifAbsentPut: + [self ensureInitializedProcessor: processor forThreadIndex: thisThread index. - [self ensureInitializedProcessor: processor forThreadIndex: vmOwner. processor registerState])]! Item was added: + ----- Method: CogThreadManager>>vmThreadForCurrentProcess (in category 'simulation') ----- + vmThreadForCurrentProcess + | thisProcess | + thisProcess := Processor activeProcess. + ^threads detect: [:t| t osThread = thisProcess] ! Item was added: + ----- Method: CogVMSimulator>>printAllStacks (in category 'multi-threading simulation switch') ----- + printAllStacks + "This method includes or excludes CoInterpreterMT methods as required. + Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" + + ^self perform: #printAllStacks + withArguments: {} + inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was changed: ----- Method: ObjectMemory class>>initializeSpecialObjectIndices (in category 'initialization') ----- initializeSpecialObjectIndices "Initialize indices into specialObjects array." NilObject := 0. FalseObject := 1. TrueObject := 2. SchedulerAssociation := 3. ClassBitmap := 4. ClassSmallInteger := 5. ClassByteString := ClassString := 6. "N.B. Actually class ByteString" ClassArray := 7. "SmalltalkDictionary := 8." "Do not delete!!" ClassFloat := 9. ClassMethodContext := 10. ClassBlockContext := 11. ClassPoint := 12. ClassLargePositiveInteger := 13. TheDisplay := 14. ClassMessage := 15. "ClassCompiledMethod := 16. unused by the VM" TheLowSpaceSemaphore := 17. ClassSemaphore := 18. ClassCharacter := 19. SelectorDoesNotUnderstand := 20. SelectorCannotReturn := 21. ProcessSignalingLowSpace := 22. "was TheInputSemaphore" SpecialSelectors := 23. CharacterTable := 24. SelectorMustBeBoolean := 25. ClassByteArray := 26. "ClassProcess := 27. unused" CompactClasses := 28. TheTimerSemaphore := 29. TheInterruptSemaphore := 30. SelectorCannotInterpret := 34. "Was MethodContextProto := 35." ClassBlockClosure := 36. ClassFullBlockClosure := 37. "Was BlockContextProto := 37." ExternalObjectsArray := 38. + "ClassMutex := 39. nice idea; not used in practice..." - ClassMutex := 39. "Was: ClassTranslatedMethod := 40." ProcessInExternalCodeTag := 40. TheFinalizationSemaphore := 41. ClassLargeNegativeInteger := 42. ClassExternalAddress := 43. ClassExternalStructure := 44. ClassExternalData := 45. ClassExternalFunction := 46. ClassExternalLibrary := 47. SelectorAboutToReturn := 48. SelectorRunWithIn := 49. SelectorAttemptToAssign := 50. "PrimErrTableIndex := 51. in VMClass class>>initializePrimitiveErrorCodes" ClassAlien := 52. SelectorInvokeCallback := 53. ClassUnsafeAlien := 54. ClassWeakFinalizer := 55. ForeignCallbackProcess := 56. SelectorUnknownBytecode := 57. SelectorCounterTripped := 58. SelectorSistaTrap := 59. LowcodeContextMark := 60. LowcodeNativeContextClass := 61. ! Item was removed: - ----- Method: ObjectMemory>>classMutex (in category 'plugin support') ----- - classMutex - ^self splObj: ClassMutex! Item was changed: ----- Method: SpurMemoryManager class>>initializeSpecialObjectIndices (in category 'class initialization') ----- initializeSpecialObjectIndices "Initialize indices into specialObjects array." NilObject := 0. FalseObject := 1. TrueObject := 2. SchedulerAssociation := 3. ClassBitmap := 4. ClassSmallInteger := 5. ClassByteString := ClassString := 6. "N.B. Actually class ByteString" ClassArray := 7. "SmalltalkDictionary := 8." "Do not delete!!" ClassFloat := 9. ClassMethodContext := 10. "ClassBlockContext := 11. unused by the VM" ClassPoint := 12. ClassLargePositiveInteger := 13. TheDisplay := 14. ClassMessage := 15. "ClassCompiledMethod := 16. unused by the VM" TheLowSpaceSemaphore := 17. ClassSemaphore := 18. ClassCharacter := 19. SelectorDoesNotUnderstand := 20. SelectorCannotReturn := 21. ProcessSignalingLowSpace := 22. "was TheInputSemaphore" SpecialSelectors := 23. CharacterTable := nil. "Must be unused by the VM" SelectorMustBeBoolean := 25. ClassByteArray := 26. "ClassProcess := 27. unused" CompactClasses := 28. TheTimerSemaphore := 29. TheInterruptSemaphore := 30. ClassDoubleByteArray := 31. "was the prototype Float" ClassWordArray := 32. "was the prototype 4-byte LargePositiveInteger" ClassDoubleWordArray := 33. "was the prototype Point" ValidatedClassDoubleByteArrayFlag := 1. ValidatedClassWordArrayFlag := 2. ValidatedClassDoubleWordArrayFlag := 4. ValidatedClassFloat32ArrayFlag := 8. ValidatedClassFloat64ArrayFlag := 16. SelectorCannotInterpret := 34. "Was MethodContextProto := 35." ClassBlockClosure := 36. "Was BlockContextProto := 37." ExternalObjectsArray := 38. + "ClassMutex := 39. nice idea; not used in practice..." - ClassMutex := 39. "Was: ClassTranslatedMethod := 40." ProcessInExternalCodeTag := 40. TheFinalizationSemaphore := 41. ClassLargeNegativeInteger := 42. ClassExternalAddress := 43. ClassExternalStructure := 44. ClassExternalData := 45. ClassExternalFunction := 46. ClassExternalLibrary := 47. SelectorAboutToReturn := 48. SelectorRunWithIn := 49. SelectorAttemptToAssign := 50. "PrimErrTableIndex := 51. in VMClass class>>initializePrimitiveErrorCodes" ClassAlien := 52. SelectorInvokeCallback := 53. ClassUnsafeAlien := 54. ClassWeakFinalizer := 55. ForeignCallbackProcess := 56. SelectorUnknownBytecode := 57. SelectorCounterTripped := 58. SelectorSistaTrap := 59. LowcodeContextMark := 60. LowcodeNativeContextClass := 61.! Item was removed: - ----- Method: SpurMemoryManager>>classMutex (in category 'plugin support') ----- - classMutex - ^self splObj: ClassMutex! Item was changed: ----- Method: StackInterpreter>>printAllStacks (in category 'debug printing') ----- printAllStacks "Print all the stacks of all running processes, including those that are currently suspended." <export: true> "useful for VM debugging; use export: not api, so it will be accessible on win32 and won't be written to cointerp.h" + | proc schedLists p processList linkedListClass minProcessInstSize processClass | - | proc semaphoreClass mutexClass schedLists p processList | <inline: false> + proc := self activeProcess. "may not be an instance of process. may in exceptional circumstances be nilObject" - proc := self activeProcess. self printNameOfClass: (objectMemory fetchClassOf: proc) count: 5; space; printHex: proc. self print: ' priority '; printNum: (self quickFetchInteger: PriorityIndex ofObject: proc); cr. + framePointer + ifNil: [self printProcessStack: proc] "at startup..." + ifNotNil: [self printCallStack]. "first the current activation" - self printCallStack. "first the current activation" schedLists := objectMemory fetchPointer: ProcessListsIndex ofObject: self schedulerPointer. + linkedListClass := nil. "then the runnable processes" p := highestRunnableProcessPriority = 0 ifTrue: [objectMemory numSlotsOf: schedLists] ifFalse: [highestRunnableProcessPriority]. p - 1 to: 0 by: -1 do: [:pri| processList := objectMemory fetchPointer: pri ofObject: schedLists. (self isEmptyList: processList) ifFalse: + [proc = objectMemory nilObject ifTrue: + [proc := objectMemory fetchPointer: FirstLinkIndex ofObject: processList]. + self cr; print: 'processes at priority '; printNum: pri + 1. + self printProcsOnList: processList]. + linkedListClass ifNil: [linkedListClass := objectMemory fetchClassOfNonImm: processList]]. + linkedListClass ifNil: [linkedListClass := objectMemory superclassOf: objectMemory classSemaphore]. + proc = objectMemory nilObject ifTrue: + [self cr; print: 'Cannot find a runnable process. Cannot therefore determine class Process. Cannot therefore print suspended processes'. + ^self]. - [self cr; print: 'processes at priority '; printNum: pri + 1. - self printProcsOnList: processList]]. self cr; print: 'suspended processes'. + "Find the root of the Process hierarchy. It is the class, or superclass, + of a process, that has inst size at least large enough to include myList" + processClass := proc = objectMemory nilObject ifFalse: [objectMemory fetchClassOf: proc]. + minProcessInstSize := MyListIndex + 1. + [(objectMemory instanceSizeOf: (objectMemory superclassOf: processClass)) >= minProcessInstSize] whileTrue: + [processClass := objectMemory superclassOf: processClass]. + minProcessInstSize := objectMemory instanceSizeOf: processClass. + "look for all subInstances of process that have a context as a suspendedContext and are on a list other than a LinkedList" - semaphoreClass := objectMemory classSemaphore. - mutexClass := objectMemory classMutex. objectMemory hasSpurMemoryManagerAPI ifTrue: + [objectMemory allHeapEntitiesDo: + [:obj| + ((objectMemory isNormalObject: obj) + and: [(objectMemory isPointersNonImm: obj) + and: [(objectMemory numSlotsOf: obj) >= minProcessInstSize + and: [(self is: obj KindOfClass: processClass) + and: [objectMemory isContext: (objectMemory fetchPointer: SuspendedContextIndex ofObject: obj)]]]]) ifTrue: + [| myList myListClass | + "Is the process waiting on some delaying list? This will be a subclass of LinkedList. + If so, assume it is blocked on the list." + myList := objectMemory fetchPointer: MyListIndex ofObject: obj. + (myList ~= objectMemory nilObject + and: [(myListClass := objectMemory fetchClassOfNonImm: myList) ~= linkedListClass + and: [self is: myList KindOfClass: linkedListClass]]) ifTrue: + [self printProcessStack: obj]]]] - [semaphoreClass := objectMemory compactIndexOfClass: semaphoreClass. - mutexClass := objectMemory compactIndexOfClass: mutexClass. - objectMemory allHeapEntitiesDo: - [:obj| | classIdx | - classIdx := objectMemory classIndexOf: obj. - (classIdx = semaphoreClass - or: [classIdx = mutexClass]) ifTrue: - [self printProcsOnList: obj]]] ifFalse: [objectMemory allObjectsDoSafely: + [:obj| + ((objectMemory isNormalObject: obj) + and: [(objectMemory isPointersNonImm: obj) + and: [(objectMemory numSlotsOf: obj) >= minProcessInstSize + and: [(self is: obj KindOfClass: processClass) + and: [objectMemory isContext: (objectMemory fetchPointer: SuspendedContextIndex ofObject: obj)]]]]) ifTrue: + [| myList myListClass | + "Is the process waiting on some delaying list? This will be a subclass of LinkedList. + If so, assume it is blocked on the list." + myList := objectMemory fetchPointer: MyListIndex ofObject: obj. + (myList ~= objectMemory nilObject + and: [(myListClass := objectMemory fetchClassOfNonImm: myList) ~= linkedListClass + and: [self is: myList KindOfClass: linkedListClass]]) ifTrue: + [self printProcessStack: obj]]]]! - [:obj| | classObj | - classObj := objectMemory fetchClassOfNonImm: obj. - (classObj = semaphoreClass - or: [classObj = mutexClass]) ifTrue: - [self printProcsOnList: obj]]]! Item was changed: ----- Method: StackInterpreter>>printCallStack (in category 'debug printing') ----- printCallStack <export: true> "useful for VM debugging; use export: not api, so it will be accessible on win32 and won't be written to cointerp.h" <inline: false> + framePointer + ifNil: [self printCallStackOf: (objectMemory fetchPointer: SuspendedContextIndex ofObject: self activeProcess)] + ifNotNil: [self printCallStackFP: framePointer]! - framePointer = nil - ifTrue: [self printCallStackOf: (objectMemory fetchPointer: SuspendedContextIndex ofObject: self activeProcess)] - ifFalse: [self printCallStackFP: framePointer]! Item was changed: ----- Method: StackInterpreter>>printCallStackFP: (in category 'debug printing') ----- printCallStackFP: theFP + <var: #theFP type: #'char *'> | context | <inline: false> + self cCode: '' inSmalltalk: [transcript ensureCr]. - <var: #theFP type: #'char *'> context := self shortReversePrintFrameAndCallers: theFP. [context = objectMemory nilObject] whileFalse: [(self isMarriedOrWidowedContext: context) ifTrue: [(self checkIsStillMarriedContext: context currentFP: framePointer) ifFalse: [self shortPrintContext: context. ^nil]. context := self shortReversePrintFrameAndCallers: (self frameOfMarriedContext: context)] ifFalse: [context := self printContextCallStackOf: context]]! Item was changed: ----- Method: StackInterpreter>>printCallStackOf: (in category 'debug printing') ----- printCallStackOf: aContextOrProcessOrFrame <export: true> "useful for VM debugging; use export: not api, so it will be accessible on win32 and won't be written to cointerp.h" | context | <inline: false> + self cCode: '' inSmalltalk: [transcript ensureCr]. (stackPages couldBeFramePointer: aContextOrProcessOrFrame) ifTrue: [^self printCallStackFP: (self cCoerceSimple: aContextOrProcessOrFrame to: #'char *')]. aContextOrProcessOrFrame = self activeProcess ifTrue: [^self printCallStackOf: self headFramePointer]. (self couldBeProcess: aContextOrProcessOrFrame) ifTrue: [^self printCallStackOf: (objectMemory fetchPointer: SuspendedContextIndex ofObject: aContextOrProcessOrFrame)]. context := aContextOrProcessOrFrame. [context = objectMemory nilObject] whileFalse: [(self isMarriedOrWidowedContext: context) ifTrue: [(self checkIsStillMarriedContext: context currentFP: framePointer) ifFalse: [self shortPrintContext: context. ^nil]. context := self shortReversePrintFrameAndCallers: (self frameOfMarriedContext: context)] ifFalse: [context := self printContextCallStackOf: context]]! Item was changed: SharedPool subclass: #VMObjectIndices instanceVariableNames: '' + classVariableNames: 'ActiveProcessIndex CharacterTable CharacterValueIndex ClassAlien ClassArray ClassBitmap ClassBlockClosure ClassBlockContext ClassByteArray ClassByteString ClassCharacter ClassDoubleByteArray ClassDoubleWordArray ClassExternalAddress ClassExternalData ClassExternalFunction ClassExternalLibrary ClassExternalStructure ClassFloat ClassFullBlockClosure ClassLargeNegativeInteger ClassLargePositiveInteger ClassMessage ClassMethodContext ClassPoint ClassSemaphore ClassSmallInteger ClassString ClassUnsafeAlien ClassWeakFinalizer ClassWordArray ClosureFirstCopiedValueIndex ClosureIndex ClosureNumArgsIndex ClosureOuterContextIndex ClosureStartPCIndex CompactClasses ConstMinusOne ConstOne ConstTwo ConstZero ExcessSignalsIndex ExternalObjectsArray FalseObject FirstLinkIndex ForeignCallbackProcess FullClosureCompiledBlockIndex FullClosureFirstCopiedValueIndex FullClosureReceiverIndex HeaderIndex InstanceSpecificationIndex InstructionPointerIndex KeyIndex LastLinkIndex Liter alStart LowcodeContextMark LowcodeNativeContextClass MessageArgumentsIndex MessageLookupClassIndex MessageSelectorIndex MethodArrayIndex MethodDictionaryIndex MethodIndex MyListIndex NextLinkIndex NilObject PrimErrTableIndex PriorityIndex ProcessInExternalCodeTag ProcessListsIndex ProcessSignalingLowSpace ReceiverIndex SchedulerAssociation SelectorAboutToReturn SelectorAttemptToAssign SelectorCannotInterpret SelectorCannotReturn SelectorCounterTripped SelectorDoesNotUnderstand SelectorInvokeCallback SelectorMustBeBoolean SelectorRunWithIn SelectorSistaTrap SelectorStart SelectorUnknownBytecode SenderIndex SpecialSelectors StackPointerIndex StreamArrayIndex StreamIndexIndex StreamReadLimitIndex StreamWriteLimitIndex SuperclassIndex SuspendedContextIndex TheDisplay TheFinalizationSemaphore TheInputSemaphore TheInterruptSemaphore TheLowSpaceSemaphore TheTimerSemaphore TrueObject ValueIndex XIndex YIndex' - classVariableNames: 'ActiveProcessIndex CharacterTable CharacterValueIndex ClassAlien ClassArray ClassBitmap ClassBlockClosure ClassBlockContext ClassByteArray ClassByteString ClassCharacter ClassDoubleByteArray ClassDoubleWordArray ClassExternalAddress ClassExternalData ClassExternalFunction ClassExternalLibrary ClassExternalStructure ClassFloat ClassFullBlockClosure ClassLargeNegativeInteger ClassLargePositiveInteger ClassMessage ClassMethodContext ClassMutex ClassPoint ClassSemaphore ClassSmallInteger ClassString ClassUnsafeAlien ClassWeakFinalizer ClassWordArray ClosureFirstCopiedValueIndex ClosureIndex ClosureNumArgsIndex ClosureOuterContextIndex ClosureStartPCIndex CompactClasses ConstMinusOne ConstOne ConstTwo ConstZero ExcessSignalsIndex ExternalObjectsArray FalseObject FirstLinkIndex ForeignCallbackProcess FullClosureCompiledBlockIndex FullClosureFirstCopiedValueIndex FullClosureReceiverIndex HeaderIndex InstanceSpecificationIndex InstructionPointerIndex KeyIndex LastLink Index LiteralStart LowcodeContextMark LowcodeNativeContextClass MessageArgumentsIndex MessageLookupClassIndex MessageSelectorIndex MethodArrayIndex MethodDictionaryIndex MethodIndex MyListIndex NextLinkIndex NilObject PrimErrTableIndex PriorityIndex ProcessInExternalCodeTag ProcessListsIndex ProcessSignalingLowSpace ReceiverIndex SchedulerAssociation SelectorAboutToReturn SelectorAttemptToAssign SelectorCannotInterpret SelectorCannotReturn SelectorCounterTripped SelectorDoesNotUnderstand SelectorInvokeCallback SelectorMustBeBoolean SelectorRunWithIn SelectorSistaTrap SelectorStart SelectorUnknownBytecode SenderIndex SpecialSelectors StackPointerIndex StreamArrayIndex StreamIndexIndex StreamReadLimitIndex StreamWriteLimitIndex SuperclassIndex SuspendedContextIndex TheDisplay TheFinalizationSemaphore TheInputSemaphore TheInterruptSemaphore TheLowSpaceSemaphore TheTimerSemaphore TrueObject ValueIndex XIndex YIndex' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMObjectIndices commentStamp: '<historical>' prior: 0! I am a shared pool for the constants that define object layout and well-known objects shared between the object memories (e.g. ObjectMemory, NewObjectMemory), the interpreters (e.g. StackInterpreter, CoInterpreter) and the object representations (e.g. ObjectRepresentationForSqueakV3). self classPool declare: #Foo from: StackInterpreter classPool (ObjectMemory classPool keys select: [:k| (k beginsWith: 'Class') and: [(k endsWith: 'Index') not]]) do: [:k| self classPool declare: k from: ObjectMemory classPool]!

1 0

[OpenSmalltalk/opensmalltalk-vm] f30c25: CogVM source as per VMMaker.oscog-eem.3109
by Eliot Miranda 23 Nov '21

23 Nov '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: f30c25c06cbd3946feff00e89c526f1db24dc24d https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/f30c25c06cbd3946fe… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-11-22 (Mon, 22 Nov 2021) Changed paths: M src/spur32.cog.lowcode/cogitARMv5.c M src/spur32.cog.lowcode/cogitIA32.c M src/spur32.cog.lowcode/cointerp.c M src/spur32.cog.lowcode/gcc3x-cointerp.c M src/spur32.cog/cogitARMv5.c M src/spur32.cog/cogitIA32.c M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cogitARMv5.c M src/spur32.sista/cogitIA32.c M src/spur32.sista/cointerp.c M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack.lowcode/gcc3x-interp.c M src/spur32.stack.lowcode/interp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur64.cog.lowcode/cogitARMv8.c M src/spur64.cog.lowcode/cogitX64SysV.c M src/spur64.cog.lowcode/cogitX64WIN64.c M src/spur64.cog.lowcode/cointerp.c M src/spur64.cog.lowcode/cointerp.h M src/spur64.cog.lowcode/gcc3x-cointerp.c M src/spur64.cog/cogitARMv8.c M src/spur64.cog/cogitX64SysV.c M src/spur64.cog/cogitX64WIN64.c M src/spur64.cog/cointerp.c M src/spur64.cog/cointerpmt.c M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cogitARMv8.c M src/spur64.sista/cogitX64SysV.c M src/spur64.sista/cogitX64WIN64.c M src/spur64.sista/cointerp.c M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack.lowcode/gcc3x-interp.c M src/spur64.stack.lowcode/interp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/v3.cog/cogitARMv5.c M src/v3.cog/cogitIA32.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3109 Cogit: add machine code versions of primitiveSlotAt[Put] (used for instVarAt:[put:] in Spur) for Spur64. This is mainly to reduce noise in Virtend crash log primitive traces, but is a lot faster. Spur: Fix a bug in full GC with non-writable code zone. The scavenge that comes immediately before the mark phase in a full GC needs to be done with GCModeNewSpace to ensure the Cogit's GC routines are invoked correctly.

1 0

VM Maker: VMMakerUI-eem.51.mcz
by commits＠source.squeak.org 23 Nov '21

23 Nov '21

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.51.mcz ==================== Summary ==================== Name: VMMakerUI-eem.51 Author: eem Time: 22 November 2021, 8:20:17.845976 pm UUID: 5779d432-7154-48d0-b157-8088b347acbf Ancestors: VMMakerUI-eem.50 Fix formatting of word-indexable objects in the CogOopInspector (spaces were missing). =============== Diff against VMMakerUI-eem.50 =============== Item was changed: ----- Method: StackInterpreter>>printOop:on:oopAttribute: (in category '*VMMakerUI-debug printing') ----- printOop: oop on: aStream oopAttribute: oopTextAttribute <doNotGenerate> | cls fmt lastIndex startIP bytecodesPerLine column | <inline: false> (objectMemory isImmediate: oop) ifTrue: [^self shortPrintOop: oop on: aStream]. self printHex: oop on: aStream. (objectMemory addressCouldBeObj: oop) ifFalse: [(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [^aStream nextPutAll: ' is misaligned'; cr]. ((objectMemory isInNewSpace: oop) and: [objectMemory isForwarded: oop]) ifTrue: [self printForwarder: oop on: aStream oopAttribute: oopTextAttribute]. ^aStream nextPutAll: (self whereIs: oop); cr]. (objectMemory isFreeObject: oop) ifTrue: [aStream nextPutAll: ' is a free chunk of size '; print: (objectMemory sizeOfFree: oop). objectMemory hasSpurMemoryManagerAPI ifTrue: [aStream nextPutAll: ' 0th: '. self printHex: (objectMemory fetchPointer: 0 ofFreeChunk: oop) on: aStream. objectMemory printHeaderTypeOf: oop on: aStream]. ^aStream cr]. (objectMemory isForwarded: oop) ifTrue: [self printForwarder: oop on: aStream oopAttribute: oopTextAttribute]. aStream nextPutAll: ': a(n) '. self printNameOfClass: (cls := objectMemory fetchClassOfNonImm: oop) count: 5 on: aStream. cls = (objectMemory splObj: ClassFloat) ifTrue: [^aStream cr; print: (objectMemory dbgFloatValueOf: oop); cr]. fmt := objectMemory formatOf: oop. fmt > objectMemory lastPointerFormat ifTrue: [aStream nextPutAll: ' nbytes '; print: (objectMemory numBytesOf: oop)]. aStream cr. (fmt between: objectMemory firstLongFormat and: objectMemory firstCompiledMethodFormat - 1) ifTrue: ["This will answer false if splObj: ClassAlien is nilObject" (self is: oop KindOfClass: (objectMemory splObj: ClassAlien)) ifTrue: [aStream nextPutAll: ' datasize '; print: (self sizeOfAlienData: oop). aStream nextPutAll: ((self isIndirectAlien: oop) ifTrue: [' indirect @ '] ifFalse: [(self isPointerAlien: oop) ifTrue: [' pointer @ '] ifFalse: [' direct @ ']]). self printHex: (self startOfAlienData: oop) on: aStream. ^aStream cr]. (objectMemory isWordsNonImm: oop) ifTrue: [lastIndex := 64 min: ((objectMemory numBytesOf: oop) / objectMemory wordSize). lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| self printHex: (objectMemory fetchLong32: index - 1 ofObject: oop) on: aStream. + index \\ self elementsPerPrintOopLine = 0 + ifTrue: [aStream cr] + ifFalse: [aStream space]]. - index \\ self elementsPerPrintOopLine = 0 ifTrue: - [aStream cr]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. ^self]. self printStringOf: oop on: aStream. ^aStream cr]. "this is nonsense. apologies." startIP := (objectMemory safeLastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. lastIndex := 256 min: startIP. lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| aStream space; nextPutAll: (self hex: (objectMemory fetchPointer: index - 1 ofObject: oop) withAttribute: oopTextAttribute); space. aStream nextPutAll: (self shortPrint: (objectMemory fetchPointer: index - 1 ofObject: oop)). + index \\ self elementsPerPrintOopLine = 0 + ifTrue: [aStream cr] + ifFalse: [aStream space]]. - index \\ self elementsPerPrintOopLine = 0 ifTrue: - [aStream cr]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. (objectMemory isCompiledMethod: oop) ifFalse: [startIP > 64 ifTrue: [aStream nextPutAll: '...'; cr]] ifTrue: [startIP := startIP * objectMemory wordSize + 1. lastIndex := objectMemory lengthOf: oop. lastIndex - startIP > 100 ifTrue: [lastIndex := startIP + 100]. bytecodesPerLine := 8. column := 1. startIP to: lastIndex do: [:index| | byte | column = 1 ifTrue: [aStream nextPutAll: (oop+objectMemory baseHeaderSize+index-1) hex; nextPutAll: ': ']. byte := objectMemory fetchByte: index - 1 ofObject: oop. aStream space. byte printOn: aStream base: 16. aStream nextPut: $/. byte printOn: aStream. column := column + 1. column > bytecodesPerLine ifTrue: [column := 1. aStream cr]]. column = 1 ifFalse: [aStream cr]]!

1 0

VM Maker: VMMaker.oscog-eem.3109.mcz
by commits＠source.squeak.org 23 Nov '21

23 Nov '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3109.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3109 Author: eem Time: 22 November 2021, 8:17:34.602359 pm UUID: 28141cc3-6a57-4a86-b9c2-383d8563851b Ancestors: VMMaker.oscog-eem.3108 Cogit: add machine code versions of primtiiveSlotAt[Put] (used for instVarAt:[put:] in Spur) for Spur64. This is mainly to reduce noise in Virtend crash log primitive traces, but is a lot faster. Spur: Fix a bug in full GC with non-writable code zone. The scavenge that comes immediately before the mark phase in a full GC needs to be done with GCModeNewSpace to ensure the Cogit's GC routines are invoked correctly. In-image compilation: get it working again after recent changes. Simulation: fix assigning the primitiveFunctionPointer from machine code. The accessor needs to convert the illegal-address key into the relevant object. =============== Diff against VMMaker.oscog-eem.3108 =============== Item was changed: ----- Method: CoInterpreter>>primitiveFunctionPointer: (in category 'cog jit support') ----- + primitiveFunctionPointer: oopOrSimulatedTrampolineKey + "Used by the cogit to allow machine code primitives to set primitiveFunctionPointer" - primitiveFunctionPointer: oop - "Apparently not sent but is used in the simulator." <doNotGenerate> + | value | + value := cogit simulatedTrampolines + at: oopOrSimulatedTrampolineKey + ifPresent: [:messageSendOrBlock| + messageSendOrBlock isMessageSend + ifTrue: [messageSendOrBlock selector] + ifFalse: [messageSendOrBlock]] + ifAbsent: [oopOrSimulatedTrampolineKey]. + primitiveFunctionPointer := value! - primitiveFunctionPointer := oop! Item was added: + ----- Method: CogObjectRepresentation>>genPrimitiveSlotAt (in category 'primitive generators') ----- + genPrimitiveSlotAt + "subclasses override if they can" + ^UnimplementedPrimitive! Item was added: + ----- Method: CogObjectRepresentation>>genPrimitiveSlotAtPut (in category 'primitive generators') ----- + genPrimitiveSlotAtPut + "subclasses override if they can" + ^UnimplementedPrimitive! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveSlotAt (in category 'primitive generators') ----- + genPrimitiveSlotAt + "Generate the code for primitive 173, instVarAt:. Defer to StackInterpreterPrimitives>>primitiveSlotAt for Contexts." + | formatReg nSlotsOrElementsReg convertToIntAndReturn + jumpImmediate jumpBadIndex + jumpIsBytes jumpIsShorts jumpIsWords jumpIsMethod jumpIsContext + jumpPointersOutOfBounds + jumpBytesOutOfBounds jumpShortsOutOfBounds jumpWordsOutOfBounds jumpLongsOutOfBounds + jumpFailAlloc jumpNonPointers jumpToReturnLargeInteger | + "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" + + nSlotsOrElementsReg := ClassReg. + + cogit genLoadArgAtDepth: 0 into: Arg0Reg. + jumpImmediate := self genJumpImmediate: ReceiverResultReg. + cogit MoveR: Arg0Reg R: Arg1Reg. + jumpBadIndex := self genJumpNotSmallInteger: Arg0Reg scratchReg: TempReg. + self genConvertSmallIntegerToIntegerInReg: Arg1Reg. + cogit SubCq: 1 R: Arg1Reg. "1-rel => 0-rel" + + "formatReg := self formatOf: ReceiverResultReg" + self genGetFormatOf: ReceiverResultReg + into: (formatReg := SendNumArgsReg) + leastSignificantHalfOfBaseHeaderIntoScratch: TempReg. + + self genGetNumSlotsOf: ReceiverResultReg into: nSlotsOrElementsReg. + + "dispatch on format in a combination of highest dynamic frequency order first and convenience. + 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, reserved for exotic pointer objects? + 7 Forwarded Object, 1st field is pointer, rest of fields are ignored + 8 unused, reserved for exotic non-pointer objects? + 9 64-bit indexable + 10 - 11 32-bit indexable + 12 - 15 16-bit indexable + 16 - 23 byte indexable + 24 - 31 compiled method" + cogit CmpCq: objectMemory sixtyFourBitIndexableFormat R: formatReg. + jumpNonPointers := cogit JumpAboveOrEqual: 0. + + cogit AndCq: objectMemory classIndexMask R: TempReg. + cogit CmpCq: ClassMethodContextCompactIndex R: TempReg. + jumpIsContext := cogit JumpZero: 0. "Fail to StackInterpreterPrimitives>>primitiveSlotAt for Context" + + cogit CmpR: Arg1Reg R: nSlotsOrElementsReg. + jumpPointersOutOfBounds := cogit JumpBelowOrEqual: 0. + "index is (formatReg Arg1Reg (0-rel index) * wordSize + baseHeaderSize" + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg1Reg. + cogit MoveXwr: Arg1Reg R: ReceiverResultReg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpNonPointers jmpTarget: + (cogit CmpCq: objectMemory firstByteFormat R: formatReg). + jumpIsBytes := cogit JumpAboveOrEqual: 0. + cogit CmpCq: objectMemory firstShortFormat R: formatReg. + jumpIsShorts := cogit JumpAboveOrEqual: 0. + cogit CmpCq: objectMemory firstLongFormat R: formatReg. + jumpIsWords := cogit JumpAboveOrEqual: 0. + + "fall through to objectMemory sixtyFourBitIndexableFormat" + cogit CmpR: Arg1Reg R: nSlotsOrElementsReg. + jumpLongsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg1Reg. + cogit MoveXwr: Arg1Reg R: ReceiverResultReg R: ClassReg. + cogit MoveR: ClassReg R: TempReg. + cogit LogicalShiftRightCq: self numSmallIntegerBits - 1 R: TempReg. "If in range this is now 0" + (cogit lastOpcode setsConditionCodesFor: JumpZero) ifFalse: + [cogit CmpCq: 0 R: TempReg]. "N.B. FLAGS := ClassReg - 0" + jumpToReturnLargeInteger := cogit JumpNonZero: 0. + self genConvertIntegerInReg: ClassReg toSmallIntegerInReg: ReceiverResultReg. + cogit genPrimReturn. + jumpToReturnLargeInteger jmpTarget: cogit Label. + jumpFailAlloc := self genAlloc64BitPositiveIntegerValue: ClassReg into: SendNumArgsReg scratchReg: Extra0Reg scratchReg: TempReg. + cogit MoveR: SendNumArgsReg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpIsBytes jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: nSlotsOrElementsReg). + cogit AndCq: 7 R: formatReg R: TempReg. + cogit SubR: TempReg R: nSlotsOrElementsReg; + CmpR: Arg1Reg R: nSlotsOrElementsReg. + jumpBytesOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit CmpCq: objectMemory firstCompiledMethodFormat R: formatReg. + jumpIsMethod := cogit JumpAboveOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize R: Arg1Reg. + cogit backEnd byteReadsZeroExtend + ifTrue: + [cogit MoveXbr: Arg1Reg R: ReceiverResultReg R: ReceiverResultReg] + ifFalse: + [cogit "formatReg already contains a value <= 16r1f, so no need to zero it" + MoveXbr: Arg1Reg R: ReceiverResultReg R: formatReg; + MoveR: formatReg R: ReceiverResultReg]. + convertToIntAndReturn := cogit Label. + self genConvertIntegerToSmallIntegerInReg: ReceiverResultReg. + cogit genPrimReturn. + + jumpIsShorts jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: nSlotsOrElementsReg). + cogit AndCq: 3 R: formatReg. + cogit SubR: formatReg R: nSlotsOrElementsReg; + CmpR: Arg1Reg R: nSlotsOrElementsReg. + jumpShortsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit AddR: Arg1Reg R: ReceiverResultReg. + cogit AddR: Arg1Reg R: ReceiverResultReg. + cogit MoveM16: objectMemory baseHeaderSize r: ReceiverResultReg R: ReceiverResultReg. + cogit Jump: convertToIntAndReturn. + + jumpIsWords jmpTarget: + (cogit LogicalShiftLeftCq: objectMemory shiftForWord - 2 R: nSlotsOrElementsReg). + cogit AndCq: 1 R: formatReg. + cogit SubR: formatReg R: nSlotsOrElementsReg; + CmpR: Arg1Reg R: nSlotsOrElementsReg. + jumpWordsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> (objectMemory shiftForWord - 1) R: Arg1Reg. + cogit MoveX32r: Arg1Reg R: ReceiverResultReg R: TempReg. + cogit MoveR: TempReg R: ReceiverResultReg. + cogit Jump: convertToIntAndReturn. + + jumpFailAlloc jmpTarget: + (jumpLongsOutOfBounds jmpTarget: + (jumpPointersOutOfBounds jmpTarget: + (jumpBytesOutOfBounds jmpTarget: + (jumpIsMethod jmpTarget: + (jumpShortsOutOfBounds jmpTarget: + (jumpWordsOutOfBounds jmpTarget: + (jumpIsContext jmpTarget: + (jumpBadIndex jmpTarget: + (jumpImmediate jmpTarget: cogit Label))))))))). + + ^0 "Can't be complete because of contexts."! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveSlotAtPut (in category 'primitive generators') ----- + genPrimitiveSlotAtPut + "Generate the code for primitive 174, instVarAt:put:. Defer to StackInterpreterPrimitives>>primitiveSlotAtPut for Contexts." + | formatReg nSlotsOrBytesReg + jumpImmediate jumpBadIndex jumpImmutable jumpNotIndexableBits + jumpIsContext jumpIsCompiledMethod jumpIsBytes jumpIsShorts jumpIsWords + jumpPointersOutOfBounds jumpWordsOutOfBounds jumpShortsOutOfBounds jumpBytesOutOfBounds + jumpShortsOutOfRange jumpWordsOutOfRange jumpBytesOutOfRange + jumpNonSmallIntegerValue jumpNotPointers + rejoin jump64BitsOutOfBounds jumpNot64BitIndexable jump64BitArgIsImmediate jumpNot8ByteInteger + | + "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" + nSlotsOrBytesReg := Extra0Reg. + + cogit genLoadArgAtDepth: 1 into: Arg0Reg. + cogit genLoadArgAtDepth: 0 into: Arg1Reg. + jumpImmediate := self genJumpImmediate: ReceiverResultReg. + jumpBadIndex := self genJumpNotSmallInteger: Arg0Reg scratchReg: TempReg. + self genConvertSmallIntegerToIntegerInReg: Arg0Reg. + cogit SubCq: 1 R: Arg0Reg. "1-rel => 0-rel" + + "formatReg := self formatOf: ReceiverResultReg" + self cppIf: IMMUTABILITY + ifTrue: + [ self genGetFormatOf: ReceiverResultReg + into: (formatReg := SendNumArgsReg) + leastSignificantHalfOfBaseHeaderIntoScratch: TempReg. + jumpImmutable := self genJumpBaseHeaderImmutable: TempReg ] + ifFalse: + [ self genGetFormatOf: ReceiverResultReg + into: (formatReg := SendNumArgsReg) + leastSignificantHalfOfBaseHeaderIntoScratch: NoReg ]. + + self genGetNumSlotsOf: ReceiverResultReg into: nSlotsOrBytesReg. + + "dispatch on format in a combination of highest dynamic frequency order first and convenience. + 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, reserved for exotic pointer objects? + 7 Forwarded Object, 1st field is pointer, rest of fields are ignored + 8 unused, reserved for exotic non-pointer objects? + 9 64-bit indexable + 10 - 11 32-bit indexable + 12 - 15 16-bit indexable + 16 - 23 byte indexable + 24 - 31 compiled method" + cogit CmpCq: objectMemory weakArrayFormat R: formatReg. + jumpNotPointers := cogit JumpAbove: 0. + self genGetClassIndexOfNonImm: ReceiverResultReg into: ClassReg. + cogit CmpCq: ClassMethodContextCompactIndex R: ClassReg. + jumpIsContext := cogit JumpZero: 0. "Fail to StackInterpreterPrimitives>>primitiveSlotAtPut for Context" + + "optimistic store check; assume index in range (almost always is)." + self genStoreCheckReceiverReg: ReceiverResultReg + valueReg: Arg1Reg + scratchReg: TempReg + inFrame: false. + + cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. + jumpPointersOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveR: Arg1Reg Xwr: Arg0Reg R: ReceiverResultReg. + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpNotPointers jmpTarget: cogit Label. + jumpNonSmallIntegerValue := self genJumpNotSmallInteger: Arg1Reg scratchReg: TempReg. + cogit CmpCq: objectMemory firstByteFormat R: formatReg. + jumpIsBytes := cogit JumpAboveOrEqual: 0. + cogit CmpCq: objectMemory firstShortFormat R: formatReg. + jumpIsShorts := cogit JumpAboveOrEqual: 0. + cogit CmpCq: objectMemory firstLongFormat R: formatReg. + jumpIsWords := cogit JumpAboveOrEqual: 0. + cogit CmpCq: objectMemory sixtyFourBitIndexableFormat R: formatReg. + jumpNotIndexableBits := cogit JumpNonZero: 0. + "fall through to 64-bit words" + cogit MoveR: Arg1Reg R: SendNumArgsReg. + self genConvertSmallIntegerToIntegerInReg: SendNumArgsReg. + rejoin := + cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. + jump64BitsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. + cogit MoveR: SendNumArgsReg Xwr: Arg0Reg R: ReceiverResultReg. + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit genPrimReturn. + + "Handle LargePositiveInteger (unsigned) or LargePositiveInteger and LargeNegativeInteger (signed) + for sixtyFourBitIndexableFormat" + jumpNonSmallIntegerValue jmpTarget: + (cogit CmpCq: objectMemory sixtyFourBitIndexableFormat R: formatReg). + jumpNot64BitIndexable := cogit JumpNonZero: 0. + jump64BitArgIsImmediate := self genJumpImmediate: Arg1Reg. + "Now check if the header is that of an 8 byte LargePositiveInteger" + cogit MoveMw: 0 r: Arg1Reg R: SendNumArgsReg. + cogit AndCq: (objectMemory + headerForSlots: objectMemory numSlotsMask + format: objectMemory formatMask + classIndex: objectMemory classIndexMask) + R: SendNumArgsReg. + cogit CmpCq: (objectMemory + headerForSlots: 1 + format: objectMemory firstByteFormat + classIndex: ClassLargePositiveIntegerCompactIndex) + R: SendNumArgsReg. + jumpNot8ByteInteger := cogit JumpNonZero: 0. + cogit MoveMw: objectMemory baseHeaderSize r: Arg1Reg R: SendNumArgsReg. + cogit Jump: rejoin. + + jumpIsWords jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: 16rFFFFFFFF) R: Arg1Reg). + jumpWordsOutOfRange := cogit JumpAbove: 0. + cogit LogicalShiftLeftCq: objectMemory shiftForWord - 2 R: nSlotsOrBytesReg. + cogit AndCq: objectMemory wordSize / 4 - 1 R: formatReg. + cogit SubR: formatReg R: nSlotsOrBytesReg. + cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. + jumpWordsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit MoveR: Arg1Reg R: TempReg. + self genConvertSmallIntegerToIntegerInReg: TempReg. + cogit AddCq: objectMemory baseHeaderSize >> (objectMemory shiftForWord - 1) R: Arg0Reg. + cogit MoveR: TempReg X32r: Arg0Reg R: ReceiverResultReg. + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpIsShorts jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: 65535) R: Arg1Reg). + jumpShortsOutOfRange := cogit JumpAbove: 0. + cogit LogicalShiftLeftCq: objectMemory shiftForWord - 1 R: nSlotsOrBytesReg. + cogit AndCq: objectMemory wordSize / 2 - 1 R: formatReg. + cogit SubR: formatReg R: nSlotsOrBytesReg. + cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. + jumpShortsOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit MoveR: Arg1Reg R: TempReg. + self genConvertSmallIntegerToIntegerInReg: TempReg. + cogit AddR: Arg0Reg R: ReceiverResultReg. + cogit AddR: Arg0Reg R: ReceiverResultReg. + cogit MoveR: TempReg M16: objectMemory baseHeaderSize r: ReceiverResultReg. + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpIsBytes jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: 255) R: Arg1Reg). + jumpBytesOutOfRange := cogit JumpAbove: 0. + cogit LogicalShiftLeftCq: objectMemory shiftForWord R: nSlotsOrBytesReg. + cogit AndCq: objectMemory wordSize - 1 R: formatReg R: TempReg. + cogit SubR: TempReg R: nSlotsOrBytesReg. + cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. + jumpBytesOutOfBounds := cogit JumpBelowOrEqual: 0. + cogit CmpCq: objectMemory firstCompiledMethodFormat R: formatReg. + jumpIsCompiledMethod := cogit JumpAboveOrEqual: 0. + cogit MoveR: Arg1Reg R: TempReg. + self genConvertSmallIntegerToIntegerInReg: TempReg. + cogit AddCq: objectMemory baseHeaderSize R: Arg0Reg. + cogit MoveR: TempReg Xbr: Arg0Reg R: ReceiverResultReg. + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit genPrimReturn. + + jumpNot8ByteInteger jmpTarget: + (jump64BitArgIsImmediate jmpTarget: + (jumpNot64BitIndexable jmpTarget: + (jumpIsContext jmpTarget: + (jumpNotIndexableBits jmpTarget: + (jumpBytesOutOfRange jmpTarget: + (jumpShortsOutOfRange jmpTarget: + (jumpWordsOutOfRange jmpTarget: + (jumpIsCompiledMethod jmpTarget: + (jumpPointersOutOfBounds jmpTarget: + (jumpBytesOutOfBounds jmpTarget: + (jumpShortsOutOfBounds jmpTarget: + (jumpWordsOutOfBounds jmpTarget: + (jump64BitsOutOfBounds jmpTarget: cogit Label))))))))))))). + self cppIf: IMMUTABILITY + ifTrue: [jumpImmutable jmpTarget: jumpIsContext getJmpTarget]. + + cogit AddCq: 1 R: Arg0Reg. "0-rel => 1-rel" + self genConvertIntegerToSmallIntegerInReg: Arg0Reg. + + jumpBadIndex jmpTarget: (jumpImmediate jmpTarget: cogit Label). + + ^0 "Can't be complete because of contexts."! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>initialCStackAddress (in category 'accessing') ----- + initialCStackAddress + ^self rumpCStackAddress! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>memoryOffset (in category 'accessing') ----- + memoryOffset + ^objectMemory memoryOffset! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>shortAt: (in category 'accessing') ----- + shortAt: index + ^objectMemory shortAt: index! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>shortAt:put: (in category 'accessing') ----- + shortAt: index put: anInteger + ^objectMemory shortAt: index put: anInteger! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueak (in category 'class initialization') ----- initializePrimitiveTableForSqueak "Initialize the table of primitive generators. This does not include normal primitives implemented in the coInterpreter. N.B. primitives that don't have an explicit arg count (the integer following the generator) may be variadic." "SimpleStackBasedCogit initializePrimitiveTableForSqueak" MaxCompiledPrimitiveIndex := self objectRepresentationClass wordSize = 8 ifTrue: [575] ifFalse: [575]. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) + (2 genPrimitiveSubtract 1) - (2 genPrimitiveSubtract 1) (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) (7 genPrimitiveEqual 1) (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1) (10 genPrimitiveDivide 1) (11 genPrimitiveMod 1) (12 genPrimitiveDiv 1) (13 genPrimitiveQuo 1) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) + (17 genPrimitiveBitShift 1) - (17 genPrimitiveBitShift 1) (18 genPrimitiveMakePoint 1) "this is here mainly to remove noise from printPrimTraceLog()" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 genPrimitiveFloatAt)" "(39 genPrimitiveFloatAtPut)" (40 genPrimitiveAsFloat 0) (41 genPrimitiveFloatAdd 1) (42 genPrimitiveFloatSubtract 1) (43 genPrimitiveFloatLessThan 1) (44 genPrimitiveFloatGreaterThan 1) (45 genPrimitiveFloatLessOrEqual 1) (46 genPrimitiveFloatGreaterOrEqual 1) (47 genPrimitiveFloatEqual 1) (48 genPrimitiveFloatNotEqual 1) (49 genPrimitiveFloatMultiply 1) (50 genPrimitiveFloatDivide 1) "(51 genPrimitiveTruncated)" "(52 genPrimitiveFractionalPart)" "(53 genPrimitiveExponent)" "(54 genPrimitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0) "(56 genPrimitiveSine)" "(57 genPrimitiveArctan)" "(58 genPrimitiveLogN)" "(59 genPrimitiveExp)" "Subscript and Stream Primitives (60-67)" (60 genPrimitiveAt 1) (61 genPrimitiveAtPut 2) (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) + (64 genPrimitiveStringAtPut 2) - (64 genPrimitiveStringAtPut 2) "The stream primitives no longer pay their way; normal Smalltalk code is faster." (65 genFastPrimFail)"was primitiveNext" (66 genFastPrimFail) "was primitiveNextPut" (67 genFastPrimFail) "was primitiveAtEnd" "StorageManagement Primitives (68-79)" + (68 genPrimitiveObjectAt 1) "Good for debugger/InstructionStream performance" - (68 genPrimitiveObjectAt 1) "Good for debugger/InstructionStream performance" "(69 primitiveObjectAtPut)" (70 genPrimitiveNew 0) (71 genPrimitiveNewWithArg 1) "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" (79 genPrimitiveNewMethod 2) "Control Primitives (80-89)" "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" "(81 primitiveFail)" "Blue Book: primitiveValue" "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" (83 genPrimitivePerform) "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "(90 primitiveMousePoint)" "(91 primitiveTestDisplayDepth)" "Blue Book: primitiveCursorLocPut" "(92 primitiveSetDisplayMode)" "Blue Book: primitiveCursorLink" "(93 primitiveInputSemaphore)" "(94 primitiveGetNextEvent)" "Blue Book: primitiveSampleInterval" "(95 primitiveInputWord)" "(96 primitiveFail)" "primitiveCopyBits" "(97 primitiveSnapshot)" "(98 primitiveStoreImageSegment)" "(99 primitiveLoadImageSegment)" "(100 primitivePerformInSuperclass)" "Blue Book: primitiveSignalAtTick" "(101 primitiveBeCursor)" "(102 primitiveBeDisplay)" "(103 primitiveScanCharacters)" "(104 primitiveFail)" "primitiveDrawLoop" (105 genPrimitiveStringReplace) "(106 primitiveScreenSize)" "(107 primitiveMouseButtons)" "(108 primitiveKbdNext)" "(109 primitiveKbdPeek)" "System Primitives (110-119)" (110 genPrimitiveIdentical 1) (111 genPrimitiveClass) "Support both class and Context>>objectClass:" "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" (148 genPrimitiveShallowCopy 0) "a.k.a. clone" (158 genPrimitiveStringCompareWith 1) (159 genPrimitiveHashMultiply 0) (165 genPrimitiveIntegerAt 1) "Signed version of genPrimitiveAt" (166 genPrimitiveIntegerAtPut 2) "Signed version of genPrimitiveAtPut" (169 genPrimitiveNotIdentical 1) (170 genPrimitiveAsCharacter) "SmallInteger>>asCharacter, Character class>>value:" (171 genPrimitiveImmediateAsInteger 0) "Character>>asInteger/hash/identityHash, SmallFloat64>>identityHash" + (173 genPrimitiveSlotAt 1) "Good for micro-benchmark performance, and for reducing noise in Croquet primitive trace logs" + (174 genPrimitiveSlotAtPut 2) "ditto" - "(173 primitiveSlotAt 1)" - "(174 primitiveSlotAtPut 2)" (175 genPrimitiveIdentityHash 0) "Behavior>>identityHash" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives" "(200 primitiveClosureCopyWithCopiedValues)" (201 genPrimitiveClosureValue 0) "value" (202 genPrimitiveClosureValue 1) "value:" (203 genPrimitiveClosureValue 2) "value:value:" (204 genPrimitiveClosureValue 3) "value:value:value:" (205 genPrimitiveClosureValue 4) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" (207 genPrimitiveFullClosureValue) "value[:value:value:value:] et al" "(208 genPrimitiveFullClosureValueWithArgs)" "valueWithArguments:" (209 genPrimitiveFullClosureValue) "valueNoContextSwitch[:value:] et al" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" "SmallFloat primitives (540-559)" (541 genPrimitiveSmallFloatAdd 1) (542 genPrimitiveSmallFloatSubtract 1) (543 genPrimitiveSmallFloatLessThan 1) (544 genPrimitiveSmallFloatGreaterThan 1) (545 genPrimitiveSmallFloatLessOrEqual 1) (546 genPrimitiveSmallFloatGreaterOrEqual 1) (547 genPrimitiveSmallFloatEqual 1) (548 genPrimitiveSmallFloatNotEqual 1) (549 genPrimitiveSmallFloatMultiply 1) (550 genPrimitiveSmallFloatDivide 1) "(551 genPrimitiveSmallFloatTruncated 0)" "(552 genPrimitiveSmallFloatFractionalPart 0)" "(553 genPrimitiveSmallFloatExponent 0)" "(554 genPrimitiveSmallFloatTimesTwoPower 1)" (555 genPrimitiveSmallFloatSquareRoot 0) "(556 genPrimitiveSmallFloatSine 0)" "(557 genPrimitiveSmallFloatArctan 0)" "(558 genPrimitiveSmallFloatLogN 0)" "(559 genPrimitiveSmallFloatExp 0)" (575 genPrimitiveHighBit 0) )! Item was changed: ----- Method: SpurMemoryManager>>globalGarbageCollect (in category 'gc - global') ----- globalGarbageCollect <inline: true> "inline into fullGC" self assert: self validObjStacks. self assert: (self isEmptyObjStack: markStack). self assert: (self isEmptyObjStack: weaklingStack). "Mark objects /before/ scavenging, to empty the rememberedTable of unmarked roots." self markObjects: true. gcMarkEndUsecs := coInterpreter ioUTCMicrosecondsNow. scavenger forgetUnmarkedRememberedObjects. + + coInterpreter setGCMode: GCModeNewSpace. self doScavenge: MarkOnTenure. + coInterpreter setGCMode: GCModeFull. "Mid-way the leak check must be more lenient. Unmarked classes will have been expunged from the table, but unmarked instances will not yet have been reclaimed." self runLeakCheckerFor: GCModeFull excludeUnmarkedObjs: true classIndicesShouldBeValid: true. compactionStartUsecs := coInterpreter ioUTCMicrosecondsNow. segmentManager prepareForGlobalSweep. "for notePinned:" compactor compact. self attemptToShrink. self setHeapSizeAtPreviousGC. self assert: self validObjStacks. self assert: (self isEmptyObjStack: markStack). self assert: (self isEmptyObjStack: weaklingStack). self assert: self allObjectsUnmarked. self runLeakCheckerFor: GCModeFull!

1 0

[OpenSmalltalk/opensmalltalk-vm] 16483f: CogVM source as per VMMaker.oscog-eem.3108
by Eliot Miranda 22 Nov '21

22 Nov '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 16483f9f5282bf707ba279136e95e9a271e47845 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/16483f9f5282bf707b… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-11-21 (Sun, 21 Nov 2021) Changed paths: M scripts/findUnofficialFiles M scripts/lsmodified M src/plugins/BochsIA32Plugin/BochsIA32Plugin.c M src/plugins/BochsX64Plugin/BochsX64Plugin.c M src/plugins/GdbARMPlugin/GdbARMPlugin.c M src/plugins/GdbARMv8Plugin/GdbARMv8Plugin.c M src/spur32.cog.lowcode/cointerp.c M src/spur32.cog.lowcode/cointerp.h M src/spur32.cog.lowcode/gcc3x-cointerp.c M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/cointerpmt.h M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cointerp.c M src/spur32.sista/cointerp.h M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack.lowcode/gcc3x-interp.c M src/spur32.stack.lowcode/interp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur64.cog.lowcode/cointerp.c M src/spur64.cog.lowcode/cointerp.h M src/spur64.cog.lowcode/gcc3x-cointerp.c M src/spur64.cog/cointerp.c M src/spur64.cog/cointerp.h M src/spur64.cog/cointerpmt.c M src/spur64.cog/cointerpmt.h M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cointerp.c M src/spur64.sista/cointerp.h M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack.lowcode/gcc3x-interp.c M src/spur64.stack.lowcode/interp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/v3.cog/cointerp.c M src/v3.cog/cointerp.h M src/v3.cog/gcc3x-cointerp.c M src/v3.stack/gcc3x-interp.c M src/v3.stack/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3108 Fix a crash in recursive invocations of primitive 118, [receiver:]tryPrimitive:withArgs:. This is a bit of a hack; nested primitive failure will not be unwound correctly in tgh eouter invocation. We may have to revisit this, but at least the simple case of 6 tryPrimitive: 118 withArgs: {9. {}} no longer crashes the VM. CogProcessorAlien plugins: Implement a memory offset to allow the simulatorw to implement a null pointer trap by omitting the first word in simulated memory.

1 0

VM Maker: VMMaker.oscog-eem.3108.mcz
by commits＠source.squeak.org 22 Nov '21

22 Nov '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3108.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3108 Author: eem Time: 21 November 2021, 3:37:59.732972 pm UUID: ee6b672e-6205-44d8-ac40-35fae3491f9e Ancestors: VMMaker.oscog-eem.3107 Cog simulation: Fix simulation of ioHighResClock in the memoryOffset regime. Add missing initialCStackAddress methods. Fix a slip in bitAndByteOffsetOfIsFullBlockBitInto: =============== Diff against VMMaker.oscog-eem.3107 =============== Item was added: + ----- Method: CoInterpreter>>initialCStackAddress (in category 'simulation only') ----- + initialCStackAddress + <doNotGenerate> + ^self rumpCStackAddress! Item was added: + ----- Method: CoInterpreterMT>>initialCStackAddress (in category 'simulation only') ----- + initialCStackAddress + <doNotGenerate> + ^(self cStackRangeForThreadIndex: 1) last! Item was changed: ----- Method: CogObjectRepresentationFor64BitSpur>>bitAndByteOffsetOfIsFullBlockBitInto: (in category 'in-line cacheing') ----- bitAndByteOffsetOfIsFullBlockBitInto: aBlock <inline: true> "This supplies the bitmask for the isFullBlock bit, and the offset of the byte containing that bit in a CogMethod header to aBlock. We don't have named variables holding this offset. The following assert tests whether the values are correct by creating a surrogate on an empty ByteArray, setting the bit, and checking that the expected values are set in the ByteArray." self cCode: [] inSmalltalk: [| pragma | + pragma := (CogMethodSurrogate >> #cpicHasMNUCaseOrCMIsFullBlock) - pragma := (CogMethodSurrogate64 >> #cpicHasMNUCaseOrCMIsFullBlock) pragmaAt: #bitPosition:width:. self assert: pragma arguments = #(12 "4th bit of 2nd byte after objectHeader" 1)]. aBlock value: 16 value: objectMemory baseHeaderSize + 1 "zero-relative"! Item was added: + ----- Method: CogVMSimulator>>initialCStackAddress (in category 'multi-threading simulation switch') ----- + initialCStackAddress + "This method includes or excludes CoInterpreterMT methods as required. + Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" + + ^self perform: #initialCStackAddress + withArguments: {} + inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was changed: ----- Method: CogVMSimulator>>printRumpCStackFrom:to:cfp:csp: (in category 'rump c stack') ----- printRumpCStackFrom: start to: address cfp: cfp csp: csp + transcript ensureCr. address to: start by: objectMemory wordSize negated do: [:addr| | ptrName value | self printHex: addr. addr = cogit processor sp ifTrue: [ptrName := ' sp']. addr = cogit processor fp ifTrue: [ptrName := (ptrName ifNil: [''] ifNotNil: [ptrName, ',']), 'fp']. addr = csp ifTrue: [ptrName := (ptrName ifNil: [''] ifNotNil: [ptrName, ',']), 'CSP']. addr = cfp ifTrue: [ptrName := (ptrName ifNil: [''] ifNotNil: [ptrName, ',']), 'CFP']. ptrName ifNil: [self tab] ifNotNil: [self print: ' ', ptrName, '->']. self tab; printHex: (value := objectMemory longAt: addr). (cogit lookupAddress: value) ifNotNil: [:label| self print: ' ', label]. self cr]! Item was changed: ----- Method: Cogit>>ioHighResClock (in category 'simulation only') ----- ioHighResClock <doNotGenerate> + | end limit memory savedsp | - | end memory savedsp | end := self class guardPageSize. + limit := end + objectRepresentation wordSize. memory := coInterpreter memory. (coInterpreter isOnRumpCStack: (savedsp := processor sp)) ifFalse: [processor sp: (coInterpreter heapBase bitAnd: (cStackAlignment - 1) bitInvert)]. processor simulateLeafCallOf: ioHighResClock nextpc: end memory: memory. [processor pc ~= end] whileTrue: [processor singleStepIn: memory minimumAddress: ioHighResClock + readOnlyBelow: limit]. - readOnlyBelow: end]. processor sp: savedsp. + objectRepresentation wordSize = 8 ifTrue: - backEnd class wordSize = 8 ifTrue: [^processor cResultRegister]. ^(processor cResultRegisterHigh bitShift: 32) + processor cResultRegister "self disassembleFrom: ioHighResClock to: self class guardPageSize"!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev November 2021