Vm-dev January 2021

vm-dev@lists.squeakfoundation.org

20 participants
161 discussions

[OpenSmalltalk/opensmalltalk-vm] 61faab: Try and rescue macos libpng builds for Pharo
by Nicolas Cellier 04 Jan '21

04 Jan '21

Branch: refs/heads/upgrade_libpng Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 61faabba1f68c1b5ba6b161f8571020b0ce755ec https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/61faabba1f68c1b5ba… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: M build.macos32x86/pharo.cog.spur.lowcode/Makefile M build.macos32x86/pharo.cog.spur.minheadless/Makefile M build.macos32x86/pharo.cog.spur/Makefile M build.macos32x86/pharo.cog.v3/Makefile M build.macos32x86/pharo.sista.spur/Makefile M build.macos32x86/pharo.stack.spur.lowcode/Makefile M build.macos32x86/pharo.stack.spur/Makefile M build.macos32x86/third-party/Makefile.libpng A build.macos32x86/third-party/Makefile.zlib M build.macos64x64/pharo.cog.spur.lowcode/Makefile M build.macos64x64/pharo.cog.spur/Makefile M build.macos64x64/pharo.sista.spur/Makefile M build.macos64x64/pharo.stack.spur.lowcode/Makefile M build.macos64x64/pharo.stack.spur/Makefile M build.macos64x64/squeak.stack.spur/Makefile M build.macos64x64/third-party/Makefile.cairo M build.macos64x64/third-party/Makefile.freetype2 M build.macos64x64/third-party/Makefile.libpng A build.macos64x64/third-party/Makefile.zlib M platforms/iOS/plugins/FT2Plugin/Makefile M third-party/libpng.spec M third-party/zlib.spec Log Message: ----------- Try and rescue macos libpng builds for Pharo On macosx, zlib is a pre-requisite of libpng, so it has to be compiled While at it, upgrade libpng to 1.16.37 due to CVE-2019-7317 - see http://www.libpng.org/pub/png/libpng.html Commit: afe4f5abdc7cc2e6a8a7ab2d74237f0b6e3a8326 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/afe4f5abdc7cc2e6a8… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: M third-party/pixman.spec Log Message: ----------- also upgrade pixman to 0.40.0 This is required on macos because newer version of clang do not anymore provide a `__builtin_shuffle` Commit: 8c26fc240e4e50f3a84fb1d3e1ebb734802e0b48 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/8c26fc240e4e50f3a8… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: M build.macos32x86/common/Makefile.lib.extra Log Message: ----------- And let 32 bits builds pollute their own cache (x86 rather than x86_64) Commit: 6c33c2bb3f54acf1f0d302349dcee2e82bb4122c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6c33c2bb3f54acf1f0… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: M third-party/cairo.spec Log Message: ----------- And also upgrade cairo to 1.15.14 Commit: 8eb93486803c5fcef43fa088c433a053eaa8515b https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/8eb93486803c5fcef4… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: M build.win32x86/third-party/Makefile.libpng M build.win64x64/third-party/Makefile.libpng R third-party/libpng.spec.win Log Message: ----------- Nuke win specific libpng.spec Commit: 3abac662759b8cd7bc54ea94b016da83b280b9bc https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/3abac662759b8cd7bc… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2021-01-03 (Sun, 03 Jan 2021) Changed paths: R third-party/pixman.clang.patch Log Message: ----------- Nuke pixman patch, the upgrade solved the thing Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/61faabba1f68%5E..…

1 0

VM Maker: VMMaker.oscog-eem.2921.mcz
by commits＠source.squeak.org 04 Jan '21

