Vm-dev June 2022

vm-dev@lists.squeakfoundation.org

16 participants
87 discussions

Re: [Vm-dev] Cuis on RV64 FrameBuffer
by ken.dickey＠whidbey.com 23 Jun '22

23 Jun '22

On 2022-06-23 01:16, Hilaire Fernandes wrote: > Great, > > * an opensource hardware architecture > * a Linux kernel, no X-window > * a console web browser > * Cuis with more Dr. Geo alike applications > * a case with two folding e-ink screens and electronic pen > > That will be a nice start for an open source dynabook ;-) I have used Alpine Linux (Busybox; musl rather than libc; very light-weight) with Cuis and NetSurf browser on LePotato (46 bit arm) without X. Not official, but I have heard of a port of Alpine Linux to RISCV. I think of this as using a "shim OS" -- just enough to avoid writing device drivers. We might think of dusting off the Scamper code and (re)doing the web browser in Cuis. Life is short, but much fun to be had! :) -KenD

3 2

Cuis on RV64 FrameBuffer
by ken.dickey＠whidbey.com 23 Jun '22

23 Jun '22

Hilaire, You asked about Cuis on RISCV frameBuffer. Yes! It works! (see pic attached). Not bad for a $25 developer board. Note that you must have installed libevdev-dev for the mvm script to build vm-display-fbdev. FYI, -KenD

2 2

