Vm-dev December 2020

vm-dev@lists.squeakfoundation.org

19 participants
80 discussions

[OpenSmalltalk/opensmalltalk-vm] Add --quiet option to allow an app to own stdout and stderr (#395)
by Holger Freyther 23 Jan '21

23 Jan '21

I envison to have --quiet and --debugoutput FILENAME as options in the future. For an end-user it is difficult to separate application output/error from VM one (e.g. the infamous thread priority warning). You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/395 -- Commit Summary -- * debug: Prepare to let the app own stderr * debug: Introduce the --quiet VM option to keep things silent -- File Changes -- M build.macos32x86/common/Makefile.vm (2) M build.macos64x64/common/Makefile.vm (2) M platforms/Cross/vm/sq.h (7) M platforms/iOS/vm/OSX/sqSqueakOSXApplication.m (5) M platforms/unix/misc/threadValidate/sqUnixHeartbeat.c (6) M platforms/unix/misc/threadValidate/threadValidate.c (14) M platforms/unix/vm/aio.c (27) M platforms/unix/vm/debug.c (22) M platforms/unix/vm/debug.h (3) M platforms/unix/vm/dlfcn-dyld.c (20) M platforms/unix/vm/sqUnixCharConv.c (3) M platforms/unix/vm/sqUnixExternalPrims.c (46) M platforms/unix/vm/sqUnixHeartbeat.c (30) M platforms/unix/vm/sqUnixITimerTickerHeartbeat.c (6) M platforms/unix/vm/sqUnixMain.c (57) M platforms/unix/vm/sqUnixMemory.c (8) M platforms/unix/vm/sqUnixSpurMemory.c (4) M platforms/unix/vm/sqaio.h (2) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/395.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/395.diff -- 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/pull/395

3 6

[OpenSmalltalk/opensmalltalk-vm] Uninitialized scale in B3DShaderPlugin>>computeDirection (#434)
by Nicolas Cellier 15 Jan '21

15 Jan '21

As the compiler tells: ``` OpenSmalltalk/opensmalltalk-vm/src/plugins/Squeak3D/Squeak3D.c:2475:7: warning: variable 'scale' is used uninitialized whenever 'if' condition is false [-Wsometimes-uninitialized] if (!((l2vDistance == 0.0) ^~~~~~~~~~~~~~~~~~~~~~ /media/psf/Home/Smalltalk/OpenSmalltalk/opensmalltalk-vm/src/plugins/Squeak3D/Squeak3D.c:2480:42: note: uninitialized use occurs here l2vDirection[0] = ((l2vDirection[0]) * scale); ^~~~~ ``` That's effectively a bug in Smalltalk source, scale might be used uninitialized: ``` computeDirection "Compute the direction for the current light and vertex" | scale | <inline: true> <var: #scale type: #double> (lightFlags anyMask: FlagPositional) ifTrue:[ "Must compute the direction for this vertex" l2vDirection at: 0 put: (litVertex at: PrimVtxPositionX) - (primLight at: PrimLightPositionX). l2vDirection at: 1 put: (litVertex at: PrimVtxPositionY) - (primLight at: PrimLightPositionY). l2vDirection at: 2 put: (litVertex at: PrimVtxPositionZ) - (primLight at: PrimLightPositionZ). "l2vDistance := self dotProductOf: l2vDirection with: l2vDirection." l2vDistance := ((l2vDirection at: 0) * (l2vDirection at: 0)) + ((l2vDirection at: 1) * (l2vDirection at: 1)) + ((l2vDirection at: 2) * (l2vDirection at: 2)). (l2vDistance = 0.0 or:[l2vDistance = 1.0]) ifFalse:[ l2vDistance := l2vDistance sqrt. scale := -1.0/l2vDistance]. l2vDirection at: 0 put: (l2vDirection at: 0) * scale. l2vDirection at: 1 put: (l2vDirection at: 1) * scale. l2vDirection at: 2 put: (l2vDirection at: 2) * scale. ] ifFalse:[ (lightFlags anyMask: FlagDirectional) ifTrue:[ l2vDirection at: 0 put: (primLight at: PrimLightDirectionX). l2vDirection at: 1 put: (primLight at: PrimLightDirectionY). l2vDirection at: 2 put: (primLight at: PrimLightDirectionZ). ]. ] ``` IMO: - the scaling is not needed when distance is 0 or 1 - the scaling should be inside the block when distance is neither 0 nor 1 - the scaling should be positive If I decipher correctly `l2vDirection` means light to vertex direction, that is: LV vector = OV vector - OL vector whatever origin O, and that is what we already do in code (PrimVtxPositionX - PrimLightPositionX). So I don't understand the -1.0 here... If there is a -1.0, then we must also initialize scale to -1.0 when distance is 1. -- 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/434

1 1

[OpenSmalltalk/opensmalltalk-vm] jpeg plugin crashes in win64 cygwin/mingw builds (#526)
by Nicolas Cellier 12 Jan '21

12 Jan '21

Easy to reproduce: `JPEGReadWriter2Test suite run` with a VM compiled with cygwin (mingw cross platform) toolchain. This might be related to this commit or not: https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/7e0018d2bda239f11f… The commit tells that assert VM crashes even when built with MSVC toolchain (w or w/o clang-cl.exe). -- 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/526

1 3

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

Small discrepancy in fileTimesInUTC between simulation & VM
by Nicolas Cellier 02 Jan '21

02 Jan '21

Hi all, Eliot, Simulation says: ^(Smalltalk vmParameterAt: 48) anyMask: 128 VM says: ^imageHeaderFlags anyMask: 512 Is the difference intentional?

3 4

Sorry, Sorry! [WAS: Trouble running OSVM in an Ubuntu 20/aarch64 docker]
by ken.dickey＠whidbey.com 02 Jan '21

02 Jan '21

Apologies to all, I though I had trimmed the header on this.. -KenD ============= Message: 6 Date: Thu, 31 Dec 2020 04:18:58 -0800 From: Christoph Thiede <notifications(a)github.com> To: OpenSmalltalk/opensmalltalk-vm <opensmalltalk-vm(a)noreply.github.com> Cc: Comment <comment(a)noreply.github.com>, OpenSmalltalk-Bot <vm-dev(a)lists.squeakfoundation.org> Subject: Re: [Vm-dev] [OpenSmalltalk/opensmalltalk-vm] Trouble running OSVM in an Ubuntu 20/aarch64 docker (raspi) (#544) Message-ID: <OpenSmalltalk/opensmalltalk-vm/issues/544/752942612(a)github.com> Content-Type: text/plain; charset="utf-8" I have tried that and built the VM again, but I keep getting the same mprotect error message :( Any other ideas? From: oscogvm/build.linux64ARMv8/HowToBuild: vvv======vvv If running the resultant squeak vm gives an error something like mprotect(x,y,PROT_READ|PROT_EXEC) or memory_alias_map: shm_open: Permission denied you need to enable shared memory for the COG JIT. As root: chmod 777 /dev/shm echo 'none /dev/shm tmpfs rw,nosuid,nodev 0 0' >> /etc/fstab mount /dev/shm The squeak vm should now work. ^^^======^^^

3 2

VM Maker: VMMaker-dtl.422.mcz
by commits＠source.squeak.org 31 Dec '20

31 Dec '20

David T. Lewis uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-dtl.422.mcz ==================== Summary ==================== Name: VMMaker-dtl.422 Author: dtl Time: 30 December 2020, 8:11:52.023 pm UUID: dfc32d36-1caa-4251-9d0d-824cf8222611 Ancestors: VMMaker-dtl.421 VMMaker 4.19.5 Refactoring - move duplicated variables and methods from StackInterpreter and ContextInterpreter up to Interpreter. Remove stack interpreter support methods from ContextInterpreter, they are only sent from NewObjectMemory and StackInterpreter. Move duplicated stack bytecodes methods up to Interpreter. Move primitiveSetGCSemaphore up to Interpreter. Move duplicated common selector sends methods up to Interpreter. Move duplicated bitbit support methods up to Interpreter. Move duplicated array primitive support methods up to Interpreter. Move duplicated arithmetic primitive support methods up to Interpreter and remove unsent checkIntegerResult:.. Move duplicated I/O primitive methods up to Interpreter. =============== Diff against VMMaker-dtl.421 =============== Item was changed: Interpreter subclass: #ContextInterpreter + instanceVariableNames: 'activeContext theHomeContext receiver localHomeContext localReturnContext primitiveIndex reclaimableContextCount nextPollTick nextWakeupTick lastTick compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms primitiveTableDefaults jmpMax imageFormatInitialVersion allowAccessBeyondSP' + classVariableNames: 'BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize DirBadPath DirEntryFound DirNoMoreEntries DoBalanceChecks HomeIndex InitialIPIndex MessageDictionaryIndex MethodCacheNative TempFrameStart' - instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector currentBytecode primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptPending savedWindowSize deferDisplayUpdates pendingFinalizationSignals compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interpreterProxy showSurfaceFn interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTableDefaults jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods imageFormatInitialVersion allowAccessBeyondSP' - classVariableNames: 'BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize DirBadPath DirEntryFound DirNoMoreEntries DoBalanceChecks HomeIndex InitialIPIndex MaxJumpBuf MessageDictionaryIndex MethodCacheNative TempFrameStart' poolDictionaries: 'VMMethodCacheConstants VMSqueakV3BytecodeConstants' category: 'VMMaker-Interpreter'! !ContextInterpreter 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: ContextInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator aCCodeGenerator addHeaderFile: '<setjmp.h>'. - aCCodeGenerator var: #interpreterProxy type: #'struct VirtualMachine*'. - "declare primitiveTable as an array of pointers to a function returning void, taking no arguments" - aCCodeGenerator var: #primitiveFunctionPointer declareC: 'void (*primitiveFunctionPointer)(void)'. - aCCodeGenerator var: #methodCache declareC: 'long methodCache[' , (MethodCacheSize + 1) printString , ']'. - aCCodeGenerator var: #atCache declareC: 'sqInt atCache[' , (AtCacheTotalSize + 1) printString , ']'. aCCodeGenerator var: #statGCTime type: #sqLong. aCCodeGenerator var: #statFullGCMSecs type: #sqLong. aCCodeGenerator var: #statIGCDeltaTime type: #sqLong. aCCodeGenerator var: #statIncrGCMSecs type: #sqLong. - aCCodeGenerator var: #localIP type: #'char*'. - aCCodeGenerator var: #localSP type: #'char*'. - aCCodeGenerator var: #showSurfaceFn type: #'void*'. aCCodeGenerator var: #compilerHooks declareC: 'sqInt (*compilerHooks[' , (CompilerHooksSize + 1) printString , '])()'. aCCodeGenerator var: #interpreterVersion declareC: 'const char *interpreterVersion = "' , SmalltalkImage current datedVersion , ' [' , SmalltalkImage current lastUpdateString , ']"'. + self declareCAsOop: {#newMethod. #activeContext. #theHomeContext} in: aCCodeGenerator. - self declareCAsOop: {#instructionPointer. #method. #newMethod. #activeContext. #theHomeContext. #stackPointer} in: aCCodeGenerator. - aCCodeGenerator var: #jmpBuf declareC: 'jmp_buf jmpBuf[' , (MaxJumpBuf + 1) printString , ']'. - aCCodeGenerator var: #suspendedCallbacks declareC: 'sqInt suspendedCallbacks[' , (MaxJumpBuf + 1) printString , ']'. - aCCodeGenerator var: #suspendedMethods declareC: 'sqInt suspendedMethods[' , (MaxJumpBuf + 1) printString , ']'. "Reinitialized at interpreter entry by #initializeImageFormatVersion" aCCodeGenerator var: #imageFormatVersionNumber declareC: 'sqInt imageFormatVersionNumber = 0'. "Declared here to prevent inclusion in foo struct by CCodeGeneratorGlobalStructure" aCCodeGenerator var: #imageFormatInitialVersion declareC: 'sqInt imageFormatInitialVersion = 0'. aCCodeGenerator var: #primitiveTable declareC: 'void (*primitiveTable[', MaxPrimitiveIndex asString, '])(void)'. aCCodeGenerator var: #primitiveTableDefaults declareC: 'void (*primitiveTableDefaults[' , (MaxPrimitiveIndex + 2) printString , '] )(void)= ' , self primitiveTableString. - aCCodeGenerator var: #externalPrimitiveTable declareC: 'void (*externalPrimitiveTable[' , (MaxExternalPrimitiveTableSize + 1) printString , '])(void)'. ! Item was changed: ----- Method: ContextInterpreter class>>initialize (in category 'initialization') ----- initialize "Interpreter initialize" super initialize. "initialize ObjectMemory constants" self initializeAssociationIndex. self initializeBytecodeTable. self initializeCaches. self initializeCharacterIndex. self initializeCharacterScannerIndices. self initializeClassIndices. self initializeCompilerHooks. self initializeContextIndices. self initializeDirectoryLookupResultCodes. self initializeMessageIndices. self initializeMethodIndices. self initializePointIndices. self initializePrimitiveTable. self initializeSchedulerIndices. self initializeStreamIndices. self initializeInterpreterSourceVersion. PrimitiveExternalCallIndex := 117. "Primitive index for #primitiveExternalCall" MillisecondClockMask := 16r1FFFFFFF. - MaxJumpBuf := 32. "max. callback depth" - "Translation flags (booleans that control code generation via conditional translation):" DoBalanceChecks := false. "generate stack balance checks" ! Item was removed: - ----- Method: ContextInterpreter>>argCount (in category 'message sending') ----- - argCount - ^ argumentCount! Item was removed: - ----- Method: ContextInterpreter>>asciiOfCharacter: (in category 'array primitive support') ----- - asciiOfCharacter: characterObj "Returns an integer object" - - <inline: false> - self assertClassOf: characterObj is: (objectMemory splObj: ClassCharacter). - self successful - ifTrue: [^ objectMemory fetchPointer: CharacterValueIndex ofObject: characterObj] - ifFalse: [^ ConstZero] "in case some code needs an int"! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimAdd (in category 'common selector sends') ----- - bytecodePrimAdd - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [result := (objectMemory integerValueOf: rcvr) + (objectMemory integerValueOf: arg). - (objectMemory isIntegerValue: result) ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^ self fetchNextBytecode "success"]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatAdd: rcvr toArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]]. - - messageSelector := self specialSelector: 0. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimAtEnd (in category 'common selector sends') ----- - bytecodePrimAtEnd - messageSelector := self specialSelector: 21. - argumentCount := 0. - self normalSend.! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimBitAnd (in category 'common selector sends') ----- - bytecodePrimBitAnd - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitAnd. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 14. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimBitOr (in category 'common selector sends') ----- - bytecodePrimBitOr - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitOr. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 15. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimBitShift (in category 'common selector sends') ----- - bytecodePrimBitShift - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitShift. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 12. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimDiv (in category 'common selector sends') ----- - bytecodePrimDiv - | quotient | - self initPrimCall. - quotient := self doPrimitiveDiv: (self internalStackValue: 1) by: (self internalStackValue: 0). - self successful ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: quotient). - ^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 13. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimDivide (in category 'common selector sends') ----- - bytecodePrimDivide - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [rcvr := objectMemory integerValueOf: rcvr. - arg := objectMemory integerValueOf: arg. - (arg ~= 0 and: [rcvr \\ arg = 0]) - ifTrue: [result := rcvr // arg. - "generates C / operation" - (objectMemory isIntegerValue: result) - ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^ self fetchNextBytecode"success"]]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatDivide: rcvr byArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode"success"]]. - - messageSelector := self specialSelector: 9. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimDo (in category 'common selector sends') ----- - bytecodePrimDo - - messageSelector := self specialSelector: 27. - argumentCount := 1. - self normalSend. - ! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimEqual (in category 'common selector sends') ----- - bytecodePrimEqual - | rcvr arg aBool | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr = arg]. - - self initPrimCall. - aBool := self primitiveFloatEqual: rcvr toArg: arg. - self successful ifTrue: [^self booleanCheat: aBool]. - - messageSelector := self specialSelector: 6. - argumentCount := 1. - self normalSend - ! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimEquivalent (in category 'common selector sends') ----- - bytecodePrimEquivalent - - | rcvr arg | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - self booleanCheat: rcvr = arg.! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimMakePoint (in category 'common selector sends') ----- - bytecodePrimMakePoint - - self initPrimCall. - self externalizeIPandSP. - self primitiveMakePoint. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 11. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimMod (in category 'common selector sends') ----- - bytecodePrimMod - | mod | - self initPrimCall. - mod := self doPrimitiveMod: (self internalStackValue: 1) by: (self internalStackValue: 0). - self successful ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: mod). - ^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 10. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimNew (in category 'common selector sends') ----- - bytecodePrimNew - - messageSelector := self specialSelector: 28. - argumentCount := 0. - self normalSend. - ! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimNewWithArg (in category 'common selector sends') ----- - bytecodePrimNewWithArg - - messageSelector := self specialSelector: 29. - argumentCount := 1. - self normalSend. - ! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimNext (in category 'common selector sends') ----- - bytecodePrimNext - messageSelector := self specialSelector: 19. - argumentCount := 0. - self normalSend.! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimNextPut (in category 'common selector sends') ----- - bytecodePrimNextPut - messageSelector := self specialSelector: 20. - argumentCount := 1. - self normalSend.! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimNotEqual (in category 'common selector sends') ----- - bytecodePrimNotEqual - | rcvr arg aBool | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr ~= arg]. - - self initPrimCall. - aBool := self primitiveFloatEqual: rcvr toArg: arg. - self successful ifTrue: [^self booleanCheat: aBool not]. - - messageSelector := self specialSelector: 7. - argumentCount := 1. - self normalSend - ! Item was removed: - ----- Method: ContextInterpreter>>bytecodePrimSubtract (in category 'common selector sends') ----- - bytecodePrimSubtract - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [result := (objectMemory integerValueOf: rcvr) - (objectMemory integerValueOf: arg). - (objectMemory isIntegerValue: result) ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^self fetchNextBytecode "success"]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatSubtract: rcvr fromArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^self fetchNextBytecode "success"]]. - - messageSelector := self specialSelector: 1. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: ContextInterpreter>>characterForAscii: (in category 'array primitive support') ----- - characterForAscii: ascii "Arg must lie in range 0-255!!" - <inline: true> - ^ objectMemory fetchPointer: ascii ofObject: (objectMemory splObj: CharacterTable)! Item was removed: - ----- Method: ContextInterpreter>>checkBooleanResult: (in category 'arithmetic primitive support') ----- - checkBooleanResult: result - self successful - ifTrue: [self pushBool: result] - ifFalse: [self unPop: 2]! Item was removed: - ----- Method: ContextInterpreter>>checkCodeIntegrity: (in category 'stack interpreter support') ----- - checkCodeIntegrity: fullGCFlag - "This is a no-op in the Interpreter and the StackVM" - ^true! Item was removed: - ----- Method: ContextInterpreter>>checkIntegerResult: (in category 'arithmetic primitive support') ----- - checkIntegerResult: integerResult - (self successful and: [objectMemory isIntegerValue: integerResult]) - ifTrue: [self pushInteger: integerResult] - ifFalse: [self unPop: 2]! Item was removed: - ----- Method: ContextInterpreter>>checkInterpreterIntegrity (in category 'stack interpreter support') ----- - checkInterpreterIntegrity - "Perform an integrity/leak check using the heapMap. Assume - clearLeakMapAndMapAccessibleObjects has set a bit at each - object's header. Check that all oops in the interpreter's state - points to a header. Answer if all checks pass." - - ^true! Item was removed: - ----- Method: ContextInterpreter>>checkStackIntegrity (in category 'stack interpreter support') ----- - checkStackIntegrity - "Perform an integrity/leak check using the heapMap. Assume - clearLeakMapAndMapAccessibleObjects has set a bit at each - object's header. Scan all objects accessible from the stack - checking that every pointer points to a header. Answer if no - dangling pointers were detected." - - ^true! Item was removed: - ----- Method: ContextInterpreter>>compare31or32Bits:equal: (in category 'arithmetic primitive support') ----- - compare31or32Bits: obj1 equal: obj2 - "May set success to false" - - "First compare two ST integers..." - ((objectMemory isIntegerObject: obj1) - and: [objectMemory isIntegerObject: obj2]) - ifTrue: [^ obj1 = obj2]. - - "Now compare, assuming positive integers, but setting fail if not" - ^ (self positive32BitValueOf: obj1) = (self positive32BitValueOf: obj2)! Item was removed: - ----- Method: ContextInterpreter>>copyBits (in category 'bitblt support') ----- - copyBits - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBits - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'copyBits' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(void))fn)()'! Item was removed: - ----- Method: ContextInterpreter>>copyBitsFrom:to:at: (in category 'bitblt support') ----- - copyBitsFrom: x0 to: x1 at: y - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBitsFrom:to:at: - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'copyBitsFromtoat' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(sqInt, sqInt, sqInt))fn)(x0, x1, y)'! Item was removed: - ----- Method: ContextInterpreter>>displayBitsOf:Left:Top:Right:Bottom: (in category 'I/O primitives') ----- - displayBitsOf: aForm Left: l Top: t Right: r Bottom: b - "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." - - | displayObj dispBits w h dispBitsIndex d left right top bottom surfaceHandle | - displayObj := objectMemory splObj: TheDisplay. - aForm = displayObj ifFalse: [^ nil]. - self success: ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]). - self successful ifTrue: [ - dispBits := objectMemory fetchPointer: 0 ofObject: displayObj. - w := self fetchInteger: 1 ofObject: displayObj. - h := self fetchInteger: 2 ofObject: displayObj. - d := self fetchInteger: 3 ofObject: displayObj. - ]. - l < 0 ifTrue:[left := 0] ifFalse: [left := l]. - r > w ifTrue: [right := w] ifFalse: [right := r]. - t < 0 ifTrue: [top := 0] ifFalse: [top := t]. - b > h ifTrue: [bottom := h] ifFalse: [bottom := b]. - ((left <= right) and: [top <= bottom]) ifFalse: [^nil]. - self successful ifTrue: [ - (objectMemory isIntegerObject: dispBits) ifTrue: [ - surfaceHandle := objectMemory integerValueOf: dispBits. - showSurfaceFn = 0 ifTrue: [ - showSurfaceFn := self ioLoadFunction: 'ioShowSurface' From: 'SurfacePlugin'. - showSurfaceFn = 0 ifTrue: [^self success: false]]. - self cCode:'((sqInt (*)(sqInt, sqInt, sqInt, sqInt, sqInt))showSurfaceFn)(surfaceHandle, left, top, right-left, bottom-top)'. - ] ifFalse: [ - dispBitsIndex := dispBits + objectMemory baseHeaderSize. "index in memory byte array" - self cCode: 'ioShowDisplay(dispBitsIndex, w, h, d, left, right, top, bottom)' - inSmalltalk: [self showDisplayBits: dispBitsIndex - w: w h: h d: d - left: left right: right top: top bottom: bottom] - ]. - ].! Item was removed: - ----- Method: ContextInterpreter>>doPrimitiveDiv:by: (in category 'arithmetic primitive support') ----- - doPrimitiveDiv: rcvr by: arg - "Rounds negative results towards negative infinity, rather than zero." - | result posArg posRcvr integerRcvr integerArg | - (self areIntegers: rcvr and: arg) - ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. - integerArg := objectMemory integerValueOf: arg. - self success: integerArg ~= 0] - ifFalse: [self primitiveFail]. - self successful ifFalse: [^ 1 "fail"]. - - integerRcvr > 0 - ifTrue: [integerArg > 0 - ifTrue: [result := integerRcvr // integerArg] - ifFalse: ["round negative result toward negative infinity" - posArg := 0 - integerArg. - result := 0 - ((integerRcvr + (posArg - 1)) // posArg)]] - ifFalse: [posRcvr := 0 - integerRcvr. - integerArg > 0 - ifTrue: ["round negative result toward negative infinity" - result := 0 - ((posRcvr + (integerArg - 1)) // integerArg)] - ifFalse: [posArg := 0 - integerArg. - result := posRcvr // posArg]]. - self success: (objectMemory isIntegerValue: result). - ^ result! Item was removed: - ----- Method: ContextInterpreter>>doPrimitiveMod:by: (in category 'arithmetic primitive support') ----- - doPrimitiveMod: rcvr by: arg - | integerResult integerRcvr integerArg | - (self areIntegers: rcvr and: arg) - ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. - integerArg := objectMemory integerValueOf: arg. - self success: integerArg ~= 0] - ifFalse: [self primitiveFail]. - self successful ifFalse: [^ 1 "fail"]. - - integerResult := integerRcvr \\ integerArg. - - "ensure that the result has the same sign as the integerArg" - integerArg < 0 - ifTrue: [integerResult > 0 - ifTrue: [integerResult := integerResult + integerArg]] - ifFalse: [integerResult < 0 - ifTrue: [integerResult := integerResult + integerArg]]. - self success: (objectMemory isIntegerValue: integerResult). - ^ integerResult - ! Item was removed: - ----- Method: ContextInterpreter>>duplicateTopBytecode (in category 'stack bytecodes') ----- - duplicateTopBytecode - - self fetchNextBytecode. - self internalPush: self internalStackTop. - ! Item was removed: - ----- Method: ContextInterpreter>>extendedPushBytecode (in category 'stack bytecodes') ----- - extendedPushBytecode - - | descriptor variableType variableIndex | - descriptor := self fetchByte. - self fetchNextBytecode. - variableType := (descriptor >> 6) bitAnd: 16r3. - variableIndex := descriptor bitAnd: 16r3F. - variableType=0 ifTrue: [^self pushReceiverVariable: variableIndex]. - variableType=1 ifTrue: [^self pushTemporaryVariable: variableIndex]. - variableType=2 ifTrue: [^self pushLiteralConstant: variableIndex]. - variableType=3 ifTrue: [^self pushLiteralVariable: variableIndex]. - ! Item was removed: - ----- Method: ContextInterpreter>>fetchByte (in category 'interpreter shell') ----- - fetchByte - "This method uses the preIncrement builtin function which has no Smalltalk equivalent. Thus, it must be overridden in the simulator." - - ^ objectMemory byteAtPointer: localIP preIncrement! Item was removed: - ----- Method: ContextInterpreter>>fullDisplayUpdate (in category 'I/O primitive support') ----- - fullDisplayUpdate - "Repaint the entire smalltalk screen, ignoring the affected rectangle. Used in some platform's code when the Smalltalk window is brought to the front or uncovered." - - | displayObj w h | - displayObj := objectMemory splObj: TheDisplay. - ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]) ifTrue: [ - w := self fetchInteger: 1 ofObject: displayObj. - h := self fetchInteger: 2 ofObject: displayObj. - self displayBitsOf: displayObj Left: 0 Top: 0 Right: w Bottom: h. - self ioForceDisplayUpdate]. - ! Item was removed: - ----- Method: ContextInterpreter>>getCurrentBytecode (in category 'interpreter shell') ----- - getCurrentBytecode - "currentBytecode will be private to the main dispatch loop in the generated code. This method allows the currentBytecode to be retrieved from global variables." - - ^ objectMemory byteAt: instructionPointer! Item was removed: - ----- Method: ContextInterpreter>>interpreterAllocationReserveBytes (in category 'stack interpreter support') ----- - interpreterAllocationReserveBytes - "Extra allocation space in the object memory required by StackInterpreter" - ^ 0 - ! Item was removed: - ----- Method: ContextInterpreter>>isMarriedOrWidowedContext: (in category 'stack interpreter support') ----- - isMarriedOrWidowedContext: aContext - ^false! Item was removed: - ----- Method: ContextInterpreter>>jump: (in category 'jump bytecodes') ----- - jump: offset - - localIP := localIP + offset + 1. - currentBytecode := objectMemory byteAtPointer: localIP. - ! Item was removed: - ----- Method: ContextInterpreter>>loadBitBltFrom: (in category 'bitblt support') ----- - loadBitBltFrom: bb - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=loadBitBltFrom - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'loadBitBltFrom' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(sqInt))fn)(bb)'! Item was removed: - ----- Method: ContextInterpreter>>longJumpIfFalse (in category 'jump bytecodes') ----- - longJumpIfFalse - - self jumplfFalseBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was removed: - ----- Method: ContextInterpreter>>longJumpIfTrue (in category 'jump bytecodes') ----- - longJumpIfTrue - - self jumplfTrueBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was removed: - ----- Method: ContextInterpreter>>markAndTraceAndMaybeFreeStackPages: (in category 'stack interpreter support') ----- - markAndTraceAndMaybeFreeStackPages: fullGCFlag - "This is a no-op in Interpreter" - ! Item was removed: - ----- Method: ContextInterpreter>>markAndTraceOrFreeMachineCode: (in category 'stack interpreter support') ----- - markAndTraceOrFreeMachineCode: fullGCFlag - "This is a no-op in Interpreter" - ! Item was removed: - ----- Method: ContextInterpreter>>popStackBytecode (in category 'stack bytecodes') ----- - popStackBytecode - - self fetchNextBytecode. - self internalPop: 1. - ! Item was removed: - ----- Method: ContextInterpreter>>primitiveSetGCSemaphore (in category 'memory space primitives') ----- - primitiveSetGCSemaphore - "Primitive. Indicate the semaphore to be signalled for upon garbage collection" - | index | - <export: true> - index := self stackIntegerValue: 0. - self successful ifTrue:[ - objectMemory setGcSemaphoreIndex: index. - self pop: argumentCount. - ].! Item was removed: - ----- Method: ContextInterpreter>>pushConstantMinusOneBytecode (in category 'stack bytecodes') ----- - pushConstantMinusOneBytecode - - self fetchNextBytecode. - self internalPush: ConstMinusOne. - ! Item was removed: - ----- Method: ContextInterpreter>>pushConstantOneBytecode (in category 'stack bytecodes') ----- - pushConstantOneBytecode - - self fetchNextBytecode. - self internalPush: ConstOne. - ! Item was removed: - ----- Method: ContextInterpreter>>pushConstantTwoBytecode (in category 'stack bytecodes') ----- - pushConstantTwoBytecode - - self fetchNextBytecode. - self internalPush: ConstTwo. - ! Item was removed: - ----- Method: ContextInterpreter>>pushConstantZeroBytecode (in category 'stack bytecodes') ----- - pushConstantZeroBytecode - - self fetchNextBytecode. - self internalPush: ConstZero. - ! Item was removed: - ----- Method: ContextInterpreter>>pushFloat: (in category 'stack bytecodes') ----- - pushFloat: f - - <var: #f type: 'double '> - self push: (self floatObjectOf: f).! Item was removed: - ----- Method: ContextInterpreter>>pushLiteralConstant: (in category 'stack bytecodes') ----- - pushLiteralConstant: literalIndex - - self internalPush: (self literal: literalIndex).! Item was removed: - ----- Method: ContextInterpreter>>pushLiteralVariable: (in category 'stack bytecodes') ----- - pushLiteralVariable: literalIndex - - self internalPush: - (objectMemory fetchPointer: ValueIndex ofObject: (self literal: literalIndex)).! Item was removed: - ----- Method: ContextInterpreter>>pushRemoteTempLongBytecode (in category 'stack bytecodes') ----- - pushRemoteTempLongBytecode - | remoteTempIndex tempVectorIndex | - remoteTempIndex := self fetchByte. - tempVectorIndex := self fetchByte. - self fetchNextBytecode. - self pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was removed: - ----- Method: ContextInterpreter>>shortConditionalJump (in category 'jump bytecodes') ----- - shortConditionalJump - - self jumplfFalseBy: (currentBytecode bitAnd: 7) + 1.! Item was removed: - ----- Method: ContextInterpreter>>showDisplayBits:Left:Top:Right:Bottom: (in category 'I/O primitive support') ----- - showDisplayBits: aForm Left: l Top: t Right: r Bottom: b - "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." - deferDisplayUpdates ifTrue: [^ nil]. - self displayBitsOf: aForm Left: l Top: t Right: r Bottom: b! Item was removed: - ----- Method: ContextInterpreter>>specialSelector: (in category 'message sending') ----- - specialSelector: index - - ^ objectMemory fetchPointer: (index * 2) ofObject: (objectMemory splObj: SpecialSelectors)! Item was removed: - ----- Method: ContextInterpreter>>storeAndPopRemoteTempLongBytecode (in category 'stack bytecodes') ----- - storeAndPopRemoteTempLongBytecode - self storeRemoteTempLongBytecode. - self internalPop: 1! Item was removed: - ----- Method: ContextInterpreter>>storeRemoteTempLongBytecode (in category 'stack bytecodes') ----- - storeRemoteTempLongBytecode - | remoteTempIndex tempVectorIndex | - remoteTempIndex := self fetchByte. - tempVectorIndex := self fetchByte. - self fetchNextBytecode. - self storeRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was removed: - ----- Method: ContextInterpreter>>superclassOf: (in category 'message sending') ----- - superclassOf: classPointer - - ^ objectMemory fetchPointer: SuperclassIndex ofObject: classPointer! Item was changed: InterpreterPrimitives subclass: #Interpreter + instanceVariableNames: 'currentBytecode semaphoresUseBufferA semaphoresToSignalA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB extraVMMemory globalSessionID method instructionPointer stackPointer localIP localSP localReturnValue messageSelector currentByteCode primitiveFunctionPointer methodCache atCache lkupClass interruptPending savedWindowSize deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable jmpBuf jmpDepth suspendedCallbacks suspendedMethods' + classVariableNames: 'AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex SemaphoresToSignalSize' + poolDictionaries: 'VMMethodCacheConstants' - instanceVariableNames: 'semaphoresUseBufferA semaphoresToSignalA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB extraVMMemory globalSessionID' - classVariableNames: 'AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase MaxExternalPrimitiveTableSize MaxPrimitiveIndex SemaphoresToSignalSize' - poolDictionaries: '' category: 'VMMaker-Interpreter'! !Interpreter commentStamp: 'dtl 4/22/2016 22:14' 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. ContextInterpreter is the Squeak interpreter VM as originally implemented by Dan Ingalls. StackInterpreter is the stack mapped interpreter by Eliot Miranda, which provides the basis for later Cog and Spur VMs.! Item was changed: ----- Method: Interpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator + aCCodeGenerator + var: #interpreterProxy type: #'struct VirtualMachine*'. aCCodeGenerator var: 'semaphoresToSignalA' declareC: 'sqInt semaphoresToSignalA[' , (SemaphoresToSignalSize + 1) printString , ']'. aCCodeGenerator var: 'semaphoresToSignalB' declareC: 'sqInt semaphoresToSignalB[' , (SemaphoresToSignalSize + 1) printString , ']'. + self declareC: #(instructionPointer method) + as: #usqInt + in: aCCodeGenerator. + self declareC: #(stackPointer localIP localSP) + as: #'char *' + in: aCCodeGenerator. + aCCodeGenerator + var: #primitiveFunctionPointer + declareC: 'void (*primitiveFunctionPointer)()'. + aCCodeGenerator + var: #methodCache + declareC: 'long methodCache[MethodCacheSize + 1 /* ', (MethodCacheSize + 1) printString, ' */]'. + aCCodeGenerator + var: #atCache + declareC: 'sqInt atCache[AtCacheTotalSize + 1 /* ', (AtCacheTotalSize + 1) printString, ' */]'. + aCCodeGenerator + var: #showSurfaceFn + type: #'void *'. + aCCodeGenerator + var: #externalPrimitiveTable + declareC: 'void (*externalPrimitiveTable[' , (MaxExternalPrimitiveTableSize + 1) printString , '])(void)'. + aCCodeGenerator + var: #jmpBuf + declareC: 'jmp_buf jmpBuf[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. + aCCodeGenerator + var: #suspendedCallbacks + declareC: 'usqInt suspendedCallbacks[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. + aCCodeGenerator + var: #suspendedMethods + declareC: 'usqInt suspendedMethods[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. + + ! Item was changed: ----- Method: Interpreter class>>initialize (in category 'initialization') ----- initialize "Note: The external primitive table should actually be dynamically sized but for the sake of inferior platforms (e.g., Mac :-) who cannot allocate memory in any reasonable way, we keep it static (and cross our fingers...)" MaxExternalPrimitiveTableSize := 4096. "entries" + MaxJumpBuf := 32. "max. callback depth" self initializeCaches. SemaphoresToSignalSize := 500. ! Item was added: + ----- Method: Interpreter>>asciiOfCharacter: (in category 'indexing primitive support') ----- + asciiOfCharacter: characterObj "Returns an integer object" + + <inline: false> + self assertClassOf: characterObj is: (objectMemory splObj: ClassCharacter). + self successful + ifTrue: [^ objectMemory fetchPointer: CharacterValueIndex ofObject: characterObj] + ifFalse: [^ ConstZero] "in case some code needs an int"! Item was added: + ----- Method: Interpreter>>bytecodePrimAdd (in category 'common selector sends') ----- + bytecodePrimAdd + | rcvr arg result | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (self areIntegers: rcvr and: arg) + ifTrue: [result := (objectMemory integerValueOf: rcvr) + (objectMemory integerValueOf: arg). + (objectMemory isIntegerValue: result) ifTrue: + [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). + ^ self fetchNextBytecode "success"]] + ifFalse: [self initPrimCall. + self externalizeIPandSP. + self primitiveFloatAdd: rcvr toArg: arg. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode "success"]]. + + messageSelector := self specialSelector: 0. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimAtEnd (in category 'common selector sends') ----- + bytecodePrimAtEnd + messageSelector := self specialSelector: 21. + argumentCount := 0. + self normalSend.! Item was added: + ----- Method: Interpreter>>bytecodePrimBitAnd (in category 'common selector sends') ----- + bytecodePrimBitAnd + + self initPrimCall. + self externalizeIPandSP. + self primitiveBitAnd. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 14. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimBitOr (in category 'common selector sends') ----- + bytecodePrimBitOr + + self initPrimCall. + self externalizeIPandSP. + self primitiveBitOr. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 15. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimBitShift (in category 'common selector sends') ----- + bytecodePrimBitShift + + self initPrimCall. + self externalizeIPandSP. + self primitiveBitShift. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 12. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimDiv (in category 'common selector sends') ----- + bytecodePrimDiv + | quotient | + self initPrimCall. + quotient := self doPrimitiveDiv: (self internalStackValue: 1) by: (self internalStackValue: 0). + self successful ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: quotient). + ^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 13. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimDivide (in category 'common selector sends') ----- + bytecodePrimDivide + | rcvr arg result | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (self areIntegers: rcvr and: arg) + ifTrue: [rcvr := objectMemory integerValueOf: rcvr. + arg := objectMemory integerValueOf: arg. + (arg ~= 0 and: [rcvr \\ arg = 0]) + ifTrue: [result := rcvr // arg. + "generates C / operation" + (objectMemory isIntegerValue: result) + ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). + ^ self fetchNextBytecode"success"]]] + ifFalse: [self initPrimCall. + self externalizeIPandSP. + self primitiveFloatDivide: rcvr byArg: arg. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode"success"]]. + + messageSelector := self specialSelector: 9. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimDo (in category 'common selector sends') ----- + bytecodePrimDo + + messageSelector := self specialSelector: 27. + argumentCount := 1. + self normalSend. + ! Item was added: + ----- Method: Interpreter>>bytecodePrimEqual (in category 'common selector sends') ----- + bytecodePrimEqual + | rcvr arg aBool | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr = arg]. + + self initPrimCall. + aBool := self primitiveFloatEqual: rcvr toArg: arg. + self successful ifTrue: [^self booleanCheat: aBool]. + + messageSelector := self specialSelector: 6. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimEquivalent (in category 'common selector sends') ----- + bytecodePrimEquivalent + + | rcvr arg | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + self booleanCheat: rcvr = arg.! Item was added: + ----- Method: Interpreter>>bytecodePrimMakePoint (in category 'common selector sends') ----- + bytecodePrimMakePoint + + self initPrimCall. + self externalizeIPandSP. + self primitiveMakePoint. + self internalizeIPandSP. + self successful ifTrue: [^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 11. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimMod (in category 'common selector sends') ----- + bytecodePrimMod + | mod | + self initPrimCall. + mod := self doPrimitiveMod: (self internalStackValue: 1) by: (self internalStackValue: 0). + self successful ifTrue: + [self internalPop: 2 thenPush: (objectMemory integerObjectOf: mod). + ^ self fetchNextBytecode "success"]. + + messageSelector := self specialSelector: 10. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimNew (in category 'common selector sends') ----- + bytecodePrimNew + + messageSelector := self specialSelector: 28. + argumentCount := 0. + self normalSend. + ! Item was added: + ----- Method: Interpreter>>bytecodePrimNewWithArg (in category 'common selector sends') ----- + bytecodePrimNewWithArg + + messageSelector := self specialSelector: 29. + argumentCount := 1. + self normalSend. + ! Item was added: + ----- Method: Interpreter>>bytecodePrimNext (in category 'common selector sends') ----- + bytecodePrimNext + messageSelector := self specialSelector: 19. + argumentCount := 0. + self normalSend.! Item was added: + ----- Method: Interpreter>>bytecodePrimNextPut (in category 'common selector sends') ----- + bytecodePrimNextPut + messageSelector := self specialSelector: 20. + argumentCount := 1. + self normalSend.! Item was added: + ----- Method: Interpreter>>bytecodePrimNotEqual (in category 'common selector sends') ----- + bytecodePrimNotEqual + | rcvr arg aBool | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr ~= arg]. + + self initPrimCall. + aBool := self primitiveFloatEqual: rcvr toArg: arg. + self successful ifTrue: [^self booleanCheat: aBool not]. + + messageSelector := self specialSelector: 7. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>bytecodePrimSubtract (in category 'common selector sends') ----- + bytecodePrimSubtract + | rcvr arg result | + rcvr := self internalStackValue: 1. + arg := self internalStackValue: 0. + (self areIntegers: rcvr and: arg) + ifTrue: [result := (objectMemory integerValueOf: rcvr) - (objectMemory integerValueOf: arg). + (objectMemory isIntegerValue: result) ifTrue: + [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). + ^self fetchNextBytecode "success"]] + ifFalse: [self initPrimCall. + self externalizeIPandSP. + self primitiveFloatSubtract: rcvr fromArg: arg. + self internalizeIPandSP. + self successful ifTrue: [^self fetchNextBytecode "success"]]. + + messageSelector := self specialSelector: 1. + argumentCount := 1. + self normalSend! Item was added: + ----- Method: Interpreter>>characterForAscii: (in category 'indexing primitive support') ----- + characterForAscii: ascii "Arg must lie in range 0-255!!" + <inline: true> + ^ objectMemory fetchPointer: ascii ofObject: (objectMemory splObj: CharacterTable)! Item was added: + ----- Method: Interpreter>>checkBooleanResult: (in category 'arithmetic primitive support') ----- + checkBooleanResult: result + self successful + ifTrue: [self pushBool: result] + ifFalse: [self unPop: 2]! Item was added: + ----- Method: Interpreter>>compare31or32Bits:equal: (in category 'arithmetic primitive support') ----- + compare31or32Bits: obj1 equal: obj2 + "May set success to false" + + "First compare two ST integers..." + ((objectMemory isIntegerObject: obj1) + and: [objectMemory isIntegerObject: obj2]) + ifTrue: [^ obj1 = obj2]. + + "Now compare, assuming positive integers, but setting fail if not" + ^ (self positive32BitValueOf: obj1) = (self positive32BitValueOf: obj2)! Item was added: + ----- Method: Interpreter>>copyBits (in category 'bitblt support') ----- + copyBits + "This entry point needs to be implemented for the interpreter proxy. + Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBits + and call it. This entire mechanism should eventually go away and be + replaced with a dynamic lookup from BitBltPlugin itself but for backward + compatibility this stub is provided" + + | fn | + <var: #fn type: 'void *'> + fn := self ioLoadFunction: 'copyBits' From: 'BitBltPlugin'. + fn = 0 ifTrue: [^self primitiveFail]. + ^self cCode: '((sqInt (*)(void))fn)()'! Item was added: + ----- Method: Interpreter>>copyBitsFrom:to:at: (in category 'bitblt support') ----- + copyBitsFrom: x0 to: x1 at: y + "This entry point needs to be implemented for the interpreter proxy. + Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBitsFrom:to:at: + and call it. This entire mechanism should eventually go away and be + replaced with a dynamic lookup from BitBltPlugin itself but for backward + compatibility this stub is provided" + + | fn | + <var: #fn type: 'void *'> + fn := self ioLoadFunction: 'copyBitsFromtoat' From: 'BitBltPlugin'. + fn = 0 ifTrue: [^self primitiveFail]. + ^self cCode: '((sqInt (*)(sqInt, sqInt, sqInt))fn)(x0, x1, y)'! Item was added: + ----- Method: Interpreter>>displayBitsOf:Left:Top:Right:Bottom: (in category 'I/O primitives') ----- + displayBitsOf: aForm Left: l Top: t Right: r Bottom: b + "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." + + | displayObj dispBits w h dispBitsIndex d left right top bottom surfaceHandle | + displayObj := objectMemory splObj: TheDisplay. + aForm = displayObj ifFalse: [^ nil]. + self success: ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]). + self successful ifTrue: [ + dispBits := objectMemory fetchPointer: 0 ofObject: displayObj. + w := self fetchInteger: 1 ofObject: displayObj. + h := self fetchInteger: 2 ofObject: displayObj. + d := self fetchInteger: 3 ofObject: displayObj. + ]. + l < 0 ifTrue:[left := 0] ifFalse: [left := l]. + r > w ifTrue: [right := w] ifFalse: [right := r]. + t < 0 ifTrue: [top := 0] ifFalse: [top := t]. + b > h ifTrue: [bottom := h] ifFalse: [bottom := b]. + ((left <= right) and: [top <= bottom]) ifFalse: [^nil]. + self successful ifTrue: [ + (objectMemory isIntegerObject: dispBits) ifTrue: [ + surfaceHandle := objectMemory integerValueOf: dispBits. + showSurfaceFn = 0 ifTrue: [ + showSurfaceFn := self ioLoadFunction: 'ioShowSurface' From: 'SurfacePlugin'. + showSurfaceFn = 0 ifTrue: [^self success: false]]. + self cCode:'((sqInt (*)(sqInt, sqInt, sqInt, sqInt, sqInt))showSurfaceFn)(surfaceHandle, left, top, right-left, bottom-top)'. + ] ifFalse: [ + dispBitsIndex := dispBits + objectMemory baseHeaderSize. "index in memory byte array" + self cCode: 'ioShowDisplay(dispBitsIndex, w, h, d, left, right, top, bottom)' + inSmalltalk: [self showDisplayBits: dispBitsIndex + w: w h: h d: d + left: left right: right top: top bottom: bottom] + ]. + ].! Item was added: + ----- Method: Interpreter>>doPrimitiveDiv:by: (in category 'arithmetic primitive support') ----- + doPrimitiveDiv: rcvr by: arg + "Rounds negative results towards negative infinity, rather than zero." + | result posArg posRcvr integerRcvr integerArg | + (self areIntegers: rcvr and: arg) + ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. + integerArg := objectMemory integerValueOf: arg. + self success: integerArg ~= 0] + ifFalse: [self primitiveFail]. + self successful ifFalse: [^ 1 "fail"]. + + integerRcvr > 0 + ifTrue: [integerArg > 0 + ifTrue: [result := integerRcvr // integerArg] + ifFalse: ["round negative result toward negative infinity" + posArg := 0 - integerArg. + result := 0 - ((integerRcvr + (posArg - 1)) // posArg)]] + ifFalse: [posRcvr := 0 - integerRcvr. + integerArg > 0 + ifTrue: ["round negative result toward negative infinity" + result := 0 - ((posRcvr + (integerArg - 1)) // integerArg)] + ifFalse: [posArg := 0 - integerArg. + result := posRcvr // posArg]]. + self success: (objectMemory isIntegerValue: result). + ^ result! Item was added: + ----- Method: Interpreter>>doPrimitiveMod:by: (in category 'arithmetic primitive support') ----- + doPrimitiveMod: rcvr by: arg + | integerResult integerRcvr integerArg | + (self areIntegers: rcvr and: arg) + ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. + integerArg := objectMemory integerValueOf: arg. + self success: integerArg ~= 0] + ifFalse: [self primitiveFail]. + self successful ifFalse: [^ 1 "fail"]. + + integerResult := integerRcvr \\ integerArg. + + "ensure that the result has the same sign as the integerArg" + integerArg < 0 + ifTrue: [integerResult > 0 + ifTrue: [integerResult := integerResult + integerArg]] + ifFalse: [integerResult < 0 + ifTrue: [integerResult := integerResult + integerArg]]. + self success: (objectMemory isIntegerValue: integerResult). + ^ integerResult! Item was added: + ----- Method: Interpreter>>duplicateTopBytecode (in category 'stack bytecodes') ----- + duplicateTopBytecode + + self fetchNextBytecode. + self internalPush: self internalStackTop. + ! Item was added: + ----- Method: Interpreter>>extendedPushBytecode (in category 'stack bytecodes') ----- + extendedPushBytecode + + | descriptor variableType variableIndex | + descriptor := self fetchByte. + self fetchNextBytecode. + variableType := (descriptor >> 6) bitAnd: 16r3. + variableIndex := descriptor bitAnd: 16r3F. + variableType=0 ifTrue: [^self pushReceiverVariable: variableIndex]. + variableType=1 ifTrue: [^self pushTemporaryVariable: variableIndex]. + variableType=2 ifTrue: [^self pushLiteralConstant: variableIndex]. + variableType=3 ifTrue: [^self pushLiteralVariable: variableIndex]. + ! Item was added: + ----- Method: Interpreter>>fetchByte (in category 'interpreter shell') ----- + fetchByte + "This method uses the preIncrement builtin function which has no Smalltalk equivalent. Thus, it must be overridden in the simulator." + + ^objectMemory byteAtPointer: localIP preIncrement! Item was added: + ----- Method: Interpreter>>fullDisplayUpdate (in category 'I/O primitive support') ----- + fullDisplayUpdate + "Repaint the entire smalltalk screen, ignoring the affected rectangle. Used in some platform's code when the Smalltalk window is brought to the front or uncovered." + + | displayObj w h | + displayObj := objectMemory splObj: TheDisplay. + ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]) ifTrue: [ + w := self fetchInteger: 1 ofObject: displayObj. + h := self fetchInteger: 2 ofObject: displayObj. + self displayBitsOf: displayObj Left: 0 Top: 0 Right: w Bottom: h. + self ioForceDisplayUpdate]. + ^nil! Item was added: + ----- Method: Interpreter>>getCurrentBytecode (in category 'interpreter shell') ----- + getCurrentBytecode + "currentBytecode will be private to the main dispatch loop in the generated code. This method allows the currentBytecode to be retrieved from global variables." + + ^objectMemory byteAt: instructionPointer! Item was added: + ----- Method: Interpreter>>jump: (in category 'jump bytecodes') ----- + jump: offset + localIP := localIP + offset + 1. + currentBytecode := objectMemory byteAtPointer: localIP! Item was added: + ----- Method: Interpreter>>loadBitBltFrom: (in category 'bitblt support') ----- + loadBitBltFrom: bb + "This entry point needs to be implemented for the interpreter proxy. + Since BitBlt is now a plugin we need to look up BitBltPlugin:=loadBitBltFrom + and call it. This entire mechanism should eventually go away and be + replaced with a dynamic lookup from BitBltPlugin itself but for backward + compatibility this stub is provided" + | fn | + <var: #fn type: 'void *'> + fn := self ioLoadFunction: 'loadBitBltFrom' From: 'BitBltPlugin'. + fn = 0 ifTrue: [^self primitiveFail]. + ^self cCode: '((sqInt (*)(sqInt))fn)(bb)'! Item was added: + ----- Method: Interpreter>>longJumpIfFalse (in category 'jump bytecodes') ----- + longJumpIfFalse + + self jumplfFalseBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was added: + ----- Method: Interpreter>>longJumpIfTrue (in category 'jump bytecodes') ----- + longJumpIfTrue + + self jumplfTrueBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was added: + ----- Method: Interpreter>>popStackBytecode (in category 'stack bytecodes') ----- + popStackBytecode + + self fetchNextBytecode. + self internalPop: 1. + ! Item was added: + ----- Method: Interpreter>>primitiveSetGCSemaphore (in category 'memory space primitives') ----- + primitiveSetGCSemaphore + "Primitive. Indicate the semaphore to be signalled for upon garbage collection" + | index | + <export: true> + index := self stackIntegerValue: 0. + self successful ifTrue:[ + objectMemory setGcSemaphoreIndex: index. + self pop: argumentCount. + ].! Item was added: + ----- Method: Interpreter>>pushConstantMinusOneBytecode (in category 'stack bytecodes') ----- + pushConstantMinusOneBytecode + + self fetchNextBytecode. + self internalPush: ConstMinusOne. + ! Item was added: + ----- Method: Interpreter>>pushConstantOneBytecode (in category 'stack bytecodes') ----- + pushConstantOneBytecode + + self fetchNextBytecode. + self internalPush: ConstOne. + ! Item was added: + ----- Method: Interpreter>>pushConstantTwoBytecode (in category 'stack bytecodes') ----- + pushConstantTwoBytecode + + self fetchNextBytecode. + self internalPush: ConstTwo. + ! Item was added: + ----- Method: Interpreter>>pushConstantZeroBytecode (in category 'stack bytecodes') ----- + pushConstantZeroBytecode + + self fetchNextBytecode. + self internalPush: ConstZero. + ! Item was added: + ----- Method: Interpreter>>pushFloat: (in category 'stack bytecodes') ----- + pushFloat: f + + <var: #f type: #double> + self push: (self floatObjectOf: f).! Item was added: + ----- Method: Interpreter>>pushLiteralConstant: (in category 'stack bytecodes') ----- + pushLiteralConstant: literalIndex + + self internalPush: (self literal: literalIndex).! Item was added: + ----- Method: Interpreter>>pushLiteralVariable: (in category 'stack bytecodes') ----- + pushLiteralVariable: literalIndex + + self internalPush: + (objectMemory fetchPointer: ValueIndex ofObject: (self literal: literalIndex)).! Item was added: + ----- Method: Interpreter>>pushRemoteTempLongBytecode (in category 'stack bytecodes') ----- + pushRemoteTempLongBytecode + | remoteTempIndex tempVectorIndex | + remoteTempIndex := self fetchByte. + tempVectorIndex := self fetchByte. + self fetchNextBytecode. + self pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was added: + ----- Method: Interpreter>>shortConditionalJump (in category 'jump bytecodes') ----- + shortConditionalJump + + self jumplfFalseBy: (currentBytecode bitAnd: 7) + 1.! Item was added: + ----- Method: Interpreter>>showDisplayBits:Left:Top:Right:Bottom: (in category 'I/O primitive support') ----- + showDisplayBits: aForm Left: l Top: t Right: r Bottom: b + "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." + deferDisplayUpdates ifTrue: [^ nil]. + self displayBitsOf: aForm Left: l Top: t Right: r Bottom: b! Item was added: + ----- Method: Interpreter>>specialSelector: (in category 'message sending') ----- + specialSelector: index + + ^ objectMemory fetchPointer: (index * 2) ofObject: (objectMemory splObj: SpecialSelectors)! Item was added: + ----- Method: Interpreter>>storeAndPopRemoteTempLongBytecode (in category 'stack bytecodes') ----- + storeAndPopRemoteTempLongBytecode + self storeRemoteTempLongBytecode. + self internalPop: 1! Item was added: + ----- Method: Interpreter>>storeRemoteTempLongBytecode (in category 'stack bytecodes') ----- + storeRemoteTempLongBytecode + | remoteTempIndex tempVectorIndex | + remoteTempIndex := self fetchByte. + tempVectorIndex := self fetchByte. + self fetchNextBytecode. + self storeRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was added: + ----- Method: Interpreter>>superclassOf: (in category 'message sending') ----- + superclassOf: classPointer + + ^ objectMemory fetchPointer: SuperclassIndex ofObject: classPointer! Item was changed: Interpreter subclass: #StackInterpreter + instanceVariableNames: 'localFP stackLimit stackPage stackPages framePointer highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents imageHeaderFlags externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered tempOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex profileProcess nextProfileTick profileMethod profileSemaphore' + classVariableNames: 'BytecodeTable BytesPerWord COGMTVM COGVM CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex FailImbalancedPrimitives HeaderFlagBitPosition IMMUTABILITY MULTIPLEBYTECODESETS MaxQuickPrimitiveIndex MixinIndex NewspeakVM STACKVM VMBIGENDIAN' - instanceVariableNames: 'currentBytecode localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue primitiveFunctionPointer methodCache atCache lkupClass highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptPending savedWindowSize imageHeaderFlags deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered te mpOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex messageSelector profileProcess nextProfileTick profileMethod profileSemaphore' - classVariableNames: 'BytecodeTable BytesPerWord COGMTVM COGVM CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex FailImbalancedPrimitives HeaderFlagBitPosition IMMUTABILITY MULTIPLEBYTECODESETS MaxJumpBuf MaxQuickPrimitiveIndex MixinIndex NewspeakVM STACKVM VMBIGENDIAN' poolDictionaries: 'VMBasicConstants VMMethodCacheConstants VMObjectIndices VMSqueakV3BytecodeConstants VMSqueakV3ObjectRepresentationConstants VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter 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. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), 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. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse f rame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM 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 completely 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. 5. Moving to a 2 bit immediate tag and having immediate Characters is a good choice for Unicode and the JIT 6. If Eliot Miranda's 2 word header scheme is acceptable in terms of footprint (we estimate about a 10% increase in image size with about 35 reclaimed by better representation of CompiledMethod - loss of MethodProperties) then the in-line cache for the JIT is simplified, class access is faster and header access is the same in 32-bit and full 64-bit images.! Item was changed: ----- Method: StackInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator self class == thisContext methodClass ifFalse: [^self]. "Don't duplicate decls in subclasses" aCCodeGenerator addHeaderFile:'<stddef.h> /* for e.g. alloca */'; addHeaderFile:'<setjmp.h>'; addHeaderFile:'"vmCallback.h"'. self declareInterpreterVersionIn: aCCodeGenerator defaultName: 'Stack'. aCCodeGenerator - var: #interpreterProxy type: #'struct VirtualMachine*'. - aCCodeGenerator declareVar: #sendTrace type: 'volatile int'; declareVar: #byteCount type: 'unsigned long'. "These need to be pointers or unsigned." + self declareC: #(newMethod) - self declareC: #(instructionPointer method newMethod) as: #usqInt in: aCCodeGenerator. "These are all pointers; char * because Slang has no support for C pointer arithmetic." + self declareC: #(localFP framePointer stackLimit stackMemory) - self declareC: #(localIP localSP localFP stackPointer framePointer stackLimit stackMemory) as: #'char *' in: aCCodeGenerator. self declareC: #(stackPage overflowedPage) as: #'StackPage *' in: aCCodeGenerator. aCCodeGenerator removeVariable: 'stackPages'. "this is an implicit receiver in the translated code." - aCCodeGenerator - var: #methodCache - declareC: 'long methodCache[MethodCacheSize + 1 /* ', (MethodCacheSize + 1) printString, ' */]'. - aCCodeGenerator - var: #atCache - declareC: 'sqInt atCache[AtCacheTotalSize + 1 /* ', (AtCacheTotalSize + 1) printString, ' */]'. self primitiveTable do: [:symbolOrNot| (symbolOrNot isSymbol and: [symbolOrNot ~~ #primitiveFail]) ifTrue: [(aCCodeGenerator methodNamed: symbolOrNot) ifNotNilDo: [:tMethod| tMethod returnType: #void]]]. aCCodeGenerator - var: #primitiveFunctionPointer - declareC: 'void (*primitiveFunctionPointer)()'. - aCCodeGenerator var: #showSurfaceFn type: #'void *'. - aCCodeGenerator - var: #jmpBuf - declareC: 'jmp_buf jmpBuf[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. - aCCodeGenerator - var: #suspendedCallbacks - declareC: 'usqInt suspendedCallbacks[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. - aCCodeGenerator - var: #suspendedMethods - declareC: 'usqInt suspendedMethods[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. - aCCodeGenerator var: #interruptCheckChain declareC: 'void (*interruptCheckChain)(void) = 0'. aCCodeGenerator var: #breakSelector type: #'char *'; var: #breakSelectorLength declareC: 'sqInt breakSelectorLength = -1'. self declareC: #(nextPollUsecs nextWakeupUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs) as: #usqLong in: aCCodeGenerator. aCCodeGenerator var: #nextProfileTick type: #sqLong. aCCodeGenerator var: #primitiveTable declareC: 'void (*primitiveTable[' , (MaxPrimitiveIndex + 2) printString , '] )(void)= ' , self primitiveTableString. - aCCodeGenerator var: #externalPrimitiveTable declareC: 'void (*externalPrimitiveTable[' , (MaxExternalPrimitiveTableSize + 1) printString , '])(void)'. ! Item was changed: ----- Method: StackInterpreter class>>initializeMiscConstantsWith: (in category 'initialization') ----- initializeMiscConstantsWith: optionsDictionary super initializeMiscConstantsWith: optionsDictionary. STACKVM := true. NewspeakVM := optionsDictionary at: #NewspeakVM ifAbsent: [false]. "N.B. Not yet implemented!!!!" IMMUTABILITY := optionsDictionary at: #IMMUTABILITY ifAbsent: [false]. DumpStackOnLowSpace := 0. PrimitiveExternalCallIndex := 117. "Primitive index for #primitiveExternalCall" MillisecondClockMask := 16r1FFFFFFF. - MaxJumpBuf := 32. "max. callback depth" FailImbalancedPrimitives := true! Item was removed: - ----- Method: StackInterpreter>>asciiOfCharacter: (in category 'indexing primitive support') ----- - asciiOfCharacter: characterObj "Returns an integer object" - - <inline: false> - self assertClassOf: characterObj is: (objectMemory splObj: ClassCharacter). - self successful - ifTrue: [^ objectMemory fetchPointer: CharacterValueIndex ofObject: characterObj] - ifFalse: [^ ConstZero] "in case some code needs an int"! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimAdd (in category 'common selector sends') ----- - bytecodePrimAdd - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [result := (objectMemory integerValueOf: rcvr) + (objectMemory integerValueOf: arg). - (objectMemory isIntegerValue: result) ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^ self fetchNextBytecode "success"]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatAdd: rcvr toArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]]. - - messageSelector := self specialSelector: 0. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimAtEnd (in category 'common selector sends') ----- - bytecodePrimAtEnd - messageSelector := self specialSelector: 21. - argumentCount := 0. - self normalSend.! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimBitAnd (in category 'common selector sends') ----- - bytecodePrimBitAnd - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitAnd. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 14. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimBitOr (in category 'common selector sends') ----- - bytecodePrimBitOr - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitOr. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 15. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimBitShift (in category 'common selector sends') ----- - bytecodePrimBitShift - - self initPrimCall. - self externalizeIPandSP. - self primitiveBitShift. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 12. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimDiv (in category 'common selector sends') ----- - bytecodePrimDiv - | quotient | - self initPrimCall. - quotient := self doPrimitiveDiv: (self internalStackValue: 1) by: (self internalStackValue: 0). - self successful ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: quotient). - ^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 13. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimDivide (in category 'common selector sends') ----- - bytecodePrimDivide - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [rcvr := objectMemory integerValueOf: rcvr. - arg := objectMemory integerValueOf: arg. - (arg ~= 0 and: [rcvr \\ arg = 0]) - ifTrue: [result := rcvr // arg. - "generates C / operation" - (objectMemory isIntegerValue: result) - ifTrue: [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^ self fetchNextBytecode"success"]]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatDivide: rcvr byArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode"success"]]. - - messageSelector := self specialSelector: 9. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimDo (in category 'common selector sends') ----- - bytecodePrimDo - - messageSelector := self specialSelector: 27. - argumentCount := 1. - self normalSend. - ! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimEqual (in category 'common selector sends') ----- - bytecodePrimEqual - | rcvr arg aBool | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr = arg]. - - self initPrimCall. - aBool := self primitiveFloatEqual: rcvr toArg: arg. - self successful ifTrue: [^self booleanCheat: aBool]. - - messageSelector := self specialSelector: 6. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimEquivalent (in category 'common selector sends') ----- - bytecodePrimEquivalent - - | rcvr arg | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - self booleanCheat: rcvr = arg.! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimMakePoint (in category 'common selector sends') ----- - bytecodePrimMakePoint - - self initPrimCall. - self externalizeIPandSP. - self primitiveMakePoint. - self internalizeIPandSP. - self successful ifTrue: [^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 11. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimMod (in category 'common selector sends') ----- - bytecodePrimMod - | mod | - self initPrimCall. - mod := self doPrimitiveMod: (self internalStackValue: 1) by: (self internalStackValue: 0). - self successful ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: mod). - ^ self fetchNextBytecode "success"]. - - messageSelector := self specialSelector: 10. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimNew (in category 'common selector sends') ----- - bytecodePrimNew - - messageSelector := self specialSelector: 28. - argumentCount := 0. - self normalSend. - ! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimNewWithArg (in category 'common selector sends') ----- - bytecodePrimNewWithArg - - messageSelector := self specialSelector: 29. - argumentCount := 1. - self normalSend. - ! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimNext (in category 'common selector sends') ----- - bytecodePrimNext - messageSelector := self specialSelector: 19. - argumentCount := 0. - self normalSend.! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimNextPut (in category 'common selector sends') ----- - bytecodePrimNextPut - messageSelector := self specialSelector: 20. - argumentCount := 1. - self normalSend.! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimNotEqual (in category 'common selector sends') ----- - bytecodePrimNotEqual - | rcvr arg aBool | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) ifTrue: [^self booleanCheat: rcvr ~= arg]. - - self initPrimCall. - aBool := self primitiveFloatEqual: rcvr toArg: arg. - self successful ifTrue: [^self booleanCheat: aBool not]. - - messageSelector := self specialSelector: 7. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>bytecodePrimSubtract (in category 'common selector sends') ----- - bytecodePrimSubtract - | rcvr arg result | - rcvr := self internalStackValue: 1. - arg := self internalStackValue: 0. - (self areIntegers: rcvr and: arg) - ifTrue: [result := (objectMemory integerValueOf: rcvr) - (objectMemory integerValueOf: arg). - (objectMemory isIntegerValue: result) ifTrue: - [self internalPop: 2 thenPush: (objectMemory integerObjectOf: result). - ^self fetchNextBytecode "success"]] - ifFalse: [self initPrimCall. - self externalizeIPandSP. - self primitiveFloatSubtract: rcvr fromArg: arg. - self internalizeIPandSP. - self successful ifTrue: [^self fetchNextBytecode "success"]]. - - messageSelector := self specialSelector: 1. - argumentCount := 1. - self normalSend! Item was removed: - ----- Method: StackInterpreter>>characterForAscii: (in category 'indexing primitive support') ----- - characterForAscii: ascii "Arg must lie in range 0-255!!" - <inline: true> - ^ objectMemory fetchPointer: ascii ofObject: (objectMemory splObj: CharacterTable)! Item was removed: - ----- Method: StackInterpreter>>checkBooleanResult: (in category 'arithmetic primitive support') ----- - checkBooleanResult: result - self successful - ifTrue: [self pushBool: result] - ifFalse: [self unPop: 2]! Item was removed: - ----- Method: StackInterpreter>>compare31or32Bits:equal: (in category 'arithmetic primitive support') ----- - compare31or32Bits: obj1 equal: obj2 - "May set success to false" - - "First compare two ST integers..." - ((objectMemory isIntegerObject: obj1) - and: [objectMemory isIntegerObject: obj2]) - ifTrue: [^ obj1 = obj2]. - - "Now compare, assuming positive integers, but setting fail if not" - ^ (self positive32BitValueOf: obj1) = (self positive32BitValueOf: obj2)! Item was removed: - ----- Method: StackInterpreter>>copyBits (in category 'bitblt support') ----- - copyBits - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBits - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'copyBits' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(void))fn)()'! Item was removed: - ----- Method: StackInterpreter>>copyBitsFrom:to:at: (in category 'bitblt support') ----- - copyBitsFrom: x0 to: x1 at: y - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=copyBitsFrom:to:at: - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'copyBitsFromtoat' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(sqInt, sqInt, sqInt))fn)(x0, x1, y)'! Item was removed: - ----- Method: StackInterpreter>>displayBitsOf:Left:Top:Right:Bottom: (in category 'I/O primitives') ----- - displayBitsOf: aForm Left: l Top: t Right: r Bottom: b - "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." - - | displayObj dispBits w h dispBitsIndex d left right top bottom surfaceHandle | - displayObj := objectMemory splObj: TheDisplay. - aForm = displayObj ifFalse: [^ nil]. - self success: ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]). - self successful ifTrue: [ - dispBits := objectMemory fetchPointer: 0 ofObject: displayObj. - w := self fetchInteger: 1 ofObject: displayObj. - h := self fetchInteger: 2 ofObject: displayObj. - d := self fetchInteger: 3 ofObject: displayObj. - ]. - l < 0 ifTrue:[left := 0] ifFalse: [left := l]. - r > w ifTrue: [right := w] ifFalse: [right := r]. - t < 0 ifTrue: [top := 0] ifFalse: [top := t]. - b > h ifTrue: [bottom := h] ifFalse: [bottom := b]. - ((left <= right) and: [top <= bottom]) ifFalse: [^nil]. - self successful ifTrue: [ - (objectMemory isIntegerObject: dispBits) ifTrue: [ - surfaceHandle := objectMemory integerValueOf: dispBits. - showSurfaceFn = 0 ifTrue: [ - showSurfaceFn := self ioLoadFunction: 'ioShowSurface' From: 'SurfacePlugin'. - showSurfaceFn = 0 ifTrue: [^self success: false]]. - self cCode:'((sqInt (*)(sqInt, sqInt, sqInt, sqInt, sqInt))showSurfaceFn)(surfaceHandle, left, top, right-left, bottom-top)'. - ] ifFalse: [ - dispBitsIndex := dispBits + objectMemory baseHeaderSize. "index in memory byte array" - self cCode: 'ioShowDisplay(dispBitsIndex, w, h, d, left, right, top, bottom)' - inSmalltalk: [self showDisplayBits: dispBitsIndex - w: w h: h d: d - left: left right: right top: top bottom: bottom] - ]. - ]! Item was removed: - ----- Method: StackInterpreter>>doPrimitiveDiv:by: (in category 'arithmetic primitive support') ----- - doPrimitiveDiv: rcvr by: arg - "Rounds negative results towards negative infinity, rather than zero." - | result posArg posRcvr integerRcvr integerArg | - (self areIntegers: rcvr and: arg) - ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. - integerArg := objectMemory integerValueOf: arg. - self success: integerArg ~= 0] - ifFalse: [self primitiveFail]. - self successful ifFalse: [^ 1 "fail"]. - - integerRcvr > 0 - ifTrue: [integerArg > 0 - ifTrue: [result := integerRcvr // integerArg] - ifFalse: ["round negative result toward negative infinity" - posArg := 0 - integerArg. - result := 0 - ((integerRcvr + (posArg - 1)) // posArg)]] - ifFalse: [posRcvr := 0 - integerRcvr. - integerArg > 0 - ifTrue: ["round negative result toward negative infinity" - result := 0 - ((posRcvr + (integerArg - 1)) // integerArg)] - ifFalse: [posArg := 0 - integerArg. - result := posRcvr // posArg]]. - self success: (objectMemory isIntegerValue: result). - ^ result! Item was removed: - ----- Method: StackInterpreter>>doPrimitiveMod:by: (in category 'arithmetic primitive support') ----- - doPrimitiveMod: rcvr by: arg - | integerResult integerRcvr integerArg | - (self areIntegers: rcvr and: arg) - ifTrue: [integerRcvr := objectMemory integerValueOf: rcvr. - integerArg := objectMemory integerValueOf: arg. - self success: integerArg ~= 0] - ifFalse: [self primitiveFail]. - self successful ifFalse: [^ 1 "fail"]. - - integerResult := integerRcvr \\ integerArg. - - "ensure that the result has the same sign as the integerArg" - integerArg < 0 - ifTrue: [integerResult > 0 - ifTrue: [integerResult := integerResult + integerArg]] - ifFalse: [integerResult < 0 - ifTrue: [integerResult := integerResult + integerArg]]. - self success: (objectMemory isIntegerValue: integerResult). - ^ integerResult! Item was removed: - ----- Method: StackInterpreter>>duplicateTopBytecode (in category 'stack bytecodes') ----- - duplicateTopBytecode - - self fetchNextBytecode. - self internalPush: self internalStackTop. - ! Item was removed: - ----- Method: StackInterpreter>>extendedPushBytecode (in category 'stack bytecodes') ----- - extendedPushBytecode - - | descriptor variableType variableIndex | - descriptor := self fetchByte. - self fetchNextBytecode. - variableType := (descriptor >> 6) bitAnd: 16r3. - variableIndex := descriptor bitAnd: 16r3F. - variableType=0 ifTrue: [^self pushReceiverVariable: variableIndex]. - variableType=1 ifTrue: [^self pushTemporaryVariable: variableIndex]. - variableType=2 ifTrue: [^self pushLiteralConstant: variableIndex]. - variableType=3 ifTrue: [^self pushLiteralVariable: variableIndex]. - ! Item was removed: - ----- Method: StackInterpreter>>fetchByte (in category 'interpreter shell') ----- - fetchByte - "This method uses the preIncrement builtin function which has no Smalltalk equivalent. Thus, it must be overridden in the simulator." - - ^objectMemory byteAtPointer: localIP preIncrement! Item was removed: - ----- Method: StackInterpreter>>fullDisplayUpdate (in category 'I/O primitive support') ----- - fullDisplayUpdate - "Repaint the entire smalltalk screen, ignoring the affected rectangle. Used in some platform's code when the Smalltalk window is brought to the front or uncovered." - - | displayObj w h | - displayObj := objectMemory splObj: TheDisplay. - ((objectMemory isPointers: displayObj) and: [(objectMemory lengthOf: displayObj) >= 4]) ifTrue: [ - w := self fetchInteger: 1 ofObject: displayObj. - h := self fetchInteger: 2 ofObject: displayObj. - self displayBitsOf: displayObj Left: 0 Top: 0 Right: w Bottom: h. - self ioForceDisplayUpdate]. - ^nil! Item was removed: - ----- Method: StackInterpreter>>getCurrentBytecode (in category 'interpreter shell') ----- - getCurrentBytecode - "currentBytecode will be private to the main dispatch loop in the generated code. This method allows the currentBytecode to be retrieved from global variables." - - ^objectMemory byteAt: instructionPointer! Item was removed: - ----- Method: StackInterpreter>>jump: (in category 'jump bytecodes') ----- - jump: offset - localIP := localIP + offset + 1. - currentBytecode := objectMemory byteAtPointer: localIP! Item was removed: - ----- Method: StackInterpreter>>loadBitBltFrom: (in category 'bitblt support') ----- - loadBitBltFrom: bb - "This entry point needs to be implemented for the interpreter proxy. - Since BitBlt is now a plugin we need to look up BitBltPlugin:=loadBitBltFrom - and call it. This entire mechanism should eventually go away and be - replaced with a dynamic lookup from BitBltPlugin itself but for backward - compatibility this stub is provided" - | fn | - <var: #fn type: 'void *'> - fn := self ioLoadFunction: 'loadBitBltFrom' From: 'BitBltPlugin'. - fn = 0 ifTrue: [^self primitiveFail]. - ^self cCode: '((sqInt (*)(sqInt))fn)(bb)'! Item was removed: - ----- Method: StackInterpreter>>longJumpIfFalse (in category 'jump bytecodes') ----- - longJumpIfFalse - - self jumplfFalseBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was removed: - ----- Method: StackInterpreter>>longJumpIfTrue (in category 'jump bytecodes') ----- - longJumpIfTrue - - self jumplfTrueBy: ((currentBytecode bitAnd: 3) * 256) + self fetchByte.! Item was removed: - ----- Method: StackInterpreter>>popStackBytecode (in category 'stack bytecodes') ----- - popStackBytecode - - self fetchNextBytecode. - self internalPop: 1. - ! Item was removed: - ----- Method: StackInterpreter>>pushConstantMinusOneBytecode (in category 'stack bytecodes') ----- - pushConstantMinusOneBytecode - - self fetchNextBytecode. - self internalPush: ConstMinusOne. - ! Item was removed: - ----- Method: StackInterpreter>>pushConstantOneBytecode (in category 'stack bytecodes') ----- - pushConstantOneBytecode - - self fetchNextBytecode. - self internalPush: ConstOne. - ! Item was removed: - ----- Method: StackInterpreter>>pushConstantTwoBytecode (in category 'stack bytecodes') ----- - pushConstantTwoBytecode - - self fetchNextBytecode. - self internalPush: ConstTwo. - ! Item was removed: - ----- Method: StackInterpreter>>pushConstantZeroBytecode (in category 'stack bytecodes') ----- - pushConstantZeroBytecode - - self fetchNextBytecode. - self internalPush: ConstZero. - ! Item was removed: - ----- Method: StackInterpreter>>pushFloat: (in category 'stack bytecodes') ----- - pushFloat: f - - <var: #f type: #double> - self push: (self floatObjectOf: f).! Item was removed: - ----- Method: StackInterpreter>>pushLiteralConstant: (in category 'stack bytecodes') ----- - pushLiteralConstant: literalIndex - - self internalPush: (self literal: literalIndex).! Item was removed: - ----- Method: StackInterpreter>>pushLiteralVariable: (in category 'stack bytecodes') ----- - pushLiteralVariable: literalIndex - - self internalPush: - (objectMemory fetchPointer: ValueIndex ofObject: (self literal: literalIndex)).! Item was removed: - ----- Method: StackInterpreter>>pushRemoteTempLongBytecode (in category 'stack bytecodes') ----- - pushRemoteTempLongBytecode - | remoteTempIndex tempVectorIndex | - remoteTempIndex := self fetchByte. - tempVectorIndex := self fetchByte. - self fetchNextBytecode. - self pushRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was removed: - ----- Method: StackInterpreter>>shortConditionalJump (in category 'jump bytecodes') ----- - shortConditionalJump - - self jumplfFalseBy: (currentBytecode bitAnd: 7) + 1.! Item was removed: - ----- Method: StackInterpreter>>showDisplayBits:Left:Top:Right:Bottom: (in category 'I/O primitive support') ----- - showDisplayBits: aForm Left: l Top: t Right: r Bottom: b - "Repaint the portion of the Smalltalk screen bounded by the affected rectangle. Used to synchronize the screen after a Bitblt to the Smalltalk Display object." - deferDisplayUpdates ifTrue: [^ nil]. - self displayBitsOf: aForm Left: l Top: t Right: r Bottom: b! Item was removed: - ----- Method: StackInterpreter>>specialSelector: (in category 'message sending') ----- - specialSelector: index - - ^ objectMemory fetchPointer: (index * 2) ofObject: (objectMemory splObj: SpecialSelectors)! Item was removed: - ----- Method: StackInterpreter>>storeAndPopRemoteTempLongBytecode (in category 'stack bytecodes') ----- - storeAndPopRemoteTempLongBytecode - self storeRemoteTempLongBytecode. - self internalPop: 1! Item was removed: - ----- Method: StackInterpreter>>storeRemoteTempLongBytecode (in category 'stack bytecodes') ----- - storeRemoteTempLongBytecode - | remoteTempIndex tempVectorIndex | - remoteTempIndex := self fetchByte. - tempVectorIndex := self fetchByte. - self fetchNextBytecode. - self storeRemoteTemp: remoteTempIndex inVectorAt: tempVectorIndex! Item was removed: - ----- Method: StackInterpreter>>superclassOf: (in category 'message sending') ----- - superclassOf: classPointer - <inline: true> - ^objectMemory fetchPointer: SuperclassIndex ofObject: classPointer! Item was removed: - ----- Method: StackInterpreterPrimitives>>primitiveSetGCSemaphore (in category 'memory space primitives') ----- - primitiveSetGCSemaphore - "Primitive. Indicate the semaphore to be signalled for upon garbage collection" - | index | - <export: true> - index := self stackIntegerValue: 0. - self successful ifTrue:[ - objectMemory setGcSemaphoreIndex: index. - self pop: argumentCount. - ]! Item was changed: ----- Method: VMMaker class>>versionString (in category 'version testing') ----- versionString "VMMaker versionString" + ^'4.19.5'! - ^'4.19.4'!

1 0

VM Maker: VMMaker-dtl.421.mcz
by commits＠source.squeak.org 31 Dec '20

31 Dec '20

David T. Lewis uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-dtl.421.mcz ==================== Summary ==================== Name: VMMaker-dtl.421 Author: dtl Time: 30 December 2020, 7:24:34.889 pm UUID: 4859ee92-e4d3-4a0a-9dc0-bc2a845ff019 Ancestors: VMMaker-dtl.420 VMMaker 4.19.4 The global session identifier must be updated when the intepreter resumes into a new image via primitiveResumeFromSnapshot. Refactoring - move duplicated variables and methods from StackInterpreter and ContextInterpreter up to Interpreter. =============== Diff against VMMaker-dtl.420 =============== Item was changed: Interpreter subclass: #ContextInterpreter + instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector currentBytecode primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptPending savedWindowSize deferDisplayUpdates pendingFinalizationSignals compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interpreterProxy showSurfaceFn interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTableDefaults jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods imageFormatInitialVersion allowAccessBeyondSP' - instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector currentBytecode primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptPending savedWindowSize deferDisplayUpdates pendingFinalizationSignals compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interpreterProxy showSurfaceFn interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable primitiveTableDefaults globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods imageFormatInitialVersion allowAccessBeyondSP' classVariableNames: 'BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize DirBadPath DirEntryFound DirNoMoreEntries DoBalanceChecks HomeIndex InitialIPIndex MaxJumpBuf MessageDictionaryIndex MethodCacheNative TempFrameStart' poolDictionaries: 'VMMethodCacheConstants VMSqueakV3BytecodeConstants' category: 'VMMaker-Interpreter'! !ContextInterpreter 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 removed: - ----- Method: ContextInterpreter>>getThisSessionID (in category 'plugin support') ----- - getThisSessionID - "return the global session ID value" - <inline: false> - ^globalSessionID! Item was changed: ----- Method: ContextInterpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." self initializeInterpreter. interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. objectMemory initializeObjectMemory: bytesToShift. self initCompilerHooks. activeContext := objectMemory getNilObj. theHomeContext := objectMemory getNilObj. method := objectMemory getNilObj. receiver := objectMemory getNilObj. messageSelector := objectMemory getNilObj. newMethod := objectMemory getNilObj. methodClass := objectMemory getNilObj. lkupClass := objectMemory getNilObj. receiverClass := objectMemory getNilObj. newNativeMethod := objectMemory getNilObj. self flushMethodCache. self loadInitialContext. self initialCleanup. interruptCheckCounter := 0. interruptCheckCounterFeedBackReset := 1000. interruptChecksEveryNms := 1. nextPollTick := 0. nextWakeupTick := 0. lastTick := 0. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" interruptPending := false. deferDisplayUpdates := false. pendingFinalizationSignals := 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" ! Item was changed: ----- Method: ContextInterpreter>>snapshotResume:heapSize:swapBytes:oldBaseAddr:specialObjectsOop:lastHash:savedWindowSize:fullScreenFlag:extraVMMemory: (in category 'snapshot utility primitives') ----- snapshotResume: byteArrayOrBitmap heapSize: desiredHeapSize swapBytes: swapBytes oldBaseAddr: oldBaseAddr specialObjectsOop: specialObjects lastHash: hashValue savedWindowSize: windowSize fullScreenFlag: fullScreen extraVMMemory: extraMemory "Arrange for the interpreter to resume execution from a snapshot of saved memory and interpreter state. The current object memory and interpreter state is discarded, and the interpreter resumes execution at the point of the supplied image snapshot." | dataSize sourceBytes mem | <returnTypeC: 'usqInt'> <var: #desiredHeapSize type: 'usqInt'> <var: #dataSize type: 'size_t '> <var: #sourceBytes type: 'char *'> <var: #mem type: 'char *'> "Notes - The parameters windowSize, fullScreen and extraMemory are currently not used when resuming the VM in a new image. The display size and fullscreen mode are probably best set from the image by calling primitiveSetDisplayMode prior to primitiveResumeFromSnapshot. The extraMemory parameter is ignored here because we are simply copying the new object memory over a previously allocated heap space." dataSize := objectMemory byteSizeOf: byteArrayOrBitmap. sourceBytes := objectMemory firstIndexableField: byteArrayOrBitmap. objectMemory setSpecialObjectsOop: specialObjects. objectMemory setLastHash: hashValue. "Copy object memory into allocated space" objectMemory setMemoryLimits: dataSize heapSize: desiredHeapSize. mem := objectMemory pointerForOop: objectMemory getMemory. self mem: mem cp: sourceBytes y: dataSize. self swapBytesAndPrepareToInterpret: swapBytes oldBaseAddr: oldBaseAddr. + self initializeSessionID. self interpret. "Resume interpreter execution in the snapshot." ! Item was changed: InterpreterPrimitives subclass: #Interpreter + instanceVariableNames: 'semaphoresUseBufferA semaphoresToSignalA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB extraVMMemory globalSessionID' - instanceVariableNames: 'semaphoresUseBufferA semaphoresToSignalA semaphoresToSignalCountA semaphoresToSignalB semaphoresToSignalCountB extraVMMemory' classVariableNames: 'AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase MaxExternalPrimitiveTableSize MaxPrimitiveIndex SemaphoresToSignalSize' poolDictionaries: '' category: 'VMMaker-Interpreter'! !Interpreter commentStamp: 'dtl 4/22/2016 22:14' 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. ContextInterpreter is the Squeak interpreter VM as originally implemented by Dan Ingalls. StackInterpreter is the stack mapped interpreter by Eliot Miranda, which provides the basis for later Cog and Spur VMs.! Item was added: + ----- Method: Interpreter>>getThisSessionID (in category 'plugin support') ----- + getThisSessionID + "return the global session ID value" + <inline: false> + ^globalSessionID! Item was changed: ----- Method: Interpreter>>initializeInterpreter (in category 'initialization') ----- initializeInterpreter semaphoresUseBufferA := true. semaphoresToSignalCountA := 0. semaphoresToSignalCountB := 0. + self initializeSessionID. ! Item was added: + ----- Method: Interpreter>>initializeSessionID (in category 'initialization') ----- + initializeSessionID + globalSessionID := 0. + [globalSessionID = 0] + whileTrue: [globalSessionID := self + cCode: 'time(NULL) + ioMSecs()' + inSmalltalk: [(Random new next * SmallInteger maxVal) asInteger]]. + ! Item was changed: Interpreter subclass: #StackInterpreter + instanceVariableNames: 'currentBytecode localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue primitiveFunctionPointer methodCache atCache lkupClass highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptPending savedWindowSize imageHeaderFlags deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered te mpOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex messageSelector profileProcess nextProfileTick profileMethod profileSemaphore' - instanceVariableNames: 'currentBytecode localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue primitiveFunctionPointer methodCache atCache lkupClass highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptPending savedWindowSize imageHeaderFlags deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSign alUndelivered tempOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex messageSelector profileProcess nextProfileTick profileMethod profileSemaphore' classVariableNames: 'BytecodeTable BytesPerWord COGMTVM COGVM CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex FailImbalancedPrimitives HeaderFlagBitPosition IMMUTABILITY MULTIPLEBYTECODESETS MaxJumpBuf MaxQuickPrimitiveIndex MixinIndex NewspeakVM STACKVM VMBIGENDIAN' poolDictionaries: 'VMBasicConstants VMMethodCacheConstants VMObjectIndices VMSqueakV3BytecodeConstants VMSqueakV3ObjectRepresentationConstants VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter 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. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), 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. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse f rame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM 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 completely 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. 5. Moving to a 2 bit immediate tag and having immediate Characters is a good choice for Unicode and the JIT 6. If Eliot Miranda's 2 word header scheme is acceptable in terms of footprint (we estimate about a 10% increase in image size with about 35 reclaimed by better representation of CompiledMethod - loss of MethodProperties) then the in-line cache for the JIT is simplified, class access is faster and header access is the same in 32-bit and full 64-bit images.! Item was removed: - ----- Method: StackInterpreter>>getThisSessionID (in category 'plugin support') ----- - getThisSessionID - "return the global session ID value" - <inline: false> - ^globalSessionID! Item was changed: ----- Method: StackInterpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." self initializeInterpreter. interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. objectMemory initializeObjectMemory: bytesToShift. self checkAssumedCompactClasses. primFailCode := 0. self initializeExtraClassInstVarIndices. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := 0. extraFramesToMoveOnOverflow := 0. self setMethod: objectMemory nilObject. messageSelector := objectMemory nilObject. newMethod := objectMemory nilObject. lkupClass := objectMemory nilObject. self flushMethodCache. self flushAtCache. self initialCleanup. highestRunnableProcessPriority := 0. nextProfileTick := 0. profileSemaphore := objectMemory nilObject. profileProcess := objectMemory nilObject. profileMethod := objectMemory nilObject. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := 0. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" interruptPending := false. inIOProcessEvents := 0. 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. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. statForceInterruptCheck := 0. statStackOverflow := 0. statCheckForEvents := 0. statProcessSwitch := 0. statIOProcessEvents := 0. statStackPageDivorce := 0! Item was changed: ----- Method: VMMaker class>>versionString (in category 'version testing') ----- versionString "VMMaker versionString" + ^'4.19.4'! - ^'4.19.3'!

1 0

Re: [Vm-dev] Vm-dev Digest, Vol 174, Issue 28
by ken.dickey＠whidbey.com 31 Dec '20

31 Dec '20

On 2020-12-31 04:19, vm-dev-request(a)lists.squeakfoundation.org wrote: > 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. Re: [OpenSmalltalk/opensmalltalk-vm] Trouble running OSVM in > an Ubuntu 20/aarch64 docker (raspi) (#544) (tim Rowledge) > 2. Re: [OpenSmalltalk/opensmalltalk-vm] Trouble running OSVM in > an Ubuntu 20/aarch64 docker (raspi) (#544) (Christoph Thiede) > 3. Re: [OpenSmalltalk/opensmalltalk-vm] Trouble running OSVM in > an Ubuntu 20/aarch64 docker (raspi) (#544) (tim Rowledge) > 4. VM Maker: VMMaker.oscog-nice.2914.mcz (commits(a)source.squeak.org) > 5. VM Maker: Cog-nice.429.mcz (commits(a)source.squeak.org) > 6. Re: [OpenSmalltalk/opensmalltalk-vm] Trouble running OSVM in > an Ubuntu 20/aarch64 docker (raspi) (#544) (Christoph Thiede) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 30 Dec 2020 16:52:24 -0800 > From: tim Rowledge <tim(a)rowledge.org> > To: OpenSmalltalk/opensmalltalk-vm > <reply+AIJPEW2V4MQ6XPZSKYQEKSF57EAEDEVBNHHC4SDYLA(a)reply.github.com>, > Squeak Virtual Machine Development Discussion > <vm-dev(a)lists.squeakfoundation.org> > Cc: OpenSmalltalk/opensmalltalk-vm > <opensmalltalk-vm(a)noreply.github.com> > Subject: Re: [Vm-dev] [OpenSmalltalk/opensmalltalk-vm] Trouble running > OSVM in an Ubuntu 20/aarch64 docker (raspi) (#544) > Message-ID: <64A3F2D4-3989-4F08-BBAF-B3CAB0998BF9(a)rowledge.org> > Content-Type: text/plain; charset=us-ascii > > > >> On 2020-12-30, at 4:45 PM, Christoph Thiede <notifications(a)github.com> >> wrote: >> >> >> Thanks for the help, Tim! >> >> Why on earth would you do that? >> >> I didn't want to pollute my raspi with that compilation stuff ... >> However, now I did it (also thanks to the help by Bruce) and succeeded >> to compile! > > > But all the compiler/tools stuff is already there. Remember, this is a > full development workstation with more power than we fantasised about > not so long ago. > >> >> Next problem: >> >> root@96fa02af4449:/# /bin/squeak/squeak >> /image/Squeak6.0alpha-20135-64bit.image -headless >> mprotect(x,y,PROT_READ | PROT_EXEC): Permission denied >> Segmentation fault (core dumped) > > install libevdev seems to fix it. > > tim > -- > tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim > Useful random insult:- Teflon brain -- nothing sticks. > > > > > ------------------------------ > > Message: 2 > Date: Wed, 30 Dec 2020 17:00:00 -0800 > From: Christoph Thiede <notifications(a)github.com> > To: OpenSmalltalk/opensmalltalk-vm > <opensmalltalk-vm(a)noreply.github.com> > Cc: Comment <comment(a)noreply.github.com>, OpenSmalltalk-Bot > <vm-dev(a)lists.squeakfoundation.org> > Subject: Re: [Vm-dev] [OpenSmalltalk/opensmalltalk-vm] Trouble running > OSVM in an Ubuntu 20/aarch64 docker (raspi) (#544) > Message-ID: > <OpenSmalltalk/opensmalltalk-vm/issues/544/752805876(a)github.com> > Content-Type: text/plain; charset="utf-8" > >> But all the compiler/tools stuff is already there. Remember, this is a >> full development workstation with more power than we fantasised about >> not so long ago. > > True :D > >> install libevdev seems to fix it. > > Which one are you referring to? > > ``` > root@96fa02af4449:/# apt search libevdev > Sorting... Done > Full Text Search... Done > libevdev-dev/focal-updates 1.9.0+dfsg-1ubuntu0.1 arm64 > wrapper library for evdev devices - development files > > libevdev-doc/focal-updates 1.9.0+dfsg-1ubuntu0.1 all > wrapper library for evdev devices - development docs > > libevdev-tools/focal-updates 1.9.0+dfsg-1ubuntu0.1 arm64 > wrapper library for evdev devices - tools > > libevdev2/focal-updates 1.9.0+dfsg-1ubuntu0.1 arm64 > wrapper library for evdev devices > ``` > > -- > You are receiving this because you commented. > Reply to this email directly or view it on GitHub: > https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/544#issuecomment-7… >

1 0

VM Maker: Cog-nice.429.mcz
by commits＠source.squeak.org 31 Dec '20

31 Dec '20

Nicolas Cellier uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-nice.429.mcz ==================== Summary ==================== Name: Cog-nice.429 Author: nice Time: 31 December 2020, 10:08:44.719565 am UUID: 3b588f4d-7263-43c7-87b9-e3f1d9a7bd85 Ancestors: Cog-eem.428 Enable using a WordArray or other RawBitsArray species as simulation memory. This implies using byteSize at a few places. =============== Diff against Cog-eem.428 =============== Item was changed: ----- Method: CogProcessorAlien>>singleStepIn: (in category 'execution') ----- singleStepIn: aMemory | result | + result := self primitiveSingleStepInMemory: aMemory minimumAddress: 0 readOnlyBelow: aMemory byteSize. - result := self primitiveSingleStepInMemory: aMemory minimumAddress: 0 readOnlyBelow: aMemory size. result ~~ self ifTrue: [self error: 'eek!!']! Item was changed: ----- Method: MIPSSimulator>>initializeWithMemory: (in category 'as yet unclassified') ----- + initializeWithMemory: aRawBitsArray + memory := aRawBitsArray. - initializeWithMemory: aByteArray - memory := aByteArray. readableBase := 0. writableBase := 0. executableBase := 0. + readableLimit := memory byteSize. + writableLimit := memory byteSize. + executableLimit := memory byteSize.! - readableLimit := memory size. - writableLimit := memory size. - executableLimit := memory size.!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev December 2020