04 Jan '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2921.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2921 Author: eem Time: 3 January 2021, 6:20:07.965503 pm UUID: 43202b09-b01d-4ae5-8014-046b5fcead4f Ancestors: VMMaker.oscog-eem.2920 CoInterpreterMT Simulation: Provide a Mutex to lock the processor to ensure that simulation traps are executed atomically. Halt any other thread executing machine code while executing a leaf call so that tryLockVMOwnerTo: can run in its won thread without interference. Make sure that flush flushes transcript output to the screen even if the TranscriptStream preference says otherwise. =============== Diff against VMMaker.oscog-eem.2920 =============== Item was changed: ----- Method: CogThreadManager>>tryLockVMOwnerTo: (in category 'simulation') ----- tryLockVMOwnerTo: threadIndex "In the real VM this is a direct call of Cogit>>#tryLockVMOwnerTo:/ceTryLockVMOwner. In the simulation this is where register state is saved and switched, simulaitng a thread switch. releaseVM also saves register state. The code here and in registerState allow us to avoid the expensive and complex MultiProcessor hack." <doNotGenerate> + | result | - | prior processor result | self deny: threadIndex = 0. + cogit withProcessorHaltedDo: + [| prior processor | + processor := cogit processor. + prior := processor registerState. + "A thread switch would (have) occur(ed) if it were that the VM were owned other than by threadIndex" + vmOwner ~= threadIndex ifTrue: + [vmOwner ~= 0 ifTrue: + [registerStates at: vmOwner put: prior]. + processor setRegisterState: (registerStates + at: threadIndex + ifAbsentPut: + [self ensureInitializedProcessor: processor forThreadIndex: threadIndex. + processor registerState])]. + result := cogit tryLockVMOwnerTo: threadIndex. + self assert: result = (threadIndex = vmOwner). + registerStates at: threadIndex put: processor registerState. + threadIndex ~= vmOwner ifTrue: "the lock attempt failed; undo the (processor) thread switch." + [processor setRegisterState: prior]]. - processor := cogit processor. - prior := processor registerState. - "A thread switch would (have) occur(ed) if it were that the VM were owned other than by threadIndex" - vmOwner ~= threadIndex ifTrue: - [vmOwner ~= 0 ifTrue: - [registerStates at: vmOwner put: prior]. - processor setRegisterState: (registerStates - at: threadIndex - ifAbsentPut: - [self ensureInitializedProcessor: processor forThreadIndex: threadIndex. - processor registerState])]. - result := cogit tryLockVMOwnerTo: threadIndex. - self assert: result = (threadIndex = vmOwner). - registerStates at: threadIndex put: processor registerState. - threadIndex ~= vmOwner ifTrue: "the lock attempt failed; undo the (processor) thread switch." - [processor setRegisterState: prior]. ^result! Item was changed: ----- Method: CogVMSimulator>>flush (in category 'debug printing') ----- flush + traceOn ifTrue: + [transcript flush. + "We *always* want to make output visible on flush" + TranscriptStream forceUpdate ifFalse: + [transcript changed: #appendEntry]]! - <cmacro: '() fflush(stdout)'> - traceOn ifTrue: [transcript flush]! Item was changed: CogClass subclass: #Cogit (excessive size, no diff calculated) Item was changed: ----- Method: Cogit>>handleCallOrJumpSimulationTrap: (in category 'simulation only') ----- handleCallOrJumpSimulationTrap: aProcessorSimulationTrap <doNotGenerate> | evaluable function memory result savedFramePointer savedStackPointer savedArgumentCount retpc | + "Execution of a single instruction must be within the processorLock critical section to ensure + simulation traps are executed atomically. However, at this point control is leaving machine + code and entering the run-time and hence the lock must be released." + processorLock primitiveExitCriticalSection. - "This is a hack fix before we revise the simulators. When a jump call is made, the next pc is effectively the return address on the stack, not the instruction following the jump." aProcessorSimulationTrap type == #jump ifTrue: [processor hackFixNextPCOfJumpFor: aProcessorSimulationTrap using: objectMemory]. evaluable := simulatedTrampolines at: aProcessorSimulationTrap address ifAbsent: [self errorProcessingSimulationTrap: aProcessorSimulationTrap in: simulatedTrampolines]. function := evaluable isBlock ifTrue: ['aBlock; probably some plugin primitive'] ifFalse: [evaluable receiver == backEnd ifTrue: "this is for invoking ARMv5 floating-point intrinsics" [^self handleABICallOrJumpSimulationTrap: aProcessorSimulationTrap evaluable: evaluable]. evaluable selector]. memory := coInterpreter memory. function == #interpret ifTrue: "i.e. we're here via ceInvokeInterpret/ceReturnToInterpreterTrampoline and should discard all state back to enterSmalltalkExecutiveImplementation" [self recordInstruction: {'(simulated jump call of '. aProcessorSimulationTrap address. '/'. function. ')'}. "self halt: evaluable selector." clickConfirm ifTrue: [(self confirm: 'skip jump to interpret?') ifFalse: [clickConfirm := false. self halt]]. processor simulateJumpCallOf: aProcessorSimulationTrap address memory: memory. coInterpreter reenterInterpreter. "NOTREACHED" self halt]. function ~~ #ceBaseFrameReturn: ifTrue: [coInterpreter assertValidExternalStackPointers]. (backEnd wantsNearAddressFor: function) ifTrue: [^self perform: function with: aProcessorSimulationTrap]. processor simulateCallOf: aProcessorSimulationTrap address nextpc: aProcessorSimulationTrap nextpc memory: memory. retpc := processor retpcIn: memory. self recordInstruction: {'(simulated call of '. aProcessorSimulationTrap address. '/'. function. ')'}. savedFramePointer := coInterpreter framePointer. savedStackPointer := coInterpreter stackPointer. savedArgumentCount := coInterpreter argumentCount. result := ["self halt: evaluable selector." clickConfirm ifTrue: [(self confirm: 'skip run-time call?') ifFalse: [clickConfirm := false. self halt]]. evaluable valueWithArguments: (processor postCallArgumentsNumArgs: evaluable numArgs in: memory)] on: ReenterMachineCode do: [:ex| ex return: #continueNoReturn]. coInterpreter assertValidExternalStackPointers. "Verify the stack layout assumption compileInterpreterPrimitive: makes, provided we've not called something that has built a frame, such as closure value or evaluate method, or switched frames, such as primitiveSignal, primitiveWait, primitiveResume, primitiveSuspend et al." (function beginsWith: 'primitive') ifTrue: [coInterpreter primFailCode = 0 ifTrue: [(CogVMSimulator stackAlteringPrimitives includes: function) ifFalse: ["This is a rare case (e.g. in Scorch where a married context's sender is set to nil on trapTrpped and hence the stack layout is altered." (function == #primitiveSlotAtPut and: [objectMemory isContext: (coInterpreter frameReceiver: coInterpreter framePointer)]) ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer + (savedArgumentCount * objectMemory wordSize) = coInterpreter stackPointer]]] ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer = coInterpreter stackPointer]]. result ~~ #continueNoReturn ifTrue: [self recordInstruction: {'(simulated return to '. processor retpcIn: memory. ')'}. processor simulateReturnIn: memory. self assert: processor pc = retpc. processor smashCallerSavedRegistersWithValuesFrom: 16r80000000 by: objectMemory wordSize]. self assert: (result isInteger "an oop result" or: [result == coInterpreter or: [result == objectMemory or: [result == nil or: [result == #continueNoReturn]]]]). processor cResultRegister: (result ifNil: [0] ifNotNil: [result isInteger ifTrue: [result] ifFalse: [16rF00BA222]])! Item was changed: ----- Method: Cogit>>initializeProcessor (in category 'initialization') ----- initializeProcessor "Initialize the simulation processor, arranging that its initial stack is somewhere on the rump C stack." <doNotGenerate> guardPageSize := self class guardPageSize. lastNInstructions := OrderedCollection new. processor initializeStackFor: self. self initializeProcessorStack: coInterpreter rumpCStackAddress. coInterpreter setCFramePointer: processor fp setCStackPointer: processor sp. (InitializationOptions at: #UseMultiProcessor ifAbsent: [false]) ifTrue: + [processor := MultiProcessor for: processor coInterpreter: coInterpreter]. + processorLock := Mutex new! - [processor := MultiProcessor for: processor coInterpreter: coInterpreter]! Item was changed: ----- Method: Cogit>>simulateCogCodeAt: (in category 'simulation only') ----- simulateCogCodeAt: address "<Integer>" <doNotGenerate> | stackZoneBase | stackZoneBase := coInterpreter stackZoneBase. processor pc: address. [[[singleStep ifTrue: [[processor sp < stackZoneBase ifTrue: [self halt]. self recordProcessing. self maybeBreakAt: processor pc] value. "So that the Debugger's Over steps over all this" + processorLock critical: + [processor - processor singleStepIn: coInterpreter memory minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd]] - readOnlyBelow: methodZone zoneEnd] ifFalse: + [processorLock critical: + [processor - [processor runInMemory: coInterpreter memory minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd]]. - readOnlyBelow: methodZone zoneEnd]. "((printRegisters or: [printInstructions]) and: [clickConfirm]) ifTrue: [(self confirm: 'continue?') ifFalse: [clickConfirm := false. self halt]]." true] whileTrue] on: ProcessorSimulationTrap do: [:ex| ex applyTo: self]. true] whileTrue! Item was changed: ----- Method: Cogit>>simulateLeafCallOf: (in category 'simulation only') ----- simulateLeafCallOf: someFunction "Simulate execution of machine code that leaf-calls someFunction, answering the result returned by someFunction." "CogProcessorAlienInspector openFor: coInterpreter" <doNotGenerate> | priorSP priorPC priorLR spOnEntry bogusRetPC | self recordRegisters. priorSP := processor sp. priorPC := processor pc. priorLR := backEnd hasLinkRegister ifTrue: [processor lr]. processor simulateLeafCallOf: someFunction nextpc: (bogusRetPC := 16rBADF00D5 roundTo: backEnd codeGranularity) memory: coInterpreter memory. spOnEntry := processor sp. self recordInstruction: {'(simulated call of '. someFunction. ')'}. + ^[[[processor pc between: self class guardPageSize and: methodZone zoneEnd] whileTrue: + [singleStep - ^[[processor pc between: self class guardPageSize and: methodZone zoneEnd] whileTrue: - [[singleStep ifTrue: [self recordProcessing. self maybeBreakAt: processor pc. + processorLock critical: + [processor + singleStepIn: coInterpreter memory + minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd]] + ifFalse: [processorLock critical: + [processor + runInMemory: coInterpreter memory + minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd]]]] - processor - singleStepIn: coInterpreter memory - minimumAddress: guardPageSize - readOnlyBelow: methodZone zoneEnd] - ifFalse: [processor - runInMemory: coInterpreter memory - minimumAddress: guardPageSize - readOnlyBelow: methodZone zoneEnd]] on: ProcessorSimulationTrap, Error do: [:ex| "Again this is a hack for the processor simulators not properly simulating returns to bogus addresses. In this case BochsX64Alien doesn't do the right thing." processor pc = bogusRetPC ifTrue: [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}. ^processor cResultRegister]. ex isProcessorSimulationTrap ifFalse: [ex pass]. ex applyTo: self. ex type == #return ifTrue: + [^processor cResultRegister]]. - [^processor cResultRegister]]]. processor pc = bogusRetPC ifTrue: [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}]. processor cResultRegister] ensure: [processor sp: priorSP. processor pc: priorPC. priorLR ifNotNil: [:lr| processor lr: lr]]! Item was changed: ----- Method: Cogit>>tryLockVMOwnerTo: (in category 'multi-threading') ----- tryLockVMOwnerTo: value <api> "ceTryLockVMOwner does an atomic compare-and-swap of the vmOwner variable with zero and the argument, setting vmOwner to value if it was zero. It answers if the lock was zero and hence was acquired. See CogThreadManager>>#tryLockVMOwnerTo: for the simulation of processor thread switching which surrounds this method." <cmacro: '(value) ceTryLockVMOwner(value)'> + | breakPCWasTrue | + (thisContext findContextSuchThat: [:ctxt| ctxt selector == #primitiveRelinquishProcessor]) ifNil: + [self halt]. + (breakPCWasTrue := breakPC == true) ifTrue: + [breakPC := nil]. processor abiMarshalArg0: value in: objectMemory memory. ^[ | result | result := self simulateLeafCallOf: ceTryLockVMOwner. self assert: (result ~= 0) = (coInterpreter threadManager getVMOwner = value). result ~= 0] ensure: + [processor abiUnmarshal: 1. + breakPCWasTrue ifTrue: + [breakPC := true]]! - [processor abiUnmarshal: 1]! Item was added: + ----- Method: Cogit>>withProcessorHaltedDo: (in category 'simulation processor access') ----- + withProcessorHaltedDo: aBlock + ^processorLock critical: + [| oldBreakPC oldSingleStep | + oldBreakPC := breakPC. + oldSingleStep := singleStep. + breakPC := singleStep := true. + aBlock ensure: + [singleStep := oldSingleStep. + breakPC := oldBreakPC]]! Item was changed: ----- Method: StackInterpreterSimulator>>flush (in category 'debug printing') ----- flush + traceOn ifTrue: + [transcript flush. + "We *always* want to make output visible on flush" + TranscriptStream forceUpdate ifFalse: + [transcript changed: #appendEntry]]! - traceOn ifTrue: [transcript flush]!