Fw: Re: [OpenSmalltalk/opensmalltalk-vm] Memory leak (Issue #642)
by Bruce O'Neel 22 Jun '22

22 Jun '22

Sorry I probably should not have replied to a GitHub issue... ---------- Forwarded message --------- From: Bruce O'Neel <bruce.oneel(a)pckswarms.ch> Date: 2022-06-22T18:07:39.000+02:00 Subject: Re: [OpenSmalltalk/opensmalltalk-vm] Memory leak (Issue #642) To: OpenSmalltalk/opensmalltalk-vm <reply+ACEXJIVOM5EH4N5HQBCYKFWAX7TKTEVBNHHEYEGEAU(a)reply.github.com> Cc: Marcel Taeumel <notifications(a)github.com>, OpenSmalltalk/opensmalltalk-vm <opensmalltalk-vm(a)noreply.github.com>, Subscribed <subscribed(a)noreply.github.com> Hi all, So I can trigger it so I'll try to bisect it. cheers bruce Squeak6.0beta latest update: #22053 platform sources revision VM: 202206181934 XXX@YYY/opensmalltalk-vm Date: Sat Jun 18 12:34:41 2022 CommitHash: 27657fe6a Plugins: 202206181934 XXX@YYY:tmp/opensmalltalk-vm CoInterpreter VMMaker.oscog-eem.3188 uuid: 010bab73-d814-4c05-b0f1-f2da78c1568f Jun 20 2022 StackToRegisterMappingCogit VMMaker.oscog-eem.3188 uuid: 010bab73-d814-4c05-b0f1-f2da78c1568f Jun 20 2022 Ubuntu 22.04 - x86-64, does it, see below Raspberry PI ARMv8 64 bit based on Debian 11.3, ie, April 4 2022, does not. Raspberry PI ARMv7 32 bit based on Debian 11.3, ie, April 4 2022 does not. Of course this one is the 32 bit VM and the 32 bit image but the identical image/vm combo as above. Ubuntu 18.04 ARMv8 64 bit does it, also see below. ========================== Ubuntu 22.04 - x86-64. $ while true; do ps -C squeak -o rss; sleep 5; done RSS 71668 RSS 71928 RSS 72984 RSS 73248 RSS 73248 RSS 73512 RSS 73776 RSS 73776 RSS 74040 RSS 74040 RSS 74304 RSS 74304 RSS 74568 RSS 74568 RSS 74832 RSS 75096 RSS 75096 RSS 75360 RSS 75360 RSS 75624 RSS 75624 RSS 75888 RSS 76152 RSS 76152 ===================================== Ubuntu 18.04, ARMv8 64 bit 76764 RSS 76764 RSS 77028 RSS 77292 RSS 77292 RSS 77556 RSS 77556 RSS 77820 RSS 77820 RSS 78084 RSS 78348 RSS 78348 RSS 78612 RSS 78612 RSS 78876 RSS 78876 RSS 79140 RSS 79404 RSS 79404 RSS 79668 RSS 79668 RSS 79932 RSS 79932 RSS 80196 RSS 80460 On 2022-06-22T08:18:17.000+02:00, Marcel Taeumel <notifications(a)github.com> wrote: > I cannot reproduce this issue on > > OS: Win32 10.0 X64 > VM: 202206021410 (c9fd365) > SQ: Squeak6.0beta #22056 (64 bit) > > — > Reply to this email directly, view it on GitHub > [https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/642#issuecomment-1…], > or unsubscribe > [https://github.com/notifications/unsubscribe-auth/ACEXJISYDDVRRBJHGY6M6XTVQ…]. > You are receiving this because you are subscribed to this > thread.Message ID: > <OpenSmalltalk/opensmalltalk-vm/issues/642/1162690028(a)github.com>

1 1

[OpenSmalltalk/opensmalltalk-vm] e908c9: CogVM source as per VMMaker.oscog-eem.3198
by Eliot Miranda 22 Jun '22

22 Jun '22

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: e908c9c2242e6f2755cba1689165902665239e2f https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e908c9c2242e6f2755… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2022-06-21 (Tue, 21 Jun 2022) Changed paths: M src/spur32.cog/cogit.h M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/cointerpmt.h M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cogit.h M src/spur32.sista/cointerp.c M src/spur32.sista/cointerp.h M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur32.stack/validImage.c M src/spur64.cog/cogit.h M src/spur64.cog/cointerp.c M src/spur64.cog/cointerp.h M src/spur64.cog/cointerpmt.c M src/spur64.cog/cointerpmt.h M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cogit.h M src/spur64.sista/cointerp.c M src/spur64.sista/cointerp.h M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/spur64.stack/validImage.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3198 Implement the missing Spur32BitMemoryManager>>instantiateUninitializedClass:indexableSize:. Nuke an unused temp in the 64-bit dual. No need to support instantiating pointer classes with zero indexable fields here.

1 0

VM Maker: VMMaker.oscog-eem.3198.mcz
by commits＠source.squeak.org 22 Jun '22

22 Jun '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3198.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3198 Author: eem Time: 21 June 2022, 4:56:02.230689 pm UUID: 10ccdad4-5851-42c4-9d31-841e6eafc085 Ancestors: VMMaker.oscog-eem.3197 Implement the missing Spur32BitMemoryManager>>instantiateUninitializedClass:indexableSize:. Nuke an unused temp in the 64-bit dual. No need to support instantiating pointer classes with zero indexable fields here. =============== Diff against VMMaker.oscog-eem.3197 =============== Item was added: + ----- Method: Spur32BitMemoryManager>>instantiateUninitializedClass:indexableSize: (in category 'instantiation') ----- + instantiateUninitializedClass: classObj indexableSize: nElements + <api> + <var: #nElements type: #usqInt> + "Allocate an instance of a variable class, excepting CompiledMethod." + | instSpec classFormat numSlots classIndex newObj | + classFormat := self formatOfClass: classObj. + instSpec := self instSpecOfClassFormat: classFormat. + classIndex := self rawHashBitsOf: classObj. + self assert: (self isPureBitsFormat: instSpec). + instSpec caseOf: { + [self sixtyFourBitIndexableFormat] -> + [nElements > (self maxSlotsForAlloc / 2) ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + numSlots := nElements * 2]. + [self firstLongFormat] -> + [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. + numSlots := nElements]. + [self firstShortFormat] -> + [numSlots := nElements + 1 // 2. + instSpec := instSpec + (nElements bitAnd: 1)]. + [self firstByteFormat] -> + [numSlots := nElements + 3 // 4. + instSpec := instSpec + (4 - nElements bitAnd: 3)] } + otherwise: "not bits indexable" + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. + classIndex = 0 ifTrue: + [classIndex := self ensureBehaviorHash: classObj. + classIndex < 0 ifTrue: + [coInterpreter primitiveFailFor: classIndex negated. + ^nil]]. + numSlots > self maxSlotsForNewSpaceAlloc + ifTrue: + [numSlots > self maxSlotsForAlloc ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] + ifFalse: + [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. + ^newObj! Item was changed: ----- Method: Spur64BitMemoryManager>>instantiateUninitializedClass:indexableSize: (in category 'instantiation') ----- instantiateUninitializedClass: classObj indexableSize: nElements <api> <var: #nElements type: #usqInt> "Allocate an instance of a variable class, excepting CompiledMethod." + | instSpec classFormat numSlots classIndex newObj | - | instSpec classFormat numSlots classIndex newObj fillValue | classFormat := self formatOfClass: classObj. instSpec := self instSpecOfClassFormat: classFormat. classIndex := self rawHashBitsOf: classObj. - fillValue := 0. self assert: (self isPureBitsFormat: instSpec). instSpec caseOf: { [self sixtyFourBitIndexableFormat] -> [numSlots := nElements]. [self firstLongFormat] -> [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: [coInterpreter primitiveFailFor: PrimErrBadReceiver. ^nil]. numSlots := nElements + 1 // 2. instSpec := instSpec + (nElements bitAnd: 1)]. [self firstShortFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)]. [self firstByteFormat] -> [numSlots := nElements + 7 // 8. instSpec := instSpec + (8 - nElements bitAnd: 7)] } + otherwise: "not bits indexable" + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. - otherwise: "non-indexable" - ["Some Squeak images include funky fixed subclasses of abstract variable - superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. - The (Threaded)FFIPlugin expects to be able to instantiate ExternalData via - this method. - Hence allow fixed classes to be instantiated here iff nElements = 0." - (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: - [^nil]. - numSlots := self fixedFieldsOfClassFormat: classFormat. - fillValue := nilObj]. classIndex = 0 ifTrue: [classIndex := self ensureBehaviorHash: classObj. classIndex < 0 ifTrue: [coInterpreter primitiveFailFor: classIndex negated. ^nil]]. numSlots > self maxSlotsForNewSpaceAlloc ifTrue: [numSlots > self maxSlotsForAlloc ifTrue: [coInterpreter primitiveFailFor: PrimErrUnsupported. ^nil]. newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] ifFalse: [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. ^newObj!

1 0

[OpenSmalltalk/opensmalltalk-vm] cb310e: CogVM source as per VMMaker.oscog-eem.3197
by Eliot Miranda 21 Jun '22

21 Jun '22

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: cb310e4f463c68c97cb755e8eb1b1979264618e5 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/cb310e4f463c68c97c… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2022-06-21 (Tue, 21 Jun 2022) Changed paths: M src/plugins/FileDialogPlugin/FileDialogPlugin.c M src/plugins/VMProfileMacSupportPlugin/VMProfileMacSupportPlugin.c M src/spur32.cog.lowcode/cogit.h M src/spur32.cog.lowcode/cogitARMv5.c M src/spur32.cog.lowcode/cogitIA32.c M src/spur32.cog.lowcode/cointerp.c M src/spur32.cog.lowcode/cointerp.h M src/spur32.cog.lowcode/gcc3x-cointerp.c M src/spur32.cog/cogit.h M src/spur32.cog/cogitARMv5.c M src/spur32.cog/cogitIA32.c M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/cointerpmt.h M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cogit.h M src/spur32.sista/cogitARMv5.c M src/spur32.sista/cogitIA32.c M src/spur32.sista/cointerp.c M src/spur32.sista/cointerp.h M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack.lowcode/gcc3x-interp.c M src/spur32.stack.lowcode/interp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur32.stack/validImage.c M src/spur64.cog.lowcode/cogit.h M src/spur64.cog.lowcode/cogitARMv8.c M src/spur64.cog.lowcode/cogitX64SysV.c M src/spur64.cog.lowcode/cogitX64WIN64.c M src/spur64.cog.lowcode/cointerp.c M src/spur64.cog.lowcode/cointerp.h M src/spur64.cog.lowcode/gcc3x-cointerp.c M src/spur64.cog/cogit.h M src/spur64.cog/cogitARMv8.c M src/spur64.cog/cogitX64SysV.c M src/spur64.cog/cogitX64WIN64.c M src/spur64.cog/cointerp.c M src/spur64.cog/cointerp.h M src/spur64.cog/cointerpmt.c M src/spur64.cog/cointerpmt.h M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cogit.h M src/spur64.sista/cogitARMv8.c M src/spur64.sista/cogitX64SysV.c M src/spur64.sista/cogitX64WIN64.c M src/spur64.sista/cointerp.c M src/spur64.sista/cointerp.h M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack.lowcode/gcc3x-interp.c M src/spur64.stack.lowcode/interp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/spur64.stack/validImage.c M src/v3.cog/cogit.h M src/v3.cog/cogitARMv5.c M src/v3.cog/cogitIA32.c M src/v3.cog/cointerp.c M src/v3.cog/cointerp.h M src/v3.cog/gcc3x-cointerp.c M src/v3.stack/gcc3x-interp.c M src/v3.stack/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3197 adding pinning primitives (instantiate a pinned object in old space avoiding the overhead of allocating it in new space + become) adding uninitialized new primitives for 64 bits Spur (including lifting the single header word limitation in the jit) fix the mac profile plugin for 64 bit arm [Thnaks Tom Braun!!] Reassign primitive numbers for the new instantiation primitives: 580: pinned new 581: pinned new with arg 582: uninitialized new with arg Add the upscaleDisplayIfHighDPI flag to the VM. This is true by default. It is controlled by bit 8 of the Persistent image header flags, accessed via vmParameterAt: 48 [put:...]. This flag is present to enable new VMs to allow the image to do its own scaling while keeping on scaling older images unaware of the option.

2 1

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

21 Jun '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3197.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3197 Author: eem Time: 21 June 2022, 1:07:53.905438 pm UUID: c5f845c2-b1f7-41fc-acd1-9d3054673e01 Ancestors: VMMaker.oscog-eem.3196 Reassign primitive numbers for the new instantiation primitives: 580: pinned new 581: pinned new with arg (I'll implement this now) 582: uninitialized new with arg (583 reserved for pinned uninitialized new with arg) Add the 32-bit implementation for primitivePinnedNewWithArg. Use consistent naming [Pinned|Uninitialized]New[WithArg]. (InOldSpace is redendant so drop it) =============== Diff against VMMaker.oscog-eem.3196 =============== Item was removed: - ----- Method: InterpreterPrimitives>>primitiveNewPinnedInOldSpace (in category 'object access primitives') ----- - primitiveNewPinnedInOldSpace - NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." - [(argumentCount < 1 - or: [self objCouldBeClassObj: self stackTop]) ifFalse: - [^self primitiveFailFor: PrimErrBadArgument]]. - objectMemory hasSpurMemoryManagerAPI - ifTrue: - ["Allocate a new fixed-size instance. Fail if the allocation would leave - less than lowSpaceThreshold bytes free. This *will not* cause a GC :-)" - (objectMemory instantiateClass: self stackTop) - ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] - ifNil: [self primitiveFailFor: ((objectMemory isFixedSizePointerFormat: (objectMemory instSpecOfClass: self stackTop)) - ifTrue: [PrimErrNoMemory] - ifFalse: [PrimErrBadReceiver])]] - ifFalse: - ["Allocate a new fixed-size instance. Fail if the allocation would leave - less than lowSpaceThreshold bytes free. May cause a GC." - | spaceOkay | - "The following may cause GC!! Use var for result to permit inlining." - spaceOkay := objectMemory - sufficientSpaceToInstantiate: self stackTop - indexableSize: 0. - spaceOkay - ifTrue: - [self - pop: argumentCount + 1 - thenPush: (objectMemory - instantiateClass: self stackTop - indexableSize: 0)] - ifFalse: [self primitiveFailFor: PrimErrNoMemory]]! Item was removed: - ----- Method: InterpreterPrimitives>>primitiveNewWithArgUninitialized (in category 'object access primitives') ----- - primitiveNewWithArgUninitialized - "Allocate a new indexable instance. Fail if the allocation would leave less than lowSpaceThreshold bytes free. May cause a GC." - | size spaceOkay instSpec | - NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." - [(argumentCount < 2 - or: [self addressCouldBeClassObj: (self stackValue: 1)]) ifFalse: - [^self primitiveFailFor: PrimErrBadArgument]]. - size := self positiveMachineIntegerValueOf: self stackTop. - self successful ifFalse:"positiveMachineIntegerValueOf: succeeds only for non-negative integers." - [^self primitiveFailFor: PrimErrBadArgument]. - objectMemory hasSpurMemoryManagerAPI - ifTrue: - [(objectMemory instantiateUninitializedClass: (self stackValue: 1) indexableSize: size) - ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] - ifNil: [instSpec := objectMemory instSpecOfClass: (self stackValue: 1). - self primitiveFailFor: (((objectMemory isIndexableFormat: instSpec) - and: [(objectMemory isCompiledMethodFormat: instSpec) not]) - ifTrue: [PrimErrNoMemory] - ifFalse: [PrimErrBadReceiver])]] - ifFalse: - [spaceOkay := objectMemory sufficientSpaceToInstantiate: (self stackValue: 1) indexableSize: size. - spaceOkay - ifTrue: - [self - pop: argumentCount + 1 - thenPush: (objectMemory instantiateClass: (self stackValue: 1) indexableSize: size)] - ifFalse: - [self primitiveFailFor: PrimErrNoMemory]]! Item was added: + ----- Method: InterpreterPrimitives>>primitivePinnedNew (in category 'object access primitives') ----- + primitivePinnedNew + NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." + [(argumentCount < 1 + or: [self objCouldBeClassObj: self stackTop]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: + ["Allocate a new fixed-size instance. Fail if the allocation would leave + less than lowSpaceThreshold bytes free. This *will not* cause a GC :-)" + (objectMemory inOldSpaceInstantiatePinnedClass: self stackTop) + ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] + ifNil: [self primitiveFailFor: ((objectMemory isFixedSizePointerFormat: (objectMemory instSpecOfClass: self stackTop)) + ifTrue: [PrimErrNoMemory] + ifFalse: [PrimErrBadReceiver])]] + ifFalse: + [self primitiveFailFor: PrimErrUnsupported]! Item was added: + ----- Method: InterpreterPrimitives>>primitivePinnedNewWithArg (in category 'object access primitives') ----- + primitivePinnedNewWithArg + "Allocate a new pinned indexable instance. Fail if the allocation would leave less than lowSpaceThreshold bytes free." + | size instSpec | + NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." + [(argumentCount < 2 + or: [self addressCouldBeClassObj: (self stackValue: 1)]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]]. + size := self positiveMachineIntegerValueOf: self stackTop. + self successful ifFalse:"positiveMachineIntegerValueOf: succeeds only for non-negative integers." + [^self primitiveFailFor: PrimErrBadArgument]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: + [(objectMemory inOldSpaceInstantiatePinnedClass: (self stackValue: 1) indexableSize: size) + ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] + ifNil: [instSpec := objectMemory instSpecOfClass: (self stackValue: 1). + self primitiveFailFor: (((objectMemory isIndexableFormat: instSpec) + and: [(objectMemory isCompiledMethodFormat: instSpec) not]) + ifTrue: [PrimErrNoMemory] + ifFalse: [PrimErrBadReceiver])]] + ifFalse: + [self primitiveFailFor: PrimErrUnsupported]! Item was added: + ----- Method: InterpreterPrimitives>>primitiveUninitializedNewWithArg (in category 'object access primitives') ----- + primitiveUninitializedNewWithArg + "Allocate a new indexable instance. Fail if the allocation would leave less than lowSpaceThreshold bytes free. May cause a GC." + | size instSpec | + NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." + [(argumentCount < 2 + or: [self addressCouldBeClassObj: (self stackValue: 1)]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]]. + size := self positiveMachineIntegerValueOf: self stackTop. + self successful ifFalse:"positiveMachineIntegerValueOf: succeeds only for non-negative integers." + [^self primitiveFailFor: PrimErrBadArgument]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: + [(objectMemory instantiateUninitializedClass: (self stackValue: 1) indexableSize: size) + ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] + ifNil: [instSpec := objectMemory instSpecOfClass: (self stackValue: 1). + self primitiveFailFor: (((objectMemory isIndexableFormat: instSpec) + and: [(objectMemory isCompiledMethodFormat: instSpec) not]) + ifTrue: [PrimErrNoMemory] + ifFalse: [PrimErrBadReceiver])]] + ifFalse: + [self primitiveFailFor: PrimErrUnsupported]! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueak (in category 'class initialization') ----- initializePrimitiveTableForSqueak "Initialize the table of primitive generators. This does not include normal primitives implemented in the coInterpreter. N.B. primitives that don't have an explicit arg count (the integer following the generator) may be variadic." "SimpleStackBasedCogit initializePrimitiveTableForSqueak" + MaxCompiledPrimitiveIndex := 582. - MaxCompiledPrimitiveIndex := self objectRepresentationClass wordSize = 8 - ifTrue: [580] - ifFalse: [580]. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) (2 genPrimitiveSubtract 1) (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) (7 genPrimitiveEqual 1) (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1) (10 genPrimitiveDivide 1) (11 genPrimitiveMod 1) (12 genPrimitiveDiv 1) (13 genPrimitiveQuo 1) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) (17 genPrimitiveBitShift 1) (18 genPrimitiveMakePoint 1) "this is here mainly to remove noise from printPrimTraceLog()" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 genPrimitiveFloatAt)" "(39 genPrimitiveFloatAtPut)" (40 genPrimitiveAsFloat 0) (41 genPrimitiveFloatAdd 1) (42 genPrimitiveFloatSubtract 1) (43 genPrimitiveFloatLessThan 1) (44 genPrimitiveFloatGreaterThan 1) (45 genPrimitiveFloatLessOrEqual 1) (46 genPrimitiveFloatGreaterOrEqual 1) (47 genPrimitiveFloatEqual 1) (48 genPrimitiveFloatNotEqual 1) (49 genPrimitiveFloatMultiply 1) (50 genPrimitiveFloatDivide 1) "(51 genPrimitiveTruncated)" "(52 genPrimitiveFractionalPart)" "(53 genPrimitiveExponent)" "(54 genPrimitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0) "(56 genPrimitiveSine)" "(57 genPrimitiveArctan)" "(58 genPrimitiveLogN)" "(59 genPrimitiveExp)" "Subscript and Stream Primitives (60-67)" (60 genPrimitiveAt 1) (61 genPrimitiveAtPut 2) (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) (64 genPrimitiveStringAtPut 2) "The stream primitives no longer pay their way; normal Smalltalk code is faster." (65 genFastPrimFail)"was primitiveNext" (66 genFastPrimFail) "was primitiveNextPut" (67 genFastPrimFail) "was primitiveAtEnd" "StorageManagement Primitives (68-79)" (68 genPrimitiveObjectAt 1) "Good for debugger/InstructionStream performance" "(69 primitiveObjectAtPut)" (70 genPrimitiveNew 0) (71 genPrimitiveNewWithArg 1) "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" (79 genPrimitiveNewMethod 2) "Control Primitives (80-89)" "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" "(81 primitiveFail)" "Blue Book: primitiveValue" "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" (83 genPrimitivePerform) "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "(90 primitiveMousePoint)" "(91 primitiveTestDisplayDepth)" "Blue Book: primitiveCursorLocPut" "(92 primitiveSetDisplayMode)" "Blue Book: primitiveCursorLink" "(93 primitiveInputSemaphore)" "(94 primitiveGetNextEvent)" "Blue Book: primitiveSampleInterval" "(95 primitiveInputWord)" "(96 primitiveFail)" "primitiveCopyBits" "(97 primitiveSnapshot)" "(98 primitiveStoreImageSegment)" "(99 primitiveLoadImageSegment)" "(100 primitivePerformInSuperclass)" "Blue Book: primitiveSignalAtTick" "(101 primitiveBeCursor)" "(102 primitiveBeDisplay)" "(103 primitiveScanCharacters)" "(104 primitiveFail)" "primitiveDrawLoop" (105 genPrimitiveStringReplace) "(106 primitiveScreenSize)" "(107 primitiveMouseButtons)" "(108 primitiveKbdNext)" "(109 primitiveKbdPeek)" "System Primitives (110-119)" (110 genPrimitiveIdentical 1) (111 genPrimitiveClass) "Support both class and Context>>objectClass:" "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" (148 genPrimitiveShallowCopy 0) "a.k.a. clone" (158 genPrimitiveStringCompareWith 1) (159 genPrimitiveHashMultiply 0) (165 genPrimitiveIntegerAt 1) "Signed version of genPrimitiveAt" (166 genPrimitiveIntegerAtPut 2) "Signed version of genPrimitiveAtPut" (169 genPrimitiveNotIdentical 1) (170 genPrimitiveAsCharacter) "SmallInteger>>asCharacter, Character class>>value:" (171 genPrimitiveImmediateAsInteger 0) "Character>>asInteger/hash/identityHash, SmallFloat64>>identityHash" (173 genPrimitiveSlotAt 1) "Good for micro-benchmark performance, and for reducing noise in Croquet primitive trace logs" (174 genPrimitiveSlotAtPut 2) "ditto" (175 genPrimitiveIdentityHash 0) "Behavior>>identityHash" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives" "(200 primitiveClosureCopyWithCopiedValues)" (201 genPrimitiveClosureValue 0) "value" (202 genPrimitiveClosureValue 1) "value:" (203 genPrimitiveClosureValue 2) "value:value:" (204 genPrimitiveClosureValue 3) "value:value:value:" (205 genPrimitiveClosureValue 4) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" (207 genPrimitiveFullClosureValue) "value[:value:value:value:] et al" "(208 genPrimitiveFullClosureValueWithArgs)" "valueWithArguments:" (209 genPrimitiveFullClosureValue) "valueNoContextSwitch[:value:] et al" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" "SmallFloat primitives (540-559)" (541 genPrimitiveSmallFloatAdd 1) (542 genPrimitiveSmallFloatSubtract 1) (543 genPrimitiveSmallFloatLessThan 1) (544 genPrimitiveSmallFloatGreaterThan 1) (545 genPrimitiveSmallFloatLessOrEqual 1) (546 genPrimitiveSmallFloatGreaterOrEqual 1) (547 genPrimitiveSmallFloatEqual 1) (548 genPrimitiveSmallFloatNotEqual 1) (549 genPrimitiveSmallFloatMultiply 1) (550 genPrimitiveSmallFloatDivide 1) "(551 genPrimitiveSmallFloatTruncated 0)" "(552 genPrimitiveSmallFloatFractionalPart 0)" "(553 genPrimitiveSmallFloatExponent 0)" "(554 genPrimitiveSmallFloatTimesTwoPower 1)" (555 genPrimitiveSmallFloatSquareRoot 0) "(556 genPrimitiveSmallFloatSine 0)" "(557 genPrimitiveSmallFloatArctan 0)" "(558 genPrimitiveSmallFloatLogN 0)" "(559 genPrimitiveSmallFloatExp 0)" + + "(568 primitiveSuspendBackingUpV1) 0)" + + (575 genPrimitiveHighBit 0) + + "(578 primitiveSuspendBackingUpV2 0)" + + "(580 primitivePinnedNewInOldSpace 0)" + "(581 primitivePinnedNewWithArgInOldSpace 1)" + (582 genPrimitiveUninitializedNewWithArg 1) + "reserved for (583 primitivePinnedUninitializedNewWithArgInOldSpace 1)" - (575 genPrimitiveHighBit 0) - (580 genPrimitiveUninitializedNewWithArg 1) )! Item was added: + ----- Method: Spur32BitMemoryManager>>inOldSpaceInstantiatePinnedClass:indexableSize: (in category 'instantiation') ----- + inOldSpaceInstantiatePinnedClass: classObj indexableSize: nElements + <api> + <var: #nElements type: #usqInt> + "Allocate an instance of a variable class, excepting CompiledMethod." + | instSpec classFormat numSlots classIndex newObj fillValue | + classFormat := self formatOfClass: classObj. + instSpec := self instSpecOfClassFormat: classFormat. + classIndex := self rawHashBitsOf: classObj. + fillValue := 0. + instSpec caseOf: { + [self arrayFormat] -> + [numSlots := nElements. + fillValue := nilObj]. + [self indexablePointersFormat] -> + [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. + fillValue := nilObj]. + [self weakArrayFormat] -> + [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. + fillValue := nilObj]. + [self sixtyFourBitIndexableFormat] -> + [nElements > (self maxSlotsForAlloc / 2) ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + numSlots := nElements * 2]. + [self firstLongFormat] -> + [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. + numSlots := nElements]. + [self firstShortFormat] -> + [numSlots := nElements + 1 // 2. + instSpec := instSpec + (nElements bitAnd: 1)]. + [self firstByteFormat] -> + [numSlots := nElements + 3 // 4. + instSpec := instSpec + (4 - nElements bitAnd: 3)] } + otherwise: "non-indexable" + ["Some Squeak images include funky fixed subclasses of abstract variable + superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. + The (Threaded)FFIPlugin expects to be able to instantiate ExternalData via + this method. + Hence allow fixed classes to be instantiated here iff nElements = 0." + (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: + [^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + fillValue := nilObj]. + classIndex = 0 ifTrue: + [classIndex := self ensureBehaviorHash: classObj. + classIndex < 0 ifTrue: + [coInterpreter primitiveFailFor: classIndex negated. + ^nil]]. + numSlots > self maxSlotsForAlloc ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + newObj := self + allocateSlotsForPinningInOldSpace: numSlots + bytes: (self objectBytesForSlots: numSlots) + format: instSpec + classIndex: classIndex. + newObj ifNotNil: + [self fillObj: newObj numSlots: numSlots with: fillValue]. + ^newObj! Item was changed: ----- Method: SpurMemoryManager>>maxSlotsForNewSpaceAlloc (in category 'instantiation') ----- maxSlotsForNewSpaceAlloc "Almost entirely arbitrary, but we dont want 1Mb bitmaps allocated in eden. But this choice means no check for numSlots > maxSlotsForNewSpaceAlloc for non-variable allocations." + <api> ^self fixedFieldsOfClassFormatMask! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated)

