Vm-dev May 2022

vm-dev@lists.squeakfoundation.org

13 participants
40 discussions

VM Maker: VMMaker.oscog-mt.3184.mcz
by commits＠source.squeak.org 10 May '22

10 May '22

Marcel Taeumel uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-mt.3184.mcz ==================== Summary ==================== Name: VMMaker.oscog-mt.3184 Author: mt Time: 8 May 2022, 1:03:06.798026 pm UUID: 57b61827-3f1a-ab45-966e-7c5caaef28d7 Ancestors: VMMaker.oscog-eem.3183 Adds boolean global "cannotDeferDisplayUpdates" that graphics backends can set to let primitive 126 (primitiveDeferDisplayUpdates) fail. It is cleared by default, which is also how C initializes sqInt by default. =============== Diff against VMMaker.oscog-eem.3183 =============== Item was changed: ObjectMemory subclass: #Interpreter + instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector argumentCount newMethod currentBytecode successFlag primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptKeycode interruptPending semaphoresToSignalA semaphoresUseBufferA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB savedWindowSize fullScreenFlag deferDisplayUpdates cannotDeferDisplayUpdates pendingFinalizationSignals compilerInitialized extraVMMemory receiverClass interpreterProxy showSurfaceFn interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods profileProcess profileMethod profileSemaphore nextProfileTick metaclassSizeBits statIOProcessEvents statCheckForEvents statQui ckCheckForEvents statProcessSwitch statPendingFinalizationSignals gcSemaphoreIndex' - instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector argumentCount newMethod currentBytecode successFlag primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptKeycode interruptPending semaphoresToSignalA semaphoresUseBufferA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB savedWindowSize fullScreenFlag deferDisplayUpdates pendingFinalizationSignals compilerInitialized extraVMMemory receiverClass interpreterProxy showSurfaceFn interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods profileProcess profileMethod profileSemaphore nextProfileTick metaclassSizeBits statIOProcessEvents statCheckForEvents statQuickCheckForEvents statProce ssSwitch statPendingFinalizationSignals gcSemaphoreIndex' classVariableNames: 'AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize CrossedX DoBalanceChecks EndOfRun HomeIndex InitialIPIndex MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MillisecondClockMask PrimitiveExternalCallIndex PrimitiveTable SemaphoresToSignalSize TempFrameStart' poolDictionaries: 'VMBasicConstants VMMethodCacheConstants VMObjectIndices' category: 'VMMaker-Interpreter'! !Interpreter commentStamp: '<historical>' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. It has been modernized with 32-bit pointers, better management of Contexts, and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. In addition to SmallInteger arithmetic and Floats, it supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. NOTE: Here follows a list of things to be borne in mind when working on this code, or when making changes for the future. 1. There are a number of things that should be done the next time we plan to release a copletely incompatible image format. These include unifying the instanceSize field of the class format word -- see instantiateClass:indexableSize:, and unifying the bits of the method primitive index (if we decide we need more than 512, after all) -- see primitiveIndexOf:. Also, contexts should be given a special format code (see next item). 2. There are several fast checks for contexts (see isContextHeader: and isMethodContextHeader:) which will fail if the compact class indices of BlockContext or MethodContext change. This is necessary because the oops may change during a compaction when the oops are being adjusted. It's important to be aware of this when writing a new image using the systemTracer. A better solution would be to reserve one of the format codes for Contexts only. 3. We have made normal files tolerant to size and positions up to 32 bits. This has not been done for async files, since they are still experimental. The code in size, at: and at:put: should work with sizes and indices up to 31 bits, although I have not tested it (di 12/98); it might or might not work with 32-bit sizes. 4. Note that 0 is used in a couple of places as an impossible oop. This should be changed to a constant that really is impossible (or perhaps there is code somewhere that guarantees it --if so it should be put in this comment). The places include the method cache and the at cache. ! Item was changed: ----- Method: Interpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code." ^(super mustBeGlobal: var) + or: [ #('deferDisplayUpdates' 'cannotDeferDisplayUpdates' 'extraVMMemory' 'interpreterProxy' 'interpreterVersion' 'showSurfaceFn') includes: var]! - or: [ #('deferDisplayUpdates' 'extraVMMemory' 'interpreterProxy' 'interpreterVersion' 'showSurfaceFn') includes: var]! Item was changed: ----- Method: Interpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. self initializeObjectMemory: bytesToShift. self initCompilerHooks. self checkAssumedCompactClasses. metaclassSizeBits := self sizeBitsOf: (self fetchClassOfNonImm: (self splObj: ClassArray)). "determine actual (Metaclass instSize * 4)" activeContext := nilObj. theHomeContext := nilObj. method := nilObj. receiver := nilObj. messageSelector := nilObj. newMethod := nilObj. lkupClass := nilObj. receiverClass := nilObj. self flushMethodCache. self loadInitialContext. self initialCleanup. interruptCheckCounter := 0. interruptCheckCounterFeedBackReset := 1000. interruptChecksEveryNms := 1. nextProfileTick := 0. profileSemaphore := nilObj. profileProcess := nilObj. profileMethod := nilObj. nextPollTick := 0. nextWakeupTick := 0. lastTick := 0. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" interruptPending := false. semaphoresUseBufferA := true. semaphoresToSignalCountA := 0. semaphoresToSignalCountB := 0. + deferDisplayUpdates := cannotDeferDisplayUpdates := false. - deferDisplayUpdates := false. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. [globalSessionID = 0] whileTrue: [globalSessionID := self cCode: 'time(NULL) + ioMSecs()' inSmalltalk: [(Random new next * SmallInteger maxVal) asInteger]]. jmpDepth := 0. jmpMax := MaxJumpBuf. "xxxx: Must match the definition of jmpBuf and suspendedCallbacks" statQuickCheckForEvents := 0. statCheckForEvents := 0. statProcessSwitch := 0. statIOProcessEvents := 0 ! Item was changed: ----- Method: Interpreter>>primitiveDeferDisplayUpdates (in category 'I/O primitives') ----- primitiveDeferDisplayUpdates "Set or clear the flag that controls whether modifications of the Display object are propagated to the underlying platform's screen." | flag | + cannotDeferDisplayUpdates ifTrue: [^self primitiveFail]. flag := self stackTop. flag = trueObj ifTrue: [deferDisplayUpdates := true] ifFalse: [flag = falseObj ifTrue: [deferDisplayUpdates := false] ifFalse: [self primitiveFail]]. successFlag ifTrue: [self pop: 1]! Item was added: + ----- Method: InterpreterProxy>>getCannotDeferDisplayUpdates (in category 'special objects') ----- + getCannotDeferDisplayUpdates + ^false! Item was changed: InterpreterPrimitives subclass: #StackInterpreter (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code, and for variables that are initialized to some value (e.g. primitiveDoMixedArithmetic)." ^(super mustBeGlobal: var) or: [(self objectMemoryClass mustBeGlobal: var) or: [(#('interpreterProxy' 'interpreterVersion' 'inIOProcessEvents' 'sendWheelEvents' + 'deferDisplayUpdates' 'cannotDeferDisplayUpdates' 'eventTraceMask' 'extraVMMemory' - 'deferDisplayUpdates' 'eventTraceMask' 'extraVMMemory' 'showSurfaceFn' 'displayBits' 'displayWidth' 'displayHeight' 'displayDepth' 'desiredNumStackPages' 'desiredEdenBytes' 'primitiveDoMixedArithmetic' 'breakLookupClassTag' 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'checkedPluginName' "'reenterInterpreter'" 'suppressHeartbeatFlag' 'ffiExceptionResponse' 'debugCallbackInvokes' 'debugCallbackPath' 'debugCallbackReturns') includes: var) or: [ "This allows slow machines to define bytecodeSetSelector as 0 to avoid the interpretation overhead." MULTIPLEBYTECODESETS not and: [var = 'bytecodeSetSelector']]]]! Item was added: + ----- Method: StackInterpreter>>getCannotDeferDisplayUpdates (in category 'simulation support') ----- + getCannotDeferDisplayUpdates + <doNotGenerate> + ^cannotDeferDisplayUpdates! Item was changed: ----- Method: StackInterpreter>>initialize (in category 'initialization') ----- initialize "Here we can initialize the variables C initializes to zero. #initialize methods do /not/ get translated." super initialize. primitiveDoMixedArithmetic := true. "whether we authorize primitives to perform mixed arithmetic or not". newFinalization := false. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := nil. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. + sendWheelEvents := deferDisplayUpdates := cannotDeferDisplayUpdates := false. - sendWheelEvents := deferDisplayUpdates := false. displayBits := displayWidth := displayHeight := displayDepth := 0. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. debugCallbackInvokes := debugCallbackPath := debugCallbackReturns := 0. primitiveCalloutPointer := -1. "initialized in declaration in declareCVarsIn:" transcript := Transcript. "initialized to stdout in readImageFromFile:HeapSize:StartingAt:" pcPreviousToFunction := PCPreviousToFunction. "initialized via StackInterpreter class>>declareCVarsIn:" statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := statIdleUsecs := 0! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDeferDisplayUpdates (in category 'I/O primitives') ----- primitiveDeferDisplayUpdates "Set or clear the flag that controls whether modifications of the Display object are propagated to the underlying platform's screen." | flag | + cannotDeferDisplayUpdates ifTrue: [^self primitiveFail]. flag := self stackTop. flag = objectMemory trueObject ifTrue: [deferDisplayUpdates := true] ifFalse: [flag = objectMemory falseObject ifTrue: [deferDisplayUpdates := false] ifFalse: [^self primitiveFail]]. self cCode: [] inSmalltalk: [self fullDisplayUpdate]. self pop: 1!