1 0

VM Maker: VMMaker.oscog-eem.2920.mcz
by commits＠source.squeak.org 03 Jan '21

03 Jan '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2920.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2920 Author: eem Time: 3 January 2021, 9:19:28.019823 am UUID: 30a49581-87d4-4b92-b7bc-a109c8a430a2 Ancestors: VMMaker.oscog-eem.2919 Cogit: nuke a couple of unused inst vars. =============== Diff against VMMaker.oscog-eem.2919 =============== Item was changed: ----- Method: CogVMSimulator>>initializeThreadSupport (in category 'initialize-release') ----- initializeThreadSupport "Do this post new if you want to simulate with thread support." + cogThreadManager := CogThreadManager new setInterpreter: self cogit: cogit! - cogThreadManager := CogThreadManager new setInterpreter: self cogit: cogit. - cogit setThreadManager: cogThreadManager! Item was changed: CogClass subclass: #Cogit (excessive size, no diff calculated) Item was changed: ----- Method: Cogit>>setInterpreter: (in category 'initialization') ----- setInterpreter: aCoInterpreter "Initialization of the code generator in the simulator. These objects already exist in the generated C VM or are used only in the simulation." <doNotGenerate> coInterpreter := aCoInterpreter. objectMemory := aCoInterpreter objectMemory. - threadManager := aCoInterpreter threadManager. "N.B. may be nil" methodZone := self class methodZoneClass new. objectRepresentation := objectMemory objectRepresentationClass forCogit: self methodZone: methodZone. methodZone setInterpreter: aCoInterpreter objectRepresentation: objectRepresentation cogit: self. generatorTable := self class generatorTable. processor := ProcessorClass new. simulatedAddresses := Dictionary new. coInterpreter class clusteredVariableNames do: [:cvn| self simulatedAddressFor: (cvn first = $C ifTrue: ['get', cvn] ifFalse: [cvn]) asSymbol]. simulatedTrampolines := Dictionary new. simulatedVariableGetters := Dictionary new. simulatedVariableSetters := Dictionary new. traceStores := 0. traceFlags := (self class initializationOptions at: #recordPrimTrace ifAbsent: [true]) ifTrue: [8] "record prim trace on by default (see Cogit class>>decareCVarsIn:)" ifFalse: [0]. singleStep := printRegisters := printInstructions := clickConfirm := false. backEnd := CogCompilerClass for: self. methodLabel := CogCompilerClass for: self. (literalsManager := backEnd class literalsManagerClass new) cogit: self. ordinarySendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). superSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). BytecodeSetHasDirectedSuperSend ifTrue: [directedSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). directedSuperBindingSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). directedSendUsesBinding := false]. NewspeakVM ifTrue: [selfSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). implicitReceiverSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines). outerSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)]. "debug metadata" objectReferencesInRuntime := CArrayAccessor on: (Array new: NumObjRefsInRuntime). runtimeObjectRefIndex := 0. "debug metadata" trampolineAddresses := CArrayAccessor on: (Array new: NumTrampolines * 2). trampolineTableIndex := 0. extA := numExtB := extB := 0. compilationTrace ifNil: [compilationTrace := self class initializationOptions at: #compilationTrace ifAbsent: [0]]. debugOpcodeIndices := self class initializationOptions at: #debugOpcodeIndices ifAbsent: [Set new]. debugBytecodePointers := self class initializationOptions at: #debugBytecodePointers ifAbsent: [Set new]. self class initializationOptions at: #breakPC ifPresent: [:pc| breakPC := pc]! Item was removed: - ----- Method: Cogit>>setThreadManager: (in category 'initialization') ----- - setThreadManager: aCogThreadManager - "Initialization of the code generator in the simulator. - Used in the separate VM since this VM does not do a second initialization of the interpreter, - only a second initialization of the objectMemory." - <doNotGenerate> - threadManager := aCogThreadManager "N.B. may be nil"!