1 0

VM Maker: VMMaker.oscog-WoC.3195.mcz
by commits＠source.squeak.org 21 Jun '22

21 Jun '22

Tom Braun uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-WoC.3195.mcz ==================== Summary ==================== Name: VMMaker.oscog-WoC.3195 Author: WoC Time: 21 June 2022, 7:15:36.142009 pm UUID: 2e2c7dd0-3800-4463-ae4f-a62c68245333 Ancestors: VMMaker.oscog-eem.3194 adding pinning primitives (instantiate a pinned object in old space avoiding the overhead of allocating it in new space + become) adding uninitialized new primitives for 64 bits Spur (including lifting the single header word limitation in the jit) fix printing of CogAbstractInstruction fixed comments in 64 bit Spur newWithArg jit attempt to fix the mac profile plugin for 64 bit arm =============== Diff against VMMaker.oscog-eem.3194 =============== Item was added: + ----- Method: CogAbstractInstruction class>>registerMaskFor:and:and:and:and:and:and:and:and:and:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12 + ^Cogit basicNew registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12! Item was added: + ----- Method: CogAbstractInstruction class>>registerMaskFor:and:and:and:and:and:and:and:and:and:and:and:and:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12 and: reg13 and: reg14 and: reg15 + ^Cogit basicNew registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12 and: reg13 and: reg14 and: reg15! Item was changed: ----- Method: CogAbstractInstruction>>printStateOn: (in category 'printing') ----- printStateOn: aStream | opcodeName orneryOperands format | <doNotGenerate> "Smalltalk-side only" opcode ifNil: [^self]. aStream space; nextPut: $(; nextPutAll: (opcodeName := self class nameForOpcode: opcode). orneryOperands := operands isCObjectAccessor ifTrue: [operands object] ifFalse: [operands]. format := ((CogRTLOpcodes classPool includesKey: opcodeName) ifTrue: [CogRTLOpcodes] ifFalse: [self class]) printFormatForOpcodeName: opcodeName. + (format ifNil: [orneryOperands] ifNotNil: [orneryOperands first: (format size min: orneryOperands size)]) withIndexDo: - (format ifNil: [orneryOperands] ifNotNil: [orneryOperands first: format size]) withIndexDo: [:operand :index| operand ifNotNil: [aStream space. index >= (orneryOperands identityIndexOf: nil ifAbsent: [orneryOperands size + 1]) ifTrue: [aStream print: index - 1; nextPut: $:]. (format notNil and: ['rf' includes: (format at: index ifAbsent: $-)]) ifTrue: [aStream nextPutAll: ((format at: index) = $r ifTrue: [self nameForRegister: operand] ifFalse: [self nameForFPRegister: operand])] ifFalse: [| operandNameOrNil | operandNameOrNil := operand isInteger ifTrue: [(cogit coInterpreter lookupAddress: operand) ifNil: [objectMemory lookupAddress: operand]]. operandNameOrNil ifNotNil: [aStream nextPut: ${]. aStream print: operand. (operand isInteger and: [operand > 16 and: [opcode ~= Label]]) ifTrue: [objectMemory wordSize = 8 ifTrue: [(operand allMask: 1 << 63) ifTrue: [aStream nextPut: $/; print: operand signedIntFromLong64]] ifFalse: [(operand allMask: 1 << 31) ifTrue: [aStream nextPut: $/; print: operand signedIntFromLong]]. aStream nextPut: $/. operand printOn: aStream base: 16. operandNameOrNil ifNotNil: [aStream nextPut: $=; nextPutAll: operandNameOrNil; nextPut: $}]]]]]. machineCodeSize ifNotNil: [(machineCodeSize between: 1 and: machineCode size) ifTrue: [0 to: machineCodeSize - 1 by: self codeGranularity do: [:i| aStream space. (self machineCodeAt: i) ifNil: [aStream nextPut: $.] ifNotNil: [:mc| mc isInteger ifTrue: [mc printOn: aStream base: 16] ifFalse: [mc printOn: aStream]]]]]. address ifNotNil: [aStream space; nextPut: $@. address printOn: aStream base: 16]. aStream nextPut: $)! Item was added: + ----- Method: CogObjectRepresentation>>genPrimitiveUninitializedNewWithArg (in category 'primitive generators') ----- + genPrimitiveUninitializedNewWithArg + "subclasses override if they can" + ^UnimplementedPrimitive! Item was changed: ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveNewWithArg (in category 'primitive generators') ----- genPrimitiveNewWithArg "Implement primitiveNewWithArg for convenient cases: - the receiver has a hash - the receiver is variable and not compiled method - single word header/num slots < numSlotsMask - the result fits in eden See superclass method for dynamic frequencies of formats. For the moment we implement only arrayFormat, firstByteFormat & firstLongFormat" | headerReg fillReg instSpecReg byteSizeReg maxSlots jumpArrayTooBig jumpByteTooBig jumpLongTooBig jumpArrayFormat jumpByteFormat jumpBytePrepDone jumpLongPrepDone jumpUnhashed jumpNElementsNonInt jumpFailCuzFixed jumpNoSpace jumpHasSlots fillLoop skip | - <var: 'skip' type: #'AbstractInstruction *'> - <var: 'fillLoop' type: #'AbstractInstruction *'> - <var: 'jumpHasSlots' type: #'AbstractInstruction *'> - <var: 'jumpNoSpace' type: #'AbstractInstruction *'> - <var: 'jumpUnhashed' type: #'AbstractInstruction *'> - <var: 'jumpByteFormat' type: #'AbstractInstruction *'> - <var: 'jumpByteTooBig' type: #'AbstractInstruction *'> - <var: 'jumpLongTooBig' type: #'AbstractInstruction *'> - <var: 'jumpArrayFormat' type: #'AbstractInstruction *'> - <var: 'jumpArrayTooBig' type: #'AbstractInstruction *'> - <var: 'jumpFailCuzFixed' type: #'AbstractInstruction *'> - <var: 'jumpBytePrepDone' type: #'AbstractInstruction *'> - <var: 'jumpLongPrepDone' type: #'AbstractInstruction *'> - <var: 'jumpNElementsNonInt' type: #'AbstractInstruction *'> NewspeakVM ifTrue: [cogit methodNumArgs = 2 ifTrue: [^self genPrimitiveMirrorNewWithArg]]. cogit methodNumArgs ~= 1 ifTrue: [^UnimplementedPrimitive]. cogit genLoadArgAtDepth: 0 into: Arg0Reg. "header will contain classIndex/class's hash & format & numSlots/fixed size" headerReg := SendNumArgsReg. "Assume there's an available scratch register on 64-bit machines. This holds the saved numFixedFields and then the value to fill with" fillReg := Extra0Reg. self assert: fillReg > 0. "inst spec will hold class's instance specification and then byte size" instSpecReg := byteSizeReg := ClassReg. "The max slots we'll allocate here are those for a single header" maxSlots := objectMemory numSlotsMask - 1. "get freeStart as early as possible so as not to wait later..." cogit MoveAw: objectMemory freeStartAddress R: Arg1Reg. "get class's hash & fail if 0" self genGetHashFieldNonImmOf: ReceiverResultReg into: headerReg. jumpUnhashed := cogit JumpZero: 0. "get index and fail if not a +ve integer" jumpNElementsNonInt := self genJumpNotSmallInteger: Arg0Reg scratchReg: TempReg. "get class's format inst var for inst spec (format field)" self genLoadSlot: InstanceSpecificationIndex sourceReg: ReceiverResultReg destReg: instSpecReg. cogit LogicalShiftRightCq: objectMemory fixedFieldsFieldWidth + self numSmallIntegerTagBits R: instSpecReg. cogit AndCq: objectMemory formatMask R: instSpecReg. "Add format to classIndex/format header now" cogit MoveR: instSpecReg R: TempReg. cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. cogit AddR: TempReg R: headerReg. "get integer value of num fields in fillReg now" cogit MoveR: Arg0Reg R: fillReg. self genConvertSmallIntegerToIntegerInReg: fillReg. "dispatch on format, failing if not variable or if compiled method" cogit CmpCq: objectMemory arrayFormat R: instSpecReg. jumpArrayFormat := cogit JumpZero: 0. cogit CmpCq: objectMemory firstByteFormat R: instSpecReg. jumpByteFormat := cogit JumpZero: 0. cogit CmpCq: objectMemory firstLongFormat R: instSpecReg. jumpFailCuzFixed := cogit JumpNonZero: 0. cogit CmpCq: (objectMemory integerObjectOf: maxSlots * 2) R: Arg0Reg. jumpLongTooBig := cogit JumpAbove: 0. "save num elements/slot size to instSpecReg" cogit MoveR: fillReg R: instSpecReg. "compute odd bits and add into headerReg; oddBits := 2 - nElements bitAnd: 1" cogit MoveCq: objectMemory wordSize / 4 R: TempReg. cogit SubR: instSpecReg R: TempReg. cogit AndCq: objectMemory wordSize / 4 - 1 R: TempReg. cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. cogit AddR: TempReg R: headerReg. "round up num elements to numSlots in instSpecReg" cogit AddCq: objectMemory wordSize / 4 - 1 R: instSpecReg. cogit LogicalShiftRightCq: objectMemory shiftForWord - 2 R: instSpecReg. cogit MoveCq: 0 R: fillReg. jumpLongPrepDone := cogit Jump: 0. "go allocate" jumpByteFormat jmpTarget: (cogit CmpCq: (objectMemory integerObjectOf: maxSlots * objectMemory wordSize) R: Arg0Reg). jumpByteTooBig := cogit JumpAbove: 0. "save num elements to instSpecReg" cogit MoveR: fillReg R: instSpecReg. + "compute odd bits and add into headerReg; oddBits := 8 - nElements bitAnd: 7" - "compute odd bits and add into headerReg; oddBits := 4 - nElements bitAnd: 3" cogit MoveCq: objectMemory wordSize R: TempReg. cogit SubR: instSpecReg R: TempReg. cogit AndCq: objectMemory wordSize - 1 R: TempReg. cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. cogit AddR: TempReg R: headerReg. "round up num elements to numSlots in instSpecReg" cogit AddCq: objectMemory wordSize - 1 R: instSpecReg. cogit LogicalShiftRightCq: objectMemory shiftForWord R: instSpecReg. cogit MoveCq: 0 R: fillReg. jumpBytePrepDone := cogit Jump: 0. "go allocate" jumpArrayFormat jmpTarget: (cogit CmpCq: (objectMemory integerObjectOf: maxSlots) R: Arg0Reg). jumpArrayTooBig := cogit JumpAbove: 0. "save num elements/slot size to instSpecReg" cogit MoveR: fillReg R: instSpecReg. cogit MoveCq: objectMemory nilObject R: fillReg. "fall through to allocate" jumpBytePrepDone jmpTarget: (jumpLongPrepDone jmpTarget: cogit Label). "store numSlots to headerReg" cogit MoveR: instSpecReg R: TempReg. cogit LogicalShiftLeftCq: objectMemory numSlotsFullShift R: TempReg. cogit AddR: TempReg R: headerReg. "compute byte size; remember 0-sized objects still need 1 slot." cogit CmpCq: 0 R: byteSizeReg. "a.k.a. instSpecReg" jumpHasSlots := cogit JumpNonZero: 0. cogit MoveCq: objectMemory baseHeaderSize * 2 R: byteSizeReg. skip := cogit Jump: 0. jumpHasSlots jmpTarget: (cogit AddCq: objectMemory baseHeaderSize / objectMemory wordSize R: byteSizeReg). cogit LogicalShiftLeftCq: objectMemory shiftForWord R: byteSizeReg. skip jmpTarget: "check if allocation fits" (cogit AddR: Arg1Reg R: byteSizeReg). cogit CmpCq: objectMemory getScavengeThreshold R: byteSizeReg. jumpNoSpace := cogit JumpAboveOrEqual: 0. "get result, increment freeStart and write it back. Arg1Reg holds new freeStart, the limit of the object" cogit MoveR: Arg1Reg R: ReceiverResultReg. cogit MoveR: byteSizeReg Aw: objectMemory freeStartAddress. - "write other half of header (numSlots/0 identityHash)" cogit MoveR: headerReg Mw: 0 r: ReceiverResultReg. "now fill" cogit LoadEffectiveAddressMw: objectMemory baseHeaderSize r: ReceiverResultReg R: Arg1Reg. fillLoop := cogit MoveR: fillReg Mw: 0 r: Arg1Reg. cogit AddCq: 8 R: Arg1Reg. cogit CmpR: Arg1Reg R: byteSizeReg. cogit JumpAbove: fillLoop. cogit genPrimReturn. jumpNoSpace jmpTarget: (jumpUnhashed jmpTarget: (jumpFailCuzFixed jmpTarget: (jumpArrayTooBig jmpTarget: (jumpByteTooBig jmpTarget: (jumpLongTooBig jmpTarget: (jumpNElementsNonInt jmpTarget: cogit Label)))))). ^0! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveUninitializedNewWithArg (in category 'primitive generators') ----- + genPrimitiveUninitializedNewWithArg + "Implement primitiveUninitializedNewWithArg for convenient cases: + - the receiver has a hash + - the receiver is variable and not compiled method + - the result fits in eden + See superclass method for dynamic frequencies of formats. + For the moment we implement only arrayFormat, firstByteFormat & firstLongFormat" + + | headerReg fillReg instSpecReg byteSizeReg maxSlots + jumpByteTooBig jumpLongTooBig + jumpByteFormat jumpLongPrepDone + jumpUnhashed jumpNElementsNonInt jumpFailCuzFixed jumpNoSpace jumpHasSlots skip jumpDoubleWordPrepDone jumpDoubleBytePrepDone jumpDoubleByteFormat jumpDoubleWordFormat jumpOverflowHeader jumpNoSpaceBigObjects jumpDoubleWordTooBig jumpShortTooBig | + + NewspeakVM ifTrue: + [cogit methodNumArgs = 2 ifTrue: + [^self genPrimitiveMirrorNewWithArg]]. + cogit methodNumArgs ~= 1 ifTrue: + [^UnimplementedPrimitive]. + cogit genLoadArgAtDepth: 0 into: Arg0Reg. + + "header will contain classIndex/class's hash & format & numSlots/fixed size" + headerReg := SendNumArgsReg. + "Assume there's an available scratch register on 64-bit machines. This holds the saved numFixedFields and then the value to fill with" + fillReg := Extra0Reg. + self assert: fillReg > 0. + "inst spec will hold class's instance specification and then byte size" + instSpecReg := byteSizeReg := ClassReg. + "Allow a max of 1 MB" + maxSlots := objectMemory maxSlotsForNewSpaceAlloc. + + "get freeStart as early as possible so as not to wait later..." + cogit MoveAw: objectMemory freeStartAddress R: Arg1Reg. + "get class's hash & fail if 0" + self genGetHashFieldNonImmOf: ReceiverResultReg into: headerReg. + jumpUnhashed := cogit JumpZero: 0. + "get index and fail if not a +ve integer" + jumpNElementsNonInt := self genJumpNotSmallInteger: Arg0Reg scratchReg: TempReg. + "get class's format inst var for inst spec (format field)" + self genLoadSlot: InstanceSpecificationIndex sourceReg: ReceiverResultReg destReg: instSpecReg. + cogit LogicalShiftRightCq: objectMemory fixedFieldsFieldWidth + self numSmallIntegerTagBits R: instSpecReg. + cogit AndCq: objectMemory formatMask R: instSpecReg. + "Add format to classIndex/format header now" + cogit MoveR: instSpecReg R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "get integer value of num fields in fillReg now" + cogit MoveR: Arg0Reg R: fillReg. + self genConvertSmallIntegerToIntegerInReg: fillReg. + "dispatch on format, failing if not a byte format" + cogit CmpCq: objectMemory firstByteFormat R: instSpecReg. + jumpByteFormat := cogit JumpZero: 0. + cogit CmpCq: objectMemory firstShortFormat R: instSpecReg. + jumpDoubleByteFormat := cogit JumpZero: 0. + cogit CmpCq: objectMemory sixtyFourBitIndexableFormat R: instSpecReg. + jumpDoubleWordFormat := cogit JumpZero: 0. + cogit CmpCq: objectMemory firstLongFormat R: instSpecReg. + jumpFailCuzFixed := cogit JumpNonZero: 0. + + "allocates a 32-bit array" + cogit CmpCq: (objectMemory integerObjectOf: maxSlots * 2) R: Arg0Reg. + jumpLongTooBig := cogit JumpAbove: 0. + "save num elements/slot size to instSpecReg" + cogit MoveR: fillReg R: instSpecReg. + "compute odd bits and add into headerReg; oddBits := 2 - nElements bitAnd: 1" + cogit MoveCq: objectMemory wordSize / 4 R: TempReg. + cogit SubR: instSpecReg R: TempReg. + cogit AndCq: objectMemory wordSize / 4 - 1 R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "round up num elements to numSlots in instSpecReg; (numElements / 2) ceiling" + cogit AddCq: objectMemory wordSize / 4 - 1 R: instSpecReg. + cogit LogicalShiftRightCq: objectMemory shiftForWord - 2 R: instSpecReg. + jumpLongPrepDone := cogit Jump: 0. "go allocate" + + "allocates a 16-bit array" + jumpDoubleByteFormat jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: maxSlots * 4) R: Arg0Reg). + jumpShortTooBig := cogit JumpAbove: 0. + "save num elements to instSpecReg" + cogit MoveR: fillReg R: instSpecReg. + "compute odd bits and add into headerReg; oddBits := 4 - nElements bitAnd: 3" + cogit MoveCq: objectMemory wordSize / 2 R: TempReg. + cogit SubR: instSpecReg R: TempReg. + cogit AndCq: objectMemory wordSize / 2 - 1 R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "round up num elements to numSlots in instSpecReg; (numElements / 4) ceiling" + cogit AddCq: objectMemory wordSize / 2 - 1 R: instSpecReg. + cogit LogicalShiftRightCq: objectMemory shiftForWord - 1 R: instSpecReg. + jumpDoubleBytePrepDone := cogit Jump: 0. "go allocate" + + "allocates a 64-bit array" + jumpDoubleWordFormat jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: maxSlots) R: Arg0Reg). + jumpDoubleWordTooBig := cogit JumpAbove: 0. + "save num elements to instSpecReg" + cogit MoveR: fillReg R: instSpecReg. + jumpDoubleWordPrepDone := cogit Jump: 0. "go allocate" + + "allocates a byte array" + jumpByteFormat jmpTarget: + (cogit CmpCq: (objectMemory integerObjectOf: maxSlots * objectMemory wordSize) R: Arg0Reg). + jumpByteTooBig := cogit JumpAbove: 0. + "save num elements to instSpecReg" + cogit MoveR: fillReg R: instSpecReg. + "compute odd bits and add into headerReg; oddBits := 8 - nElements bitAnd: 7" + cogit MoveCq: objectMemory wordSize R: TempReg. + cogit SubR: instSpecReg R: TempReg. + cogit AndCq: objectMemory wordSize - 1 R: TempReg. + cogit LogicalShiftLeftCq: objectMemory formatShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "round up num elements to numSlots in instSpecReg; (numElements / 8) ceiling" + cogit AddCq: objectMemory wordSize - 1 R: instSpecReg. + cogit LogicalShiftRightCq: objectMemory shiftForWord R: instSpecReg. + "fall through to allocate" + + jumpDoubleWordPrepDone jmpTarget: + (jumpDoubleBytePrepDone jmpTarget: + (jumpLongPrepDone jmpTarget: cogit Label)). + + "if numSlots >= 255 -> overflow header -> handle it" + cogit CmpCq: objectMemory numSlotsMask R: instSpecReg. + jumpOverflowHeader := cogit JumpAboveOrEqual: 0. + "fallthrough: allocate objects with < 255 slots" + + "store numSlots to headerReg" + cogit MoveR: instSpecReg R: TempReg. + cogit LogicalShiftLeftCq: objectMemory numSlotsFullShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "compute byte size; remember 0-sized objects still need 1 slot." + cogit CmpCq: 0 R: byteSizeReg. "a.k.a. instSpecReg" + jumpHasSlots := cogit JumpNonZero: 0. + cogit MoveCq: objectMemory baseHeaderSize * 2 R: byteSizeReg. + skip := cogit Jump: 0. + jumpHasSlots jmpTarget: + (cogit AddCq: objectMemory baseHeaderSize / objectMemory wordSize R: byteSizeReg). + cogit LogicalShiftLeftCq: objectMemory shiftForWord R: byteSizeReg. + skip jmpTarget: + "check if allocation fits" + (cogit AddR: Arg1Reg R: byteSizeReg). + cogit CmpCq: objectMemory getScavengeThreshold R: byteSizeReg. + jumpNoSpace := cogit JumpAboveOrEqual: 0. + "get result, increment freeStart and write it back. Arg1Reg holds new freeStart, the limit of the object" + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit MoveR: byteSizeReg Aw: objectMemory freeStartAddress. + "write other half of header (numSlots/0 identityHash)" + cogit MoveR: headerReg Mw: 0 r: ReceiverResultReg. + cogit genPrimReturn. + + "allocate object with up to 1 << 16 - 1 slots; numSlots >= 255" + "store always 255 to headerReg" + jumpOverflowHeader jmpTarget: + (cogit MoveCq: 255 R: TempReg). + cogit LogicalShiftLeftCq: objectMemory numSlotsFullShift R: TempReg. + cogit AddR: TempReg R: headerReg. + "calculate overflow header; Temp Reg can be resued as it already contains 255 as needed" + cogit AddR: instSpecReg R: TempReg. + "compute byte size" + cogit AddCq: (objectMemory baseHeaderSize * 2) / objectMemory wordSize R: byteSizeReg. + cogit LogicalShiftLeftCq: objectMemory shiftForWord R: byteSizeReg. + "check if allocation fits" + cogit AddR: Arg1Reg R: byteSizeReg. + cogit CmpCq: objectMemory getScavengeThreshold R: byteSizeReg. + jumpNoSpaceBigObjects := cogit JumpAboveOrEqual: 0. + "get result, increment freeStart and write it back. Arg1Reg holds new freeStart, the limit of the object" + cogit MoveR: Arg1Reg R: ReceiverResultReg. + cogit MoveR: byteSizeReg Aw: objectMemory freeStartAddress. + "write overflow part" + cogit MoveR: TempReg Mw: 0 r: ReceiverResultReg. + "write header" + cogit MoveR: headerReg Mw: objectMemory baseHeaderSize r: ReceiverResultReg. + cogit genPrimReturn. + + jumpShortTooBig jmpTarget: + (jumpDoubleWordTooBig jmpTarget: + (jumpNoSpaceBigObjects jmpTarget: + (jumpNoSpace jmpTarget: + (jumpUnhashed jmpTarget: + (jumpFailCuzFixed jmpTarget: + (jumpByteTooBig jmpTarget: + (jumpLongTooBig jmpTarget: + (jumpNElementsNonInt jmpTarget: cogit Label)))))))). + + ^0! Item was added: + ----- Method: Cogit>>registerMaskFor:and:and:and:and:and:and:and:and:and:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12 + <inline: true> + ^((((((((((1 << reg1 bitOr: 1 << reg2) bitOr: 1 << reg3) bitOr: 1 << reg4) bitOr: 1 << reg5) bitOr: 1 << reg6) bitOr: 1 << reg7) bitOr: 1 << reg8) bitOr: 1 << reg9) bitOr: 1 << reg10) bitOr: 1 << reg11) bitOr: 1 << reg12! Item was added: + ----- Method: Cogit>>registerMaskFor:and:and:and:and:and:and:and:and:and:and:and:and:and:and: (in category 'register management') ----- + registerMaskFor: reg1 and: reg2 and: reg3 and: reg4 and: reg5 and: reg6 and: reg7 and: reg8 and: reg9 and: reg10 and: reg11 and: reg12 and: reg13 and: reg14 and: reg15 + <inline: true> + ^(((((((((((((1 << reg1 bitOr: 1 << reg2) bitOr: 1 << reg3) bitOr: 1 << reg4) bitOr: 1 << reg5) bitOr: 1 << reg6) bitOr: 1 << reg7) bitOr: 1 << reg8) bitOr: 1 << reg9) bitOr: 1 << reg10) bitOr: 1 << reg11) bitOr: 1 << reg12) bitOr: 1 << reg13) bitOr: 1 << reg14) bitOr: 1 << reg15! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>maxSlotsForNewSpaceAlloc (in category 'accessing') ----- + maxSlotsForNewSpaceAlloc + + ^ objectMemory maxSlotsForNewSpaceAlloc! Item was added: + ----- Method: InterpreterPrimitives>>primitiveNewPinnedInOldSpace (in category 'object access primitives') ----- + primitiveNewPinnedInOldSpace + NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." + [(argumentCount < 1 + or: [self objCouldBeClassObj: self stackTop]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: + ["Allocate a new fixed-size instance. Fail if the allocation would leave + less than lowSpaceThreshold bytes free. This *will not* cause a GC :-)" + (objectMemory instantiateClass: self stackTop) + ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] + ifNil: [self primitiveFailFor: ((objectMemory isFixedSizePointerFormat: (objectMemory instSpecOfClass: self stackTop)) + ifTrue: [PrimErrNoMemory] + ifFalse: [PrimErrBadReceiver])]] + ifFalse: + ["Allocate a new fixed-size instance. Fail if the allocation would leave + less than lowSpaceThreshold bytes free. May cause a GC." + | spaceOkay | + "The following may cause GC!! Use var for result to permit inlining." + spaceOkay := objectMemory + sufficientSpaceToInstantiate: self stackTop + indexableSize: 0. + spaceOkay + ifTrue: + [self + pop: argumentCount + 1 + thenPush: (objectMemory + instantiateClass: self stackTop + indexableSize: 0)] + ifFalse: [self primitiveFailFor: PrimErrNoMemory]]! Item was added: + ----- Method: InterpreterPrimitives>>primitiveNewWithArgUninitialized (in category 'object access primitives') ----- + primitiveNewWithArgUninitialized + "Allocate a new indexable instance. Fail if the allocation would leave less than lowSpaceThreshold bytes free. May cause a GC." + | size spaceOkay instSpec | + NewspeakVM ifTrue: "For the mirror prims check that the class obj is actually a valid class." + [(argumentCount < 2 + or: [self addressCouldBeClassObj: (self stackValue: 1)]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]]. + size := self positiveMachineIntegerValueOf: self stackTop. + self successful ifFalse:"positiveMachineIntegerValueOf: succeeds only for non-negative integers." + [^self primitiveFailFor: PrimErrBadArgument]. + objectMemory hasSpurMemoryManagerAPI + ifTrue: + [(objectMemory instantiateUninitializedClass: (self stackValue: 1) indexableSize: size) + ifNotNil: [:obj| self pop: argumentCount + 1 thenPush: obj] + ifNil: [instSpec := objectMemory instSpecOfClass: (self stackValue: 1). + self primitiveFailFor: (((objectMemory isIndexableFormat: instSpec) + and: [(objectMemory isCompiledMethodFormat: instSpec) not]) + ifTrue: [PrimErrNoMemory] + ifFalse: [PrimErrBadReceiver])]] + ifFalse: + [spaceOkay := objectMemory sufficientSpaceToInstantiate: (self stackValue: 1) indexableSize: size. + spaceOkay + ifTrue: + [self + pop: argumentCount + 1 + thenPush: (objectMemory instantiateClass: (self stackValue: 1) indexableSize: size)] + ifFalse: + [self primitiveFailFor: PrimErrNoMemory]]! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueak (in category 'class initialization') ----- initializePrimitiveTableForSqueak "Initialize the table of primitive generators. This does not include normal primitives implemented in the coInterpreter. N.B. primitives that don't have an explicit arg count (the integer following the generator) may be variadic." "SimpleStackBasedCogit initializePrimitiveTableForSqueak" MaxCompiledPrimitiveIndex := self objectRepresentationClass wordSize = 8 + ifTrue: [580] + ifFalse: [580]. - ifTrue: [575] - ifFalse: [575]. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) (2 genPrimitiveSubtract 1) (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) (7 genPrimitiveEqual 1) (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1) (10 genPrimitiveDivide 1) (11 genPrimitiveMod 1) (12 genPrimitiveDiv 1) (13 genPrimitiveQuo 1) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) (17 genPrimitiveBitShift 1) (18 genPrimitiveMakePoint 1) "this is here mainly to remove noise from printPrimTraceLog()" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 genPrimitiveFloatAt)" "(39 genPrimitiveFloatAtPut)" (40 genPrimitiveAsFloat 0) (41 genPrimitiveFloatAdd 1) (42 genPrimitiveFloatSubtract 1) (43 genPrimitiveFloatLessThan 1) (44 genPrimitiveFloatGreaterThan 1) (45 genPrimitiveFloatLessOrEqual 1) (46 genPrimitiveFloatGreaterOrEqual 1) (47 genPrimitiveFloatEqual 1) (48 genPrimitiveFloatNotEqual 1) (49 genPrimitiveFloatMultiply 1) (50 genPrimitiveFloatDivide 1) "(51 genPrimitiveTruncated)" "(52 genPrimitiveFractionalPart)" "(53 genPrimitiveExponent)" "(54 genPrimitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0) "(56 genPrimitiveSine)" "(57 genPrimitiveArctan)" "(58 genPrimitiveLogN)" "(59 genPrimitiveExp)" "Subscript and Stream Primitives (60-67)" (60 genPrimitiveAt 1) (61 genPrimitiveAtPut 2) (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) (64 genPrimitiveStringAtPut 2) "The stream primitives no longer pay their way; normal Smalltalk code is faster." (65 genFastPrimFail)"was primitiveNext" (66 genFastPrimFail) "was primitiveNextPut" (67 genFastPrimFail) "was primitiveAtEnd" "StorageManagement Primitives (68-79)" (68 genPrimitiveObjectAt 1) "Good for debugger/InstructionStream performance" "(69 primitiveObjectAtPut)" (70 genPrimitiveNew 0) (71 genPrimitiveNewWithArg 1) "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" (79 genPrimitiveNewMethod 2) "Control Primitives (80-89)" "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" "(81 primitiveFail)" "Blue Book: primitiveValue" "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" (83 genPrimitivePerform) "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "(90 primitiveMousePoint)" "(91 primitiveTestDisplayDepth)" "Blue Book: primitiveCursorLocPut" "(92 primitiveSetDisplayMode)" "Blue Book: primitiveCursorLink" "(93 primitiveInputSemaphore)" "(94 primitiveGetNextEvent)" "Blue Book: primitiveSampleInterval" "(95 primitiveInputWord)" "(96 primitiveFail)" "primitiveCopyBits" "(97 primitiveSnapshot)" "(98 primitiveStoreImageSegment)" "(99 primitiveLoadImageSegment)" "(100 primitivePerformInSuperclass)" "Blue Book: primitiveSignalAtTick" "(101 primitiveBeCursor)" "(102 primitiveBeDisplay)" "(103 primitiveScanCharacters)" "(104 primitiveFail)" "primitiveDrawLoop" (105 genPrimitiveStringReplace) "(106 primitiveScreenSize)" "(107 primitiveMouseButtons)" "(108 primitiveKbdNext)" "(109 primitiveKbdPeek)" "System Primitives (110-119)" (110 genPrimitiveIdentical 1) (111 genPrimitiveClass) "Support both class and Context>>objectClass:" "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" (148 genPrimitiveShallowCopy 0) "a.k.a. clone" (158 genPrimitiveStringCompareWith 1) (159 genPrimitiveHashMultiply 0) (165 genPrimitiveIntegerAt 1) "Signed version of genPrimitiveAt" (166 genPrimitiveIntegerAtPut 2) "Signed version of genPrimitiveAtPut" (169 genPrimitiveNotIdentical 1) (170 genPrimitiveAsCharacter) "SmallInteger>>asCharacter, Character class>>value:" (171 genPrimitiveImmediateAsInteger 0) "Character>>asInteger/hash/identityHash, SmallFloat64>>identityHash" (173 genPrimitiveSlotAt 1) "Good for micro-benchmark performance, and for reducing noise in Croquet primitive trace logs" (174 genPrimitiveSlotAtPut 2) "ditto" (175 genPrimitiveIdentityHash 0) "Behavior>>identityHash" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives" "(200 primitiveClosureCopyWithCopiedValues)" (201 genPrimitiveClosureValue 0) "value" (202 genPrimitiveClosureValue 1) "value:" (203 genPrimitiveClosureValue 2) "value:value:" (204 genPrimitiveClosureValue 3) "value:value:value:" (205 genPrimitiveClosureValue 4) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" (207 genPrimitiveFullClosureValue) "value[:value:value:value:] et al" "(208 genPrimitiveFullClosureValueWithArgs)" "valueWithArguments:" (209 genPrimitiveFullClosureValue) "valueNoContextSwitch[:value:] et al" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" "SmallFloat primitives (540-559)" (541 genPrimitiveSmallFloatAdd 1) (542 genPrimitiveSmallFloatSubtract 1) (543 genPrimitiveSmallFloatLessThan 1) (544 genPrimitiveSmallFloatGreaterThan 1) (545 genPrimitiveSmallFloatLessOrEqual 1) (546 genPrimitiveSmallFloatGreaterOrEqual 1) (547 genPrimitiveSmallFloatEqual 1) (548 genPrimitiveSmallFloatNotEqual 1) (549 genPrimitiveSmallFloatMultiply 1) (550 genPrimitiveSmallFloatDivide 1) "(551 genPrimitiveSmallFloatTruncated 0)" "(552 genPrimitiveSmallFloatFractionalPart 0)" "(553 genPrimitiveSmallFloatExponent 0)" "(554 genPrimitiveSmallFloatTimesTwoPower 1)" (555 genPrimitiveSmallFloatSquareRoot 0) "(556 genPrimitiveSmallFloatSine 0)" "(557 genPrimitiveSmallFloatArctan 0)" "(558 genPrimitiveSmallFloatLogN 0)" "(559 genPrimitiveSmallFloatExp 0)" (575 genPrimitiveHighBit 0) + (580 genPrimitiveUninitializedNewWithArg 1) )! Item was added: + ----- Method: Spur64BitMemoryManager>>inOldSpaceInstantiatePinnedClass:indexableSize: (in category 'instantiation') ----- + inOldSpaceInstantiatePinnedClass: classObj indexableSize: nElements + <api> + <var: #nElements type: #usqInt> + "Allocate an instance of a variable class, excepting CompiledMethod." + | instSpec classFormat numSlots classIndex newObj fillValue | + classFormat := self formatOfClass: classObj. + instSpec := self instSpecOfClassFormat: classFormat. + classIndex := self rawHashBitsOf: classObj. + fillValue := 0. + instSpec caseOf: { + [self arrayFormat] -> + [numSlots := nElements. + fillValue := nilObj]. + [self indexablePointersFormat] -> + [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. + fillValue := nilObj]. + [self weakArrayFormat] -> + [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. + fillValue := nilObj]. + [self sixtyFourBitIndexableFormat] -> + [numSlots := nElements]. + [self firstLongFormat] -> + [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. + numSlots := nElements + 1 // 2. + instSpec := instSpec + (nElements bitAnd: 1)]. + [self firstShortFormat] -> + [numSlots := nElements + 3 // 4. + instSpec := instSpec + (4 - nElements bitAnd: 3)]. + [self firstByteFormat] -> + [numSlots := nElements + 7 // 8. + instSpec := instSpec + (8 - nElements bitAnd: 7)] } + otherwise: "non-indexable" + ["Some Squeak images include funky fixed subclasses of abstract variable + superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. + The (Threaded)FFIPlugin expects to be able to instantiate ExternalData via + this method. + Hence allow fixed classes to be instantiated here iff nElements = 0." + (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: + [^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + fillValue := nilObj]. + classIndex = 0 ifTrue: + [classIndex := self ensureBehaviorHash: classObj. + classIndex < 0 ifTrue: + [coInterpreter primitiveFailFor: classIndex negated. + ^nil]]. + numSlots > self maxSlotsForAlloc ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + newObj := self + allocateSlotsForPinningInOldSpace: numSlots + bytes: (self objectBytesForSlots: numSlots) + format: instSpec + classIndex: classIndex. + newObj ifNotNil: + [self fillObj: newObj numSlots: numSlots with: fillValue]. + ^newObj! Item was added: + ----- Method: Spur64BitMemoryManager>>instantiateUninitializedClass:indexableSize: (in category 'instantiation') ----- + instantiateUninitializedClass: classObj indexableSize: nElements + <api> + <var: #nElements type: #usqInt> + "Allocate an instance of a variable class, excepting CompiledMethod." + | instSpec classFormat numSlots classIndex newObj fillValue | + classFormat := self formatOfClass: classObj. + instSpec := self instSpecOfClassFormat: classFormat. + classIndex := self rawHashBitsOf: classObj. + fillValue := 0. + self assert: (self isPureBitsFormat: instSpec). + instSpec caseOf: { + [self sixtyFourBitIndexableFormat] -> + [numSlots := nElements]. + [self firstLongFormat] -> + [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: + [coInterpreter primitiveFailFor: PrimErrBadReceiver. + ^nil]. + numSlots := nElements + 1 // 2. + instSpec := instSpec + (nElements bitAnd: 1)]. + [self firstShortFormat] -> + [numSlots := nElements + 3 // 4. + instSpec := instSpec + (4 - nElements bitAnd: 3)]. + [self firstByteFormat] -> + [numSlots := nElements + 7 // 8. + instSpec := instSpec + (8 - nElements bitAnd: 7)] } + otherwise: "non-indexable" + ["Some Squeak images include funky fixed subclasses of abstract variable + superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. + The (Threaded)FFIPlugin expects to be able to instantiate ExternalData via + this method. + Hence allow fixed classes to be instantiated here iff nElements = 0." + (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: + [^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + fillValue := nilObj]. + classIndex = 0 ifTrue: + [classIndex := self ensureBehaviorHash: classObj. + classIndex < 0 ifTrue: + [coInterpreter primitiveFailFor: classIndex negated. + ^nil]]. + numSlots > self maxSlotsForNewSpaceAlloc + ifTrue: + [numSlots > self maxSlotsForAlloc ifTrue: + [coInterpreter primitiveFailFor: PrimErrUnsupported. + ^nil]. + newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] + ifFalse: + [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. + ^newObj! Item was added: + ----- Method: SpurMemoryManager>>inOldSpaceInstantiatePinnedClass: (in category 'allocation') ----- + inOldSpaceInstantiatePinnedClass: classObj + | instSpec classFormat numSlots classIndex newObj | + classFormat := self formatOfClass: classObj. + instSpec := self instSpecOfClassFormat: classFormat. + (self isFixedSizePointerFormat: instSpec) ifFalse: + [^nil]. + classIndex := self ensureBehaviorHash: classObj. + classIndex < 0 ifTrue: + [coInterpreter primitiveFailFor: classIndex negated. + ^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + newObj := self + allocateSlotsForPinningInOldSpace: numSlots + bytes: (self objectBytesForSlots: numSlots) + format: instSpec + classIndex: classIndex. + newObj ifNotNil: + [self fillObj: newObj numSlots: numSlots with: nilObj]. + ^newObj! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was changed: ----- Method: VMClass class>>openSpurMultiWindowBrowser (in category 'utilities') ----- openSpurMultiWindowBrowser "Answer a new multi-window browser on the Spur classes, the Cog StackInterpreter classes, and the support classes" + "self openSpurMultiWindowBrowser" | b | b := Browser open. #( SpurMemoryManager Spur32BitMemoryManager Spur64BitMemoryManager SpurGenerationScavenger SpurSegmentManager Spur32BitMMLESimulator SpurGenerationScavengerSimulator InterpreterPrimitives StackInterpreter StackInterpreterPrimitives VMStructType VMMaker CCodeGenerator TMethod) do: [:className| (Smalltalk classNamed: className) ifNotNil: [:class| b selectCategoryForClass: class; selectClass: class]] separatedBy: [b multiWindowState addNewWindow]. b multiWindowState selectWindowIndex: 1! Item was changed: ----- Method: VMProfileMacSupportPlugin>>primitiveExecutableModulesAndOffsets (in category 'primitives') ----- primitiveExecutableModulesAndOffsets "Answer an Array of quads for executable modules (the VM executable and loaded libraries). Each quad is the module's name, its vm address relocation in memory, the (unrelocated) start address, and the size." | nimages resultObj name valueObj nameObjData slide start size | <export: true> <var: #name type: 'const char *'> <var: #nameObjData type: #'char *'> <var: #h type: 'const struct mach_header *'> <var: #h64 type: 'const struct mach_header_64 *'> <var: #s64 type: 'const struct section_64 *'> <var: #s type: 'const struct section *'> <var: #start type: 'usqIntptr_t'> <var: #slide type: 'usqIntptr_t'> <var: #size type: 'usqIntptr_t'> self cppIf: #'MAC_OS_X_VERSION_MIN_REQUIRED' <= #'MAC_OS_X_VERSION_10_4' ifTrue: "_dyld_present was deprecated in 10.5" [(self cCode: '_dyld_present()' inSmalltalk: false) ifFalse: [^interpreterProxy primitiveFail]]. nimages := self cCode: '_dyld_image_count()' inSmalltalk: 0. resultObj := interpreterProxy instantiateClass: interpreterProxy classArray indexableSize: nimages * 4. resultObj = 0 ifTrue: [^interpreterProxy primitiveFail]. interpreterProxy pushRemappableOop: resultObj. 0 to: nimages - 1 do: [:i| start := size := -1. "impossible start & size" name := self cCode: '_dyld_get_image_name(i)' inSmalltalk: 0. slide := self cCode: '_dyld_get_image_vmaddr_slide(i)' inSmalltalk: 0. + self cppIf: #'__x86_64__' | #'__arm64__' - self cppIf: #'__x86_64__' ifTrue: [(self cCode: '(const struct mach_header_64 *)_dyld_get_image_header(i)' inSmalltalk: nil) ifNotNil: [:h64| (self cCode: 'getsectbynamefromheader_64(h64,SEG_TEXT,SECT_TEXT)' inSmalltalk: nil) ifNotNil: [:s64| start := self cCode: 's64->addr' inSmalltalk: 0. size := self cCode: 's64->size' inSmalltalk: 0]]] ifFalse: [(self cCode: '_dyld_get_image_header(i)' inSmalltalk: nil) ifNotNil: [:h| (self cCode: 'getsectbynamefromheader(h,SEG_TEXT,SECT_TEXT)' inSmalltalk: nil) ifNotNil: [:s| start := self cCode: 's->addr' inSmalltalk: 0. size := self cCode: 's->size' inSmalltalk: 0]]]. valueObj := interpreterProxy instantiateClass: interpreterProxy classString indexableSize: (self strlen: name). interpreterProxy failed ifTrue: [interpreterProxy popRemappableOop. ^interpreterProxy primitiveFail]. interpreterProxy storePointer: i * 4 ofObject: interpreterProxy topRemappableOop withValue: valueObj. nameObjData := interpreterProxy arrayValueOf: valueObj. self memcpy: nameObjData _: name _: (self strlen: name). valueObj := interpreterProxy signedMachineIntegerFor: slide. interpreterProxy failed ifTrue: [interpreterProxy popRemappableOop. ^interpreterProxy primitiveFail]. interpreterProxy storePointer: i * 4 + 1 ofObject: interpreterProxy topRemappableOop withValue: valueObj. valueObj := interpreterProxy positiveMachineIntegerFor: start. interpreterProxy failed ifTrue: [interpreterProxy popRemappableOop. ^interpreterProxy primitiveFail]. interpreterProxy storePointer: i * 4 + 2 ofObject: interpreterProxy topRemappableOop withValue: valueObj. valueObj := interpreterProxy positiveMachineIntegerFor: size. interpreterProxy failed ifTrue: [interpreterProxy popRemappableOop. ^interpreterProxy primitiveFail]. interpreterProxy storePointer: i * 4 + 3 ofObject: interpreterProxy topRemappableOop withValue: valueObj]. resultObj := interpreterProxy popRemappableOop. ^interpreterProxy pop: 1 thenPush: resultObj!

