Vm-dev May 2016

vm-dev@lists.squeakfoundation.org

36 participants
150 discussions

Mac OS Cocoa MIDI Plugin
by Eliot Miranda 20 May '16

20 May '16

Hi All, recently the Cog VM on Mac OS X moved to Cocoa, the Objective-C API for the platform, leaving behind the old Carbon C API. There is some backward compatibility support but it is gradually being deprecated by Apple. One victim is the MIDIPlugin which was written against a ComponentManager API that, while Apple docs say is only deprecated, has actually disappeared. Consequently the MIDIPlugin support (see http://www.squeakvm.org/svn/squeak/branches/Cog/platforms/iOS/plugins/MIDIP…) needs completely rewriting to use Cocoa APIs. I've recently changed the build so that the MIDIPlgin is built externally, which will make it easier to work on; one doesn't need to build the entire VM, only the plugin. I'm looking for volunteers who a) love music/know MIDI b) are happy programming at the Objective-C level using command-line builds and perhaps Xcode, but more immediately lldb for debugging. If interested, reply to vm-dev and we can continue discussions there; there are folks that can help with Mac OS support, but no one I know of that has time to write this rather important plugin for multi-media. It would be a great shame to lose MIDI on Mac. ______,,,^..^,,,______ AdvThanksance, Eliot

5 13

VM Maker: VMMaker.oscog-tfel.1864.mcz
by commits＠source.squeak.org 20 May '16

20 May '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1864.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1864 Author: tfel Time: 20 May 2016, 5:59:56.886404 pm UUID: 9568cdb7-bc2a-a049-a7b0-3d17905c53b9 Ancestors: VMMaker.oscog-tfel.1863 revert changes to Integer>>signedIntFromLong, they cost too much performance on Cog/Spur =============== Diff against VMMaker.oscog-tfel.1863 =============== Item was changed: ----- Method: Integer>>signedIntFromLong (in category '*VMMaker-interpreter simulator') ----- signedIntFromLong "Self is a signed or unsigned 32-bit integer" + | bits | + (self >= -1073741824 and: [self <= 1073741823]) ifTrue: "These are known to be SmallIntegers..." + [^self]. - "If it's already 32bits, avoid computation" - (self >= -16r80000000 and: [self <= 16r7FFFFFFF]) - ifTrue: [^self]. bits := self bitAnd: 16rFFFFFFFF. (bits digitAt: 4) <= 16r7F ifTrue: [^bits]. ^bits - 16r100000000!

1 0

Re: [Vm-dev] VM Maker: VMMaker.oscog-tfel.1862.mcz
by Nicolas Cellier 20 May '16

20 May '16

2016-05-19 9:49 GMT+02:00 <commits(a)source.squeak.org>: > > Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: > http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1862.mcz > > ==================== Summary ==================== > > Name: VMMaker.oscog-tfel.1862 > Author: tfel > Time: 19 May 2016, 9:49:06.672041 am > UUID: ee2580a0-a9df-a945-ab7d-26865d302201 > Ancestors: VMMaker.oscog-tfel.1861 > > Use SmallInteger maxVal and minVal in Integer>>signedIntFromLong for the > benefit of VMs that can fit more than 30bit into a signed integer > > =============== Diff against VMMaker.oscog-eem.1860 =============== > > Item was changed: > ----- Method: Integer>>signedIntFromLong (in category > '*VMMaker-interpreter simulator') ----- > signedIntFromLong > "Self is a signed or unsigned 32-bit integer" > > | bits | > + (self >= SmallInteger minVal and: [self <= SmallInteger maxVal]) > ifTrue: "These are known to be SmallIntegers..." > - (self >= -1073741824 and: [self <= 1073741823]) ifTrue: "These are > known to be SmallIntegers..." > Hi Tim, this does not look correct to me. if maxVal is 1<<60-1, and self is 1<<40, then self won't be truncated to 32 low bits as it should... Above test is just a fast-up. > [^self]. > bits := self bitAnd: 16rFFFFFFFF. > (bits digitAt: 4) <= 16r7F ifTrue: [^bits]. > ^bits - 16r100000000! > >

4 5

VM Maker: VMMaker.oscog-tfel.1863.mcz
by commits＠source.squeak.org 20 May '16

20 May '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1863.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1863 Author: tfel Time: 20 May 2016, 1:52:06.566311 pm UUID: 8e524803-55af-ec4b-aa97-9403376a9b13 Ancestors: VMMaker.oscog-tfel.1862, VMMaker.oscog-eem.1861 Fix Integer>>signedIntFromLong, this should really return a 32-bit signed integer, regardless of the platform's integer size. =============== Diff against VMMaker.oscog-tfel.1862 =============== Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForSpur: (in category 'cog jit support') ----- primitivePropertyFlagsForSpur: primIndex <inline: true> "Answer any special requirements of the given primitive. Spur always needs to set primitiveFunctionPointer and newMethod so primitives can retry on failure due to forwarders." | baseFlags | baseFlags := PrimCallNeedsPrimitiveFunction + PrimCallNeedsNewMethod. profileSemaphore ~= objectMemory nilObject ifTrue: [baseFlags := baseFlags bitOr: PrimCallCollectsProfileSamples]. self cCode: [] inSmalltalk: [#(primitiveExternalCall primitiveCalloutToFFI)]. "For senders..." + (primIndex = PrimNumberExternalCall "#primitiveExternalCall" + or: [primIndex = PrimNumberFFICall "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" - (primIndex == 117 "#primitiveExternalCall" - or: [primIndex == 120 "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" [baseFlags := baseFlags bitOr: PrimCallMayCallBack. checkAllocFiller ifTrue: [baseFlags := baseFlags bitOr: CheckAllocationFillerAfterPrimCall]]. ^baseFlags! Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForV3: (in category 'cog jit support') ----- primitivePropertyFlagsForV3: primIndex <inline: true> "Answer any special requirements of the given primitive" | baseFlags | baseFlags := profileSemaphore ~= objectMemory nilObject ifTrue: [PrimCallNeedsNewMethod + PrimCallCollectsProfileSamples] ifFalse: [0]. longRunningPrimitiveCheckSemaphore ifNotNil: [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod]. self cCode: [] inSmalltalk: [#(primitiveExternalCall primitiveCalloutToFFI)]. "For senders..." + (primIndex = PrimNumberExternalCall "#primitiveExternalCall" + or: [primIndex = PrimNumberFFICall "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" - (primIndex == 117 "#primitiveExternalCall" - or: [primIndex == 120 "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod + PrimCallNeedsPrimitiveFunction + PrimCallMayCallBack]. ^baseFlags! Item was changed: ----- Method: CoInterpreterMT>>markAndTraceInterpreterOops: (in category 'object memory support') ----- markAndTraceInterpreterOops: fullGCFlag "Mark and trace all oops in the interpreter's state." "Assume: All traced variables contain valid oops. N.B. Don't trace messageSelector and lkupClass; these are ephemeral, live only during message lookup and because createActualMessageTo will not cause a GC these cannot change during message lookup." | oop | <var: #vmThread type: #'CogVMThread *'> "Must mark stack pages first to initialize the per-page trace flags for full garbage collect before any subsequent tracing." self markAndTraceStackPages: fullGCFlag. self markAndTraceTraceLog. self markAndTracePrimTraceLog. objectMemory markAndTrace: objectMemory specialObjectsOop. "also covers nilObj, trueObj, falseObj, and compact classes" (objectMemory isImmediate: newMethod) ifFalse: [objectMemory markAndTrace: newMethod]. self traceProfileState. tempOop = 0 ifFalse: [objectMemory markAndTrace: tempOop]. tempOop2 = 0 ifFalse: [objectMemory markAndTrace: tempOop2]. + tempOop3 = 0 ifFalse: [objectMemory markAndTrace: tempOop3]. 1 to: objectMemory remapBufferCount do: [:i| oop := objectMemory remapBuffer at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Callback support - trace suspended callback list - will be made per-thread soon" 1 to: jmpDepth do: [:i| oop := suspendedCallbacks at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]. oop := suspendedMethods at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Per-thread state; trace each thread's own newMethod and stack of awol processes." 1 to: cogThreadManager getNumThreads do: [:i| | vmThread | vmThread := cogThreadManager vmThreadAt: i. vmThread state notNil ifTrue: [vmThread newMethodOrNull notNil ifTrue: [objectMemory markAndTrace: vmThread newMethodOrNull]. 0 to: vmThread awolProcIndex - 1 do: [:j| objectMemory markAndTrace: (vmThread awolProcesses at: j)]]]! Item was changed: ----- Method: Integer>>asUnsignedInteger (in category '*VMMaker-interpreter simulator') ----- asUnsignedInteger + "Since the simulator deals with positive integers most of the time we assert that the receiver is greater than zero. + But one major exception is stack pointers in the StackInterpreterSimulator, which are negative. So don't fail + if the sender is a StackInterpreter and the receiver could be a stack pointer." + self >= 0 ifFalse: + [self assert: ((thisContext sender methodClass includesBehavior: StackInterpreter) + and: [thisContext sender receiver stackPages couldBeFramePointer: self])]. - self assert: self >= 0. ^self! Item was changed: ----- Method: Integer>>signedIntFromLong (in category '*VMMaker-interpreter simulator') ----- signedIntFromLong "Self is a signed or unsigned 32-bit integer" - | bits | + "If it's already 32bits, avoid computation" + (self >= -16r80000000 and: [self <= 16r7FFFFFFF]) + ifTrue: [^self]. - (self >= SmallInteger minVal and: [self <= SmallInteger maxVal]) ifTrue: "These are known to be SmallIntegers..." - [^self]. bits := self bitAnd: 16rFFFFFFFF. (bits digitAt: 4) <= 16r7F ifTrue: [^bits]. ^bits - 16r100000000! Item was removed: - ----- Method: Spur32BitCoMemoryManager>>checkForLeaks (in category 'accessing') ----- - checkForLeaks - ^checkForLeaks! Item was removed: - ----- Method: Spur64BitCoMemoryManager>>checkForLeaks (in category 'accessing') ----- - checkForLeaks - ^checkForLeaks! Item was added: + ----- Method: SpurGenerationScavenger>>printRememberedSet (in category 'debug support') ----- + printRememberedSet + "Print the objects in the remembered set." + <api> + 0 to: rememberedSetSize - 1 do: + [:i| + coInterpreter printNum: i; space; shortPrintOop: (rememberedSet at: i)]! Item was changed: ----- Method: SpurGenerationScavenger>>referenceCountRememberedReferents: (in category 'remembered set') ----- referenceCountRememberedReferents: population "Both reference count young objects reachable from the RT, and count the populations of each ref count, in a single pass." <var: 'population' declareC: 'long population[MaxRTRefCount + 1]'> <inline: true> 0 to: rememberedSetSize - 1 do: [:i| | elephant | elephant := rememberedSet at: i. + (manager isForwarded: elephant) ifTrue: + [elephant := manager followForwarded: elephant. + (manager isImmediate: elephant) ifTrue: "take care if elephant forwarded to an immediate" + [elephant := manager nilObject]]. 0 to: (manager numPointerSlotsOf: elephant) - 1 do: [:j| | referent refCount | referent := manager fetchPointer: j ofObject: elephant. (manager isReallyYoung: referent) ifTrue: [refCount := manager rtRefCountOf: referent. refCount < MaxRTRefCount ifTrue: [refCount > 0 ifTrue: [population at: refCount put: (population at: refCount) - 1]. refCount := refCount + 1. manager rtRefCountOf: referent put: refCount. population at: refCount put: (population at: refCount) + 1]]]].! Item was added: + ----- Method: SpurMemoryManager>>checkForLeaks (in category 'accessing') ----- + checkForLeaks + ^checkForLeaks! Item was changed: ----- Method: SpurMemoryManager>>doBecome:to:copyHash: (in category 'become implementation') ----- doBecome: obj1 to: obj2 copyHash: copyHashFlag "one-way become with or without copying obj1's hash into obj2. Straight-forward, even for classes. With classes we end up with two entries for obj2. Which is current depends on copyHashFlag. If copyHashFlag is true then the entry at obj1's hash is valid, otherwise the the existing one at obj2's hash. When all the instances with the old hash have been collected, the GC will discover this and expunge obj2 at the unused index (see markAndTraceClassOf:)." self forward: obj1 to: obj2. copyHashFlag ifTrue: [self setHashBitsOf: obj2 to: (self rawHashBitsOf: obj1)]. ((self isOldObject: obj1) + and: [self isYoung: obj2]) ifTrue: - and: [self isYoungObject: obj2]) ifTrue: [becomeEffectsFlags := becomeEffectsFlags bitOr: OldBecameNewFlag]. + self deny: (self isOopForwarded: obj2)! - self deny: (self isForwarded: obj2)! Item was changed: ----- Method: SpurMemoryManager>>innerBecomeObjectsIn:to:copyHash: (in category 'become implementation') ----- innerBecomeObjectsIn: array1 to: array2 copyHash: copyHashFlag "Inner loop of one-way become." 0 to: (self numSlotsOf: array1) - 1 do: [:i| | obj1 obj2 | "At first blush it would appear unnecessary to use followField: here since the validation in become:with:twoWay:copyHash: follows forwarders. But there's nothing to ensure all elements of each array is unique and doesn't appear in the other array. So the enumeration could encounter an object already becommed earlier in the same enumeration." obj1 := self followField: i ofObject: array1. obj2 := self followField: i ofObject: array2. obj1 ~= obj2 ifTrue: [self doBecome: obj1 to: obj2 copyHash: copyHashFlag. self followField: i ofObject: array1. + self assert: (self isOopForwarded: obj2) not]]! - self assert: (self isForwarded: obj2) not]]! Item was changed: InterpreterPrimitives subclass: #StackInterpreter + instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver localAbsentReceiverOrZero extA extB primitiveFunctionPointer methodCache nsMethodCache atCache lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 tempOop3 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex checkedPluginName statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' + classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex EnforceAccessControl FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimNumberDoExternalCall PrimNumberExternalCall PrimNumberFFICall PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' - instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver localAbsentReceiverOrZero extA extB primitiveFunctionPointer methodCache nsMethodCache atCache lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' - classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex EnforceAccessControl FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' poolDictionaries: 'VMBasicConstants VMBytecodeConstants VMMethodCacheConstants VMObjectIndices VMSpurObjectRepresentationConstants VMSqueakClassIndices VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter commentStamp: 'eem 12/5/2014 11:32' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse frame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. StackInterpreter and subclasses support multiple memory managers. Currently there are two. NewMemoryManager is a slightly refined version of ObjectMemory, and is the memory manager and garbage collector for the original Squeak object representation as described in "Back to the Future The Story of Squeak, A Practical Smalltalk Written in Itself", see http://ftp.squeak.org/docs/OOPSLA.Squeak.html. Spur is a faster, more regular object representation that is designed for more performance and functionality, and to have a common header format for both 32-bit and 64-bit versions. You can read about it in SpurMemoryManager's class comment. There is also a video of a presentation at ESUG 2014 (https://www.youtube.com/watch?v=k0nBNS1aHZ4), along with slides (http://www.slideshare.net/esug/spur-a-new-object-representation-for-cog?rel…).! Item was changed: ----- Method: StackInterpreter class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants super initializeMiscConstants. STACKVM := true. "These flags function to identify a GC operation, or to specify what operations the leak checker should be run for." GCModeFull := 1. "stop-the-world global GC" GCModeNewSpace := 2. "Spur's scavenge, or V3's incremental" GCModeIncremental := 4. "incremental global gc (Dijkstra tri-colour marking); as yet unimplemented" + GCModeBecome := 8. "v3 post-become sweeping/Spur forwarding" - GCModeBecome := 8. "v3 post-become sweeping" GCModeImageSegment := 16. "just a flag for leak checking image segments" GCModeFreeSpace := 32. "just a flag for leak checking free space; Spur only" + GCCheckPrimCall := 64. "just a flag for leak checking external primitive calls" StackPageTraceInvalid := -1. StackPageUnreached := 0. StackPageReachedButUntraced := 1. StackPageTraced := 2. DumpStackOnLowSpace := 0. PrimitiveExternalCallIndex := 117. "Primitive index for #primitiveExternalCall" MillisecondClockMask := 16r1FFFFFFF. "Note: The external primitive table should actually be dynamically sized but for the sake of inferior platforms (e.g., Mac :-) who cannot allocate memory in any reasonable way, we keep it static (and cross our fingers...)" MaxExternalPrimitiveTableSize := 4096. "entries" MaxJumpBuf := 32. "max. callback depth" FailImbalancedPrimitives := initializationOptions at: #FailImbalancedPrimitives ifAbsentPut: [true]. EnforceAccessControl := initializationOptions at: #EnforceAccessControl ifAbsent: [true]! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code." ^(super mustBeGlobal: var) or: [(self objectMemoryClass mustBeGlobal: var) or: [(#('interpreterProxy' 'interpreterVersion' 'inIOProcessEvents' 'deferDisplayUpdates' 'extraVMMemory' 'showSurfaceFn' 'desiredNumStackPages' 'desiredEdenBytes' + 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'checkedPluginName' - 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'suppressHeartbeatFlag') 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>>checkForAndFollowForwardedPrimitiveState (in category 'primitive support') ----- checkForAndFollowForwardedPrimitiveState "In Spur a primitive may fail due to encountering a forwarder. On failure, check the accessorDepth for the primitive and if non-negative scan the args to the depth, following any forwarders. Answer if any are found so the prim can be retried. The primitive index is derived from newMethod. If the primitive is 118, then primitiveDoPrimitiveWithArgs sets newMethod to a SmallInteger whose value is the primitive it is evaluating." <option: #SpurObjectMemory> | primIndex accessorDepth found scannedStackFrame | self assert: self failed. found := scannedStackFrame := false. primIndex := (objectMemory isIntegerObject: newMethod) ifTrue: [objectMemory integerValueOf: newMethod] ifFalse: [self assert: argumentCount = (self argumentCountOf: newMethod). self primitiveIndexOf: newMethod]. accessorDepth := primitiveAccessorDepthTable at: primIndex. "For the method-executing primitives, failure could have been in those primitives or the primitives of the methods they execute. Find out which failed by seeing what is in effect." + ((primIndex = PrimNumberExternalCall and: [primitiveFunctionPointer ~~ #primitiveExternalCall]) + or: [primIndex = PrimNumberDoExternalCall and: [primitiveFunctionPointer ~~ #primitiveDoNamedPrimitiveWithArgs]]) - ((primIndex = 117 and: [primitiveFunctionPointer ~~ #primitiveExternalCall]) - or: [primIndex = 218 and: [primitiveFunctionPointer ~~ #primitiveDoNamedPrimitiveWithArgs]]) ifTrue: [accessorDepth := self primitiveAccessorDepthForExternalPrimitiveMethod: newMethod] ifFalse: [self assert: (self saneFunctionPointerForFailureOfPrimIndex: primIndex)]. + self assert: (accessorDepth between: -1 and: 4). - self assert: (accessorDepth between: -127 and: 127). accessorDepth >= 0 ifTrue: [0 to: argumentCount do: [:index| | oop | oop := self stackValue: index. (objectMemory isNonImmediate: oop) ifTrue: [(objectMemory isForwarded: oop) ifTrue: [self assert: index < argumentCount. "receiver should have been caught at send time." found := true. oop := objectMemory followForwarded: oop. self stackValue: index put: oop. scannedStackFrame ifFalse: [scannedStackFrame := true. self followForwardedFrameContents: framePointer stackPointer: stackPointer + (argumentCount + 1 * objectMemory wordSize) "don't repeat effort"]]. (accessorDepth > 0 and: [(objectMemory hasPointerFields: oop) and: [objectMemory followForwardedObjectFields: oop toDepth: accessorDepth]]) ifTrue: [found := true]]]]. ^found! Item was changed: ----- Method: StackInterpreter>>checkInterpreterIntegrity (in category 'object memory support') ----- checkInterpreterIntegrity "Perform an integrity/leak check using the heapMap. Assume clearLeakMapAndMapAccessibleObjects has set a bit at each object's header. Check that all oops in the interpreter's state points to a header. Answer if all checks pass." | ok | ok := true. (objectMemory checkOopIntegrity: objectMemory specialObjectsOop named: 'specialObjectsOop')ifFalse: [ok := false]. "No longer check messageSelector; it is ephemeral, not living beyond message lookup. (objectMemory isNonImmediate: messageSelector) ifTrue: [(objectMemory checkOopIntegrity: messageSelector named: 'messageSelector')ifFalse: [ok := false]]." (objectMemory checkOopIntegrity: newMethod named: 'newMethod')ifFalse: [ok := false]. "No longer check lkupClass; it is ephemeral, not living beyond message lookup. (objectMemory checkOopIntegrity: lkupClass named: 'lkupClass')ifFalse: [ok := false]." (objectMemory checkOopIntegrity: profileProcess named: 'profileProcess')ifFalse: [ok := false]. (objectMemory checkOopIntegrity: profileMethod named: 'profileMethod')ifFalse: [ok := false]. (objectMemory checkOopIntegrity: profileSemaphore named: 'profileSemaphore')ifFalse: [ok := false]. tempOop = 0 ifFalse: [(objectMemory checkOopIntegrity: tempOop named: 'tempOop')ifFalse: [ok := false]]. tempOop2 = 0 ifFalse: [(objectMemory checkOopIntegrity: tempOop2 named: 'tempOop2')ifFalse: [ok := false]]. + tempOop3 = 0 ifFalse: + [(objectMemory checkOopIntegrity: tempOop3 named: 'tempOop3')ifFalse: + [ok := false]]. "Callback support - check suspended callback list" 1 to: jmpDepth do: [:i| (objectMemory checkOopIntegrity: (suspendedCallbacks at: i) named: 'suspendedCallbacks' index: i) ifFalse: [ok := false]. (objectMemory checkOopIntegrity: (suspendedMethods at: i) named: 'suspendedMethods' index: i) ifFalse: [ok := false]]. self checkLogIntegrity ifFalse: [ok := false]. ^ok! 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." checkAllocFiller := false. "must precede initializeObjectMemory:" primFailCode := 0. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := 0. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextProfileTick := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. + tempOop := tempOop2 := tempOop3 := theUnknownShort := 0. - tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. deferDisplayUpdates := false. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. jmpDepth := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := 0! Item was added: + ----- Method: StackInterpreter>>isExternalPrimitiveCall: (in category 'compiled methods') ----- + isExternalPrimitiveCall: aMethodObj + "Answer if the method is an external primtiive call (prim 117)." + <inline: true> + ^(self primitiveIndexOf: aMethodObj) = PrimNumberExternalCall! Item was changed: ----- Method: StackInterpreter>>isNullExternalPrimitiveCall: (in category 'compiled methods') ----- isNullExternalPrimitiveCall: aMethodObj "Answer if the method is an external primtiive call (prim 117) with a null external primtiive. This is just for an assert in the CoInterpreter." | lit | + ((self isExternalPrimitiveCall: aMethodObj) - ((self primitiveIndexOf: aMethodObj) = 117 and: [(objectMemory literalCountOf: aMethodObj) > 0]) ifFalse: [^false]. lit := self literal: 0 ofMethod: aMethodObj. ^(objectMemory isArray: lit) + and: [(objectMemory numSlotsOf: lit) = 4 - and: [(objectMemory lengthOf: lit) = 4 and: [(objectMemory fetchPointer: 3 ofObject: lit) = ConstZero or: [(objectMemory fetchPointer: 3 ofObject: lit) = ConstMinusOne]]]! Item was changed: ----- Method: StackInterpreter>>mapInterpreterOops (in category 'object memory support') ----- mapInterpreterOops "Map all oops in the interpreter's state to their new values during garbage collection or a become: operation." "Assume: All traced variables contain valid oops." <inline: false> self mapStackPages. self mapMachineCode: self getGCMode. self mapTraceLogs. self mapVMRegisters. self mapProfileState. self remapCallbackState. (tempOop ~= 0 and: [objectMemory shouldRemapOop: tempOop]) ifTrue: [tempOop := objectMemory remapObj: tempOop]. (tempOop2 ~= 0 and: [objectMemory shouldRemapOop: tempOop2]) ifTrue: + [tempOop2 := objectMemory remapObj: tempOop2]. + (tempOop3 ~= 0 + and: [objectMemory shouldRemapOop: tempOop3]) ifTrue: + [tempOop3 := objectMemory remapObj: tempOop3]! - [tempOop2 := objectMemory remapObj: tempOop2]! Item was changed: ----- Method: StackInterpreter>>markAndTraceInterpreterOops: (in category 'object memory support') ----- markAndTraceInterpreterOops: fullGCFlag "Mark and trace all oops in the interpreter's state." "Assume: All traced variables contain valid oops. N.B. Don't trace messageSelector and lkupClass; these are ephemeral, live only during message lookup and because createActualMessageTo will not cause a GC these cannot change during message lookup." | oop | "Must mark stack pages first to initialize the per-page trace flags for full garbage collect before any subsequent tracing." self markAndTraceStackPages: fullGCFlag. self markAndTraceTraceLog. self markAndTracePrimTraceLog. objectMemory markAndTrace: objectMemory specialObjectsOop. "also covers nilObj, trueObj, falseObj, and compact classes" (objectMemory isImmediate: newMethod) ifFalse: [objectMemory markAndTrace: newMethod]. self traceProfileState. tempOop = 0 ifFalse: [objectMemory markAndTrace: tempOop]. tempOop2 = 0 ifFalse: [objectMemory markAndTrace: tempOop2]. + tempOop3 = 0 ifFalse: [objectMemory markAndTrace: tempOop3]. 1 to: objectMemory remapBufferCount do: [:i | oop := objectMemory remapBuffer at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Callback support - trace suspended callback list" 1 to: jmpDepth do:[:i| oop := suspendedCallbacks at: i. (objectMemory isIntegerObject: oop) ifFalse:[objectMemory markAndTrace: oop]. oop := suspendedMethods at: i. (objectMemory isIntegerObject: oop) ifFalse:[objectMemory markAndTrace: oop]. ]! Item was added: + ----- Method: StackInterpreter>>maybeLeakCheckExternalPrimCall: (in category 'debug support') ----- + maybeLeakCheckExternalPrimCall: aMethodObj + "Assert-only check for leaks after external prim calls if checkForLeaks includes the GCCheckPrimCall flag. + This is ionly really useful from a low-level C debugger, hence no accessors for checkedPluginName." + ((objectMemory checkForLeaks anyMask: GCCheckPrimCall) + and: [(self isExternalPrimitiveCall: aMethodObj) + and: [checkedPluginName = (objectMemory fetchPointer: 0 ofObject: (self literal: 0 ofMethod: aMethodObj))]]) ifTrue: + [objectMemory runLeakCheckerFor: GCCheckPrimCall]. + ^true! Item was changed: ----- Method: StackInterpreter>>slowPrimitiveResponse (in category 'primitive support') ----- slowPrimitiveResponse "Invoke a normal (non-quick) primitive. Called under the assumption that primFunctionPointer has been preloaded." | nArgs savedFramePointer savedStackPointer | <inline: true> <var: #savedFramePointer type: #'char *'> <var: #savedStackPointer type: #'char *'> self assert: (objectMemory isOopForwarded: (self stackValue: argumentCount)) not. self assert: objectMemory remapBufferCount = 0. FailImbalancedPrimitives ifTrue: [nArgs := argumentCount. savedStackPointer := stackPointer. savedFramePointer := framePointer]. self initPrimCall. self dispatchFunctionPointer: primitiveFunctionPointer. + self assert: (self maybeLeakCheckExternalPrimCall: newMethod). self maybeRetryFailureDueToForwarding. self maybeFailForLastObjectOverwrite. (FailImbalancedPrimitives and: [self successful and: [framePointer = savedFramePointer and: [(self isMachineCodeFrame: framePointer) not]]]) ifTrue:"Don't fail if primitive has done something radical, e.g. perform:" [stackPointer ~= (savedStackPointer + (nArgs * objectMemory wordSize)) ifTrue: [self flag: 'Would be nice to make this a message send of e.g. unbalancedPrimitive to the current process or context'. "This is necessary but insufficient; the result may still have been written to the stack. At least we'll know something is wrong." stackPointer := savedStackPointer. self failUnbalancedPrimitive]]. "If we are profiling, take accurate primitive measures" nextProfileTick > 0 ifTrue: [self checkProfileTick: newMethod]. ^self successful! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDoNamedPrimitiveWithArgs (in category 'plugin primitives') ----- primitiveDoNamedPrimitiveWithArgs "Simulate an primitiveExternalCall invocation (e.g. for the Debugger). Do not cache anything. e.g. ContextPart>>tryNamedPrimitiveIn: aCompiledMethod for: aReceiver withArgs: arguments" | argumentArray arraySize methodArg methodHeader moduleName functionName moduleLength functionLength spec addr primRcvr isArray | <var: #addr declareC: 'void (*addr)()'> argumentArray := self stackTop. methodArg := self stackValue: 2. ((objectMemory isArray: argumentArray) and: [objectMemory isOopCompiledMethod: methodArg]) ifFalse: [^self primitiveFailFor: -2]. "invalid args" arraySize := objectMemory numSlotsOf: argumentArray. (self roomToPushNArgs: arraySize) ifFalse: [^self primitiveFailFor: -2]. "invalid args" methodHeader := objectMemory methodHeaderOf: methodArg. (objectMemory literalCountOfMethodHeader: methodHeader) > 2 ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" spec := objectMemory fetchPointer: 1 "first literal" ofObject: methodArg. isArray := self isInstanceOfClassArray: spec. (isArray + and: [(objectMemory numSlotsOf: spec) = 4 + and: [(self primitiveIndexOfMethod: methodArg header: methodHeader) = PrimNumberExternalCall]]) ifFalse: - and: [(objectMemory lengthOf: spec) = 4 - and: [(self primitiveIndexOfMethod: methodArg header: methodHeader) = 117]]) ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" (self argumentCountOfMethodHeader: methodHeader) = arraySize ifFalse: [^self primitiveFailFor: -2]. "invalid args (Array args wrong size)" "The function has not been loaded yet. Fetch module and function name." moduleName := objectMemory fetchPointer: 0 ofObject: spec. moduleName = objectMemory nilObject ifTrue: [moduleLength := 0] ifFalse: [self success: (objectMemory isBytes: moduleName). moduleLength := objectMemory lengthOf: moduleName. self cCode: '' inSmalltalk: [ (#('FloatArrayPlugin' 'Matrix2x3Plugin') includes: (self stringOf: moduleName)) "??" ifTrue: [moduleLength := 0 "Cause all of these to fail"]]]. functionName := objectMemory fetchPointer: 1 ofObject: spec. self success: (objectMemory isBytes: functionName). functionLength := objectMemory lengthOf: functionName. self successful ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength. addr = 0 ifTrue: [^self primitiveFailFor: -1]. "could not find function; answer generic failure (see below)" "Cannot fail this primitive from now on. Can only fail the external primitive." tempOop := objectMemory eeInstantiateClassIndex: ClassArrayCompactIndex format: objectMemory arrayFormat numSlots: (objectMemory hasSpurMemoryManagerAPI ifTrue: [5] ifFalse: [4]). objectMemory storePointerUnchecked: 0 ofObject: tempOop withValue: (argumentArray := self popStack); storePointerUnchecked: 1 ofObject: tempOop withValue: (primRcvr := self popStack); storePointerUnchecked: 2 ofObject: tempOop withValue: self popStack; "the method" storePointerUnchecked: 3 ofObject: tempOop withValue: self popStack. "the context receiver" self push: primRcvr. "replace context receiver with actual receiver" argumentCount := arraySize. 1 to: arraySize do: [:index| self push: (objectMemory fetchPointer: index - 1 ofObject: argumentArray)]. objectMemory hasSpurMemoryManagerAPI ifTrue: [objectMemory storePointerUnchecked: 4 ofObject: tempOop withValue: newMethod. newMethod := methodArg. self callExternalPrimitive: addr. "On Spur, sets primitiveFunctionPointer" self maybeRetryFailureDueToForwarding. newMethod := objectMemory fetchPointer: 4 ofObject: tempOop] ifFalse: [self callExternalPrimitive: addr]. self successful ifFalse: "If primitive failed, then restore state for failure code" [self pop: arraySize + 1. self push: (objectMemory fetchPointer: 3 ofObject: tempOop). self push: (objectMemory fetchPointer: 2 ofObject: tempOop). self push: (objectMemory fetchPointer: 1 ofObject: tempOop). self push: (objectMemory fetchPointer: 0 ofObject: tempOop). argumentCount := 3. "Must reset primitiveFunctionPointer for checkForAndFollowForwardedPrimitiveState" objectMemory hasSpurMemoryManagerAPI ifTrue: [primitiveFunctionPointer := #primitiveDoNamedPrimitiveWithArgs]. "Hack. A nil prim error code (primErrorCode = 1) is interpreted by the image as meaning this primitive is not implemented. So to pass back nil as an error code we use -1 to indicate generic failure." primFailCode = 1 ifTrue: [primFailCode := -1]]! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDoPrimitiveWithArgs (in category 'control primitives') ----- primitiveDoPrimitiveWithArgs + "Implement either ProtoObject>>tryPrimitive: primIndex withArgs: argArray + or Context>>receiver: anObject tryPrimitive: primIndex withArgs: argArray. + If this primitive fails, arrange that its error code is a negative integer, to + distinguish between this failing and the primitive it invokes failing." + | argumentArray arraySize index primIdx savedNumArgs rcvr | + (argumentCount between: 2 and: 3) ifFalse: + [^self primitiveFailFor: PrimErrUnsupported negated]. - | argumentArray arraySize index primIdx | argumentArray := self stackTop. + primIdx := self stackValue: 1. + ((objectMemory isArray: argumentArray) + and: [objectMemory isIntegerObject: primIdx]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument negated]. - (objectMemory isArray: argumentArray) ifFalse: [^self primitiveFail]. arraySize := objectMemory numSlotsOf: argumentArray. + (self roomToPushNArgs: arraySize) ifFalse: + [^self primitiveFailFor: PrimErrLimitExceeded negated]. - self success: (self roomToPushNArgs: arraySize). + primIdx := objectMemory integerValueOf: primIdx. - primIdx := self stackIntegerValue: 1. - self successful ifFalse: [^self primitiveFail]. "invalid args" - primitiveFunctionPointer := self functionPointerFor: primIdx inClass: nil. primitiveFunctionPointer = 0 ifTrue: [primitiveFunctionPointer := #primitiveDoPrimitiveWithArgs. + ^self primitiveFailFor: PrimErrBadIndex negated]. - ^self primitiveFail]. "Pop primIndex and argArray, then push args in place..." + (savedNumArgs := argumentCount) = 3 + ifTrue: "...and receiver if the three arg form" + [tempOop2 := self stackValue: 4. "actual receiver" + rcvr := self stackValue: 3. "receiver for primitive" + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := objectMemory followForwarded: rcvr]. + self pop: 4; push: rcvr] "use first arg as receiver" + ifFalse: + [self pop: 2]. - self pop: 2. argumentCount := arraySize. index := 1. [index <= argumentCount] whileTrue: [self push: (objectMemory fetchPointer: index - 1 ofObject: argumentArray). index := index + 1]. self isPrimitiveFunctionPointerAnIndex ifTrue: [self externalQuickPrimitiveResponse. + tempOop2 := 0. ^nil]. "We use tempOop instead of pushRemappableOop:/popRemappableOop here because in the Cogit primitiveEnterCriticalSection, primitiveSignal, primitiveResume et al longjmp back to either the interpreter or machine code, depending on the process activated. So if we're + executing one of these primitives, control won't actually return here and the matching + popRemappableOop: wouldn't occur, potentially overflowing the remap buffer. + Note that while recursion could occur (nil tryPrimitive: 118 withArgs: #(118 #(110 #()))) + it counts as shooting oneself in the foot." - executing one of these primitives control won't actually return here and the matching - popRemappableOop: wouldn't occur, potentially overflowing the remap buffer. While recursion - could occur (nil tryPrimitive: 118 withArgs: #(111 #())) it counts as shooting oneself in the foot." tempOop := argumentArray. "prim might alloc/gc" - "Run the primitive (sets primFailCode)" + "Run the primitive (sets primFailCode)" objectMemory hasSpurMemoryManagerAPI ifTrue: + [tempOop3 := newMethod. - [tempOop2 := newMethod. newMethod := objectMemory integerObjectOf: primIdx. self slowPrimitiveResponse. + newMethod := tempOop3. + tempOop3 := 0] - newMethod := tempOop2. - tempOop2 := 0] ifFalse: [self slowPrimitiveResponse]. + self successful ifFalse: "If primitive failed, then restore state for failure code" [self pop: arraySize. + savedNumArgs = 3 ifTrue: + [rcvr := self stackTop. + self stackTopPut: tempOop2. + self push: rcvr]. self pushInteger: primIdx. self push: tempOop. primitiveFunctionPointer := #primitiveDoPrimitiveWithArgs. + argumentCount := savedNumArgs]. + tempOop := tempOop2 := 0! - argumentCount := 2]. - tempOop := 0! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveExternalCall (in category 'plugin primitives') ----- primitiveExternalCall "Call an external primitive. External primitive methods first literals are an array of * The module name (String | Symbol) * The function name (String | Symbol) + * The session ID (SmallInteger) [OBSOLETE], or in Spur, the accessorDepth (Integer) - * The session ID (SmallInteger) [OBSOLETE] (or in Spur, the accessorDepth) * The function index (Integer) in the externalPrimitiveTable For fast interpreter dispatch in subsequent invocations the primitiveFunctionPointer in the method cache is rewritten, either to the function itself, or to zero if the external function is not found. This allows for fast responses as long as the method stays in the cache. The cache rewrite relies on lastMethodCacheProbeWrite which is set in addNewMethodToCache:. Now that the VM flushes function addresses from its tables, the session ID is obsolete, but it is kept for backward compatibility. Also, a failed lookup is reported specially. If a method has been looked up and not been found, the function address is stored as -1 (i.e., the SmallInteger -1 to distinguish from 16rFFFFFFFF which may be returned from lookup), and the primitive fails with PrimErrNotFound." | lit addr moduleName functionName moduleLength functionLength accessorDepth index | <var: #addr declareC: 'void (*addr)()'> "Check for it being a method for primitiveDoPrimitiveWithArgs. Fetch the first literal of the method; check its an Array of length 4. Look at the function index in case it has been loaded before" ((objectMemory isOopCompiledMethod: newMethod) and: [(objectMemory literalCountOf: newMethod) > 0 and: [lit := self literal: 0 ofMethod: newMethod. (objectMemory isArray: lit) and: [(objectMemory numSlotsOf: lit) = 4 and: [index := objectMemory fetchPointer: 3 ofObject: lit. objectMemory isIntegerObject: index]]]]) ifFalse: [^self primitiveFailFor: PrimErrBadMethod]. index := objectMemory integerValueOf: index. "Check if we have already looked up the function and failed." index < 0 ifTrue: ["Function address was not found in this session, Void the primitive function." self rewriteMethodCacheEntryForExternalPrimitiveToFunction: 0. ^self primitiveFailFor: PrimErrNotFound]. "Try to call the function directly" (index > 0 and: [index <= MaxExternalPrimitiveTableSize]) ifTrue: [addr := externalPrimitiveTable at: index - 1. addr ~= 0 ifTrue: [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: (self cCode: 'addr' inSmalltalk: [1000 + index]). self callExternalPrimitive: addr. "On Spur, sets primitiveFunctionPointer" self maybeRetryFailureDueToForwarding. ^nil]. "if we get here, then an index to the external prim was kept on the ST side although the underlying prim table was already flushed" ^self primitiveFailFor: PrimErrNamedInternal]. "Clean up session id and external primitive index" objectMemory storePointerUnchecked: 2 ofObject: lit withValue: ConstZero. objectMemory storePointerUnchecked: 3 ofObject: lit withValue: ConstZero. "The function has not been loaded yet. Fetch module and function name." moduleName := objectMemory fetchPointer: 0 ofObject: lit. moduleName = objectMemory nilObject ifTrue: [moduleLength := 0] ifFalse: [(objectMemory isBytes: moduleName) ifFalse: [self primitiveFailFor: PrimErrBadMethod]. moduleLength := objectMemory lengthOf: moduleName]. functionName := objectMemory fetchPointer: 1 ofObject: lit. (objectMemory isBytes: functionName) ifFalse: [self primitiveFailFor: PrimErrBadMethod]. functionLength := objectMemory lengthOf: functionName. + "Spur needs to know the primitive's accessorDepth which is stored in the third slot of the first literal." - "Spur needs to know the primitive's accessorDepth which is stored in the last slot of the first literal." objectMemory hasSpurMemoryManagerAPI ifTrue: [addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength AccessorDepthInto: (self addressOf: accessorDepth put: [:val| accessorDepth := val]). addr = 0 ifTrue: [index := -1] ifFalse: "add the function to the external primitive table" [index := self addToExternalPrimitiveTable: addr. objectMemory storePointerUnchecked: 2 ofObject: lit withValue: (objectMemory integerObjectOf: accessorDepth)]] ifFalse: [addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength. addr = 0 ifTrue: [index := -1] ifFalse: "add the function to the external primitive table" [index := self addToExternalPrimitiveTable: addr]]. "Store the index (or -1 if failure) back in the literal" objectMemory storePointerUnchecked: 3 ofObject: lit withValue: (objectMemory integerObjectOf: index). "If the function has been successfully loaded cache and call it" index >= 0 ifTrue: [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: (self cCode: [addr] inSmalltalk: [1000 + index]). self callExternalPrimitive: addr. self maybeRetryFailureDueToForwarding] ifFalse: "Otherwise void the primitive function and fail" [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: 0. self assert: (objectMemory fetchPointer: 2 ofObject: lit) = ConstZero. self primitiveFailFor: PrimErrNotFound]! Item was changed: ----- Method: StackInterpreterSimulator>>primitiveExecuteMethodArgsArray (in category 'control primitives') ----- primitiveExecuteMethodArgsArray + self halt: thisContext selector. + "(objectMemory isOopCompiledMethod: self stackTop) ifFalse: + [self halt]." - "self halt: thisContext selector." - (objectMemory isOopCompiledMethod: self stackTop) ifFalse: - [self halt]. ^super primitiveExecuteMethodArgsArray! Item was changed: SharedPool subclass: #VMBasicConstants instanceVariableNames: '' + classVariableNames: 'BaseHeaderSize BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCCheckPrimCall GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN' - classVariableNames: 'BaseHeaderSize BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMBasicConstants commentStamp: '<historical>' prior: 0! I am a shared pool for basic constants upon which the VM as a whole depends. self ensureClassPool. self classPool declare: #BytesPerWord from: VMSqueakV3ObjectRepresentationConstants classPool. self classPool declare: #BaseHeaderSize from: VMSqueakV3ObjectRepresentationConstants classPool (ObjectMemory classPool keys select: [:k| k beginsWith: 'Byte']) do: [:k| self classPool declare: k from: ObjectMemory classPool]!

1 0

VM Crash LocaleTest>> beginning with Cog Spur 16.13 on Windows
by Patrick R. 20 May '16

20 May '16

Hi everyone, just wanted to let you know that the LocaleTest crashes the VM for builds after and including Cog with Spur on Windows version number 16.13. The crash dump does neither contain a Smalltalk nor a C trace and the VM crashes at the primitive 117. It is somewhat unclear what the issue might be. Are there any more information that could help you on that? Bests Patrick -- View this message in context: http://forum.world.st/VM-Crash-LocaleTest-beginning-with-Cog-Spur-16-13-on-… Sent from the Squeak VM mailing list archive at Nabble.com.

5 15

VM Maker: VMMaker.oscog-eem.1861.mcz
by commits＠source.squeak.org 19 May '16

19 May '16

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1861.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1861 Author: eem Time: 19 May 2016, 1:53:28.737873 pm UUID: 2b288ffb-5ed0-4adc-9a5c-929af14fbb4b Ancestors: VMMaker.oscog-eem.1860 Fix the Spur implementation of becomeForward:copyHash: for becomming immediates with copyHash false. Fix the scavenger's referenceCountRememberedReferents: for forwasrding to immediates, and add a printRememberedSet convenience. Make primitiveDoPrimitiveWithArgs usable as a mirror primitive, such that no message needs to be sent to the receiver to evaluate a primitive on it. This would make possible Context>>receiver: anObject tryPrimitive: primIndex withArgs: argArray. Use symbolic constants for the primitive numbers of the primitive-executing primitives. Provide support for running the leak checker after an external primtiive call in the StackInterpreter (for debugging leaks in the GdbARMPlugin). =============== Diff against VMMaker.oscog-eem.1860 =============== Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForSpur: (in category 'cog jit support') ----- primitivePropertyFlagsForSpur: primIndex <inline: true> "Answer any special requirements of the given primitive. Spur always needs to set primitiveFunctionPointer and newMethod so primitives can retry on failure due to forwarders." | baseFlags | baseFlags := PrimCallNeedsPrimitiveFunction + PrimCallNeedsNewMethod. profileSemaphore ~= objectMemory nilObject ifTrue: [baseFlags := baseFlags bitOr: PrimCallCollectsProfileSamples]. self cCode: [] inSmalltalk: [#(primitiveExternalCall primitiveCalloutToFFI)]. "For senders..." + (primIndex = PrimNumberExternalCall "#primitiveExternalCall" + or: [primIndex = PrimNumberFFICall "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" - (primIndex == 117 "#primitiveExternalCall" - or: [primIndex == 120 "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" [baseFlags := baseFlags bitOr: PrimCallMayCallBack. checkAllocFiller ifTrue: [baseFlags := baseFlags bitOr: CheckAllocationFillerAfterPrimCall]]. ^baseFlags! Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForV3: (in category 'cog jit support') ----- primitivePropertyFlagsForV3: primIndex <inline: true> "Answer any special requirements of the given primitive" | baseFlags | baseFlags := profileSemaphore ~= objectMemory nilObject ifTrue: [PrimCallNeedsNewMethod + PrimCallCollectsProfileSamples] ifFalse: [0]. longRunningPrimitiveCheckSemaphore ifNotNil: [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod]. self cCode: [] inSmalltalk: [#(primitiveExternalCall primitiveCalloutToFFI)]. "For senders..." + (primIndex = PrimNumberExternalCall "#primitiveExternalCall" + or: [primIndex = PrimNumberFFICall "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" - (primIndex == 117 "#primitiveExternalCall" - or: [primIndex == 120 "#primitiveCalloutToFFI"]) ifTrue: "For callbacks" [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod + PrimCallNeedsPrimitiveFunction + PrimCallMayCallBack]. ^baseFlags! Item was changed: ----- Method: CoInterpreterMT>>markAndTraceInterpreterOops: (in category 'object memory support') ----- markAndTraceInterpreterOops: fullGCFlag "Mark and trace all oops in the interpreter's state." "Assume: All traced variables contain valid oops. N.B. Don't trace messageSelector and lkupClass; these are ephemeral, live only during message lookup and because createActualMessageTo will not cause a GC these cannot change during message lookup." | oop | <var: #vmThread type: #'CogVMThread *'> "Must mark stack pages first to initialize the per-page trace flags for full garbage collect before any subsequent tracing." self markAndTraceStackPages: fullGCFlag. self markAndTraceTraceLog. self markAndTracePrimTraceLog. objectMemory markAndTrace: objectMemory specialObjectsOop. "also covers nilObj, trueObj, falseObj, and compact classes" (objectMemory isImmediate: newMethod) ifFalse: [objectMemory markAndTrace: newMethod]. self traceProfileState. tempOop = 0 ifFalse: [objectMemory markAndTrace: tempOop]. tempOop2 = 0 ifFalse: [objectMemory markAndTrace: tempOop2]. + tempOop3 = 0 ifFalse: [objectMemory markAndTrace: tempOop3]. 1 to: objectMemory remapBufferCount do: [:i| oop := objectMemory remapBuffer at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Callback support - trace suspended callback list - will be made per-thread soon" 1 to: jmpDepth do: [:i| oop := suspendedCallbacks at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]. oop := suspendedMethods at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Per-thread state; trace each thread's own newMethod and stack of awol processes." 1 to: cogThreadManager getNumThreads do: [:i| | vmThread | vmThread := cogThreadManager vmThreadAt: i. vmThread state notNil ifTrue: [vmThread newMethodOrNull notNil ifTrue: [objectMemory markAndTrace: vmThread newMethodOrNull]. 0 to: vmThread awolProcIndex - 1 do: [:j| objectMemory markAndTrace: (vmThread awolProcesses at: j)]]]! Item was changed: ----- Method: Integer>>asUnsignedInteger (in category '*VMMaker-interpreter simulator') ----- asUnsignedInteger + "Since the simulator deals with positive integers most of the time we assert that the receiver is greater than zero. + But one major exception is stack pointers in the StackInterpreterSimulator, which are negative. So don't fail + if the sender is a StackInterpreter and the receiver could be a stack pointer." + self >= 0 ifFalse: + [self assert: ((thisContext sender methodClass includesBehavior: StackInterpreter) + and: [thisContext sender receiver stackPages couldBeFramePointer: self])]. - self assert: self >= 0. ^self! Item was removed: - ----- Method: Spur32BitCoMemoryManager>>checkForLeaks (in category 'accessing') ----- - checkForLeaks - ^checkForLeaks! Item was removed: - ----- Method: Spur64BitCoMemoryManager>>checkForLeaks (in category 'accessing') ----- - checkForLeaks - ^checkForLeaks! Item was added: + ----- Method: SpurGenerationScavenger>>printRememberedSet (in category 'debug support') ----- + printRememberedSet + "Print the objects in the remembered set." + <api> + 0 to: rememberedSetSize - 1 do: + [:i| + coInterpreter printNum: i; space; shortPrintOop: (rememberedSet at: i)]! Item was changed: ----- Method: SpurGenerationScavenger>>referenceCountRememberedReferents: (in category 'remembered set') ----- referenceCountRememberedReferents: population "Both reference count young objects reachable from the RT, and count the populations of each ref count, in a single pass." <var: 'population' declareC: 'long population[MaxRTRefCount + 1]'> <inline: true> 0 to: rememberedSetSize - 1 do: [:i| | elephant | elephant := rememberedSet at: i. + (manager isForwarded: elephant) ifTrue: + [elephant := manager followForwarded: elephant. + (manager isImmediate: elephant) ifTrue: "take care if elephant forwarded to an immediate" + [elephant := manager nilObject]]. 0 to: (manager numPointerSlotsOf: elephant) - 1 do: [:j| | referent refCount | referent := manager fetchPointer: j ofObject: elephant. (manager isReallyYoung: referent) ifTrue: [refCount := manager rtRefCountOf: referent. refCount < MaxRTRefCount ifTrue: [refCount > 0 ifTrue: [population at: refCount put: (population at: refCount) - 1]. refCount := refCount + 1. manager rtRefCountOf: referent put: refCount. population at: refCount put: (population at: refCount) + 1]]]].! Item was added: + ----- Method: SpurMemoryManager>>checkForLeaks (in category 'accessing') ----- + checkForLeaks + ^checkForLeaks! Item was changed: ----- Method: SpurMemoryManager>>doBecome:to:copyHash: (in category 'become implementation') ----- doBecome: obj1 to: obj2 copyHash: copyHashFlag "one-way become with or without copying obj1's hash into obj2. Straight-forward, even for classes. With classes we end up with two entries for obj2. Which is current depends on copyHashFlag. If copyHashFlag is true then the entry at obj1's hash is valid, otherwise the the existing one at obj2's hash. When all the instances with the old hash have been collected, the GC will discover this and expunge obj2 at the unused index (see markAndTraceClassOf:)." self forward: obj1 to: obj2. copyHashFlag ifTrue: [self setHashBitsOf: obj2 to: (self rawHashBitsOf: obj1)]. ((self isOldObject: obj1) + and: [self isYoung: obj2]) ifTrue: - and: [self isYoungObject: obj2]) ifTrue: [becomeEffectsFlags := becomeEffectsFlags bitOr: OldBecameNewFlag]. + self deny: (self isOopForwarded: obj2)! - self deny: (self isForwarded: obj2)! Item was changed: ----- Method: SpurMemoryManager>>innerBecomeObjectsIn:to:copyHash: (in category 'become implementation') ----- innerBecomeObjectsIn: array1 to: array2 copyHash: copyHashFlag "Inner loop of one-way become." 0 to: (self numSlotsOf: array1) - 1 do: [:i| | obj1 obj2 | "At first blush it would appear unnecessary to use followField: here since the validation in become:with:twoWay:copyHash: follows forwarders. But there's nothing to ensure all elements of each array is unique and doesn't appear in the other array. So the enumeration could encounter an object already becommed earlier in the same enumeration." obj1 := self followField: i ofObject: array1. obj2 := self followField: i ofObject: array2. obj1 ~= obj2 ifTrue: [self doBecome: obj1 to: obj2 copyHash: copyHashFlag. self followField: i ofObject: array1. + self assert: (self isOopForwarded: obj2) not]]! - self assert: (self isForwarded: obj2) not]]! Item was changed: InterpreterPrimitives subclass: #StackInterpreter + instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver localAbsentReceiverOrZero extA extB primitiveFunctionPointer methodCache nsMethodCache atCache lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 tempOop3 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex checkedPluginName statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' + classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex EnforceAccessControl FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimNumberDoExternalCall PrimNumberExternalCall PrimNumberFFICall PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' - instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver localAbsentReceiverOrZero extA extB primitiveFunctionPointer methodCache nsMethodCache atCache lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' - classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex EnforceAccessControl FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' poolDictionaries: 'VMBasicConstants VMBytecodeConstants VMMethodCacheConstants VMObjectIndices VMSpurObjectRepresentationConstants VMSqueakClassIndices VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter commentStamp: 'eem 12/5/2014 11:32' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse frame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. StackInterpreter and subclasses support multiple memory managers. Currently there are two. NewMemoryManager is a slightly refined version of ObjectMemory, and is the memory manager and garbage collector for the original Squeak object representation as described in "Back to the Future The Story of Squeak, A Practical Smalltalk Written in Itself", see http://ftp.squeak.org/docs/OOPSLA.Squeak.html. Spur is a faster, more regular object representation that is designed for more performance and functionality, and to have a common header format for both 32-bit and 64-bit versions. You can read about it in SpurMemoryManager's class comment. There is also a video of a presentation at ESUG 2014 (https://www.youtube.com/watch?v=k0nBNS1aHZ4), along with slides (http://www.slideshare.net/esug/spur-a-new-object-representation-for-cog?rel…).! Item was changed: ----- Method: StackInterpreter class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants super initializeMiscConstants. STACKVM := true. "These flags function to identify a GC operation, or to specify what operations the leak checker should be run for." GCModeFull := 1. "stop-the-world global GC" GCModeNewSpace := 2. "Spur's scavenge, or V3's incremental" GCModeIncremental := 4. "incremental global gc (Dijkstra tri-colour marking); as yet unimplemented" + GCModeBecome := 8. "v3 post-become sweeping/Spur forwarding" - GCModeBecome := 8. "v3 post-become sweeping" GCModeImageSegment := 16. "just a flag for leak checking image segments" GCModeFreeSpace := 32. "just a flag for leak checking free space; Spur only" + GCCheckPrimCall := 64. "just a flag for leak checking external primitive calls" StackPageTraceInvalid := -1. StackPageUnreached := 0. StackPageReachedButUntraced := 1. StackPageTraced := 2. DumpStackOnLowSpace := 0. PrimitiveExternalCallIndex := 117. "Primitive index for #primitiveExternalCall" MillisecondClockMask := 16r1FFFFFFF. "Note: The external primitive table should actually be dynamically sized but for the sake of inferior platforms (e.g., Mac :-) who cannot allocate memory in any reasonable way, we keep it static (and cross our fingers...)" MaxExternalPrimitiveTableSize := 4096. "entries" MaxJumpBuf := 32. "max. callback depth" FailImbalancedPrimitives := initializationOptions at: #FailImbalancedPrimitives ifAbsentPut: [true]. EnforceAccessControl := initializationOptions at: #EnforceAccessControl ifAbsent: [true]! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter class>>mustBeGlobal: (in category 'translation') ----- mustBeGlobal: var "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code." ^(super mustBeGlobal: var) or: [(self objectMemoryClass mustBeGlobal: var) or: [(#('interpreterProxy' 'interpreterVersion' 'inIOProcessEvents' 'deferDisplayUpdates' 'extraVMMemory' 'showSurfaceFn' 'desiredNumStackPages' 'desiredEdenBytes' + 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'checkedPluginName' - 'breakSelector' 'breakSelectorLength' 'sendTrace' 'checkAllocFiller' 'suppressHeartbeatFlag') 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>>checkForAndFollowForwardedPrimitiveState (in category 'primitive support') ----- checkForAndFollowForwardedPrimitiveState "In Spur a primitive may fail due to encountering a forwarder. On failure, check the accessorDepth for the primitive and if non-negative scan the args to the depth, following any forwarders. Answer if any are found so the prim can be retried. The primitive index is derived from newMethod. If the primitive is 118, then primitiveDoPrimitiveWithArgs sets newMethod to a SmallInteger whose value is the primitive it is evaluating." <option: #SpurObjectMemory> | primIndex accessorDepth found scannedStackFrame | self assert: self failed. found := scannedStackFrame := false. primIndex := (objectMemory isIntegerObject: newMethod) ifTrue: [objectMemory integerValueOf: newMethod] ifFalse: [self assert: argumentCount = (self argumentCountOf: newMethod). self primitiveIndexOf: newMethod]. accessorDepth := primitiveAccessorDepthTable at: primIndex. "For the method-executing primitives, failure could have been in those primitives or the primitives of the methods they execute. Find out which failed by seeing what is in effect." + ((primIndex = PrimNumberExternalCall and: [primitiveFunctionPointer ~~ #primitiveExternalCall]) + or: [primIndex = PrimNumberDoExternalCall and: [primitiveFunctionPointer ~~ #primitiveDoNamedPrimitiveWithArgs]]) - ((primIndex = 117 and: [primitiveFunctionPointer ~~ #primitiveExternalCall]) - or: [primIndex = 218 and: [primitiveFunctionPointer ~~ #primitiveDoNamedPrimitiveWithArgs]]) ifTrue: [accessorDepth := self primitiveAccessorDepthForExternalPrimitiveMethod: newMethod] ifFalse: [self assert: (self saneFunctionPointerForFailureOfPrimIndex: primIndex)]. + self assert: (accessorDepth between: -1 and: 4). - self assert: (accessorDepth between: -127 and: 127). accessorDepth >= 0 ifTrue: [0 to: argumentCount do: [:index| | oop | oop := self stackValue: index. (objectMemory isNonImmediate: oop) ifTrue: [(objectMemory isForwarded: oop) ifTrue: [self assert: index < argumentCount. "receiver should have been caught at send time." found := true. oop := objectMemory followForwarded: oop. self stackValue: index put: oop. scannedStackFrame ifFalse: [scannedStackFrame := true. self followForwardedFrameContents: framePointer stackPointer: stackPointer + (argumentCount + 1 * objectMemory wordSize) "don't repeat effort"]]. (accessorDepth > 0 and: [(objectMemory hasPointerFields: oop) and: [objectMemory followForwardedObjectFields: oop toDepth: accessorDepth]]) ifTrue: [found := true]]]]. ^found! Item was changed: ----- Method: StackInterpreter>>checkInterpreterIntegrity (in category 'object memory support') ----- checkInterpreterIntegrity "Perform an integrity/leak check using the heapMap. Assume clearLeakMapAndMapAccessibleObjects has set a bit at each object's header. Check that all oops in the interpreter's state points to a header. Answer if all checks pass." | ok | ok := true. (objectMemory checkOopIntegrity: objectMemory specialObjectsOop named: 'specialObjectsOop')ifFalse: [ok := false]. "No longer check messageSelector; it is ephemeral, not living beyond message lookup. (objectMemory isNonImmediate: messageSelector) ifTrue: [(objectMemory checkOopIntegrity: messageSelector named: 'messageSelector')ifFalse: [ok := false]]." (objectMemory checkOopIntegrity: newMethod named: 'newMethod')ifFalse: [ok := false]. "No longer check lkupClass; it is ephemeral, not living beyond message lookup. (objectMemory checkOopIntegrity: lkupClass named: 'lkupClass')ifFalse: [ok := false]." (objectMemory checkOopIntegrity: profileProcess named: 'profileProcess')ifFalse: [ok := false]. (objectMemory checkOopIntegrity: profileMethod named: 'profileMethod')ifFalse: [ok := false]. (objectMemory checkOopIntegrity: profileSemaphore named: 'profileSemaphore')ifFalse: [ok := false]. tempOop = 0 ifFalse: [(objectMemory checkOopIntegrity: tempOop named: 'tempOop')ifFalse: [ok := false]]. tempOop2 = 0 ifFalse: [(objectMemory checkOopIntegrity: tempOop2 named: 'tempOop2')ifFalse: [ok := false]]. + tempOop3 = 0 ifFalse: + [(objectMemory checkOopIntegrity: tempOop3 named: 'tempOop3')ifFalse: + [ok := false]]. "Callback support - check suspended callback list" 1 to: jmpDepth do: [:i| (objectMemory checkOopIntegrity: (suspendedCallbacks at: i) named: 'suspendedCallbacks' index: i) ifFalse: [ok := false]. (objectMemory checkOopIntegrity: (suspendedMethods at: i) named: 'suspendedMethods' index: i) ifFalse: [ok := false]]. self checkLogIntegrity ifFalse: [ok := false]. ^ok! 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." checkAllocFiller := false. "must precede initializeObjectMemory:" primFailCode := 0. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := 0. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextProfileTick := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. + tempOop := tempOop2 := tempOop3 := theUnknownShort := 0. - tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. deferDisplayUpdates := false. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. jmpDepth := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := 0! Item was added: + ----- Method: StackInterpreter>>isExternalPrimitiveCall: (in category 'compiled methods') ----- + isExternalPrimitiveCall: aMethodObj + "Answer if the method is an external primtiive call (prim 117)." + <inline: true> + ^(self primitiveIndexOf: aMethodObj) = PrimNumberExternalCall! Item was changed: ----- Method: StackInterpreter>>isNullExternalPrimitiveCall: (in category 'compiled methods') ----- isNullExternalPrimitiveCall: aMethodObj "Answer if the method is an external primtiive call (prim 117) with a null external primtiive. This is just for an assert in the CoInterpreter." | lit | + ((self isExternalPrimitiveCall: aMethodObj) - ((self primitiveIndexOf: aMethodObj) = 117 and: [(objectMemory literalCountOf: aMethodObj) > 0]) ifFalse: [^false]. lit := self literal: 0 ofMethod: aMethodObj. ^(objectMemory isArray: lit) + and: [(objectMemory numSlotsOf: lit) = 4 - and: [(objectMemory lengthOf: lit) = 4 and: [(objectMemory fetchPointer: 3 ofObject: lit) = ConstZero or: [(objectMemory fetchPointer: 3 ofObject: lit) = ConstMinusOne]]]! Item was changed: ----- Method: StackInterpreter>>mapInterpreterOops (in category 'object memory support') ----- mapInterpreterOops "Map all oops in the interpreter's state to their new values during garbage collection or a become: operation." "Assume: All traced variables contain valid oops." <inline: false> self mapStackPages. self mapMachineCode: self getGCMode. self mapTraceLogs. self mapVMRegisters. self mapProfileState. self remapCallbackState. (tempOop ~= 0 and: [objectMemory shouldRemapOop: tempOop]) ifTrue: [tempOop := objectMemory remapObj: tempOop]. (tempOop2 ~= 0 and: [objectMemory shouldRemapOop: tempOop2]) ifTrue: + [tempOop2 := objectMemory remapObj: tempOop2]. + (tempOop3 ~= 0 + and: [objectMemory shouldRemapOop: tempOop3]) ifTrue: + [tempOop3 := objectMemory remapObj: tempOop3]! - [tempOop2 := objectMemory remapObj: tempOop2]! Item was changed: ----- Method: StackInterpreter>>markAndTraceInterpreterOops: (in category 'object memory support') ----- markAndTraceInterpreterOops: fullGCFlag "Mark and trace all oops in the interpreter's state." "Assume: All traced variables contain valid oops. N.B. Don't trace messageSelector and lkupClass; these are ephemeral, live only during message lookup and because createActualMessageTo will not cause a GC these cannot change during message lookup." | oop | "Must mark stack pages first to initialize the per-page trace flags for full garbage collect before any subsequent tracing." self markAndTraceStackPages: fullGCFlag. self markAndTraceTraceLog. self markAndTracePrimTraceLog. objectMemory markAndTrace: objectMemory specialObjectsOop. "also covers nilObj, trueObj, falseObj, and compact classes" (objectMemory isImmediate: newMethod) ifFalse: [objectMemory markAndTrace: newMethod]. self traceProfileState. tempOop = 0 ifFalse: [objectMemory markAndTrace: tempOop]. tempOop2 = 0 ifFalse: [objectMemory markAndTrace: tempOop2]. + tempOop3 = 0 ifFalse: [objectMemory markAndTrace: tempOop3]. 1 to: objectMemory remapBufferCount do: [:i | oop := objectMemory remapBuffer at: i. (objectMemory isIntegerObject: oop) ifFalse: [objectMemory markAndTrace: oop]]. "Callback support - trace suspended callback list" 1 to: jmpDepth do:[:i| oop := suspendedCallbacks at: i. (objectMemory isIntegerObject: oop) ifFalse:[objectMemory markAndTrace: oop]. oop := suspendedMethods at: i. (objectMemory isIntegerObject: oop) ifFalse:[objectMemory markAndTrace: oop]. ]! Item was added: + ----- Method: StackInterpreter>>maybeLeakCheckExternalPrimCall: (in category 'debug support') ----- + maybeLeakCheckExternalPrimCall: aMethodObj + "Assert-only check for leaks after external prim calls if checkForLeaks includes the GCCheckPrimCall flag. + This is ionly really useful from a low-level C debugger, hence no accessors for checkedPluginName." + ((objectMemory checkForLeaks anyMask: GCCheckPrimCall) + and: [(self isExternalPrimitiveCall: aMethodObj) + and: [checkedPluginName = (objectMemory fetchPointer: 0 ofObject: (self literal: 0 ofMethod: aMethodObj))]]) ifTrue: + [objectMemory runLeakCheckerFor: GCCheckPrimCall]. + ^true! Item was changed: ----- Method: StackInterpreter>>slowPrimitiveResponse (in category 'primitive support') ----- slowPrimitiveResponse "Invoke a normal (non-quick) primitive. Called under the assumption that primFunctionPointer has been preloaded." | nArgs savedFramePointer savedStackPointer | <inline: true> <var: #savedFramePointer type: #'char *'> <var: #savedStackPointer type: #'char *'> self assert: (objectMemory isOopForwarded: (self stackValue: argumentCount)) not. self assert: objectMemory remapBufferCount = 0. FailImbalancedPrimitives ifTrue: [nArgs := argumentCount. savedStackPointer := stackPointer. savedFramePointer := framePointer]. self initPrimCall. self dispatchFunctionPointer: primitiveFunctionPointer. + self assert: (self maybeLeakCheckExternalPrimCall: newMethod). self maybeRetryFailureDueToForwarding. self maybeFailForLastObjectOverwrite. (FailImbalancedPrimitives and: [self successful and: [framePointer = savedFramePointer and: [(self isMachineCodeFrame: framePointer) not]]]) ifTrue:"Don't fail if primitive has done something radical, e.g. perform:" [stackPointer ~= (savedStackPointer + (nArgs * objectMemory wordSize)) ifTrue: [self flag: 'Would be nice to make this a message send of e.g. unbalancedPrimitive to the current process or context'. "This is necessary but insufficient; the result may still have been written to the stack. At least we'll know something is wrong." stackPointer := savedStackPointer. self failUnbalancedPrimitive]]. "If we are profiling, take accurate primitive measures" nextProfileTick > 0 ifTrue: [self checkProfileTick: newMethod]. ^self successful! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDoNamedPrimitiveWithArgs (in category 'plugin primitives') ----- primitiveDoNamedPrimitiveWithArgs "Simulate an primitiveExternalCall invocation (e.g. for the Debugger). Do not cache anything. e.g. ContextPart>>tryNamedPrimitiveIn: aCompiledMethod for: aReceiver withArgs: arguments" | argumentArray arraySize methodArg methodHeader moduleName functionName moduleLength functionLength spec addr primRcvr isArray | <var: #addr declareC: 'void (*addr)()'> argumentArray := self stackTop. methodArg := self stackValue: 2. ((objectMemory isArray: argumentArray) and: [objectMemory isOopCompiledMethod: methodArg]) ifFalse: [^self primitiveFailFor: -2]. "invalid args" arraySize := objectMemory numSlotsOf: argumentArray. (self roomToPushNArgs: arraySize) ifFalse: [^self primitiveFailFor: -2]. "invalid args" methodHeader := objectMemory methodHeaderOf: methodArg. (objectMemory literalCountOfMethodHeader: methodHeader) > 2 ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" spec := objectMemory fetchPointer: 1 "first literal" ofObject: methodArg. isArray := self isInstanceOfClassArray: spec. (isArray + and: [(objectMemory numSlotsOf: spec) = 4 + and: [(self primitiveIndexOfMethod: methodArg header: methodHeader) = PrimNumberExternalCall]]) ifFalse: - and: [(objectMemory lengthOf: spec) = 4 - and: [(self primitiveIndexOfMethod: methodArg header: methodHeader) = 117]]) ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" (self argumentCountOfMethodHeader: methodHeader) = arraySize ifFalse: [^self primitiveFailFor: -2]. "invalid args (Array args wrong size)" "The function has not been loaded yet. Fetch module and function name." moduleName := objectMemory fetchPointer: 0 ofObject: spec. moduleName = objectMemory nilObject ifTrue: [moduleLength := 0] ifFalse: [self success: (objectMemory isBytes: moduleName). moduleLength := objectMemory lengthOf: moduleName. self cCode: '' inSmalltalk: [ (#('FloatArrayPlugin' 'Matrix2x3Plugin') includes: (self stringOf: moduleName)) "??" ifTrue: [moduleLength := 0 "Cause all of these to fail"]]]. functionName := objectMemory fetchPointer: 1 ofObject: spec. self success: (objectMemory isBytes: functionName). functionLength := objectMemory lengthOf: functionName. self successful ifFalse: [^self primitiveFailFor: -3]. "invalid methodArg state" addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength. addr = 0 ifTrue: [^self primitiveFailFor: -1]. "could not find function; answer generic failure (see below)" "Cannot fail this primitive from now on. Can only fail the external primitive." tempOop := objectMemory eeInstantiateClassIndex: ClassArrayCompactIndex format: objectMemory arrayFormat numSlots: (objectMemory hasSpurMemoryManagerAPI ifTrue: [5] ifFalse: [4]). objectMemory storePointerUnchecked: 0 ofObject: tempOop withValue: (argumentArray := self popStack); storePointerUnchecked: 1 ofObject: tempOop withValue: (primRcvr := self popStack); storePointerUnchecked: 2 ofObject: tempOop withValue: self popStack; "the method" storePointerUnchecked: 3 ofObject: tempOop withValue: self popStack. "the context receiver" self push: primRcvr. "replace context receiver with actual receiver" argumentCount := arraySize. 1 to: arraySize do: [:index| self push: (objectMemory fetchPointer: index - 1 ofObject: argumentArray)]. objectMemory hasSpurMemoryManagerAPI ifTrue: [objectMemory storePointerUnchecked: 4 ofObject: tempOop withValue: newMethod. newMethod := methodArg. self callExternalPrimitive: addr. "On Spur, sets primitiveFunctionPointer" self maybeRetryFailureDueToForwarding. newMethod := objectMemory fetchPointer: 4 ofObject: tempOop] ifFalse: [self callExternalPrimitive: addr]. self successful ifFalse: "If primitive failed, then restore state for failure code" [self pop: arraySize + 1. self push: (objectMemory fetchPointer: 3 ofObject: tempOop). self push: (objectMemory fetchPointer: 2 ofObject: tempOop). self push: (objectMemory fetchPointer: 1 ofObject: tempOop). self push: (objectMemory fetchPointer: 0 ofObject: tempOop). argumentCount := 3. "Must reset primitiveFunctionPointer for checkForAndFollowForwardedPrimitiveState" objectMemory hasSpurMemoryManagerAPI ifTrue: [primitiveFunctionPointer := #primitiveDoNamedPrimitiveWithArgs]. "Hack. A nil prim error code (primErrorCode = 1) is interpreted by the image as meaning this primitive is not implemented. So to pass back nil as an error code we use -1 to indicate generic failure." primFailCode = 1 ifTrue: [primFailCode := -1]]! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveDoPrimitiveWithArgs (in category 'control primitives') ----- primitiveDoPrimitiveWithArgs + "Implement either ProtoObject>>tryPrimitive: primIndex withArgs: argArray + or Context>>receiver: anObject tryPrimitive: primIndex withArgs: argArray. + If this primitive fails, arrange that its error code is a negative integer, to + distinguish between this failing and the primitive it invokes failing." + | argumentArray arraySize index primIdx savedNumArgs rcvr | + (argumentCount between: 2 and: 3) ifFalse: + [^self primitiveFailFor: PrimErrUnsupported negated]. - | argumentArray arraySize index primIdx | argumentArray := self stackTop. + primIdx := self stackValue: 1. + ((objectMemory isArray: argumentArray) + and: [objectMemory isIntegerObject: primIdx]) ifFalse: + [^self primitiveFailFor: PrimErrBadArgument negated]. - (objectMemory isArray: argumentArray) ifFalse: [^self primitiveFail]. arraySize := objectMemory numSlotsOf: argumentArray. + (self roomToPushNArgs: arraySize) ifFalse: + [^self primitiveFailFor: PrimErrLimitExceeded negated]. - self success: (self roomToPushNArgs: arraySize). + primIdx := objectMemory integerValueOf: primIdx. - primIdx := self stackIntegerValue: 1. - self successful ifFalse: [^self primitiveFail]. "invalid args" - primitiveFunctionPointer := self functionPointerFor: primIdx inClass: nil. primitiveFunctionPointer = 0 ifTrue: [primitiveFunctionPointer := #primitiveDoPrimitiveWithArgs. + ^self primitiveFailFor: PrimErrBadIndex negated]. - ^self primitiveFail]. "Pop primIndex and argArray, then push args in place..." + (savedNumArgs := argumentCount) = 3 + ifTrue: "...and receiver if the three arg form" + [tempOop2 := self stackValue: 4. "actual receiver" + rcvr := self stackValue: 3. "receiver for primitive" + (objectMemory isOopForwarded: rcvr) ifTrue: + [rcvr := objectMemory followForwarded: rcvr]. + self pop: 4; push: rcvr] "use first arg as receiver" + ifFalse: + [self pop: 2]. - self pop: 2. argumentCount := arraySize. index := 1. [index <= argumentCount] whileTrue: [self push: (objectMemory fetchPointer: index - 1 ofObject: argumentArray). index := index + 1]. self isPrimitiveFunctionPointerAnIndex ifTrue: [self externalQuickPrimitiveResponse. + tempOop2 := 0. ^nil]. "We use tempOop instead of pushRemappableOop:/popRemappableOop here because in the Cogit primitiveEnterCriticalSection, primitiveSignal, primitiveResume et al longjmp back to either the interpreter or machine code, depending on the process activated. So if we're + executing one of these primitives, control won't actually return here and the matching + popRemappableOop: wouldn't occur, potentially overflowing the remap buffer. + Note that while recursion could occur (nil tryPrimitive: 118 withArgs: #(118 #(110 #()))) + it counts as shooting oneself in the foot." - executing one of these primitives control won't actually return here and the matching - popRemappableOop: wouldn't occur, potentially overflowing the remap buffer. While recursion - could occur (nil tryPrimitive: 118 withArgs: #(111 #())) it counts as shooting oneself in the foot." tempOop := argumentArray. "prim might alloc/gc" - "Run the primitive (sets primFailCode)" + "Run the primitive (sets primFailCode)" objectMemory hasSpurMemoryManagerAPI ifTrue: + [tempOop3 := newMethod. - [tempOop2 := newMethod. newMethod := objectMemory integerObjectOf: primIdx. self slowPrimitiveResponse. + newMethod := tempOop3. + tempOop3 := 0] - newMethod := tempOop2. - tempOop2 := 0] ifFalse: [self slowPrimitiveResponse]. + self successful ifFalse: "If primitive failed, then restore state for failure code" [self pop: arraySize. + savedNumArgs = 3 ifTrue: + [rcvr := self stackTop. + self stackTopPut: tempOop2. + self push: rcvr]. self pushInteger: primIdx. self push: tempOop. primitiveFunctionPointer := #primitiveDoPrimitiveWithArgs. + argumentCount := savedNumArgs]. + tempOop := tempOop2 := 0! - argumentCount := 2]. - tempOop := 0! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveExternalCall (in category 'plugin primitives') ----- primitiveExternalCall "Call an external primitive. External primitive methods first literals are an array of * The module name (String | Symbol) * The function name (String | Symbol) + * The session ID (SmallInteger) [OBSOLETE], or in Spur, the accessorDepth (Integer) - * The session ID (SmallInteger) [OBSOLETE] (or in Spur, the accessorDepth) * The function index (Integer) in the externalPrimitiveTable For fast interpreter dispatch in subsequent invocations the primitiveFunctionPointer in the method cache is rewritten, either to the function itself, or to zero if the external function is not found. This allows for fast responses as long as the method stays in the cache. The cache rewrite relies on lastMethodCacheProbeWrite which is set in addNewMethodToCache:. Now that the VM flushes function addresses from its tables, the session ID is obsolete, but it is kept for backward compatibility. Also, a failed lookup is reported specially. If a method has been looked up and not been found, the function address is stored as -1 (i.e., the SmallInteger -1 to distinguish from 16rFFFFFFFF which may be returned from lookup), and the primitive fails with PrimErrNotFound." | lit addr moduleName functionName moduleLength functionLength accessorDepth index | <var: #addr declareC: 'void (*addr)()'> "Check for it being a method for primitiveDoPrimitiveWithArgs. Fetch the first literal of the method; check its an Array of length 4. Look at the function index in case it has been loaded before" ((objectMemory isOopCompiledMethod: newMethod) and: [(objectMemory literalCountOf: newMethod) > 0 and: [lit := self literal: 0 ofMethod: newMethod. (objectMemory isArray: lit) and: [(objectMemory numSlotsOf: lit) = 4 and: [index := objectMemory fetchPointer: 3 ofObject: lit. objectMemory isIntegerObject: index]]]]) ifFalse: [^self primitiveFailFor: PrimErrBadMethod]. index := objectMemory integerValueOf: index. "Check if we have already looked up the function and failed." index < 0 ifTrue: ["Function address was not found in this session, Void the primitive function." self rewriteMethodCacheEntryForExternalPrimitiveToFunction: 0. ^self primitiveFailFor: PrimErrNotFound]. "Try to call the function directly" (index > 0 and: [index <= MaxExternalPrimitiveTableSize]) ifTrue: [addr := externalPrimitiveTable at: index - 1. addr ~= 0 ifTrue: [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: (self cCode: 'addr' inSmalltalk: [1000 + index]). self callExternalPrimitive: addr. "On Spur, sets primitiveFunctionPointer" self maybeRetryFailureDueToForwarding. ^nil]. "if we get here, then an index to the external prim was kept on the ST side although the underlying prim table was already flushed" ^self primitiveFailFor: PrimErrNamedInternal]. "Clean up session id and external primitive index" objectMemory storePointerUnchecked: 2 ofObject: lit withValue: ConstZero. objectMemory storePointerUnchecked: 3 ofObject: lit withValue: ConstZero. "The function has not been loaded yet. Fetch module and function name." moduleName := objectMemory fetchPointer: 0 ofObject: lit. moduleName = objectMemory nilObject ifTrue: [moduleLength := 0] ifFalse: [(objectMemory isBytes: moduleName) ifFalse: [self primitiveFailFor: PrimErrBadMethod]. moduleLength := objectMemory lengthOf: moduleName]. functionName := objectMemory fetchPointer: 1 ofObject: lit. (objectMemory isBytes: functionName) ifFalse: [self primitiveFailFor: PrimErrBadMethod]. functionLength := objectMemory lengthOf: functionName. + "Spur needs to know the primitive's accessorDepth which is stored in the third slot of the first literal." - "Spur needs to know the primitive's accessorDepth which is stored in the last slot of the first literal." objectMemory hasSpurMemoryManagerAPI ifTrue: [addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength AccessorDepthInto: (self addressOf: accessorDepth put: [:val| accessorDepth := val]). addr = 0 ifTrue: [index := -1] ifFalse: "add the function to the external primitive table" [index := self addToExternalPrimitiveTable: addr. objectMemory storePointerUnchecked: 2 ofObject: lit withValue: (objectMemory integerObjectOf: accessorDepth)]] ifFalse: [addr := self ioLoadExternalFunction: functionName + objectMemory baseHeaderSize OfLength: functionLength FromModule: moduleName + objectMemory baseHeaderSize OfLength: moduleLength. addr = 0 ifTrue: [index := -1] ifFalse: "add the function to the external primitive table" [index := self addToExternalPrimitiveTable: addr]]. "Store the index (or -1 if failure) back in the literal" objectMemory storePointerUnchecked: 3 ofObject: lit withValue: (objectMemory integerObjectOf: index). "If the function has been successfully loaded cache and call it" index >= 0 ifTrue: [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: (self cCode: [addr] inSmalltalk: [1000 + index]). self callExternalPrimitive: addr. self maybeRetryFailureDueToForwarding] ifFalse: "Otherwise void the primitive function and fail" [self rewriteMethodCacheEntryForExternalPrimitiveToFunction: 0. self assert: (objectMemory fetchPointer: 2 ofObject: lit) = ConstZero. self primitiveFailFor: PrimErrNotFound]! Item was changed: ----- Method: StackInterpreterSimulator>>primitiveExecuteMethodArgsArray (in category 'control primitives') ----- primitiveExecuteMethodArgsArray + self halt: thisContext selector. + "(objectMemory isOopCompiledMethod: self stackTop) ifFalse: + [self halt]." - "self halt: thisContext selector." - (objectMemory isOopCompiledMethod: self stackTop) ifFalse: - [self halt]. ^super primitiveExecuteMethodArgsArray! Item was changed: SharedPool subclass: #VMBasicConstants instanceVariableNames: '' + classVariableNames: 'BaseHeaderSize BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCCheckPrimCall GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN' - classVariableNames: 'BaseHeaderSize BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace IMMUTABILITY MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMBasicConstants commentStamp: '<historical>' prior: 0! I am a shared pool for basic constants upon which the VM as a whole depends. self ensureClassPool. self classPool declare: #BytesPerWord from: VMSqueakV3ObjectRepresentationConstants classPool. self classPool declare: #BaseHeaderSize from: VMSqueakV3ObjectRepresentationConstants classPool (ObjectMemory classPool keys select: [:k| k beginsWith: 'Byte']) do: [:k| self classPool declare: k from: ObjectMemory classPool]!

1 0

VM Maker: Cog-eem.321.mcz
by commits＠source.squeak.org 19 May '16

19 May '16

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.321.mcz ==================== Summary ==================== Name: Cog-eem.321 Author: eem Time: 19 May 2016, 1:38:43.124089 pm UUID: 269034b0-7776-4c84-9d4e-59b8a08ed390 Ancestors: Cog-eem.320 Add the missing wordSze method to the Cuis bootstrap and now we have a runner. =============== Diff against Cog-eem.320 =============== Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SystemDictionaryPROTOTYPEwordSize (in category 'method prototypes') ----- + SystemDictionaryPROTOTYPEwordSize + "Answer the size in bytes of an object pointer or word in the object memory. + The value does not change for a given image, but may be modified by a SystemTracer + when converting the image to another format." + + "Smalltalk wordSize" + + ^self vmParameterAt: 40!

1 0

inInterpreter assignment position
by Ben Coman 19 May '16

19 May '16

At the end of CoInterpreterPrimitives>>primitiveEnterCriticalSection we have... inInterpreter := instructionPointer >= objectMemory startOfMemory. self addLastLink: activeProc toList: criticalSection. self transferTo: self wakeHighestPriority from: CSEnterCriticalSection. self forProcessPrimitiveReturnToExecutivePostContextSwitch: inInterpreter The natural place to assign inInterpreter would seem to be the line before it is used, so my curiosity is piqued... Is it important the assignment to inInterpreter occurs where it does, before both addLastLink:toList and transferTo:from: ? From looking at the call to startOfMemory it seems that its not. The reason I ask is (for example) the addLastLink line is identical to InterpreterPrimitives>>primitiveEnterCriticalSection, so if that line moved up, the two methods would be more alike, so when flipping between the two implementations in "Implementors of", the differences would be more pronounced. Also its a chance to learn another small part of the VM. Till now I just blindly copied that part for the OwnedLock primitives, cheers -ben

1 1

VM Maker: VMMaker.oscog-tfel.1862.mcz
by commits＠source.squeak.org 19 May '16

19 May '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1862.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1862 Author: tfel Time: 19 May 2016, 9:49:06.672041 am UUID: ee2580a0-a9df-a945-ab7d-26865d302201 Ancestors: VMMaker.oscog-tfel.1861 Use SmallInteger maxVal and minVal in Integer>>signedIntFromLong for the benefit of VMs that can fit more than 30bit into a signed integer =============== Diff against VMMaker.oscog-eem.1860 =============== Item was changed: ----- Method: Integer>>signedIntFromLong (in category '*VMMaker-interpreter simulator') ----- signedIntFromLong "Self is a signed or unsigned 32-bit integer" | bits | + (self >= SmallInteger minVal and: [self <= SmallInteger maxVal]) ifTrue: "These are known to be SmallIntegers..." - (self >= -1073741824 and: [self <= 1073741823]) ifTrue: "These are known to be SmallIntegers..." [^self]. bits := self bitAnd: 16rFFFFFFFF. (bits digitAt: 4) <= 16r7F ifTrue: [^bits]. ^bits - 16r100000000!

1 0

VM Maker: Cog-eem.320.mcz
by commits＠source.squeak.org 19 May '16

19 May '16

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.320.mcz ==================== Summary ==================== Name: Cog-eem.320 Author: eem Time: 18 May 2016, 7:00:52.781113 pm UUID: 7629d59e-3b59-438f-8c16-0d5f67646236 Ancestors: Cog-eem.319 Update the SpurBootstrap with supporty for Cuis images. This successfully produces an image but the image doesn't (yet) run: scheduler could not find a runnable process Smalltalk stack dump: 0xbff3444c I [] in DisplayScreen class>screenUpdater 0x62ff680: a(n) DisplayScreen class 0xbff3446c I BlockClosure>repeat 0x5e95380: a(n) BlockClosure 0xbff34490 I DisplayScreen class>screenUpdater 0x62ff680: a(n) DisplayScreen class 0xbff344b0 I [] in DisplayScreen class>installScreenUpdater 0x62ff680: a(n) DisplayScreen class 0xbff344d0 I [] in BlockClosure>newProcess 0x5cefa10: a(n) BlockClosure Fix weird regression in allocateFreeLists. What was I thinking?? =============== Diff against Cog-eem.319 =============== Item was added: + ----- Method: SpurBootstrap class>>bootstrapCuisImage: (in category 'utilities') ----- + bootstrapCuisImage: imageFileBaseName + self bootstrapImage: imageFileBaseName type: #('squeak' 'cuis')! Item was changed: ----- Method: SpurBootstrap>>allocateFreeLists (in category 'bootstrap image') ----- allocateFreeLists "Allocate the freeLists array." | freeListsOop | freeListsOop := newHeap allocateSlots: newHeap numFreeLists format: newHeap wordIndexableFormat classIndex: newHeap wordSizeClassIndexPun. self assert: (newHeap objectAfter: newHeap trueObject) = freeListsOop. 0 to: newHeap numFreeLists - 1 do: [:i| newHeap + storePointerUnchecked: i - storePointerUnchecked: freeListsOop ofObject: freeListsOop withValue: 0]! Item was changed: ----- Method: SpurBootstrap>>bootstrapImage:type: (in category 'public access') ----- bootstrapImage: imageName type: typeNameOrArrayOfTypeNames "type can be: - 'squeak' - {'old squeak' 'squeak' } + - { 'cuis' 'squeak' } - 'pharo' - it might be 'newspeak', if needed (but is not implemented)" imageTypes := typeNameOrArrayOfTypeNames isArray ifTrue: [typeNameOrArrayOfTypeNames] ifFalse: [{typeNameOrArrayOfTypeNames}]. self bootstrapImage: imageName ! Item was added: + SpurBootstrapSqueakFamilyPrototypes subclass: #SpurBootstrapCuisPrototypes + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Cog-Bootstrapping'! Item was added: + ----- Method: SpurBootstrapCuisPrototypes class>>imageType (in category 'accessing') ----- + imageType + ^ 'cuis'! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>BehaviorPROTOTYPEidentityHash (in category 'method prototypes') ----- + BehaviorPROTOTYPEidentityHash + "Answer a SmallInteger whose value is related to the receiver's identity. + Behavior implements identityHash to allow the VM to use an object representation which + does not include a direct reference to an object's class in an object. If the VM is using + this implementation then classes are held in a class table and instances contain the index + of their class in the table. A class's class table index is its identityHash so that an instance + can be created without searching the table for a class's index. The VM uses this primitive + to enter the class into the class table, assigning its identityHash with an as yet unused + class table index. If this primitive fails it means that the class table is full. In Spur as of + 2014 there are 22 bits of classTable index and 22 bits of identityHash per object. + + Primitive. Essential. Do not override. See Object documentation whatIsAPrimitive." + + <primitive: 175> + self primitiveFailed! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>BlockClosurePROTOTYPEsimulateValueWithArguments:caller: (in category 'method prototypes') ----- + BlockClosurePROTOTYPEsimulateValueWithArguments: anArray caller: aContext + <indirect>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>CharacterPROTOTYPEclone (in category 'method prototypes') ----- + CharacterPROTOTYPEclone + "Answer the receiver, because Characters are unique." + ^self! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>CharacterPROTOTYPEsetValue: (in category 'method prototypes') ----- + CharacterPROTOTYPEsetValue: v + <remove>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>CharacterPROTOTYPEvalue (in category 'method prototypes') ----- + CharacterPROTOTYPEvalue + "Answer the value of the receiver that represents its ISO 8859-15 (Latin-9) encoding." + <primitive: 171> + ^self primitiveFailed! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ClassDescriptionPROTOTYPEupdateInstancesFrom: (in category 'method prototypes') ----- + ClassDescriptionPROTOTYPEupdateInstancesFrom: oldClass + "Recreate any existing instances of the argument, oldClass, as instances of + the receiver, which is a newly changed class. Permute variables as necessary, + and forward old instances to new instances.. Answer nil to defeat any clients + that expected the old behaviour of answering the array of old instances." + "ar 7/15/1999: The updating below is possibly dangerous. If there are any + contexts having an old instance as receiver it might crash the system if + the new receiver in which the context is executed has a different layout. + See bottom below for a simple example:" + self updateInstances: oldClass allInstances asArray from: oldClass isMeta: self isMeta. + ^nil + + "This attempts to crash the VM by stepping off the end of an instance. + As the doctor says, do not do this." + " | crashingBlock class | + class := Object subclass: #CrashTestDummy + instanceVariableNames: 'instVar' + classVariableNames: '' + poolDictionaries: '' + category: 'Crash-Test'. + class compile:'instVar: value instVar := value'. + class compile:'crashingBlock ^[instVar]'. + crashingBlock := (class new) instVar: 42; crashingBlock. + Object subclass: #CrashTestDummy + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Crash-Test'. + crashingBlock value"! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ClassDescriptionPROTOTYPEupdateMethodBindingsTo: (in category 'method prototypes') ----- + ClassDescriptionPROTOTYPEupdateMethodBindingsTo: aBinding + <indirect>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ClassPROTOTYPEimmediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category: (in category 'method prototypes') ----- + ClassPROTOTYPEimmediateSubclass: t instanceVariableNames: f classVariableNames: d poolDictionaries: s category: cat + "This is the standard initialization message for creating a new + immediate class as a subclass of an existing class (the receiver)." + ^ClassBuilder new + superclass: self + immediateSubclass: t + instanceVariableNames: f + classVariableNames: d + poolDictionaries: s + category: cat! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>CompiledMethodPROTOTYPEbytecodeSetName (in category 'method prototypes') ----- + CompiledMethodPROTOTYPEbytecodeSetName + ^self encoderClass name copyReplaceAll: 'EncoderFor' with: ''! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>CompiledMethodPROTOTYPEheaderDescription (in category 'method prototypes') ----- + CompiledMethodPROTOTYPEheaderDescription + "Answer a description containing the information about the form of the + receiver and the form of the context needed to run the receiver." + + ^(String new: 128) writeStream + print: self header; cr; + nextPutAll: '"primitive: '; print: self primitive; cr; + nextPutAll: ' numArgs: '; print: self numArgs; cr; + nextPutAll: ' numTemps: '; print: self numTemps; cr; + nextPutAll: ' numLiterals: '; print: self numLiterals; cr; + nextPutAll: ' frameSize: '; print: self frameSize; cr; + nextPutAll: ' bytecodeSet: '; nextPutAll: self bytecodeSetName; + nextPut: $"; cr; + contents! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEactivateReturn:value: (in category 'method prototypes') ----- + ContextPartPROTOTYPEactivateReturn: aContext value: value + "Activate 'aContext return: value' in place of self, so execution will return to aContext's sender" + + ^MethodContext + sender: self + receiver: aContext + method: MethodContext theReturnMethod + arguments: {value}! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEdoPrimitive:method:receiver:args: (in category 'method prototypes') ----- + ContextPartPROTOTYPEdoPrimitive: primitiveIndex method: meth receiver: receiver args: arguments + "Simulate a primitive method whose index is primitiveIndex. The simulated receiver and + arguments are given as arguments to this message. If successful, push result and return + resuming context, else ^ {errCode, PrimitiveFailToken}. Any primitive which provokes + execution needs to be intercepted and simulated to avoid execution running away." + + | value | + "Judicious use of primitive 19 (a null primitive that doesn't do anything) prevents + the debugger from entering various run-away activities such as spawning a new + process, etc. Injudicious use results in the debugger not being able to debug + interesting code, such as the debugger itself. hence use primitive 19 with care :-)" + "SystemNavigation new browseAllSelect: [:m| m primitive = 19]" + primitiveIndex = 19 ifTrue: + [Debugger + openContext: self + label:'Code simulation error' + contents: nil]. + + ((primitiveIndex between: 201 and: 222) + and: [(self objectClass: receiver) includesBehavior: BlockClosure]) ifTrue: + [((primitiveIndex between: 201 and: 205) "BlockClosure>>value[:value:...]" + or: [primitiveIndex between: 221 and: 222]) ifTrue: "BlockClosure>>valueNoContextSwitch[:]" + [^receiver simulateValueWithArguments: arguments caller: self]. + primitiveIndex = 206 ifTrue: "BlockClosure>>valueWithArguments:" + [^receiver simulateValueWithArguments: arguments first caller: self]]. + + primitiveIndex = 83 ifTrue: "afr 9/11/1998 19:50" "Object>>perform:[with:...]" + [^self send: arguments first to: receiver with: arguments allButFirst super: false]. + primitiveIndex = 84 ifTrue: "afr 9/11/1998 19:50 & eem 8/18/2009 17:04" "Object>>perform:withArguments:" + [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (self objectClass: receiver)]. + primitiveIndex = 100 ifTrue: "eem 8/18/2009 16:57" "Object>>perform:withArguments:inSuperclass:" + [^self send: arguments first to: receiver with: (arguments at: 2) lookupIn: (arguments at: 3)]. + + "Mutex>>primitiveEnterCriticalSection + Mutex>>primitiveTestAndSetOwnershipOfCriticalSection" + (primitiveIndex = 186 or: [primitiveIndex = 187]) ifTrue: + [| active effective | + active := Processor activeProcess. + effective := active effectiveProcess. + "active == effective" + value := primitiveIndex = 186 + ifTrue: [receiver primitiveEnterCriticalSectionOnBehalfOf: effective] + ifFalse: [receiver primitiveTestAndSetOwnershipOfCriticalSectionOnBehalfOf: effective]. + ^(self isPrimFailToken: value) + ifTrue: [value] + ifFalse: [self push: value]]. + + primitiveIndex = 188 ifTrue: "eem 5/27/2008 11:10 Object>>withArgs:executeMethod:" + [^MethodContext + sender: self + receiver: receiver + method: (arguments at: 2) + arguments: (arguments at: 1)]. + + "Closure primitives" + (primitiveIndex = 200 and: [self == receiver]) ifTrue: + "ContextPart>>closureCopy:copiedValues:; simulated to get startpc right" + [^self push: (BlockClosure + outerContext: receiver + startpc: self pc + 2 + numArgs: arguments first + copiedValues: arguments last)]. + + primitiveIndex = 118 ifTrue: "tryPrimitive:withArgs:; avoid recursing in the VM" + [(arguments size = 2 + and: [arguments first isInteger + and: [(self objectClass: arguments last) == Array]]) ifFalse: + [^ContextPart primitiveFailTokenFor: nil]. + ^self doPrimitive: arguments first method: meth receiver: receiver args: arguments last]. + + value := primitiveIndex = 120 "FFI method" + ifTrue: [(meth literalAt: 1) tryInvokeWithArguments: arguments] + ifFalse: + [primitiveIndex = 117 "named primitives" + ifTrue: [self tryNamedPrimitiveIn: meth for: receiver withArgs: arguments] + ifFalse: [receiver tryPrimitive: primitiveIndex withArgs: arguments]]. + + ^(self isPrimFailToken: value) + ifTrue: [value] + ifFalse: [self push: value]! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEisPrimFailToken: (in category 'method prototypes') ----- + ContextPartPROTOTYPEisPrimFailToken: anObject + <indirect>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEsend:to:with:lookupIn: (in category 'method prototypes') ----- + ContextPartPROTOTYPEsend: selector to: rcvr with: arguments lookupIn: lookupClass + "Simulate the action of sending a message with selector and arguments + to rcvr. The argument, lookupClass, is the class in which to lookup the + message. This is the receiver's class for normal messages, but for super + messages it will be some specific class related to the source method." + + | meth primIndex val ctxt | + (meth := lookupClass lookupSelector: selector) ifNil: + [^self send: #doesNotUnderstand: + to: rcvr + with: {Message selector: selector arguments: arguments} + lookupIn: lookupClass]. + (primIndex := meth primitive) > 0 ifTrue: + [val := self doPrimitive: primIndex method: meth receiver: rcvr args: arguments. + (self isPrimFailToken: val) ifFalse: + [^val]]. + (selector == #doesNotUnderstand: and: [lookupClass == ProtoObject]) ifTrue: + [^self error: 'Simulated message ', arguments first selector, ' not understood']. + ctxt := MethodContext sender: self receiver: rcvr method: meth arguments: arguments. + primIndex > 0 ifTrue: + [ctxt failPrimitiveWith: val]. + ^ctxt! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEsend:to:with:super: (in category 'method prototypes') ----- + ContextPartPROTOTYPEsend: selector to: rcvr with: arguments super: superFlag + "Simulate the action of sending a message with selector arguments + to rcvr. The argument, superFlag, tells whether the receiver of the + message was specified with 'super' in the source method." + + ^self send: selector + to: rcvr + with: arguments + lookupIn: (superFlag + ifTrue: [self method methodClassAssociation value superclass] + ifFalse: [self objectClass: rcvr])! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ContextPartPROTOTYPEtryNamedPrimitiveIn:for:withArgs: (in category 'method prototypes') ----- + ContextPartPROTOTYPEtryNamedPrimitiveIn: aCompiledMethod for: aReceiver withArgs: arguments + "Invoke the named primitive for aCompiledMethod, answering its result, or, + if the primiitve fails, answering the error code." + <primitive: 218 error: ec> + ec ifNotNil: + ["If ec is an integer other than -1 there was a problem with primitive 218, + not with the external primitive itself. -1 indicates a generic failure (where + ec should be nil) but ec = nil means primitive 218 is not implemented. So + interpret -1 to mean the external primitive failed with a nil error code." + ec isInteger ifTrue: + [ec = -1 + ifTrue: [ec := nil] + ifFalse: [self primitiveFailed]]]. + ^self class primitiveFailTokenFor: ec! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>IntegerclassPROTOTYPEinitialize (in category 'method prototypes') ----- + IntegerclassPROTOTYPEinitialize + "Integer initialize" + self initializeLowBitPerByteTable! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>MethodContextPROTOTYPEfailPrimitiveWith: (in category 'method prototypes') ----- + MethodContextPROTOTYPEfailPrimitiveWith: maybePrimFailToken + <indirect>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>MethodContextclassPROTOTYPEallInstances (in category 'method prototypes') ----- + MethodContextclassPROTOTYPEallInstances + "Answer all instances of the receiver." + <primitive: 177> + "The primitive can fail because memory is low. If so, fall back on the old + enumeration code, which gives the system a chance to GC and/or grow. + Because aBlock might change the class of inst (for example, using become:), + it is essential to compute next before aBlock value: inst. + Only count until thisContext since this context has been created only to + compute the existing instances." + | inst insts next | + insts := WriteStream on: (Array new: 64). + inst := self someInstance. + [inst == thisContext or: [inst == nil]] whileFalse: + [next := inst nextInstance. + insts nextPut: inst. + inst := next]. + ^insts contents! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>MethodContextclassPROTOTYPEallInstancesDo: (in category 'method prototypes') ----- + MethodContextclassPROTOTYPEallInstancesDo: aBlock + "Evaluate aBlock with each of the current instances of the receiver." + | instances inst next | + instances := self allInstancesOrNil. + instances ifNotNil: + [instances do: aBlock. + ^self]. + "allInstancesOrNil can fail because memory is low. If so, fall back on the old + enumeration code. Because aBlock might change the class of inst (for example, + using become:), it is essential to compute next before aBlock value: inst. + Only count until thisContext since evaluation of aBlock will create new contexts." + inst := self someInstance. + [inst == thisContext or: [inst == nil]] whileFalse: + [next := inst nextInstance. + aBlock value: inst. + inst := next]! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>ProtoObjectPROTOTYPEscaledIdentityHash (in category 'method prototypes') ----- + ProtoObjectPROTOTYPEscaledIdentityHash + "For identityHash values returned by primitive 75, answer + such values times 2^8. Otherwise, match the existing + identityHash implementation" + + ^self identityHash * 256 "bitShift: 8"! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SmallIntegerPROTOTYPEclone (in category 'method prototypes') ----- + SmallIntegerPROTOTYPEclone + "Answer the receiver, because SmallIntegers are unique." + ^self! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SmalltalkImagePROTOTYPErecreateSpecialObjectsArray (in category 'method prototypes') ----- + SmalltalkImagePROTOTYPErecreateSpecialObjectsArray + <remove>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SmalltalkImagePROTOTYPEsetGCParameters (in category 'method prototypes') ----- + SmalltalkImagePROTOTYPEsetGCParameters + "Adjust the VM's default GC parameters to avoid too much tenuring. + Maybe this should be left to the VM?" + <remove>! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SystemDictionaryPROTOTYPErecreateSpecialObjectsArray (in category 'method prototypes') ----- + SystemDictionaryPROTOTYPErecreateSpecialObjectsArray + "Smalltalk recreateSpecialObjectsArray" + + "To external package developers: + **** DO NOT OVERRIDE THIS METHOD. ***** + If you are writing a plugin and need additional special object(s) for your own use, + use addGCRoot() function and use own, separate special objects registry " + + "The Special Objects Array is an array of objects used by the Squeak virtual machine. + Its contents are critical and accesses to it by the VM are unchecked, so don't even + think of playing here unless you know what you are doing." + | newArray | + newArray := Array new: 60. + "Nil false and true get used throughout the interpreter" + newArray at: 1 put: nil. + newArray at: 2 put: false. + newArray at: 3 put: true. + "This association holds the active process (a ProcessScheduler)" + newArray at: 4 put: (self associationAt: #Processor). + "Numerous classes below used for type checking and instantiation" + newArray at: 5 put: Bitmap. + newArray at: 6 put: SmallInteger. + newArray at: 7 put: String. + newArray at: 8 put: Array. + newArray at: 9 put: Smalltalk. + newArray at: 10 put: BoxedFloat64. + newArray at: 11 put: MethodContext. + newArray at: 12 put: nil. "was BlockContext." + newArray at: 13 put: Point. + newArray at: 14 put: LargePositiveInteger. + newArray at: 15 put: Display. + newArray at: 16 put: Message. + newArray at: 17 put: CompiledMethod. + newArray at: 18 put: ((self specialObjectsArray at: 18) ifNil: [Semaphore new]). "low space Semaphore" + newArray at: 19 put: Semaphore. + newArray at: 20 put: Character. + newArray at: 21 put: #doesNotUnderstand:. + newArray at: 22 put: #cannotReturn:. + newArray at: 23 put: nil. "This is the process signalling low space." + "An array of the 32 selectors that are compiled as special bytecodes, + paired alternately with the number of arguments each takes." + newArray at: 24 put: #( #+ 1 #- 1 #< 1 #> 1 #<= 1 #>= 1 #= 1 #~= 1 + #* 1 #/ 1 #\\ 1 #@ 1 #bitShift: 1 #// 1 #bitAnd: 1 #bitOr: 1 + #at: 1 #at:put: 2 #size 0 #next 0 #nextPut: 1 #atEnd 0 #== 1 #class 0 + #blockCopy: 1 #value 0 #value: 1 #do: 1 #new 0 #new: 1 #x 0 #y 0 ). + "An array of the 255 Characters in ascii order. + Cog inlines table into machine code at: prim so do not regenerate it. + This is nil in Spur, which has immediate Characters." + newArray at: 25 put: (self specialObjectsArray at: 25). + newArray at: 26 put: #mustBeBoolean. + newArray at: 27 put: ByteArray. + newArray at: 28 put: Process. + "An array of up to 31 classes whose instances will have compact headers; an empty array in Spur" + newArray at: 29 put: self compactClassesArray. + newArray at: 30 put: ((self specialObjectsArray at: 30) ifNil: [Semaphore new]). "delay Semaphore" + newArray at: 31 put: ((self specialObjectsArray at: 31) ifNil: [Semaphore new]). "user interrupt Semaphore" + "Entries 32 - 34 unreferenced. Previously these contained prototype instances to be copied for fast initialization" + newArray at: 32 put: nil. "was the prototype Float" + newArray at: 33 put: nil. "was the prototype 4-byte LargePositiveInteger" + newArray at: 34 put: nil. "was the prototype Point" + newArray at: 35 put: #cannotInterpret:. + newArray at: 36 put: nil. "was the prototype MethodContext" + newArray at: 37 put: BlockClosure. + newArray at: 38 put: nil. "was the prototype BlockContext" + "array of objects referred to by external code" + newArray at: 39 put: (self specialObjectsArray at: 39). "external semaphores" + newArray at: 40 put: nil. "Reserved for Mutex in Cog VMs" + newArray at: 41 put: ((self specialObjectsArray at: 41) ifNil: [LinkedList new]). "Reserved for a LinkedList instance for overlapped calls in CogMT" + newArray at: 42 put: ((self specialObjectsArray at: 42) ifNil: [Semaphore new]). "finalization Semaphore" + newArray at: 43 put: LargeNegativeInteger. + "External objects for callout. + Note: Written so that one can actually completely remove the FFI." + newArray at: 44 put: (self at: #ExternalAddress ifAbsent: []). + newArray at: 45 put: (self at: #ExternalStructure ifAbsent: []). + newArray at: 46 put: (self at: #ExternalData ifAbsent: []). + newArray at: 47 put: (self at: #ExternalFunction ifAbsent: []). + newArray at: 48 put: (self at: #ExternalLibrary ifAbsent: []). + newArray at: 49 put: #aboutToReturn:through:. + newArray at: 50 put: #run:with:in:. + "51 reserved for immutability message" + newArray at: 51 put: #attemptToAssign:withIndex:. + newArray at: 52 put: #(nil "nil => generic error" #'bad receiver' + #'bad argument' #'bad index' + #'bad number of arguments' + #'inappropriate operation' #'unsupported operation' + #'no modification' #'insufficient object memory' + #'insufficient C memory' #'not found' #'bad method' + #'internal error in named primitive machinery' + #'object may move' #'resource limit exceeded' + #'object is pinned' #'primitive write beyond end of object'). + "53 to 55 are for Alien" + newArray at: 53 put: (self at: #Alien ifAbsent: []). + newArray at: 54 put: #invokeCallbackContext:. "use invokeCallback:stack:registers:jmpbuf: for old Alien callbacks." + newArray at: 55 put: (self at: #UnsafeAlien ifAbsent: []). + + "Used to be WeakFinalizationList for WeakFinalizationList hasNewFinalization, obsoleted by ephemeron support." + newArray at: 56 put: nil. + + "reserved for foreign callback process" + newArray at: 57 put: (self specialObjectsArray at: 57 ifAbsent: []). + + newArray at: 58 put: #unusedBytecode. + "59 reserved for Sista counter tripped message" + newArray at: 59 put: #conditionalBranchCounterTrippedOn:. + "60 reserved for Sista class trap message" + newArray at: 60 put: #classTrapFor:. + + "Now replace the interpreter's reference in one atomic operation" + self specialObjectsArray becomeForward: newArray! Item was added: + ----- Method: SpurBootstrapCuisPrototypes>>SystemDictionaryPROTOTYPEsetGCParameters (in category 'method prototypes') ----- + SystemDictionaryPROTOTYPEsetGCParameters + "Adjust the VM's default GC parameters to avoid too much tenuring. + Maybe this should be left to the VM?" + + | proportion edenSize survivorSize averageObjectSize numObjects | + proportion := 0.9. "tenure when 90% of pastSpace is full" + edenSize := Smalltalk vmParameterAt: 44. + survivorSize := edenSize / 5.0. "David's paper uses 140Kb eden + 2 x 28kb survivor spaces; Spur uses the same ratios :-)" + averageObjectSize := 8 * self wordSize. "a good approximation" + numObjects := (proportion * survivorSize / averageObjectSize) rounded. + Smalltalk vmParameterAt: 6 put: numObjects "tenure when more than this many objects survive the GC"!

1 0

← Newer
1
...
5
6
7
8
9
10
11
...
15
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2016