1 0

Build failed: opensmalltalk-vm 1.0.2336
by AppVeyor 03 Jan '21

03 Jan '21

1 0

[OpenSmalltalk/opensmalltalk-vm] d24a66: Fix the type declaration of the sendTrace option v...
by Eliot Miranda 03 Jan '21

03 Jan '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: d24a669e5964b9a47540a09ba1113ae3fa31d263 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/d24a669e5964b9a475… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-01-02 (Sat, 02 Jan 2021) Changed paths: M platforms/Mac OS/vm/sqMacUnixCommandLineInterface.c M platforms/iOS/vm/OSX/sqSqueakOSXApplication.m M platforms/unix/vm/sqUnixMain.c M platforms/win32/vm/sqWin32Main.c Log Message: ----------- Fix the type declaration of the sendTrace option variable for 64-bit StackVM compiles. Add the missing command-line parser for it on Mac.

1 0

Small problem compiling stackspur vm on phone
by tim Rowledge 03 Jan '21

03 Jan '21

For reasons I've been trying to compile a vm to run on an ubuntu container running on a samsung galaxy 7phone. I know, right? Who'd want an Android phone? Nasty tacky OS. Anyway, the cog vm compiles and happily starts with '-h' ... but any attempt to open on an image crashes with a very unhelpful Illegal Instruction and no crash file or any other help. I'll get around to trying a debug version some day. In the meantime the stack VM was a bit interesting to compile. It hits a fatal link error because sqUnixMain wants to refer to sendTrace from the interp.c file. It lists a very strange error opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1561:(.text+0x2744): relocation truncated to fit: R_AARCH64_LDST64_ABS_LO12_NC against symbol `sendTrace' defined in COMMON section in vm/vm.a(gcc3x-interp.o) /root/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1561: warning: One possible cause of this error is that the symbol is being referenced in the indicated code as if it had a larger alignment than was declared where it was defined. collect2: error: ld returned 1 exit status The google results for 'relocation truncated to fit' are ... interesting. If, that is, you want to know inner arcane details of C compilation. Which I don't, anymore. A successful work-around is to comment out the lines #if (STACKVM || NewspeakVM) && !COGVM else if (!strcmp(argv[0], VMOPTION("sendtrace"))) { extern sqInt sendTrace; sendTrace = 1; return 1; } #endif in sqUnix.c Oh - the phone runs that VM and manages about 85 MBC/s & 5MSend/s which suggest roughly Pi 3 performance, so it should be ok once Cog runs. Happy new year all - let's hope 20/20 vision is an improvement. tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim The gains I make don't make me a hero; all the work I do is just to get back to Zero

2 1

VM Maker: VMMaker.oscog-eem.2919.mcz
by commits＠source.squeak.org 03 Jan '21