2 1

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

21 Jun '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3196.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3196 Author: eem Time: 21 June 2022, 12:03:22.54506 pm UUID: 1eb8444f-5929-4dde-b183-856503e68d96 Ancestors: VMMaker.oscog-WoC.3195 Allow upscaleDisplayIfHighDPI to be set from the command line & if so not be overwritten by the value in the image header. =============== Diff against VMMaker.oscog-WoC.3195 =============== Item was changed: ----- Method: CoInterpreter>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (flagInterpretedMethods ifTrue: [8] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [16r10]) + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FilePlugin & FileAttributesPlugin" - "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + (imageHeaderFlags bitClear: 1+2+8+16r10+16r40+16r80+16r100+16r200+16r400) "these are any flags we do not recognize"! Item was changed: ----- Method: CoInterpreter>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) (meaningful to the MT VM only) Bit 1: if set, methods that are interpreted will have the flag bit set in their header Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: if set, implies a threaded VM will not disown the VM if owned by the GUI thread (meaningful to the MT VM only) Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default." - Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default. - Bit 8: if set, implies the VM will not upscale the display on high DPI devices" flags asUnsignedInteger > 511 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. "processHasThreadId := flags anyMask: 1. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 1) ifTrue: [imageHeaderFlags bitOr: 4] ifFalse: [imageHeaderFlags bitClear: 4]. flagInterpretedMethods := flags anyMask: 2. preemptionYields := flags noMask: 4. "noThreadingOfGUIThread := flags anyMask: 8.. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 8) ifTrue: [imageHeaderFlags bitOr: 32] ifFalse: [imageHeaderFlags bitClear: 32]. newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] ifFalse: [imageHeaderFlags bitClear: 512]. upscaleDisplayIfHighDPI := flags noMask: 256! Item was changed: ----- Method: CoInterpreter>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags + "Set the flags that are contained in the 7th long of the image header. + This is sent at image load time." - "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. "processHasThreadId := headerFlags anyMask: 4. specific to CoInterpreterMT" flagInterpretedMethods := headerFlags anyMask: 8. preemptionYields := headerFlags noMask: 16. "noThreadingOfGUIThread := headerFlags anyMask: 32. specific to CoInterpreterMT" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. + primitiveDoMixedArithmetic < 0 ifTrue: "i.e. has it not been set on the command line?" + [primitiveDoMixedArithmetic := headerFlags noMask: 256]. + "N.B. flag mask 512 is responded to by the FilePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI < 0 ifTrue: "i.e. has it not been set on the command line?" + [upscaleDisplayIfHighDPI := headerFlags noMask: 1024]! - primitiveDoMixedArithmetic := headerFlags noMask: 256. - "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" - upscaleDisplayIfHighDPI := headerFlags noMask: 1024! Item was changed: ----- Method: CoInterpreterMT>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (processHasThreadId ifTrue: [4] ifFalse: [0]) + (flagInterpretedMethods ifTrue: [8] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [16r10]) "was: noThreadingOfGUIThread ifTrue: [16r20] ifFalse: [0]); a broken idea" + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FilePlugin & FileAttributesPlugin" - "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + (imageHeaderFlags bitClear: 16r7FF) "these are any flags we do not recognize"! Item was changed: ----- Method: CoInterpreterMT>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) Bit 1: if set, methods that are interpreted will have the flag bit set in their header Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: unassigned; used to mean if set, implies a threaded VM will not disown the VM if owned by the GUI thread; a broken idea Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default." - Bit 8: if set, implies the VM will not upscale the display on high DPI devices" flags asUnsignedInteger > 511 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. (flags anyMask: 8) ifTrue: [^self primitiveFailFor: PrimErrInappropriate]. processHasThreadId := flags anyMask: 1. flagInterpretedMethods := flags anyMask: 2. preemptionYields := flags noMask: 4. "was: noThreadingOfGUIThread := flags anyMask: 8. a broken idea" newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] ifFalse: [imageHeaderFlags bitClear: 512]. upscaleDisplayIfHighDPI := flags noMask: 256! Item was changed: ----- Method: CoInterpreterMT>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. processHasThreadId := headerFlags anyMask: 4. flagInterpretedMethods := headerFlags anyMask: 8. preemptionYields := headerFlags noMask: 16. "was: noThreadingOfGUIThread := headerFlags anyMask: 32. a broken idea" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. + primitiveDoMixedArithmetic < 0 ifTrue: "i.e. has it not been set on the command line?" + [primitiveDoMixedArithmetic := headerFlags noMask: 256]. + "N.B. flag mask 512 is responded to by the FilePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI < 0 ifTrue: "i.e. has it not been set on the command line?" + [upscaleDisplayIfHighDPI := headerFlags noMask: 1024]. - primitiveDoMixedArithmetic := headerFlags noMask: 256. - "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" - upscaleDisplayIfHighDPI := headerFlags noMask: 1024. processHasThreadId ifFalse: [self print: 'warning, processHasThreadId flag is unset; cannot function as a threaded VM if so.'; cr]! Item was changed: ----- Method: StackInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator | vmClass | self class == thisContext methodClass ifFalse: [^self]. "Don't duplicate decls in subclasses" vmClass := aCCodeGenerator vmClass. "Generate primitiveTable etc based on vmClass, not just StackInterpreter" aCCodeGenerator addHeaderFile: '<stdio.h> /* for printf */'; addHeaderFile: '<stdlib.h> /* for e.g. alloca */'; addHeaderFile: '<setjmp.h>'; addHeaderFile: '<wchar.h> /* for wint_t */'; addHeaderFile: '"vmCallback.h"'; addHeaderFile: '"sqMemoryFence.h"'; addHeaderFile: '"sqImageFileAccess.h"'; addHeaderFile: '"sqSetjmpShim.h"'; addHeaderFile: '"dispdbg.h"'. LowcodeVM ifTrue: [aCCodeGenerator addHeaderFile: '"sqLowcodeFFI.h"']. vmClass declareInterpreterVersionIn: aCCodeGenerator defaultName: 'Stack'. - #('primitiveDoMixedArithmetic' 'upscaleDisplayIfHighDPI' ) do: - [:var| - aCCodeGenerator - var: var - declareC: 'sqInt ', var, ' = true']. aCCodeGenerator var: #interpreterProxy type: #'struct VirtualMachine*'. aCCodeGenerator declareVar: #sendTrace type: 'volatile int'; declareVar: #byteCount type: #usqLong. "see dispdbg.h" "These need to be pointers or unsigned." 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: #(localIP localSP localFP stackPointer framePointer stackLimit breakSelector) as: #'char *' in: aCCodeGenerator. aCCodeGenerator var: #breakSelectorLength declareC: 'sqInt breakSelectorLength = MinSmallInteger'. self declareC: #(stackPage overflowedPage) as: #'StackPage *' in: aCCodeGenerator. aCCodeGenerator var: #transcript type: #'FILE *'. aCCodeGenerator removeVariable: 'stackPages'. "this is an implicit receiver in the translated code." "This defines bytecodeSetSelector as 0 if MULTIPLEBYTECODESETS is not defined, for the benefit of the interpreter on slow machines." aCCodeGenerator addConstantForBinding: (self bindingOf: #MULTIPLEBYTECODESETS). MULTIPLEBYTECODESETS == false ifTrue: [aCCodeGenerator removeVariable: 'bytecodeSetSelector']. BytecodeSetHasExtensions == false ifTrue: [aCCodeGenerator removeVariable: 'extA'; removeVariable: 'extB']. aCCodeGenerator var: #methodCache declareC: 'sqIntptr_t methodCache[MethodCacheSize + 1 /* ', (MethodCacheSize + 1) printString, ' */]'. NewspeakVM ifTrue: [aCCodeGenerator var: #nsMethodCache declareC: 'sqIntptr_t nsMethodCache[NSMethodCacheSize + 1 /* ', (NSMethodCacheSize + 1) printString, ' */]'] ifFalse: [aCCodeGenerator removeVariable: #nsMethodCache; removeVariable: 'localAbsentReceiver'; removeVariable: 'localAbsentReceiverOrZero']. AtCacheTotalSize isInteger ifTrue: [aCCodeGenerator var: #atCache declareC: 'sqInt atCache[AtCacheTotalSize + 1 /* ', (AtCacheTotalSize + 1) printString, ' */]']. aCCodeGenerator var: #primitiveTable declareC: 'void (*primitiveTable[MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */])(void) = ', vmClass primitiveTableString. vmClass primitiveTable do: [:symbolOrNot| (symbolOrNot isSymbol and: [symbolOrNot ~~ #primitiveFail]) ifTrue: [(aCCodeGenerator methodNamed: symbolOrNot) ifNotNil: [:tMethod| tMethod returnType: #void]]]. vmClass objectMemoryClass hasSpurMemoryManagerAPI ifTrue: [aCCodeGenerator var: #primitiveAccessorDepthTable type: 'signed char' sizeString: 'MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */' array: (vmClass primitiveAccessorDepthTableUsing: aCCodeGenerator). aCCodeGenerator removeConstant: #PrimNumberInstVarAt; removeConstant: #PrimNumberPerform; removeConstant: # PrimNumberPerformWithArgs; removeConstant: #PrimNumberShallowCopy; removeConstant: #PrimNumberSlotAt; removeConstant: #PrimNumberFlushExternalPrimitives; removeConstant: #PrimNumberUnloadModule] ifFalse: [aCCodeGenerator removeVariable: #primitiveAccessorDepthTable; removeConstant: #PrimNumberVMParameter]. aCCodeGenerator var: #displayBits type: #'void *'; var: #primitiveCalloutPointer declareC: 'void *primitiveCalloutPointer = (void *)-1'. + #('primitiveDoMixedArithmetic' 'upscaleDisplayIfHighDPI' ) do: + [:var| + aCCodeGenerator + var: var + declareC: 'sqInt ', var, ' = -1']. self declareC: #(displayWidth displayHeight displayDepth) as: #int in: aCCodeGenerator. aCCodeGenerator var: #primitiveFunctionPointer declareC: 'void (*primitiveFunctionPointer)()'; var: 'pcPreviousToFunction' declareC: 'sqInt (* const pcPreviousToFunction)(sqInt,sqInt) = ', (aCCodeGenerator cFunctionNameFor: PCPreviousToFunction); var: #externalPrimitiveTable declareC: 'void (*externalPrimitiveTable[MaxExternalPrimitiveTableSize + 1 /* ', (MaxExternalPrimitiveTableSize + 1) printString, ' */])(void)'; var: #interruptCheckChain declareC: 'void (*interruptCheckChain)(void) = 0'; var: #showSurfaceFn declareC: 'int (*showSurfaceFn)(sqIntptr_t, int, int, int, int)'. self declareCAsUSqLong: #(nextPollUsecs nextWakeupUsecs "these are high-frequency enough that they're overflowing quite quickly on modern hardware" statProcessSwitch statIOProcessEvents statForceInterruptCheck statCheckForEvents statStackOverflow statStackPageDivorce statIdleUsecs) in: aCCodeGenerator. aCCodeGenerator var: #nextProfileTick type: #sqLong. aCCodeGenerator var: #reenterInterpreter type: 'jmp_buf'. LowcodeVM ifTrue: [aCCodeGenerator var: #lowcodeCalloutState type: #'sqLowcodeCalloutState*'. self declareC: #(nativeSP nativeStackPointer shadowCallStackPointer) as: #'char *' in: aCCodeGenerator] ifFalse: [#(lowcodeCalloutState nativeSP nativeStackPointer shadowCallStackPointer) do: [:var| aCCodeGenerator removeVariable: var]]. (self instVarNames select: [:ivn| ivn beginsWith: 'longRunningPrimitive']) do: [:lrpmVar| aCCodeGenerator var: lrpmVar declareC: '#if LRPCheck\', ((lrpmVar endsWith: 'Usecs') ifTrue: [#usqLong] ifFalse: [#sqInt]), ' ', lrpmVar, '\#endif']! Item was changed: ----- Method: StackInterpreter>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (preemptionYields ifTrue: [0] ifFalse: [16r10]) + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FilePlugin & FileAttributesPlugin" - "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + (imageHeaderFlags bitClear: 1+2+16r10+16r40+16r80+16r100+16r200+16r400) "these are any flags we do not recognize"! Item was changed: ----- Method: StackInterpreter>>initialize (in category 'initialization') ----- initialize + "Initialize the variables C initializes to zero (or explicitly in StackInterpreter class>>declareCVarsIn:). + #initialize methods do /not/ get translated." - "Here we can initialize the variables C initializes to zero. #initialize methods do /not/ get translated." super initialize. newFinalization := false. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := nil. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. sendWheelEvents := deferDisplayUpdates := cannotDeferDisplayUpdates := false. displayBits := displayWidth := displayHeight := displayDepth := 0. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. debugCallbackInvokes := debugCallbackPath := debugCallbackReturns := 0. + primitiveCalloutPointer := primitiveDoMixedArithmetic := upscaleDisplayIfHighDPI := -1. "initialized in declaration in declareCVarsIn:" - primitiveCalloutPointer := -1. "initialized in declaration in declareCVarsIn:" transcript := Transcript. "initialized to stdout in readImageFromFile:HeapSize:StartingAt:" pcPreviousToFunction := PCPreviousToFunction. "initialized via StackInterpreter class>>declareCVarsIn:" statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := statIdleUsecs := 0! Item was changed: ----- Method: StackInterpreter>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) (meaningful to the MT VM only) Bit 1: if set, methods that are interpreted will have the flag bit set in their header (meaningful to the Cog VM only) Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: if set, implies a threaded VM will not disown the VM if owned by the GUI thread (meaningful to the MT VM only) Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default." - Bit 8: if set, implies the VM will not upscale the display on high DPI devices" flags asUnsignedInteger > 511 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. "processHasThreadId := flags anyMask: 1. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 1) ifTrue: [imageHeaderFlags bitOr: 4] ifFalse: [imageHeaderFlags bitClear: 4]. "flagInterpretedMethods := flags anyMask: 2. specific to CoInterpreter" imageHeaderFlags := (flags anyMask: 2) ifTrue: [imageHeaderFlags bitOr: 8] ifFalse: [imageHeaderFlags bitClear: 8]. preemptionYields := flags noMask: 4. "noThreadingOfGUIThread := flags anyMask: 8.. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 8) ifTrue: [imageHeaderFlags bitOr: 32] ifFalse: [imageHeaderFlags bitClear: 32]. newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] ifFalse: [imageHeaderFlags bitClear: 512]. upscaleDisplayIfHighDPI := flags noMask: 256! Item was changed: ----- Method: StackInterpreter>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. "processHasThreadId := headerFlags anyMask: 4. specific to CoInterpreterMT" "flagInterpretedMethods := headerFlags anyMask: 8. specific to CoInterpreter" preemptionYields := headerFlags noMask: 16. "noThreadingOfGUIThread := headerFlags anyMask: 32. specific to CoInterpreterMT" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. + primitiveDoMixedArithmetic < 0 ifTrue: "i.e. has it not been set on the command line?" + [primitiveDoMixedArithmetic := headerFlags noMask: 256]. + "N.B. flag mask 512 is responded to by the FilePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI < 0 ifTrue: "i.e. has it not been set on the command line?" + [upscaleDisplayIfHighDPI := headerFlags noMask: 1024]! - primitiveDoMixedArithmetic := headerFlags noMask: 256. - "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" - upscaleDisplayIfHighDPI := headerFlags noMask: 1024!