1 0

[OpenSmalltalk/opensmalltalk-vm] 543058: Get Virtend to run again on MacOS, avoiding HiDPI ...
by Eliot Miranda 10 May '22

10 May '22

Branch: refs/heads/virtend Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 5430585a3043efd8068a33aaa436fb70bfbe998b https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/5430585a3043efd806… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2022-05-09 (Mon, 09 May 2022) Changed paths: M building/macos64ARMv8/common/Makefile.flags M platforms/iOS/plugins/HostWindowPlugin/sqMacHostWindow.m Log Message: ----------- Get Virtend to run again on MacOS, avoiding HiDPI changes.

1 0

[OpenSmalltalk/opensmalltalk-vm] Enable graphics backends to let primitive 126 fail... (PR #631)
by Marcel Taeumel 09 May '22

09 May '22

...if there is no support for a VM-side composition buffer but the image has to maintain one. You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/631 -- Commit Summary -- * CogVM source as per VMMaker.oscog-mt.3184 * For macOS platform, disable primitive 126 for -metal and -core-graphics backends. Any attempt to set the global variable "deferDisplayUpdates" will fail. The image can use this information to employ its own composition buffer. -- File Changes -- M platforms/iOS/vm/OSX/sqSqueakOSXCGView.m (5) M platforms/iOS/vm/OSX/sqSqueakOSXMetalView.m (2) M src/spur32.cog.lowcode/cointerp.c (16) M src/spur32.cog.lowcode/cointerp.h (3) M src/spur32.cog.lowcode/gcc3x-cointerp.c (16) M src/spur32.cog/cointerp.c (16) M src/spur32.cog/cointerp.h (3) M src/spur32.cog/cointerpmt.c (16) M src/spur32.cog/cointerpmt.h (3) M src/spur32.cog/gcc3x-cointerp.c (16) M src/spur32.cog/gcc3x-cointerpmt.c (16) M src/spur32.sista/cointerp.c (16) M src/spur32.sista/cointerp.h (3) M src/spur32.sista/gcc3x-cointerp.c (16) M src/spur32.stack.lowcode/gcc3x-interp.c (16) M src/spur32.stack.lowcode/interp.c (16) M src/spur32.stack/gcc3x-interp.c (16) M src/spur32.stack/interp.c (16) M src/spur32.stack/validImage.c (9) M src/spur64.cog.lowcode/cointerp.c (16) M src/spur64.cog.lowcode/cointerp.h (3) M src/spur64.cog.lowcode/gcc3x-cointerp.c (16) M src/spur64.cog/cointerp.c (16) M src/spur64.cog/cointerp.h (3) M src/spur64.cog/cointerpmt.c (16) M src/spur64.cog/cointerpmt.h (3) M src/spur64.cog/gcc3x-cointerp.c (16) M src/spur64.cog/gcc3x-cointerpmt.c (16) M src/spur64.sista/cointerp.c (16) M src/spur64.sista/cointerp.h (3) M src/spur64.sista/gcc3x-cointerp.c (16) M src/spur64.stack.lowcode/gcc3x-interp.c (16) M src/spur64.stack.lowcode/interp.c (16) M src/spur64.stack/gcc3x-interp.c (16) M src/spur64.stack/interp.c (16) M src/spur64.stack/validImage.c (9) M src/v3.cog/cointerp.c (16) M src/v3.cog/cointerp.h (3) M src/v3.cog/gcc3x-cointerp.c (16) M src/v3.stack/gcc3x-interp.c (16) M src/v3.stack/interp.c (16) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/631.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/631.diff -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/631 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/pull/631(a)github.com>

1 1

[OpenSmalltalk/opensmalltalk-vm] 8388db: CogVM source as per VMMaker.oscog-mt.3184
by Marcel Taeumel 09 May '22

09 May '22

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 8388db0c86ba137969ca4d8df0782c4105a2cddf https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/8388db0c86ba137969… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2022-05-08 (Sun, 08 May 2022) Changed paths: 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/spur32.stack/validImage.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/spur64.stack/validImage.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-mt.3184 Adds boolean global "cannotDeferDisplayUpdates" that graphics backends can set to let primitive 126 (primitiveDeferDisplayUpdates) fail. It is cleared by default, which is also how C initializes sqInt by default. Commit: 3a44010cb3f184ad61ef375c478b898ea1388955 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/3a44010cb3f184ad61… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2022-05-08 (Sun, 08 May 2022) Changed paths: M platforms/iOS/vm/OSX/sqSqueakOSXCGView.m M platforms/iOS/vm/OSX/sqSqueakOSXMetalView.m Log Message: ----------- For macOS platform, disable primitive 126 for -metal and -core-graphics backends. Any attempt to set the global variable "deferDisplayUpdates" will fail. The image can use this information to employ its own composition buffer. Commit: 6ad01bcc6409d5e177576b14f3f47e53b9a5b18c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6ad01bcc6409d5e177… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2022-05-09 (Mon, 09 May 2022) Changed paths: M platforms/iOS/vm/OSX/sqSqueakOSXCGView.m M platforms/iOS/vm/OSX/sqSqueakOSXMetalView.m 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/spur32.stack/validImage.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/spur64.stack/validImage.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: ----------- Merge pull request #631 from marceltaeumel/marceltaeumel/primitive-126-fail Enable graphics backends to let primitive 126 fail... Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/2d7105db7559...6a…

1 0

VM Maker Inbox: VMMaker.oscog-mt.3184.mcz
by commits＠source.squeak.org 08 May '22

08 May '22

Marcel Taeumel uploaded a new version of VMMaker to project VM Maker Inbox: http://source.squeak.org/VMMakerInbox/VMMaker.oscog-mt.3184.mcz ==================== Summary ==================== Name: VMMaker.oscog-mt.3184 Author: mt Time: 8 May 2022, 1:03:06.798026 pm UUID: 57b61827-3f1a-ab45-966e-7c5caaef28d7 Ancestors: VMMaker.oscog-eem.3183 Adds boolean global "cannotDeferDisplayUpdates" that graphics backends can set to let primitive 126 (primitiveDeferDisplayUpdates) fail. It is cleared by default, which is also how C initializes sqInt by default. =============== Diff against VMMaker.oscog-eem.3183 =============== Item was changed: ObjectMemory subclass: #Interpreter + instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector argumentCount newMethod currentBytecode successFlag primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptKeycode interruptPending semaphoresToSignalA semaphoresUseBufferA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB savedWindowSize fullScreenFlag deferDisplayUpdates cannotDeferDisplayUpdates pendingFinalizationSignals compilerInitialized extraVMMemory receiverClass interpreterProxy showSurfaceFn interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods profileProcess profileMethod profileSemaphore nextProfileTick metaclassSizeBits statIOProcessEvents statCheckForEvents statQui ckCheckForEvents statProcessSwitch statPendingFinalizationSignals gcSemaphoreIndex' - instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector argumentCount newMethod currentBytecode successFlag primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptKeycode interruptPending semaphoresToSignalA semaphoresUseBufferA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB savedWindowSize fullScreenFlag deferDisplayUpdates pendingFinalizationSignals compilerInitialized extraVMMemory receiverClass interpreterProxy showSurfaceFn interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods profileProcess profileMethod profileSemaphore nextProfileTick metaclassSizeBits statIOProcessEvents statCheckForEvents statQuickCheckForEvents statProce ssSwitch statPendingFinalizationSignals gcSemaphoreIndex' classVariableNames: 'AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize CrossedX DoBalanceChecks EndOfRun HomeIndex InitialIPIndex MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MillisecondClockMask PrimitiveExternalCallIndex PrimitiveTable SemaphoresToSignalSize TempFrameStart' poolDictionaries: 'VMBasicConstants VMMethodCacheConstants VMObjectIndices' category: 'VMMaker-Interpreter'! !Interpreter commentStamp: '<historical>' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. It has been modernized with 32-bit pointers, better management of Contexts, and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. In addition to SmallInteger arithmetic and Floats, it supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. NOTE: Here follows a list of things to be borne in mind when working on this code, or when making changes for the future. 1. There are a number of things that should be done the next time we plan to release a copletely incompatible image format. These include unifying the instanceSize field of the class format word -- see instantiateClass:indexableSize:, and unifying the bits of the method primitive index (if we decide we need more than 512, after all) -- see primitiveIndexOf:. Also, contexts should be given a special format code (see next item). 2. There are several fast checks for contexts (see isContextHeader: and isMethodContextHeader:) which will fail if the compact class indices of BlockContext or MethodContext change. This is necessary because the oops may change during a compaction when the oops are being adjusted. It's important to be aware of this when writing a new image using the systemTracer. A better solution would be to reserve one of the format codes for Contexts only. 3. We have made normal files tolerant to size and positions up to 32 bits. This has not been done for async files, since they are still experimental. The code in size, at: and at:put: should work with sizes and indices up to 31 bits, although I have not tested it (di 12/98); it might or might not work with 32-bit sizes. 4. Note that 0 is used in a couple of places as an impossible oop. This should be changed to a constant that really is impossible (or perhaps there is code somewhere that guarantees it --if so it should be put in this comment). The places include the method cache and the at cache. ! Item was changed: ----- Method: Interpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code." ^(super mustBeGlobal: var) + or: [ #('deferDisplayUpdates' 'cannotDeferDisplayUpdates' 'extraVMMemory' 'interpreterProxy' 'interpreterVersion' 'showSurfaceFn') includes: var]! - or: [ #('deferDisplayUpdates' 'extraVMMemory' 'interpreterProxy' 'interpreterVersion' 'showSurfaceFn') includes: var]! Item was changed: ----- Method: Interpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. self initializeObjectMemory: bytesToShift. self initCompilerHooks. self checkAssumedCompactClasses. metaclassSizeBits := self sizeBitsOf: (self fetchClassOfNonImm: (self splObj: ClassArray)). "determine actual (Metaclass instSize * 4)" activeContext := nilObj. theHomeContext := nilObj. method := nilObj. receiver := nilObj. messageSelector := nilObj. newMethod := nilObj. lkupClass := nilObj. receiverClass := nilObj. self flushMethodCache. self loadInitialContext. self initialCleanup. interruptCheckCounter := 0. interruptCheckCounterFeedBackReset := 1000. interruptChecksEveryNms := 1. nextProfileTick := 0. profileSemaphore := nilObj. profileProcess := nilObj. profileMethod := nilObj. nextPollTick := 0. nextWakeupTick := 0. lastTick := 0. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" interruptPending := false. semaphoresUseBufferA := true. semaphoresToSignalCountA := 0. semaphoresToSignalCountB := 0. + deferDisplayUpdates := cannotDeferDisplayUpdates := false. - deferDisplayUpdates := false. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. [globalSessionID = 0] whileTrue: [globalSessionID := self cCode: 'time(NULL) + ioMSecs()' inSmalltalk: [(Random new next * SmallInteger maxVal) asInteger]]. jmpDepth := 0. jmpMax := MaxJumpBuf. "xxxx: Must match the definition of jmpBuf and suspendedCallbacks" statQuickCheckForEvents := 0. statCheckForEvents := 0. statProcessSwitch := 0. statIOProcessEvents := 0 ! Item was changed: ----- Method: Interpreter>>primitiveDeferDisplayUpdates (in category 'I/O primitives') ----- primitiveDeferDisplayUpdates "Set or clear the flag that controls whether modifications of the Display object are propagated to the underlying platform's screen." | flag | + cannotDeferDisplayUpdates ifTrue: [^self primitiveFail]. flag := self stackTop. flag = trueObj ifTrue: [deferDisplayUpdates := true] ifFalse: [flag = falseObj ifTrue: [deferDisplayUpdates := false] ifFalse: [self primitiveFail]]. successFlag ifTrue: [self pop: 1]! Item was added: + ----- Method: InterpreterProxy>>getCannotDeferDisplayUpdates (in category 'special objects') ----- + getCannotDeferDisplayUpdates + ^false! Item was changed: InterpreterPrimitives subclass: #StackInterpreter (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code, and for variables that are initialized to some value (e.g. primitiveDoMixedArithmetic)." ^(super mustBeGlobal: var) or: [(self objectMemoryClass mustBeGlobal: var) or: [(#('interpreterProxy' 'interpreterVersion' 'inIOProcessEvents' 'sendWheelEvents' + 'deferDisplayUpdates' 'cannotDeferDisplayUpdates' 'eventTraceMask' 'extraVMMemory' - 'deferDisplayUpdates' 'eventTraceMask' 'extraVMMemory' 'showSurfaceFn' 'displayBits' 'displayWidth' 'displayHeight' 'displayDepth' 'desiredNumStackPages' 'desiredEdenBytes' 'primitiveDoMixedArithmetic' 'breakLookupClassTag' 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'checkedPluginName' "'reenterInterpreter'" 'suppressHeartbeatFlag' 'ffiExceptionResponse' 'debugCallbackInvokes' 'debugCallbackPath' 'debugCallbackReturns') includes: var) or: [ "This allows slow machines to define bytecodeSetSelector as 0 to avoid the interpretation overhead." MULTIPLEBYTECODESETS not and: [var = 'bytecodeSetSelector']]]]! Item was added: + ----- Method: StackInterpreter>>getCannotDeferDisplayUpdates (in category 'simulation support') ----- + getCannotDeferDisplayUpdates + <doNotGenerate> + ^cannotDeferDisplayUpdates! Item was changed: ----- Method: StackInterpreter>>initialize (in category 'initialization') ----- initialize "Here we can initialize the variables C initializes to zero. #initialize methods do /not/ get translated." super initialize. primitiveDoMixedArithmetic := true. "whether we authorize primitives to perform mixed arithmetic or not". newFinalization := false. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := nil. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. + sendWheelEvents := deferDisplayUpdates := cannotDeferDisplayUpdates := false. - sendWheelEvents := deferDisplayUpdates := false. displayBits := displayWidth := displayHeight := displayDepth := 0. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. debugCallbackInvokes := debugCallbackPath := debugCallbackReturns := 0. primitiveCalloutPointer := -1. "initialized in declaration in declareCVarsIn:" transcript := Transcript. "initialized to stdout in readImageFromFile:HeapSize:StartingAt:" pcPreviousToFunction := PCPreviousToFunction. "initialized via StackInterpreter class>>declareCVarsIn:" statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := statIdleUsecs := 0! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDeferDisplayUpdates (in category 'I/O primitives') ----- primitiveDeferDisplayUpdates "Set or clear the flag that controls whether modifications of the Display object are propagated to the underlying platform's screen." | flag | + cannotDeferDisplayUpdates ifTrue: [^self primitiveFail]. flag := self stackTop. flag = objectMemory trueObject ifTrue: [deferDisplayUpdates := true] ifFalse: [flag = objectMemory falseObject ifTrue: [deferDisplayUpdates := false] ifFalse: [^self primitiveFail]]. self cCode: [] inSmalltalk: [self fullDisplayUpdate]. self pop: 1!

1 0

[OpenSmalltalk/opensmalltalk-vm] MouseWheelEvents do not have buttons (Issue #630)
by Christoph Thiede 07 May '22

07 May '22

Currently cannot detect which modifier keys are pressed from a `MouseWheelEvent`. Reproduced in Win32 (Win 21H1) and X11 (WSL/Ubuntu). -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/630 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/issues/630(a)github.com>

1 0

MacOS python2.7
by Eliot Miranda 06 May '22

06 May '22

If anyone has yet to upgrade their MacOS 12.x to 12.3 then please could you take a copy of /System/Library/Frameworks/Python.framework ? Virtend still uses v 2.7 and Apple dropped it in the 12.3 upgrade. The copy would save me a fair amount of work building it myself. _,,,^..^,,,_ (phone)

2 4

[OpenSmalltalk/opensmalltalk-vm] please update branch oldTrunk (Issue #604)
by Jonas Smedegaard 04 May '22

04 May '22

The oldTrunk branch was last updated in 2016 and misses some 100 commits. Please update to be in sync with http://squeakvm.org/svn/squeak/trunk/ -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/604

6 15

Re: [Vm-dev] [list] Cannot receive plain-text messages
by Thiede, Christoph 04 May '22

04 May '22

Hi Marcel, (currently I have switched to the digest subscription option so that I can receive your answers :D) Thanks for the details! > ... and Tobias just told me that mailman does not change that stuff but forwards the content it gets. So the issue is how mail clients or SMTP servers push out that stuff. And we cannot control that. This is strange ... Object pinning vs. garbage collection > We are sending messages for commits to VMMaker and Trunk to vm-dev and squeak-dev. Do those look okay on vm -dev for you? I have not subscribed enough time ago to receive any VMMaker message. I will report back. :-) > What about my messages to vm-dev from April 2022? Were you subscribed then? For instance in the thread "Object pinning vs. garbage collection", I cannot read any of your messages: [cid:fc22f33e-5fd0-4e67-b758-920c4b099a8f] Best, Christoph ________________________________ Von: Vm-dev <vm-dev-bounces(a)lists.squeakfoundation.org> im Auftrag von vm-dev-request(a)lists.squeakfoundation.org <vm-dev-request(a)lists.squeakfoundation.org> Gesendet: Mittwoch, 4. Mai 2022 16:41 Uhr An: vm-dev(a)lists.squeakfoundation.org Betreff: Vm-dev Digest, Vol 191, Issue 2 Send Vm-dev mailing list submissions to vm-dev(a)lists.squeakfoundation.org To subscribe or unsubscribe via the World Wide Web, visit http://lists.squeakfoundation.org/mailman/listinfo/vm-dev or, via email, send a message with subject or body 'help' to vm-dev-request(a)lists.squeakfoundation.org You can reach the person managing the list at vm-dev-owner(a)lists.squeakfoundation.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Vm-dev digest..." Today's Topics: 1. [list] Cannot receive plain-text messages (Thiede, Christoph) 2. Re: [list] Cannot receive plain-text messages (Marcel Taeumel) 3. Re: [list] Cannot receive plain-text messages (Marcel Taeumel) ---------------------------------------------------------------------- Message: 1 Date: Wed, 4 May 2022 13:58:03 +0000 From: "Thiede, Christoph" <Christoph.Thiede(a)student.hpi.uni-potsdam.de> To: "vm-dev(a)lists.squeakfoundation.org" <vm-dev(a)lists.squeakfoundation.org> Subject: [Vm-dev] [list] Cannot receive plain-text messages Message-ID: <3483f711b6594b8bbf9a313a2af667c3(a)student.hpi.uni-potsdam.de> Content-Type: text/plain; charset="iso-8859-1" Hi all, while I have subscribed to squeak-dev for a longer time, I only subscribed recently to vm-dev. Unfortunately, I cannot view most messages in my e-mail client - I only see an attachment of the HTML file. It appears as if the plaintext version of the message is missing and the HTML version is classified incorrectly. This does not regard messages from the OSVM bot (GitHub) only but also normal messages sent by Eliot, Marcel, et al. - but at the same time, the messages sent by the same person to squeak-dev look fine on my end. In other mailing clients (and in Squeak Inbox Talk), everything looks fine, but I do not want to switch away from OWA. In the message headers, I could not find any interesting difference. My subscription settings for both lists are identical. I also noted that the pipermail archives do not look identical, but this is probably unrelated. Any ideas on what might cause this, and any chance to fix this in the mailing list configuration/servers? Thanks in advance, Christoph

2 1

[list] Cannot receive plain-text messages
by Thiede, Christoph 04 May '22

04 May '22

Hi all, while I have subscribed to squeak-dev for a longer time, I only subscribed recently to vm-dev. Unfortunately, I cannot view most messages in my e-mail client - I only see an attachment of the HTML file. It appears as if the plaintext version of the message is missing and the HTML version is classified incorrectly. This does not regard messages from the OSVM bot (GitHub) only but also normal messages sent by Eliot, Marcel, et al. - but at the same time, the messages sent by the same person to squeak-dev look fine on my end. In other mailing clients (and in Squeak Inbox Talk), everything looks fine, but I do not want to switch away from OWA. In the message headers, I could not find any interesting difference. My subscription settings for both lists are identical. I also noted that the pipermail archives do not look identical, but this is probably unrelated. Any ideas on what might cause this, and any chance to fix this in the mailing list configuration/servers? Thanks in advance, Christoph

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2022