03 Jan '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2919.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2919 Author: eem Time: 2 January 2021, 10:12:29.080225 pm UUID: 3c606a29-4e7f-4ce7-9d1b-5ba006cff614 Ancestors: VMMaker.oscog-eem.2918 SImulation: Add the halt check to click step when enetering interpret. Fix CoInterpreterMT>>#enterSmalltalkExecutive as per VMMaker.oscog-eem.2918. Refactor getReturnAddress so it can be extracted from ThisContext (the Debugger's version of thisContext). =============== Diff against VMMaker.oscog-eem.2918 =============== Item was added: + ----- Method: CoInterpreterMT>>enterSmalltalkExecutive (in category 'initialization') ----- + enterSmalltalkExecutive + "Main entry-point into the interpreter at each execution level, where an + execution level is either the start of execution or reentry for a callback. + + N.B. It also provides the simulator's implementation of ceReturnToInterpreter/ceInvokeInterpreter, which + via a simulation trap raise the ReenterInterpreter signal in handleCallOrJumpSimulationTrap:/reenterInterpreter. + So when ReenterInterpreter is caught this method invokes interpret directly." + <cmacro: '() enterSmalltalkExecutiveImplementation()'> + "Simulation of the setjmp in enterSmalltalkExecutiveImplementation for reentry into interpreter." + | caught | + caught := false. + [[caught + ifFalse: [self enterSmalltalkExecutiveImplementation] + ifTrue: [self interpret]] + on: ReenterInterpreter + do: [:ex| + caught := true. + self assert: ex returnValue = ReturnToInterpreter. + ex return: true]] whileTrue! Item was changed: ----- Method: CogVMSimulator>>getReturnAddress (in category 'simulation only') ----- getReturnAddress "In the real VM this answers the return address for its caller, i.e. for interpret. In the simulator we're playing fast and loose with initialEnterSmalltalkExecutive and enterSmalltalkExecutiveImplementation and need them to look and act the same." | selector | + selector := thisContext getReturnAddress. + ^(selector == #initialEnterSmalltalkExecutive + or: [selector == #enterSmalltalkExecutive]) - selector := (thisContext findContextSuchThat: [:ctxt| ctxt selector == #interpret]) sender method selector. - ^selector == #initialEnterSmalltalkExecutive ifTrue: [#enterSmalltalkExecutiveImplementation] ifFalse: [selector]! Item was changed: ----- Method: Cogit>>handleCallOrJumpSimulationTrap: (in category 'simulation only') ----- handleCallOrJumpSimulationTrap: aProcessorSimulationTrap <doNotGenerate> | evaluable function memory result savedFramePointer savedStackPointer savedArgumentCount retpc | "This is a hack fix before we revise the simulators. When a jump call is made, the next pc is effectively the return address on the stack, not the instruction following the jump." aProcessorSimulationTrap type == #jump ifTrue: [processor hackFixNextPCOfJumpFor: aProcessorSimulationTrap using: objectMemory]. evaluable := simulatedTrampolines at: aProcessorSimulationTrap address ifAbsent: [self errorProcessingSimulationTrap: aProcessorSimulationTrap in: simulatedTrampolines]. function := evaluable isBlock ifTrue: ['aBlock; probably some plugin primitive'] ifFalse: [evaluable receiver == backEnd ifTrue: "this is for invoking ARMv5 floating-point intrinsics" [^self handleABICallOrJumpSimulationTrap: aProcessorSimulationTrap evaluable: evaluable]. evaluable selector]. memory := coInterpreter memory. function == #interpret ifTrue: "i.e. we're here via ceInvokeInterpret/ceReturnToInterpreterTrampoline and should discard all state back to enterSmalltalkExecutiveImplementation" [self recordInstruction: {'(simulated jump call of '. aProcessorSimulationTrap address. '/'. function. ')'}. + "self halt: evaluable selector." + clickConfirm ifTrue: + [(self confirm: 'skip jump to interpret?') ifFalse: + [clickConfirm := false. self halt]]. processor simulateJumpCallOf: aProcessorSimulationTrap address memory: memory. coInterpreter reenterInterpreter. "NOTREACHED" self halt]. function ~~ #ceBaseFrameReturn: ifTrue: [coInterpreter assertValidExternalStackPointers]. (backEnd wantsNearAddressFor: function) ifTrue: [^self perform: function with: aProcessorSimulationTrap]. processor simulateCallOf: aProcessorSimulationTrap address nextpc: aProcessorSimulationTrap nextpc memory: memory. retpc := processor retpcIn: memory. self recordInstruction: {'(simulated call of '. aProcessorSimulationTrap address. '/'. function. ')'}. savedFramePointer := coInterpreter framePointer. savedStackPointer := coInterpreter stackPointer. savedArgumentCount := coInterpreter argumentCount. result := ["self halt: evaluable selector." clickConfirm ifTrue: [(self confirm: 'skip run-time call?') ifFalse: [clickConfirm := false. self halt]]. evaluable valueWithArguments: (processor postCallArgumentsNumArgs: evaluable numArgs in: memory)] on: ReenterMachineCode do: [:ex| ex return: #continueNoReturn]. coInterpreter assertValidExternalStackPointers. "Verify the stack layout assumption compileInterpreterPrimitive: makes, provided we've not called something that has built a frame, such as closure value or evaluate method, or switched frames, such as primitiveSignal, primitiveWait, primitiveResume, primitiveSuspend et al." (function beginsWith: 'primitive') ifTrue: [coInterpreter primFailCode = 0 ifTrue: [(CogVMSimulator stackAlteringPrimitives includes: function) ifFalse: ["This is a rare case (e.g. in Scorch where a married context's sender is set to nil on trapTrpped and hence the stack layout is altered." (function == #primitiveSlotAtPut and: [objectMemory isContext: (coInterpreter frameReceiver: coInterpreter framePointer)]) ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer + (savedArgumentCount * objectMemory wordSize) = coInterpreter stackPointer]]] ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer = coInterpreter stackPointer]]. result ~~ #continueNoReturn ifTrue: [self recordInstruction: {'(simulated return to '. processor retpcIn: memory. ')'}. processor simulateReturnIn: memory. self assert: processor pc = retpc. processor smashCallerSavedRegistersWithValuesFrom: 16r80000000 by: objectMemory wordSize]. self assert: (result isInteger "an oop result" or: [result == coInterpreter or: [result == objectMemory or: [result == nil or: [result == #continueNoReturn]]]]). processor cResultRegister: (result ifNil: [0] ifNotNil: [result isInteger ifTrue: [result] ifFalse: [16rF00BA222]])! Item was changed: ----- Method: Cogit>>tryLockVMOwnerTo: (in category 'multi-threading') ----- tryLockVMOwnerTo: value <api> "ceTryLockVMOwner does an atomic compare-and-swap of the vmOwner variable with zero and the argument, setting vmOwner to value if it was + zero. It answers if the lock was zero and hence was acquired. + + See CogThreadManager>>#tryLockVMOwnerTo: for the simulation of + processor thread switching which surrounds this method." - zero. It answers if the lock was zero and hence was acquired." <cmacro: '(value) ceTryLockVMOwner(value)'> processor abiMarshalArg0: value in: objectMemory memory. ^[ | result | result := self simulateLeafCallOf: ceTryLockVMOwner. self assert: (result ~= 0) = (coInterpreter threadManager getVMOwner = value). result ~= 0] ensure: [processor abiUnmarshal: 1]! Item was added: + ----- Method: Context>>getReturnAddress (in category '*VMMaker-simulation') ----- + getReturnAddress + "Simulate access to the return address, used in the CoInterpreter in fast interpreter activation. + For simulaiton map return addresses to sender selectors." + ^(self findContextSuchThat: [:ctxt| ctxt selector == #interpret]) sender method selector!

1 0

VM Maker: VMMakerUI-eem.36.mcz
by commits＠source.squeak.org 02 Jan '21

02 Jan '21

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.36.mcz ==================== Summary ==================== Name: VMMakerUI-eem.36 Author: eem Time: 2 January 2021, 2:15:45.244517 pm UUID: 659bb988-8f11-4268-aa1c-d0ce3c656343 Ancestors: VMMakerUI-eem.35 Simulation: Fix some issues with click step. Make proceed turn off a boolean breakpoint so that proceed actually proceeds rather than immediately stopping. Have the click step dialog inform whether simulation is in machine code or in the interpreter. Avoid the search for open debuggers crashing when debugging the search for open debuggers ;-) =============== Diff against VMMakerUI-eem.35 =============== Item was added: + ----- Method: Cogit>>inMachineCode (in category '*VMMakerUI-accessing') ----- + inMachineCode + <doNotGenerate> + "Answer if the processor's sp & fp are the current valid system frame pointers." + ^processor pc between: guardPageSize and: methodZone zoneEnd! Item was changed: ----- Method: Cogit>>processorFrameValid (in category '*VMMakerUI-accessing') ----- processorFrameValid + <doNotGenerate> "Answer if the processor's sp & fp are the current valid system frame pointers." ^processorFrameValid! Item was changed: ----- Method: Cogit>>promptClickStep (in category '*VMMakerUI-user interface') ----- promptClickStep <doNotGenerate> ^UserDialogBoxMorph confirm: 'step?' orExtraValue: #proceed label: 'proceed' + title: (self inMachineCode ifTrue: ['In machine code'] ifFalse: ['In the interpreter']) - title: 'Click step' at: nil! Item was changed: ----- Method: Cogit>>setClickStepBreakBlock (in category '*VMMakerUI-user interface') ----- setClickStepBreakBlock "Set the break block to present a confirmer, breaking if true, and restoring the previous break block. If an open debugger on the receiver can be found, proceed it." <doNotGenerate> | previousBreakBlock previousAtEachStepBlock previousBreakPC previousSingleStep previousClickConfirm result | (breakBlock isNil or: [breakBlock method ~~ thisContext method]) ifTrue: [previousBreakBlock := breakBlock. previousAtEachStepBlock := coInterpreter atEachStepBlock. previousBreakPC := breakPC. previousSingleStep := singleStep. previousClickConfirm := clickConfirm. breakBlock := [:ign| (processor pc ~= previousBreakPC and: [(result := self promptClickStep) == true]) ifTrue: [false] ifFalse: [breakBlock := previousBreakBlock. coInterpreter atEachStepBlock: previousAtEachStepBlock. + breakPC := previousBreakPC == true ifTrue: [false] ifFalse: [previousBreakPC]. - breakPC := previousBreakPC. singleStep := previousSingleStep. clickConfirm := previousClickConfirm. true]]. coInterpreter atEachStepBlock: [previousAtEachStepBlock value. (coInterpreter localIP ~= previousBreakPC and: [(result := self promptClickStep) == true]) ifFalse: [breakBlock := previousBreakBlock. coInterpreter atEachStepBlock: previousAtEachStepBlock. + breakPC := previousBreakPC == true ifTrue: [false] ifFalse: [previousBreakPC]. - breakPC := previousBreakPC. singleStep := previousSingleStep. clickConfirm := previousClickConfirm. self halt]]. singleStep := breakPC := clickConfirm := result ~~ #proceed]. (World submorphs detect: [:m| m model isDebugger + and: [(m model interruptedProcess suspendedContext + ifNil: [false] "happens if we're debugging this very method..." + ifNotNil: + [:suspendedContext| + suspendedContext findContextSuchThat: + [:ctxt| + (ctxt receiver == self + and: [ctxt selector == #simulateCogCodeAt: + or: [ctxt selector == #simulateLeafCallOf:]]) + or: [ctxt receiver == coInterpreter + and: [ctxt selector == #interpret]]]]) notNil]] - and: [(m model interruptedProcess suspendedContext findContextSuchThat: - [:ctxt| - (ctxt receiver == self - and: [ctxt selector == #simulateCogCodeAt: - or: [ctxt selector == #simulateLeafCallOf:]]) - or: [ctxt receiver == coInterpreter - and: [ctxt selector == #interpret]]]) notNil]] ifNone: []) ifNotNil: [:debuggerWindow| WorldState addDeferredUIMessage: [debuggerWindow model proceed]]!