1 0

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

21 Jun '22

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3194.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3194 Author: eem Time: 20 June 2022, 5:37:47.097263 pm UUID: b977319b-9026-4c13-afff-8f5515732e4f Ancestors: VMMaker.oscog-eem.3193 Add the upscaleDisplayIfHighDPI flag to the VM. This is true by default. It is controlled by bit 8 of the Persistent image header flags, accessed via vmParameterAt: 48 [put:...]. When this flag is true (i.e. when the image header flag bit is unset) then VMs are expected to upscale the display on high DPI displays as they have in the past. When this flag is false (i.e. when the image header flag bit is set) the VM is expected not to upscale, leaving it to the image to do so. This flag is present to enable new VMs to allow the image to do its own scaling while keeping on scaling older images unaware of the option. =============== Diff against VMMaker.oscog-eem.3193 =============== Item was changed: ----- Method: CoInterpreter>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (flagInterpretedMethods ifTrue: [8] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [16r10]) + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + + (imageHeaderFlags bitClear: 1+2+8+16r10+16r40+16r80+16r100+16r200+16r400) "these are any flags we do not recognize"! - + (imageHeaderFlags bitClear: 1+2+8+16r10+16r40+16r80+16r100) "these are any flags we do not recognize"! Item was changed: ----- Method: CoInterpreter>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) (meaningful to the MT VM only) Bit 1: if set, methods that are interpreted will have the flag bit set in their header Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: if set, implies a threaded VM will not disown the VM if owned by the GUI thread (meaningful to the MT VM only) Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) + Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default. + Bit 8: if set, implies the VM will not upscale the display on high DPI devices" + flags asUnsignedInteger > 511 ifTrue: - Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times" - flags asUnsignedInteger > 255 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. "processHasThreadId := flags anyMask: 1. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 1) ifTrue: [imageHeaderFlags bitOr: 4] ifFalse: [imageHeaderFlags bitClear: 4]. flagInterpretedMethods := flags anyMask: 2. preemptionYields := flags noMask: 4. "noThreadingOfGUIThread := flags anyMask: 8.. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 8) ifTrue: [imageHeaderFlags bitOr: 32] ifFalse: [imageHeaderFlags bitClear: 32]. newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] + ifFalse: [imageHeaderFlags bitClear: 512]. + upscaleDisplayIfHighDPI := flags noMask: 256! - ifFalse: [imageHeaderFlags bitClear: 512]! Item was changed: ----- Method: CoInterpreter>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. "processHasThreadId := headerFlags anyMask: 4. specific to CoInterpreterMT" flagInterpretedMethods := headerFlags anyMask: 8. preemptionYields := headerFlags noMask: 16. "noThreadingOfGUIThread := headerFlags anyMask: 32. specific to CoInterpreterMT" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. + primitiveDoMixedArithmetic := headerFlags noMask: 256. + "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI := headerFlags noMask: 1024! - primitiveDoMixedArithmetic := headerFlags noMask: 256! Item was changed: ----- Method: CoInterpreterMT>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (processHasThreadId ifTrue: [4] ifFalse: [0]) + (flagInterpretedMethods ifTrue: [8] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [16r10]) "was: noThreadingOfGUIThread ifTrue: [16r20] ifFalse: [0]); a broken idea" + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + + (imageHeaderFlags bitClear: 16r7FF) "these are any flags we do not recognize"! - + (imageHeaderFlags bitClear: 16r1FF) "these are any flags we do not recognize"! Item was changed: ----- Method: CoInterpreterMT>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) Bit 1: if set, methods that are interpreted will have the flag bit set in their header Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: unassigned; used to mean if set, implies a threaded VM will not disown the VM if owned by the GUI thread; a broken idea Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) + Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI devices" + flags asUnsignedInteger > 511 ifTrue: - Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times" - flags asUnsignedInteger > 255 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. (flags anyMask: 8) ifTrue: [^self primitiveFailFor: PrimErrInappropriate]. processHasThreadId := flags anyMask: 1. flagInterpretedMethods := flags anyMask: 2. preemptionYields := flags noMask: 4. "was: noThreadingOfGUIThread := flags anyMask: 8. a broken idea" newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] + ifFalse: [imageHeaderFlags bitClear: 512]. + upscaleDisplayIfHighDPI := flags noMask: 256! - ifFalse: [imageHeaderFlags bitClear: 512]! Item was changed: ----- Method: CoInterpreterMT>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. processHasThreadId := headerFlags anyMask: 4. flagInterpretedMethods := headerFlags anyMask: 8. preemptionYields := headerFlags noMask: 16. "was: noThreadingOfGUIThread := headerFlags anyMask: 32. a broken idea" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. primitiveDoMixedArithmetic := headerFlags noMask: 256. + "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI := headerFlags noMask: 1024. processHasThreadId ifFalse: [self print: 'warning, processHasThreadId flag is unset; cannot function as a threaded VM if so.'; cr]! Item was changed: InterpreterPrimitives subclass: #StackInterpreter (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator | vmClass | self class == thisContext methodClass ifFalse: [^self]. "Don't duplicate decls in subclasses" vmClass := aCCodeGenerator vmClass. "Generate primitiveTable etc based on vmClass, not just StackInterpreter" aCCodeGenerator addHeaderFile: '<stdio.h> /* for printf */'; addHeaderFile: '<stdlib.h> /* for e.g. alloca */'; addHeaderFile: '<setjmp.h>'; addHeaderFile: '<wchar.h> /* for wint_t */'; addHeaderFile: '"vmCallback.h"'; addHeaderFile: '"sqMemoryFence.h"'; addHeaderFile: '"sqImageFileAccess.h"'; addHeaderFile: '"sqSetjmpShim.h"'; addHeaderFile: '"dispdbg.h"'. LowcodeVM ifTrue: [aCCodeGenerator addHeaderFile: '"sqLowcodeFFI.h"']. vmClass declareInterpreterVersionIn: aCCodeGenerator defaultName: 'Stack'. + #('primitiveDoMixedArithmetic' 'upscaleDisplayIfHighDPI' ) do: + [:var| + aCCodeGenerator + var: var + declareC: 'sqInt ', var, ' = true']. aCCodeGenerator var: #interpreterProxy type: #'struct VirtualMachine*'. aCCodeGenerator declareVar: #sendTrace type: 'volatile int'; declareVar: #byteCount type: #usqLong. "see dispdbg.h" "These need to be pointers or unsigned." 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: #(localIP localSP localFP stackPointer framePointer stackLimit breakSelector) as: #'char *' in: aCCodeGenerator. aCCodeGenerator var: #breakSelectorLength declareC: 'sqInt breakSelectorLength = MinSmallInteger'. self declareC: #(stackPage overflowedPage) as: #'StackPage *' in: aCCodeGenerator. aCCodeGenerator var: #transcript type: #'FILE *'. aCCodeGenerator removeVariable: 'stackPages'. "this is an implicit receiver in the translated code." "This defines bytecodeSetSelector as 0 if MULTIPLEBYTECODESETS is not defined, for the benefit of the interpreter on slow machines." aCCodeGenerator addConstantForBinding: (self bindingOf: #MULTIPLEBYTECODESETS). MULTIPLEBYTECODESETS == false ifTrue: [aCCodeGenerator removeVariable: 'bytecodeSetSelector']. BytecodeSetHasExtensions == false ifTrue: [aCCodeGenerator removeVariable: 'extA'; removeVariable: 'extB']. aCCodeGenerator var: #methodCache declareC: 'sqIntptr_t methodCache[MethodCacheSize + 1 /* ', (MethodCacheSize + 1) printString, ' */]'. NewspeakVM ifTrue: [aCCodeGenerator var: #nsMethodCache declareC: 'sqIntptr_t nsMethodCache[NSMethodCacheSize + 1 /* ', (NSMethodCacheSize + 1) printString, ' */]'] ifFalse: [aCCodeGenerator removeVariable: #nsMethodCache; removeVariable: 'localAbsentReceiver'; removeVariable: 'localAbsentReceiverOrZero']. AtCacheTotalSize isInteger ifTrue: [aCCodeGenerator var: #atCache declareC: 'sqInt atCache[AtCacheTotalSize + 1 /* ', (AtCacheTotalSize + 1) printString, ' */]']. aCCodeGenerator var: #primitiveTable declareC: 'void (*primitiveTable[MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */])(void) = ', vmClass primitiveTableString. vmClass primitiveTable do: [:symbolOrNot| (symbolOrNot isSymbol and: [symbolOrNot ~~ #primitiveFail]) ifTrue: [(aCCodeGenerator methodNamed: symbolOrNot) ifNotNil: [:tMethod| tMethod returnType: #void]]]. vmClass objectMemoryClass hasSpurMemoryManagerAPI ifTrue: [aCCodeGenerator var: #primitiveAccessorDepthTable type: 'signed char' sizeString: 'MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */' array: (vmClass primitiveAccessorDepthTableUsing: aCCodeGenerator). aCCodeGenerator removeConstant: #PrimNumberInstVarAt; removeConstant: #PrimNumberPerform; removeConstant: # PrimNumberPerformWithArgs; removeConstant: #PrimNumberShallowCopy; removeConstant: #PrimNumberSlotAt; removeConstant: #PrimNumberFlushExternalPrimitives; removeConstant: #PrimNumberUnloadModule] ifFalse: [aCCodeGenerator removeVariable: #primitiveAccessorDepthTable; removeConstant: #PrimNumberVMParameter]. aCCodeGenerator var: #displayBits type: #'void *'; var: #primitiveCalloutPointer declareC: 'void *primitiveCalloutPointer = (void *)-1'. self declareC: #(displayWidth displayHeight displayDepth) as: #int in: aCCodeGenerator. aCCodeGenerator var: #primitiveFunctionPointer declareC: 'void (*primitiveFunctionPointer)()'; var: 'pcPreviousToFunction' declareC: 'sqInt (* const pcPreviousToFunction)(sqInt,sqInt) = ', (aCCodeGenerator cFunctionNameFor: PCPreviousToFunction); var: #externalPrimitiveTable declareC: 'void (*externalPrimitiveTable[MaxExternalPrimitiveTableSize + 1 /* ', (MaxExternalPrimitiveTableSize + 1) printString, ' */])(void)'; var: #interruptCheckChain declareC: 'void (*interruptCheckChain)(void) = 0'; var: #showSurfaceFn declareC: 'int (*showSurfaceFn)(sqIntptr_t, int, int, int, int)'. self declareCAsUSqLong: #(nextPollUsecs nextWakeupUsecs "these are high-frequency enough that they're overflowing quite quickly on modern hardware" statProcessSwitch statIOProcessEvents statForceInterruptCheck statCheckForEvents statStackOverflow statStackPageDivorce statIdleUsecs) in: aCCodeGenerator. aCCodeGenerator var: #nextProfileTick type: #sqLong. aCCodeGenerator var: #reenterInterpreter type: 'jmp_buf'. LowcodeVM ifTrue: [aCCodeGenerator var: #lowcodeCalloutState type: #'sqLowcodeCalloutState*'. self declareC: #(nativeSP nativeStackPointer shadowCallStackPointer) as: #'char *' in: aCCodeGenerator] ifFalse: [#(lowcodeCalloutState nativeSP nativeStackPointer shadowCallStackPointer) do: [:var| aCCodeGenerator removeVariable: var]]. (self instVarNames select: [:ivn| ivn beginsWith: 'longRunningPrimitive']) do: [:lrpmVar| aCCodeGenerator var: lrpmVar declareC: '#if LRPCheck\', ((lrpmVar endsWith: 'Usecs') ifTrue: [#usqLong] ifFalse: [#sqInt]), ' ', lrpmVar, '\#endif']! Item was changed: ----- Method: StackInterpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code, and for variables that are initialized to some value (e.g. primitiveDoMixedArithmetic)." ^(super mustBeGlobal: var) or: [(self objectMemoryClass mustBeGlobal: var) or: [(#('interpreterProxy' 'interpreterVersion' 'inIOProcessEvents' 'sendWheelEvents' 'deferDisplayUpdates' 'cannotDeferDisplayUpdates' 'eventTraceMask' 'extraVMMemory' 'showSurfaceFn' 'displayBits' 'displayWidth' 'displayHeight' 'displayDepth' 'desiredNumStackPages' 'desiredEdenBytes' + 'primitiveDoMixedArithmetic' 'upscaleDisplayIfHighDPI' - 'primitiveDoMixedArithmetic' 'breakLookupClassTag' 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'checkedPluginName' "'reenterInterpreter'" 'suppressHeartbeatFlag' 'ffiExceptionResponse' 'debugCallbackInvokes' 'debugCallbackPath' 'debugCallbackReturns') includes: var) or: [ "This allows slow machines to define bytecodeSetSelector as 0 to avoid the interpretation overhead." MULTIPLEBYTECODESETS not and: [var = 'bytecodeSetSelector']]]]! Item was changed: ----- Method: StackInterpreter>>getImageHeaderFlags (in category 'image save/restore') ----- getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (preemptionYields ifTrue: [0] ifFalse: [16r10]) + (newFinalization ifTrue: [16r40] ifFalse: [0]) + (sendWheelEvents ifTrue: [16r80] ifFalse: [0]) + (primitiveDoMixedArithmetic ifTrue: [0] ifFalse: [16r100]) + "N.B. flag mask 16r200 is fileTimesInUTC, responded to by the FIlePlugin & FileAttributesPlugin" + + (upscaleDisplayIfHighDPI ifTrue: [0] ifFalse: [16r400]) + + (imageHeaderFlags bitClear: 1+2+16r10+16r40+16r80+16r100+16r200+16r400) "these are any flags we do not recognize"! - + (imageHeaderFlags bitClear: 1+2+16r10+16r40+16r80+16r100) "these are any flags we do not recognize"! Item was changed: ----- Method: StackInterpreter>>initialize (in category 'initialization') ----- initialize "Here we can initialize the variables C initializes to zero. #initialize methods do /not/ get translated." super initialize. - primitiveDoMixedArithmetic := true. "whether we authorize primitives to perform mixed arithmetic or not". newFinalization := false. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := nil. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. sendWheelEvents := deferDisplayUpdates := cannotDeferDisplayUpdates := false. displayBits := displayWidth := displayHeight := displayDepth := 0. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. debugCallbackInvokes := debugCallbackPath := debugCallbackReturns := 0. primitiveCalloutPointer := -1. "initialized in declaration in declareCVarsIn:" transcript := Transcript. "initialized to stdout in readImageFromFile:HeapSize:StartingAt:" pcPreviousToFunction := PCPreviousToFunction. "initialized via StackInterpreter class>>declareCVarsIn:" statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := statIdleUsecs := 0! Item was changed: ----- Method: StackInterpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift + "Initialize Interpreter state before starting execution of a new image. + N.B. do *NOT* initialize variables that can be initialized via command line + arguments since command line arguments are proicessed before the image + is loaded and this initialization takes place after the image is loaded. + Anything that us not initialized to either 0 or false (the C default value) + should be initialized in StackInterpeeter class>>declareCVarsIn:" - "Initialize Interpreter state before starting execution of a new image." interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. objectMemory initializeObjectMemory: bytesToShift. self checkAssumedCompactClasses. self initializeExtraClassInstVarIndices. method := newMethod := objectMemory nilObject. self cCode: '' inSmalltalk: [breakSelectorLength ifNil: [breakSelectorLength := objectMemory minSmallInteger]. breakLookupClassTag ifNil: [breakLookupClassTag := -1]. reenterInterpreter := ReenterInterpreter new]. methodDictLinearSearchLimit := 8. self initialCleanup. - primitiveDoMixedArithmetic := true. LowcodeVM ifTrue: [ self setupNativeStack ]. profileSemaphore := profileProcess := profileMethod := objectMemory nilObject. self cCode: '' inSmalltalk: [InitializationOptions at: #profiling ifPresent: [:profiling| "hack turn on profiling, for testing in the simulator." profiling ifTrue: [profileSemaphore := objectMemory cloneObject: (objectMemory splObj: TheInterruptSemaphore). objectMemory storePointerUnchecked: FirstLinkIndex ofObject: profileSemaphore withValue: objectMemory nilObject; storePointerUnchecked: NextLinkIndex ofObject: profileSemaphore withValue: objectMemory nilObject; storePointerUnchecked: ExcessSignalsIndex ofObject: profileSemaphore withValue: (objectMemory integerObjectOf: 0)]]]. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" [globalSessionID = 0] whileTrue: [globalSessionID := self cCode: [((self time: #NULL) + self ioMSecs) bitAnd: 16r7FFFFFFF] inSmalltalk: [(Random new next * (SmallInteger maxVal min: 16r7FFFFFFF)) asInteger]]. metaAccessorDepth := -2. super initializeInterpreter: bytesToShift! Item was changed: ----- Method: StackInterpreter>>setImageHeaderFlags: (in category 'internal interpreter access') ----- setImageHeaderFlags: flags "Set an array of flags indicating various properties of the saved image, responded to on image load. These are the same as the image header flags shifted right two bits, omitting the fullScreenFlag and float byte order flag. Bit 0: if set, implies the image's Process class has threadId as its 3rd inst var (zero relative) (meaningful to the MT VM only) Bit 1: if set, methods that are interpreted will have the flag bit set in their header (meaningful to the Cog VM only) Bit 2: if set, implies preempting a process does not put it to the back of its run queue Bit 3: if set, implies a threaded VM will not disown the VM if owned by the GUI thread (meaningful to the MT VM only) Bit 4: if set, implies the new finalization scheme where WeakArrays are queued Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) + Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times + Bit 8: if set, implies the VM will not upscale the display on high DPI devices" + flags asUnsignedInteger > 511 ifTrue: - Bit 7: if set, implies file primitives (FilePlugin, FileAttributesPlugin) will answer file times in UTC not local times" - flags asUnsignedInteger > 255 ifTrue: [^self primitiveFailFor: PrimErrUnsupported]. "processHasThreadId := flags anyMask: 1. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 1) ifTrue: [imageHeaderFlags bitOr: 4] ifFalse: [imageHeaderFlags bitClear: 4]. "flagInterpretedMethods := flags anyMask: 2. specific to CoInterpreter" imageHeaderFlags := (flags anyMask: 2) ifTrue: [imageHeaderFlags bitOr: 8] ifFalse: [imageHeaderFlags bitClear: 8]. preemptionYields := flags noMask: 4. "noThreadingOfGUIThread := flags anyMask: 8.. specific to CoInterpreterMT" imageHeaderFlags := (flags anyMask: 8) ifTrue: [imageHeaderFlags bitOr: 32] ifFalse: [imageHeaderFlags bitClear: 32]. newFinalization := flags anyMask: 16. sendWheelEvents := flags anyMask: 32. primitiveDoMixedArithmetic := flags noMask: 64. imageHeaderFlags := (flags anyMask: 128) ifTrue: [imageHeaderFlags bitOr: 512] + ifFalse: [imageHeaderFlags bitClear: 512]. + upscaleDisplayIfHighDPI := flags noMask: 256! - ifFalse: [imageHeaderFlags bitClear: 512]! Item was changed: ----- Method: StackInterpreter>>setImageHeaderFlagsFrom: (in category 'image save/restore') ----- setImageHeaderFlagsFrom: headerFlags "Set the flags that are contained in the 7th long of the image header." imageHeaderFlags := headerFlags. "so as to preserve unrecognised flags." fullScreenFlag := headerFlags bitAnd: 1. imageFloatsBigEndian := (headerFlags noMask: 2) ifTrue: [1] ifFalse: [0]. "processHasThreadId := headerFlags anyMask: 4. specific to CoInterpreterMT" "flagInterpretedMethods := headerFlags anyMask: 8. specific to CoInterpreter" preemptionYields := headerFlags noMask: 16. "noThreadingOfGUIThread := headerFlags anyMask: 32. specific to CoInterpreterMT" newFinalization := headerFlags anyMask: 64. sendWheelEvents := headerFlags anyMask: 128. + primitiveDoMixedArithmetic := headerFlags noMask: 256. + "N.B. flag mask 512 is responded to by the FIlePlugin & FileAttributesPlugin" + upscaleDisplayIfHighDPI := headerFlags noMask: 1024! - primitiveDoMixedArithmetic := headerFlags noMask: 256!

3 3

← Newer
1
2
3
4
5
6
7
8
9
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev June 2022