1 0

VM Maker: Cog-eem.431.mcz
by commits＠source.squeak.org 02 Jan '21

02 Jan '21

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.431.mcz ==================== Summary ==================== Name: Cog-eem.431 Author: eem Time: 2 January 2021, 2:12:35.69088 pm UUID: 8d16e5f1-d6b0-4302-b154-1f64d9b06e74 Ancestors: Cog-eem.430 Fix printing labels for every ibstructuion in a trampoline when disassembling an entire trampoline. =============== Diff against Cog-eem.430 =============== Item was changed: ----- Method: CogProcessorAlien>>disassembleFrom:to:in:for:labels:on: (in category 'disassembly') ----- disassembleFrom: startAddress to: endAddress in: memory for: aSymbolManager "<Cogit>" labels: labelDictionary on: aStream + | address firstLabel | - | address | address := startAddress. + (aSymbolManager labelForPC: address) ifNotNil: + [:label| + firstLabel := label copyUpThrough: Character space. + firstLabel last = Character space ifFalse: + [firstLabel := firstLabel, ' ']]. [address <= endAddress] whileTrue: [[:sizeArg :stringArg| | size string | size := sizeArg. string := stringArg. (aSymbolManager labelForPC: address) ifNotNil: + [:label| + (firstLabel notNil and: [label beginsWith: firstLabel]) ifFalse: + [aStream nextPutAll: label; nextPut: $:; cr]]. - [:label| aStream nextPutAll: label; nextPut: $:; cr]. (labelDictionary at: address ifAbsent: []) ifNotNil: [:label| (label ~~ #oneWordLiteral and: [label ~~ #twoWordLiteral]) ifTrue: [self printLabel: label on: aStream at: address for: aSymbolManager. label isArray ifTrue: [string := nil. size := label third]]]. string ifNotNil: [aStream nextPutAll: (self decorateDisassembly: string for: aSymbolManager fromAddress: address labels: labelDictionary)]. aStream cr; flush. address := address + size] valueWithArguments: (self primitiveDisassembleAt: address inMemory: memory)]. (labelDictionary at: address ifAbsent: []) ifNotNil: [:label| self printLabel: label on: aStream at: address for: aSymbolManager]!

1 0

VM Maker: VMMaker.oscog-eem.2918.mcz
by commits＠source.squeak.org 02 Jan '21

02 Jan '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2918.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2918 Author: eem Time: 2 January 2021, 1:29:06.750497 pm UUID: 17130111-28bf-421b-b6f1-722773efdaee Ancestors: VMMaker.oscog-nice.2917 Simulator: Fix C stack alignment checking for non-RISC simulators. With the changes to invoking the interpreter via ceInvokeInterpreter and ceReturnToInterpreter we need to change the simulation machinery to better mimic the production VM, and so handleCallOrJumpSimulationTrap: sends simulateJumpCallOf:memory: immediately before raising ReturnToInterpreter, and getReturnAddress will answer #enterSmalltalkExecutiveImplementation rather than #initialEnterSmalltalkExecutive Get rid of a break accidentally left behind =============== Diff against VMMaker.oscog-nice.2917 =============== Item was changed: ----- Method: CogObjectRepresentationFor32BitSpur>>genPrimitiveAtPutSigned: (in category 'primitive generators') ----- genPrimitiveAtPutSigned: signedVersion "Generate the code for primitives 61 & 165, at:put:/basicAt:put: & integerAt:put:. If signedVersion is true then generate signed accesses to the bits classes (a la 164 & 165). If signedVersion is false, generate unsigned accesses (a la 60, 61, 63 & 64)." | formatReg nSlotsOrBytesReg methodInBounds jumpImmediate jumpBadIndex jumpImmutable jumpNotIndexablePointers jumpNotIndexableBits jumpIsContext jumpIsCompiledMethod jumpIsBytes jumpIsShorts jumpHasFixedFields jumpArrayOutOfBounds jumpFixedFieldsOutOfBounds jumpWordsOutOfBounds jumpShortsOutOfBounds jumpBytesOutOfBounds jumpShortsOutOfRange jumpWordsOutOfRange jumpBytesOutOfRange jumpNonSmallIntegerValue jumpNotPointers | - self break. "c.f. StackInterpreter>>stSizeOf: SpurMemoryManager>>lengthOf:format: fixedFieldsOf:format:length:" nSlotsOrBytesReg := ClassReg. 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. "optimistic store check; assume index in range (almost always is)." self genStoreCheckReceiverReg: ReceiverResultReg valueReg: Arg1Reg scratchReg: TempReg inFrame: false. cogit CmpCq: objectMemory arrayFormat R: formatReg. jumpNotIndexablePointers := cogit JumpBelow: 0. jumpHasFixedFields := cogit JumpNonZero: 0. cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. jumpArrayOutOfBounds := 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. jumpHasFixedFields jmpTarget: cogit Label. self genGetClassIndexOfNonImm: ReceiverResultReg into: formatReg. cogit CmpCq: ClassMethodContextCompactIndex R: formatReg. jumpIsContext := cogit JumpZero: 0. "get # fixed fields in formatReg" cogit PushR: nSlotsOrBytesReg. self genGetClassObjectOfClassIndex: formatReg into: nSlotsOrBytesReg scratchReg: TempReg. self genLoadSlot: InstanceSpecificationIndex sourceReg: nSlotsOrBytesReg destReg: formatReg. cogit PopR: nSlotsOrBytesReg. self genConvertSmallIntegerToIntegerInReg: formatReg. cogit AndCq: objectMemory fixedFieldsOfClassFormatMask R: formatReg. cogit SubR: formatReg R: nSlotsOrBytesReg. cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: formatReg. cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. jumpFixedFieldsOutOfBounds := cogit JumpBelowOrEqual: 0. cogit AddR: formatReg 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. "For now ignore 64-bit indexability." jumpNotIndexableBits := cogit JumpBelow: 0. "fall through to words" cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. jumpWordsOutOfBounds := cogit JumpBelowOrEqual: 0. cogit MoveR: Arg1Reg R: TempReg. self genConvertSmallIntegerToIntegerInReg: TempReg. signedVersion ifFalse: [(cogit lastOpcode setsConditionCodesFor: JumpLess) ifFalse: [cogit CmpCq: 0 R: TempReg]. "N.B. FLAGS := TempReg - 0" jumpWordsOutOfRange := cogit JumpLess: 0]. cogit AddCq: objectMemory baseHeaderSize >> objectMemory shiftForWord R: Arg0Reg. cogit MoveR: TempReg Xwr: Arg0Reg R: ReceiverResultReg. cogit MoveR: Arg1Reg R: ReceiverResultReg. cogit genPrimReturn. signedVersion ifTrue: [jumpIsBytes jmpTarget: (cogit ArithmeticShiftRightCq: 7 + objectMemory numSmallIntegerTagBits R: Arg1Reg R: TempReg). "Maps in range to -1,0". cogit AddCq: 1 R: TempReg. "Maps in range to 0,1" cogit CmpCq: 1 R: TempReg] ifFalse: [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. methodInBounds := 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. signedVersion ifTrue: [jumpIsShorts jmpTarget: (cogit ArithmeticShiftRightCq: 15 + objectMemory numSmallIntegerTagBits R: Arg1Reg R: TempReg). "Maps in range to -1,0". cogit AddCq: 1 R: TempReg. "Maps in range to 0,1" cogit CmpCq: 1 R: TempReg] ifFalse: [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. "Now check that the index is beyond the method's literals..." jumpIsCompiledMethod jmpTarget: cogit Label. self getLiteralCountOf: ReceiverResultReg plusOne: true inBytes: true into: nSlotsOrBytesReg scratch: TempReg. cogit CmpR: Arg0Reg R: nSlotsOrBytesReg. cogit JumpBelow: methodInBounds. jumpIsContext jmpTarget: (jumpNotIndexableBits jmpTarget: (jumpBytesOutOfRange jmpTarget: (jumpShortsOutOfRange jmpTarget: (jumpIsCompiledMethod jmpTarget: (jumpArrayOutOfBounds jmpTarget: (jumpBytesOutOfBounds jmpTarget: (jumpShortsOutOfBounds jmpTarget: (jumpWordsOutOfBounds jmpTarget: (jumpNotIndexablePointers jmpTarget: (jumpNonSmallIntegerValue jmpTarget: (jumpFixedFieldsOutOfBounds jmpTarget: cogit Label))))))))))). signedVersion ifFalse: [jumpWordsOutOfRange jmpTarget: jumpIsContext getJmpTarget]. 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 changed: ----- Method: CogVMSimulator>>getReturnAddress (in category 'simulation only') ----- getReturnAddress + "In the real VM this answers the return address for its caller, i.e. for interpret. + In the simulator we're playing fast and loose with initialEnterSmalltalkExecutive + and enterSmalltalkExecutiveImplementation and need them to look and act the same." + | selector | + selector := (thisContext findContextSuchThat: [:ctxt| ctxt selector == #interpret]) sender method selector. + ^selector == #initialEnterSmalltalkExecutive + ifTrue: [#enterSmalltalkExecutiveImplementation] + ifFalse: [selector]! - ^(thisContext findContextSuchThat: [:ctxt| ctxt selector == #interpret]) sender method selector! Item was changed: ----- Method: Cogit>>handleCallOrJumpSimulationTrap: (in category 'simulation only') ----- handleCallOrJumpSimulationTrap: aProcessorSimulationTrap <doNotGenerate> | evaluable function memory result savedFramePointer savedStackPointer savedArgumentCount retpc | "This is a hack fix before we revise the simulators. When a jump call is made, the next pc is effectively the return address on the stack, not the instruction following the jump." aProcessorSimulationTrap type == #jump ifTrue: [processor hackFixNextPCOfJumpFor: aProcessorSimulationTrap using: objectMemory]. evaluable := simulatedTrampolines at: aProcessorSimulationTrap address ifAbsent: [self errorProcessingSimulationTrap: aProcessorSimulationTrap in: simulatedTrampolines]. function := evaluable isBlock ifTrue: ['aBlock; probably some plugin primitive'] ifFalse: + [evaluable receiver == backEnd ifTrue: "this is for invoking ARMv5 floating-point intrinsics" - [evaluable receiver == backEnd ifTrue: [^self handleABICallOrJumpSimulationTrap: aProcessorSimulationTrap evaluable: evaluable]. evaluable selector]. memory := coInterpreter memory. function == #interpret ifTrue: "i.e. we're here via ceInvokeInterpret/ceReturnToInterpreterTrampoline and should discard all state back to enterSmalltalkExecutiveImplementation" [self recordInstruction: {'(simulated jump call of '. aProcessorSimulationTrap address. '/'. function. ')'}. + processor simulateJumpCallOf: aProcessorSimulationTrap address memory: memory. - processor smashCallerSavedRegistersWithValuesFrom: 16r80000000 by: objectMemory wordSize. coInterpreter reenterInterpreter. "NOTREACHED" self halt]. function ~~ #ceBaseFrameReturn: ifTrue: [coInterpreter assertValidExternalStackPointers]. (backEnd wantsNearAddressFor: function) ifTrue: [^self perform: function with: aProcessorSimulationTrap]. processor simulateCallOf: aProcessorSimulationTrap address nextpc: aProcessorSimulationTrap nextpc memory: memory. retpc := processor retpcIn: memory. self recordInstruction: {'(simulated call of '. aProcessorSimulationTrap address. '/'. function. ')'}. savedFramePointer := coInterpreter framePointer. savedStackPointer := coInterpreter stackPointer. savedArgumentCount := coInterpreter argumentCount. result := ["self halt: evaluable selector." clickConfirm ifTrue: [(self confirm: 'skip run-time call?') ifFalse: [clickConfirm := false. self halt]]. evaluable valueWithArguments: (processor postCallArgumentsNumArgs: evaluable numArgs in: memory)] on: ReenterMachineCode do: [:ex| ex return: #continueNoReturn]. coInterpreter assertValidExternalStackPointers. "Verify the stack layout assumption compileInterpreterPrimitive: makes, provided we've not called something that has built a frame, such as closure value or evaluate method, or switched frames, such as primitiveSignal, primitiveWait, primitiveResume, primitiveSuspend et al." (function beginsWith: 'primitive') ifTrue: [coInterpreter primFailCode = 0 ifTrue: [(CogVMSimulator stackAlteringPrimitives includes: function) ifFalse: ["This is a rare case (e.g. in Scorch where a married context's sender is set to nil on trapTrpped and hence the stack layout is altered." (function == #primitiveSlotAtPut and: [objectMemory isContext: (coInterpreter frameReceiver: coInterpreter framePointer)]) ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer + (savedArgumentCount * objectMemory wordSize) = coInterpreter stackPointer]]] ifFalse: [self assert: savedFramePointer = coInterpreter framePointer. self assert: savedStackPointer = coInterpreter stackPointer]]. result ~~ #continueNoReturn ifTrue: [self recordInstruction: {'(simulated return to '. processor retpcIn: memory. ')'}. processor simulateReturnIn: memory. self assert: processor pc = retpc. processor smashCallerSavedRegistersWithValuesFrom: 16r80000000 by: objectMemory wordSize]. self assert: (result isInteger "an oop result" or: [result == coInterpreter or: [result == objectMemory or: [result == nil or: [result == #continueNoReturn]]]]). processor cResultRegister: (result ifNil: [0] ifNotNil: [result isInteger ifTrue: [result] ifFalse: [16rF00BA222]])! Item was changed: ----- Method: StackInterpreter>>initialEnterSmalltalkExecutive (in category 'initialization') ----- initialEnterSmalltalkExecutive "Main entry-point into the interpreter at system start-up. + In the non-threaded VM this is identical to enterSmalltalkExecutive + + N.B. It also provides the simulator's implementation of ceReturnToInterpreter/ceInvokeInterpreter, which + via a simulation trap raise the ReenterInterpreter signal in handleCallOrJumpSimulationTrap:/reenterInterpreter. + So when ReenterInterpreter is caught this metod invokes interpret directly. " - In the non-threaded VM this is identical to enterSmalltalkExecutive" <cmacro: '() enterSmalltalkExecutiveImplementation()'> "Simulation of the setjmp in enterSmalltalkExecutiveImplementation for reentry into interpreter." + | caught | + caught := false. + [([caught + ifFalse: [self enterSmalltalkExecutiveImplementation] + ifTrue: [self interpret]] - [([self enterSmalltalkExecutiveImplementation] on: ReenterInterpreter + do: [:ex| + caught := true. + ex return: ex returnValue]) = ReturnToInterpreter] whileTrue! - do: [:ex| ex return: ex returnValue]) = ReturnToInterpreter] whileTrue! Item was removed: - ----- Method: StackInterpreter>>queueForwardedEvent: (in category 'I/O primitive support') ----- - queueForwardedEvent: event - "SimulatorMorphicModel browse" - <doNotGenerate> - self eventQueue nextPut: event. - self inputSemaphoreIndex - ifNotNil: - [:isi| self signalSemaphoreWithIndex: isi] - ifNil: - [nextPollUsecs := self ioUTCMicroseconds. - self forceInterruptCheck]!

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev January 2021