Vm-dev May 2017

vm-dev@lists.squeakfoundation.org

39 participants
158 discussions

[OpenSmalltalk/opensmalltalk-vm] fb29a2: Let SoundPlugin compile on linux x64
by GitHub 23 May '17

23 May '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: fb29a23251134ea6ae4f52358da2afbc339e1feb https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/fb29a23251134ea6ae… Author: Nicolas Cellier <nicolas.cellier(a)sirehna.com> Date: 2017-05-23 (Tue, 23 May 2017) Changed paths: M platforms/unix/plugins/SoundPlugin/sqUnixSound.c M platforms/unix/vm/SqSound.h Log Message: ----------- Let SoundPlugin compile on linux x64 The function snd_SetRecordBufferFrameCount must take a sqInt parameter, rather than an int, in order to be source-code-compatible with every other OS (iOS, Win32, ...).

1 0

[OpenSmalltalk/opensmalltalk-vm] 28b4c8: On win64 we build pharo.stack.spur for the moment, ...
by GitHub 23 May '17

23 May '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 28b4c888dac7670c84f3ac4201c8429ae8ac9a86 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/28b4c888dac7670c84… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-05-23 (Tue, 23 May 2017) Changed paths: M deploy/pharo/pack-vm.sh Log Message: ----------- On win64 we build pharo.stack.spur for the moment, not pharo.cog.spur yet.

1 0

VM Maker: VMMaker.oscog-cb.2219.mcz
by commits＠source.squeak.org 22 May '17

22 May '17

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2219.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2219 Author: cb Time: 22 May 2017, 5:06:35.456414 pm UUID: c5c5f727-9862-4164-9721-104ccd73f9bc Ancestors: VMMaker.oscog-eem.2218 Modified with Sophie K the collectCogConstituents primitive to take a boolean parameter "withDetails". If false or no parameter, the primitive does the same thing as before. If true, the primitive maps each CogMethod that is frameful to an array starting with the cogMethod address followed by a mapping between the mcpc and the bcpc instead of just the cogMethod address. Minor fix in register in branchIfInstanceOf: in SistaCogit for Characters. =============== Diff against VMMaker.oscog-eem.2218 =============== Item was changed: ----- Method: CoInterpreterPrimitives>>primitiveCollectCogCodeConstituents (in category 'process primitives') ----- primitiveCollectCogCodeConstituents "Answer the contents of the code zone as an array of pair-wise element, address in ascending address order. Answer a string for a runtime routine or abstract label (beginning, end, etc), a CompiledMethod for a CMMethod, + or a selector (presumably a Symbol) for a PIC. + If the last argument (or the receiver if no arguments) is true, then collect inner information about the CogMethod." + | constituents withDetails | + withDetails := self stackTop. + constituents := cogit cogCodeConstituents: (withDetails = objectMemory trueObject). - or a selector (presumably a Symbol) for a PIC." - | constituents | - constituents := cogit cogCodeConstituents. constituents ifNil: [^self primitiveFailFor: PrimErrNoMemory]. self pop: 1 thenPush: constituents! Item was changed: ----- Method: CogObjectRepresentationFor32BitSpur>>branchIf:hasNotImmediateTag:target: (in category 'sista support') ----- branchIf: reg hasNotImmediateTag: classIndex target: targetFixUp <var: #targetFixUp type: #'AbstractInstruction *'> | jmpImmediate | <inline: true> classIndex = objectMemory smallIntegerTag ifTrue: [jmpImmediate := self genJumpNotSmallInteger: reg]. classIndex = objectMemory characterTag ifTrue: + ["Character test destroy register value in Spur" + cogit MoveR: reg R: TempReg. + jmpImmediate := self genJumpNotCharacterInScratchReg: TempReg]. - [cogit MoveR: reg R: TempReg. - jmpImmediate := self genJumpNotCharacterInScratchReg: reg]. jmpImmediate jmpTarget: targetFixUp! Item was changed: CogClass subclass: #Cogit + instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj enumeratingCogMethod methodHeader initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd literalsManager postCompileHook methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry fullBlockEntry cbEntryOffset fullBlockNoContextSwitchEntry cbNoSwitchEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 firstCPICCaseOffset cPICCaseSize cP ICEndSize closedPICSize openPICSize fixups abstractOpcodes generatorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceEnclosingObjectTrampoline ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetFP ceGetSP ceCaptureCStackPointers ordinarySendTrampolines superSen dTrampolines directedSuperSendTrampolines dynamicSuperSendTrampolines outerSendTrampolines selfSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner extA extB numExtB tempOop numIRCs indexOfIRC theIRCs receiverTags implicitReceiverSendTrampolines cogMethodSurrogateClass cogBlockMethodSurrogateClass nsSendCacheSurrogateClass CStackPointer CFramePointer cPICPrototype cPICEndOfCodeOffset cPICEndOfCodeLabel ceMallocTrampoline ceFreeTrampoline ceFFICalloutTrampoline debugBytecodePointers debugOpcodeIndices disassemblingMethod cogConstituentIndex' - instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj enumeratingCogMethod methodHeader initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd literalsManager postCompileHook methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry fullBlockEntry cbEntryOffset fullBlockNoContextSwitchEntry cbNoSwitchEntryOffset picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 firstCPICCaseOffset cPICCaseSize cP ICEndSize closedPICSize openPICSize fixups abstractOpcodes generatorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceEnclosingObjectTrampoline ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetFP ceGetSP ceCaptureCStackPointers ordinarySendTrampolines superSen dTrampolines directedSuperSendTrampolines dynamicSuperSendTrampolines outerSendTrampolines selfSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner extA extB numExtB tempOop numIRCs indexOfIRC theIRCs receiverTags implicitReceiverSendTrampolines cogMethodSurrogateClass cogBlockMethodSurrogateClass nsSendCacheSurrogateClass CStackPointer CFramePointer cPICPrototype cPICEndOfCodeOffset cPICEndOfCodeLabel ceMallocTrampoline ceFreeTrampoline ceFFICalloutTrampoline debugBytecodePointers debugOpcodeIndices disassemblingMethod' classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AltNumSpecialSelectors AnnotationConstantNames AnnotationShift AnnotationsWithBytecodePCs BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsAnnotationExtension IsDirectedSuperSend IsDisplacementX2N IsNSDynamicSuperSend IsNSImplicitReceiverSend IsNSSelfSend IsNSSendCall IsObjectReference IsRelativeCall IsSendCall IsSuperSend MapEnd MaxCPICCases MaxCompiledPrimitiveIndex MaxStackAllocSize MaxX2NDisplacement NSCClassTagIndex NSCEnclosingObjectIndex NSCNumArgsIndex NSCSelectorIndex NSCTargetIndex NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerNSC NumSpecialSelectors NumTrampolines ProcessorClass RRRName' poolDictionaries: 'CogAbstractRegisters CogCompilationConstants CogMethodConstants CogRTLOpcodes VMBasicConstants VMBytecodeConstants VMObjectIndices VMStackFrameOffsets' category: 'VMMaker-JIT'! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! !Cogit commentStamp: 'eem 2/25/2017 17:53' prior: 0! I am the code generator for the Cog VM. My job is to produce machine code versions of methods for faster execution and to manage inline caches for faster send performance. I can be tested in the current image using my class-side in-image compilation facilities. e.g. try StackToRegisterMappingCogit genAndDis: (Integer >> #benchFib) I have concrete subclasses that implement different levels of optimization: SimpleStackBasedCogit is the simplest code generator. StackToRegisterMappingCogit is the current production code generator It defers pushing operands to the stack until necessary and implements a register-based calling convention for low-arity sends. SistaCogit is an experimental code generator with support for counting conditional branches, intended to support adaptive optimization. RegisterAllocatingCogit is an experimental code generator with support for allocating temporary variables to registers. It is inended to serve as the superclass to SistaCogit once it is working. SistaRegisterAllocatingCogit and SistaCogitClone are temporary classes that allow testing a clone of SistaCogit that inherits from RegisterAllocatingCogit. Once things work these will be merged and will replace SistaCogit. coInterpreter <CoInterpreterSimulator> the VM's interpreter with which I cooperate methodZoneManager <CogMethodZoneManager> the manager of the machine code zone objectRepresentation <CogObjectRepresentation> the object used to generate object accesses processor <BochsIA32Alien|?> the simulator that executes the IA32/x86 machine code I generate when simulating execution in Smalltalk simulatedTrampolines <Dictionary of Integer -> MessageSend> the dictionary mapping trap jump addresses to run-time routines used to warp from simulated machine code in to the Smalltalk run-time. simulatedVariableGetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap read addresses to variables in run-time objects used to allow simulated machine code to read variables in the Smalltalk run-time. simulatedVariableSetters <Dictionary of Integer -> MessageSend> the dictionary mapping trap write addresses to variables in run-time objects used to allow simulated machine code to write variables in the Smalltalk run-time. printRegisters printInstructions clickConfirm <Boolean> flags controlling debug printing and code simulation breakPC <Integer> machine code pc breakpoint cFramePointer cStackPointer <Integer> the variables representing the C stack & frame pointers, which must change on FFI callback and return selectorOop <sqInt> the oop of the methodObj being compiled methodObj <sqInt> the bytecode method being compiled initialPC endPC <Integer> the start and end pcs of the methodObj being compiled methodOrBlockNumArgs <Integer> argument count of current method or block being compiled needsFrame <Boolean> whether methodObj or block needs a frame to execute primitiveIndex <Integer> primitive index of current method being compiled methodLabel <CogAbstractOpcode> label for the method header blockEntryLabel <CogAbstractOpcode> label for the start of the block dispatch code stackOverflowCall <CogAbstractOpcode> label for the call of ceStackOverflow in the method prolog sendMissCall <CogAbstractOpcode> label for the call of ceSICMiss in the method prolog entryOffset <Integer> offset of method entry code from start (header) of method entry <CogAbstractOpcode> label for the first instruction of the method entry code noCheckEntryOffset <Integer> offset of the start of a method proper (after the method entry code) from start (header) of method noCheckEntry <CogAbstractOpcode> label for the first instruction of start of a method proper fixups <Array of <AbstractOpcode Label | nil>> the labels for forward jumps that will be fixed up when reaching the relevant bytecode. fixups has one element per byte in methodObj's bytecode; initialPC maps to fixups[0]. abstractOpcodes <Array of <AbstractOpcode>> the code generated when compiling methodObj byte0 byte1 byte2 byte3 <Integer> individual bytes of current bytecode being compiled in methodObj bytecodePointer <Integer> bytecode pc (same as Smalltalk) of the current bytecode being compiled opcodeIndex <Integer> the index of the next free entry in abstractOpcodes (this code is translated into C where OrderedCollection et al do not exist) numAbstractOpcodes <Integer> the number of elements in abstractOpcocdes blockStarts <Array of <BlockStart>> the starts of blocks in the current method blockCount the index into blockStarts as they are being noted, and hence eventually the total number of blocks in the current method labelCounter <Integer> a nicety for numbering labels not needed in the production system but probably not expensive enough to worry about ceStackOverflowTrampoline <Integer> ceSend0ArgsTrampoline <Integer> ceSend1ArgsTrampoline <Integer> ceSend2ArgsTrampoline <Integer> ceSendNArgsTrampoline <Integer> ceSendSuper0ArgsTrampoline <Integer> ceSendSuper1ArgsTrampoline <Integer> ceSendSuper2ArgsTrampoline <Integer> ceSendSuperNArgsTrampoline <Integer> ceSICMissTrampoline <Integer> ceCPICMissTrampoline <Integer> ceStoreCheckTrampoline <Integer> ceReturnToInterpreterTrampoline <Integer> ceBaseFrameReturnTrampoline <Integer> ceSendMustBeBooleanTrampoline <Integer> ceClosureCopyTrampoline <Integer> the various trampolines (system-call-like jumps from machine code to the run-time). See Cogit>>generateTrampolines for the mapping from trampoline to run-time routine and then read the run-time routine for a funcitonal description. ceEnterCogCodePopReceiverReg <Integer> the enilopmart (jump from run-time to machine-code) methodZoneBase <Integer> ! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! Item was removed: - ----- Method: Cogit>>cogCodeConstituents (in category 'profiling primitives') ----- - cogCodeConstituents - "Answer the contents of the code zone as an array of pair-wise element, address in ascending address order. - Answer a string for a runtime routine or abstract label (beginning, end, etc), a CompiledMethod for a CMMethod, - or a selector (presumably a Symbol) for a PIC." - <api> - | count cogMethod constituents label value | - <var: #cogMethod type: #'CogMethod *'> - count := trampolineTableIndex / 2 + 3. "+ 3 for start, freeStart and end" - cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. - [cogMethod < methodZone limitZony] whileTrue: - [cogMethod cmType ~= CMFree ifTrue: - [count := count + 1]. - cogMethod := methodZone methodAfter: cogMethod]. - constituents := coInterpreter instantiateClass: coInterpreter classArray indexableSize: count * 2. - constituents ifNil: - [^constituents]. - coInterpreter pushRemappableOop: constituents. - ((label := objectMemory stringForCString: 'CogCode') isNil - or: [(value := self positiveMachineIntegerFor: codeBase) isNil]) ifTrue: - [^nil]. - coInterpreter - storePointerUnchecked: 0 ofObject: coInterpreter topRemappableOop withValue: label; - storePointerUnchecked: 1 ofObject: coInterpreter topRemappableOop withValue: value. - 0 to: trampolineTableIndex - 1 by: 2 do: - [:i| - ((label := objectMemory stringForCString: (trampolineAddresses at: i)) isNil - or: [(value := self positiveMachineIntegerFor: (trampolineAddresses at: i + 1) asUnsignedInteger) isNil]) ifTrue: - [coInterpreter popRemappableOop. - ^nil]. - coInterpreter - storePointerUnchecked: 2 + i ofObject: coInterpreter topRemappableOop withValue: label; - storePointerUnchecked: 3 + i ofObject: coInterpreter topRemappableOop withValue: value]. - count := trampolineTableIndex + 2. - cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. - [cogMethod < methodZone limitZony] whileTrue: - [cogMethod cmType ~= CMFree ifTrue: - [coInterpreter - storePointerUnchecked: count - ofObject: coInterpreter topRemappableOop - withValue: (cogMethod cmType = CMMethod - ifTrue: [cogMethod methodObject] - ifFalse: [cogMethod selector]). - (value := self positiveMachineIntegerFor: cogMethod asUnsignedInteger) ifNil: - [coInterpreter popRemappableOop. - ^nil]. - coInterpreter - storePointerUnchecked: count + 1 - ofObject: coInterpreter topRemappableOop - withValue: value. - count := count + 2]. - cogMethod := methodZone methodAfter: cogMethod]. - ((label := objectMemory stringForCString: 'CCFree') isNil - or: [(value := self positiveMachineIntegerFor: methodZone zoneFree) isNil]) ifTrue: - [coInterpreter popRemappableOop. - ^nil]. - coInterpreter - storePointerUnchecked: count ofObject: coInterpreter topRemappableOop withValue: label; - storePointerUnchecked: count + 1 ofObject: coInterpreter topRemappableOop withValue: value. - ((label := objectMemory stringForCString: 'CCEnd') isNil - or: [(value := self positiveMachineIntegerFor: methodZone zoneEnd) isNil]) ifTrue: - [coInterpreter popRemappableOop. - ^nil]. - coInterpreter - storePointerUnchecked: count + 2 ofObject: coInterpreter topRemappableOop withValue: label; - storePointerUnchecked: count + 3 ofObject: coInterpreter topRemappableOop withValue: value. - constituents := coInterpreter popRemappableOop. - coInterpreter beRootIfOld: constituents. - ^constituents! Item was added: + ----- Method: Cogit>>cogCodeConstituents: (in category 'profiling primitives') ----- + cogCodeConstituents: withDetails + "Answer the contents of the code zone as an array of pair-wise element, address in ascending address order. + Answer a string for a runtime routine or abstract label (beginning, end, etc), a CompiledMethod for a CMMethod, + or a selector (presumably a Symbol) for a PIC." + <api> + | count cogMethod constituents label value | + <var: #cogMethod type: #'CogMethod *'> + count := trampolineTableIndex / 2 + 3. "+ 3 for start, freeStart and end" + cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. + [cogMethod < methodZone limitZony] whileTrue: + [cogMethod cmType ~= CMFree ifTrue: + [count := count + 1]. + cogMethod := methodZone methodAfter: cogMethod]. + constituents := coInterpreter instantiateClass: coInterpreter classArray indexableSize: count * 2. + constituents ifNil: + [^constituents]. + coInterpreter pushRemappableOop: constituents. + ((label := objectMemory stringForCString: 'CogCode') isNil + or: [(value := self positiveMachineIntegerFor: codeBase) isNil]) ifTrue: + [^nil]. + coInterpreter + storePointerUnchecked: 0 ofObject: coInterpreter topRemappableOop withValue: label; + storePointerUnchecked: 1 ofObject: coInterpreter topRemappableOop withValue: value. + 0 to: trampolineTableIndex - 1 by: 2 do: + [:i| + ((label := objectMemory stringForCString: (trampolineAddresses at: i)) isNil + or: [(value := self positiveMachineIntegerFor: (trampolineAddresses at: i + 1) asUnsignedInteger) isNil]) ifTrue: + [coInterpreter popRemappableOop. + ^nil]. + coInterpreter + storePointerUnchecked: 2 + i ofObject: coInterpreter topRemappableOop withValue: label; + storePointerUnchecked: 3 + i ofObject: coInterpreter topRemappableOop withValue: value]. + count := trampolineTableIndex + 2. + cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. + [cogMethod < methodZone limitZony] whileTrue: + [cogMethod cmType ~= CMFree ifTrue: + [coInterpreter + storePointerUnchecked: count + ofObject: coInterpreter topRemappableOop + withValue: (cogMethod cmType = CMMethod + ifTrue: [cogMethod methodObject] + ifFalse: [cogMethod selector]). + value := withDetails + ifFalse: [self positiveMachineIntegerFor: cogMethod asUnsignedInteger] + ifTrue: [self collectCogMethodConstituent: cogMethod]. + value ifNil: [coInterpreter popRemappableOop. ^nil]. + coInterpreter + storePointerUnchecked: count + 1 + ofObject: coInterpreter topRemappableOop + withValue: value. + count := count + 2]. + cogMethod := methodZone methodAfter: cogMethod]. + ((label := objectMemory stringForCString: 'CCFree') isNil + or: [(value := self positiveMachineIntegerFor: methodZone zoneFree) isNil]) ifTrue: + [coInterpreter popRemappableOop. + ^nil]. + coInterpreter + storePointerUnchecked: count ofObject: coInterpreter topRemappableOop withValue: label; + storePointerUnchecked: count + 1 ofObject: coInterpreter topRemappableOop withValue: value. + ((label := objectMemory stringForCString: 'CCEnd') isNil + or: [(value := self positiveMachineIntegerFor: methodZone zoneEnd) isNil]) ifTrue: + [coInterpreter popRemappableOop. + ^nil]. + coInterpreter + storePointerUnchecked: count + 2 ofObject: coInterpreter topRemappableOop withValue: label; + storePointerUnchecked: count + 3 ofObject: coInterpreter topRemappableOop withValue: value. + constituents := coInterpreter popRemappableOop. + coInterpreter beRootIfOld: constituents. + ^constituents! Item was added: + ----- Method: Cogit>>collectCogConstituentFor:Annotation:Mcpc:Bcpc:Method: (in category 'profiling primitives') ----- + collectCogConstituentFor: descriptor Annotation: isBackwardBranchAndAnnotation Mcpc: mcpc Bcpc: bcpc Method: cogMethodArg + <var: #descriptor type: #'BytecodeDescriptor *'> + <var: #mcpc type: #'char *'> + <var: #cogMethodArg type: #'void *'> + | address | + descriptor ifNil: [^0]. + descriptor isMapped ifFalse: [^0]. + address := self positiveMachineIntegerFor: mcpc. + address ifNil: [^InsufficientCodeSpace]. "We should have a dedicated error code... This cannot trigger a GC but fails if not enough space in Eden," + "Assumes we write the values into topRemappableOop" + coInterpreter + storePointerUnchecked: cogConstituentIndex + ofObject: coInterpreter topRemappableOop + withValue: address. + coInterpreter + storePointerUnchecked: cogConstituentIndex + 1 + ofObject: coInterpreter topRemappableOop + withValue: (objectMemory integerObjectOf: bcpc).. + cogConstituentIndex := cogConstituentIndex + 2. + ^ 0! Item was added: + ----- Method: Cogit>>collectCogMethodConstituent: (in category 'profiling primitives') ----- + collectCogMethodConstituent: cogMethod + "Answer a description of the mapping between machine code pointers and bytecode pointers for the Cog Method. + First value is the address of the cog method. + Following values are pairs of machine code pc and bytecode pc" + <var: #cogMethod type: #'CogMethod *'> + <var: #cogBlockMethod type: #'CogBlockMethod *'> + | cm nSlots errCode cogBlockMethod address data | + (cogMethod cmType = CMMethod) + ifFalse: [^self positiveMachineIntegerFor: cogMethod asUnsignedInteger ]. + cogBlockMethod := self cCoerceSimple: cogMethod to: #'CogBlockMethod *'. + cogBlockMethod stackCheckOffset = 0 "isFrameless ?" + ifTrue: [^self positiveMachineIntegerFor: cogMethod asUnsignedInteger]. + cm := cogMethod methodObject. + nSlots := ((objectMemory byteSizeOf: cm) - (coInterpreter startPCOfMethod: cm)) * 2 + objectMemory minSlotsForShortening + 1."+1 for first address" + data := objectMemory instantiateClass: (objectMemory splObj: ClassArray) indexableSize: nSlots. + data ifNil: [^nil]. + coInterpreter pushRemappableOop: data. + "The iteration assumes the object is the top remappable oop" + address := (self positiveMachineIntegerFor: cogMethod asUnsignedInteger). + address ifNil: [coInterpreter popRemappableOop. ^nil]. + coInterpreter + storePointerUnchecked: 0 + ofObject: coInterpreter topRemappableOop + withValue: address. + cogConstituentIndex := 1. + errCode := self + mapFor: cogBlockMethod + bcpc: (coInterpreter startPCOfMethod: cogMethod methodObject) + performUntil: #collectCogConstituentFor:Annotation:Mcpc:Bcpc:Method: + arg: cogMethod asVoidPointer. + errCode ~= 0 ifTrue: [coInterpreter popRemappableOop. ^nil]. + cogConstituentIndex < nSlots ifTrue: + [objectMemory shorten: coInterpreter topRemappableOop toIndexableSize: cogConstituentIndex]. + ^coInterpreter popRemappableOop.! Item was changed: ----- Method: NewObjectMemory>>shorten:toIndexableSize: (in category 'allocation') ----- shorten: obj toIndexableSize: nSlots "Reduce the number of indexable fields in obj, a pointer object, to nSlots. Convert the unused residual to a free chunk. Word and byte indexable objects are not changed. Answer the number of bytes returned to free memory, which may be zero if no change was possible." | deltaBytes desiredLength fixedFields fmt hdr totalLength indexableFields | + <api> (self isPointersNonImm: obj) ifFalse: [^0]. nSlots > 0 ifFalse: [^0]. "no change if nSlots is zero, error if nSlots is negative" hdr := self baseHeader: obj. fmt := self formatOfHeader: hdr. totalLength := self lengthOf: obj baseHeader: hdr format: fmt. fixedFields := self fixedFieldsOf: obj format: fmt length: totalLength. indexableFields := totalLength - fixedFields. nSlots >= indexableFields ifTrue: [^0]. "no change, or error if attempting to increase size into next chunk" desiredLength := fixedFields + nSlots. deltaBytes := (totalLength - desiredLength) * self wordSize. obj + self baseHeaderSize + (totalLength * self wordSize) = freeStart ifTrue: "Shortening the last object. Need to reduce freeStart." [self maybeFillWithAllocationCheckFillerFrom: obj + self baseHeaderSize + (desiredLength * self wordSize) to: freeStart. freeStart := obj + self baseHeaderSize + (desiredLength * self wordSize)] ifFalse: "Shortening some interior object. Need to create a free block." [self setSizeOfFree: obj + self baseHeaderSize + (desiredLength * self wordSize) to: deltaBytes]. (self headerType: obj) caseOf: { [HeaderTypeSizeAndClass] -> [self longAt: (obj - (self baseHeaderSize * 2)) put: (self sizeHeader: obj) - deltaBytes]. [HeaderTypeClass] -> [self longAt: obj put: ((hdr bitClear: SizeMask) bitOr: (hdr bitAnd: SizeMask) - deltaBytes)]. [HeaderTypeShort] -> [self longAt: obj put: ((hdr bitClear: SizeMask) bitOr: (hdr bitAnd: SizeMask) - deltaBytes)] }. ^deltaBytes! Item was changed: ----- Method: ObjectMemory>>minSlotsForShortening (in category 'allocation') ----- minSlotsForShortening "HeaderTypeFree free chunks require 1 word of header" + <api> ^1! Item was changed: ----- Method: ObjectMemory>>shorten:toIndexableSize: (in category 'allocation') ----- shorten: obj toIndexableSize: nSlots "Reduce the number of indexable fields in obj, a pointer object, to nSlots. Convert the unused residual to a free chunk. Word and byte indexable objects are not changed. Answer the number of bytes returned to free memory, which may be zero if no change was possible." | deltaBytes desiredLength fixedFields fmt hdr totalLength indexableFields | + <api> (self isPointersNonImm: obj) ifFalse: [^0]. nSlots > 0 ifFalse: [^0]. "no change if nSlots is zero, error if nSlots is negative" hdr := self baseHeader: obj. fmt := self formatOfHeader: hdr. totalLength := self lengthOf: obj baseHeader: hdr format: fmt. fixedFields := self fixedFieldsOf: obj format: fmt length: totalLength. indexableFields := totalLength - fixedFields. nSlots >= indexableFields ifTrue: [^0]. "no change, or error if attempting to increase size into next chunk" desiredLength := fixedFields + nSlots. deltaBytes := (totalLength - desiredLength) * self wordSize. self setSizeOfFree: obj + self baseHeaderSize + (desiredLength * self wordSize) to: deltaBytes. (self headerType: obj) caseOf: { [HeaderTypeSizeAndClass] -> [self longAt: (obj - (self baseHeaderSize * 2)) put: (self sizeHeader: obj) - deltaBytes]. [HeaderTypeClass] -> [self longAt: obj put: ((hdr bitClear: SizeMask) bitOr: (hdr bitAnd: SizeMask) - deltaBytes)]. [HeaderTypeShort] -> [self longAt: obj put: ((hdr bitClear: SizeMask) bitOr: (hdr bitAnd: SizeMask) - deltaBytes)] }. ^deltaBytes! Item was changed: ----- Method: Spur32BitMemoryManager>>shorten:toIndexableSize: (in category 'allocation') ----- shorten: objOop toIndexableSize: indexableSize "Reduce the number of indexable fields in objOop, a pointer object, to nSlots. Convert the unused residual to a free chunk. Without changes to numSlotsForShortening:toIndexableSize: this only works for arrayFormat and longFormat objects. Answer the number of bytes returned to free memory, which may be zero if no change was possible." <inline: false> + <api> | numSlots bytesBefore delta copy freeChunk | self assert: (self oop: (self addressAfter: objOop) isLessThanOrEqualTo: endOfMemory). numSlots := self numSlotsForShortening: objOop toIndexableSize: indexableSize. numSlots = (self numSlotsOf: objOop) ifTrue: [^0]. bytesBefore := self bytesInObject: objOop. delta := bytesBefore - (self objectBytesForSlots: numSlots). (delta > 0 and: [delta <= self allocationUnit]) ifTrue: [copy := self allocateSlots: numSlots format: (self formatOf: objOop) classIndex: (self classIndexOf: objOop). copy ifNil: [self error: 'shorten:toIndexableSize: attempted to shorten to allocationUnit!!']. 0 to: numSlots - 1 do: [:i| self storePointerUnchecked: i ofObject: copy withValue: (self fetchPointer: i ofObject: objOop)]. (self isRemembered: objOop) ifTrue: [scavenger remember: copy]. self forward: objOop to: copy. ^0]. (self hasOverflowHeader: objOop) ifTrue: [self rawOverflowSlotsOf: objOop put: numSlots. numSlots < self numSlotsMask ifTrue: [delta := delta - self allocationUnit]] ifFalse: [self assert: numSlots < self numSlotsMask. self rawNumSlotsOf: objOop put: numSlots]. self assert: (self oop: (self addressAfter: objOop) + delta isLessThanOrEqualTo: endOfMemory). "Since the 32-bit system rounds objects up to 64-bits, loosing a slot may not actually change the bytes occupied by the object." delta = 0 ifTrue: [^0]. freeChunk := self initFreeChunkWithBytes: delta at: (self addressAfter: objOop). self assert: (self addressAfter: freeChunk) <= endOfMemory. (self isInOldSpace: objOop) ifTrue: [totalFreeOldSpace := totalFreeOldSpace + delta. self addToFreeList: freeChunk bytes: delta] ifFalse: [self setClassIndexOf: freeChunk to: self wordSizeClassIndexPun; setFormatOf: freeChunk to: self firstLongFormat]. ^delta! Item was changed: ----- Method: Spur64BitMemoryManager>>shorten:toIndexableSize: (in category 'allocation') ----- shorten: objOop toIndexableSize: indexableSize "Reduce the number of indexable fields in objOop, a pointer object, to nSlots. Convert the unused residual to a free chunk. Without changes to numSlotsForShortening:toIndexableSize: this only works for arrayFormat and longFormat objects. Answer the number of bytes returned to free memory, which may be zero if no change was possible." <inline: false> + <api> | numSlots bytesBefore delta copy freeChunk | numSlots := self numSlotsForShortening: objOop toIndexableSize: indexableSize. numSlots = (self numSlotsOf: objOop) ifTrue: [^0]. bytesBefore := self bytesInObject: objOop. delta := bytesBefore - (self objectBytesForSlots: numSlots). self flag: 'this should update format for 32-bit indexable words; too lazy today.'. delta = 0 ifTrue: [^0]. delta <= self allocationUnit ifTrue: [copy := self allocateSlots: numSlots format: (self formatOf: objOop) classIndex: (self classIndexOf: objOop). copy ifNil: [self error: 'shorten:toIndexableSize: attempted to shorten to allocationUnit!!']. 0 to: numSlots - 1 do: [:i| self storePointerUnchecked: i ofObject: copy withValue: (self fetchPointer: i ofObject: objOop)]. (self isRemembered: objOop) ifTrue: [scavenger remember: copy]. self forward: objOop to: copy. ^0]. (self hasOverflowHeader: objOop) ifTrue: [self rawOverflowSlotsOf: objOop put: numSlots. numSlots < self numSlotsMask ifTrue: [delta := delta - self allocationUnit]] ifFalse: [self assert: numSlots < self numSlotsMask. self rawNumSlotsOf: objOop put: numSlots]. freeChunk := self initFreeChunkWithBytes: delta at: (self addressAfter: objOop). self assert: (self addressAfter: freeChunk) <= endOfMemory. (self isInOldSpace: objOop) ifTrue: [totalFreeOldSpace := totalFreeOldSpace + delta. self addToFreeList: freeChunk bytes: delta] ifFalse: [self setClassIndexOf: freeChunk to: self wordSizeClassIndexPun; setFormatOf: freeChunk to: self firstLongFormat]. ^delta! Item was changed: ----- Method: SpurMemoryManager>>minSlotsForShortening (in category 'allocation') ----- minSlotsForShortening "Answer the minimum number of additional slots to allocate in an object to always be able to shorten it. This is enough slots to allocate a minimum-sized object." + <api> ^self allocationUnit * 2 / self bytesPerOop!

2 1

chroot VM build
by Max Leske 21 May '17

21 May '17

Hi Ben, > On 21 May 2017, at 15:02, vm-dev-request(a)lists.squeakfoundation.org wrote: > >> >> The builds were performed in two separate chroot jails so they did not >> influence each other. The system is a Debian Jessie, 64 bits. >> > > Side question - I'm curious how you go about doing a chroot build. In > another thread you could you post some more info on this? > > cheers -ben We don't always use chroot but we currently do to build the VM as the build - may download stuff from the internet - requires installation of 32 bit compat libs and we don't want to junk up the system with any of that. Hence, we have a script that creates the chroot for us and prepares all the build dependencies (script attached below). Then we do $ chroot <chroot name> and start compilation (the attached script will create a couple of helper scripts to do that). Does that answer your question? Cheers, Max

2 1

Re: [Vm-dev] OSProcess fork issue with Debian built VM
by Max Leske 21 May '17

21 May '17

> On 18 May 2017, at 20:52, vm-dev-request(a)lists.squeakfoundation.org wrote: > > Hi Max, > > On Thu, May 18, 2017 at 4:32 AM, Max Leske <maxleske(a)gmail.com <mailto:maxleske@gmail.com>> wrote: > >> >> We managed to figure out that OSProcess works when we use gcc <= 4.8 on >> Debian. We are happy to use 4.8 for now, so we're good. It would of course >> be super cool if we could use the series 6 gcc as that will soon ship with >> Debian 9 (stretch) but it's probably not trivial to just move to a new >> compiler version (as seems evident from the fact that a minor version >> change can mess up compilation). >> > > For the sake of revisiting this when we have time and can debug it can you > state which version(s) you tried to use which didn't work? 4.6: worked 4.7: worked 4.8: worked 4.9: didn't work > Also, what are > the compilation flags (full gcc invocation example) for the case(s) that > work and the case(s) that don't? I'll send those as soon as I have them (hopefully tonight). > > Debugging this can be straight-forward if one can build the two versions > and execute them side-by-side to pin-point the failure. Coming with a fix > may be more challenging ;-) > > >> Thanks for your help Alistair and Eliot. >> >> Cheers, >> Max >> >> >> On 18 May 2017, at 11:00, vm-dev-request(a)lists.squeakfoundation.org <mailto:vm-dev-request@lists.squeakfoundation.org> wrote: >> >> On 18 May 2017, at 00:50, vm-dev-request(a)lists.squeakfoundation.org <mailto:vm-dev-request@lists.squeakfoundation.org> wrote: >> >> Hi Max, Hi Alistair, >> >> On Wed, May 17, 2017 at 1:06 AM, Alistair Grant <akgrant0710(a)gmail.com <mailto:akgrant0710@gmail.com> < >> mailto:akgrant0710@gmail.com <mailto:akgrant0710@gmail.com> <akgrant0710(a)gmail.com <mailto:akgrant0710@gmail.com>>>> >> wrote: >> >> >> On Tue, May 16, 2017 at 04:59:24PM +0200, Alistair Grant wrote: >> >> Hi Max, >> >> On 16 May 2017 15:40, "Max Leske" <maxleske(a)gmail.com <mailto:maxleske@gmail.com> <mailto: >> maxleske(a)gmail.com <mailto:maxleske@gmail.com> <maxleske(a)gmail.com <mailto:maxleske@gmail.com>>>> wrote: >> >> Hi Alistair, >> >> On 16 May 2017, at 15:32, vm-dev-request@lists. >> >> squeakfoundation.org <http://squeakfoundation.org/> <http://squeakfoundation.org/ <http://squeakfoundation.org/>> >> >> wrote: >> >> Hi Max, >> >> I can't answer your question directly, but just wondering why >> >> you are >> >> using >> the itimer VM when the are known issues with external calls, and >> >> not >> >> the >> heartbeat VM? >> >> Because of the root user issue, and also because I don't care about >> >> that >> >> much at the moment. I'm still experimenting and for those >> >> experiments it >> >> doesn't matter which VM I use. Thirdly, the itimer VM is the one I >> >> get when >> >> I use 'curl get.pharo.org/60+vmLatest <http://get.pharo.org/60+vmLatest> <http://get.pharo.org/60+vmLatest <http://get.pharo.org/60+vmLatest>> >> | bash', which is convenient >> >> to get >> >> the latest VM, and to minimise differences between the VM's we built >> >> the >> >> same one. I will definitely consider using the threaded VM for >> >> production. >> >> >> P.S. I would love to see OSProcess working in 32 bit mode. >> >> Well, it does work already, just not when we build the VM ourselves >> >> :/ >> >> >> Interesting, I had the impression that for Pharo 6 OSProcess didn't work >> >> in >> >> 32bits, only 64, but I'm also building my own VM. I'm away from my PC, >> >> but >> >> I'll try and take a look. >> >> >> I'm seeing the same behaviour as you, i.e. OSProcess works in a VM >> downloaded from get.pharo.org <http://get.pharo.org/> <http://get.pharo.org/ <http://get.pharo.org/>>, but locks up when >> using the VM I >> compiled. >> >> >> Have you looked at the build logs and eliminated compiler version, command >> line flags, etc? One important file is the config.h that is produced in >> the build directory. It might be informative to compare the one configure >> is producing on your systems and the one that the binary builds creates. >> >> >> Thanks for the pointer. I'll look into it. >> >> >> >> >> Both VMs (threaded heartbeat) are based on the same source code, i.e.: >> >> VM: 201705022326 https://github.com/OpenSmalltalk/opensmalltalk-vm.git <https://github.com/OpenSmalltalk/opensmalltalk-vm.git> < >> https://github.com/OpenSmalltalk/opensmalltalk-vm.git <https://github.com/OpenSmalltalk/opensmalltalk-vm.git>> $ >> Date: Tue May 2 16:26:41 2017 -0700 $ >> >> I'll try and take a look at this eventually, but I'm not sure how long >> that will be (several weeks away, at least). >> >> If you figure it out, please let me know. >> >> Thanks! >> Alistair >> >> >> >> >> -- >> _,,,^..^,,,_ >> best, Eliot >> >> >> >> >> > > > -- > _,,,^..^,,,_ > best, Eliot

2 2

[OpenSmalltalk/opensmalltalk-vm] 2c6c2e: Minor clean ups to the Mac Cocoa CoreAudio SoundPl...
by GitHub 20 May '17

20 May '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 2c6c2e5f9516fcfb040f04ff1028742a681f7a4a https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/2c6c2e5f9516fcfb04… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-05-20 (Sat, 20 May 2017) Changed paths: M platforms/iOS/plugins/SoundPlugin/sqSqueakOSXSoundCoreAudio.m M platforms/iOS/plugins/SoundPlugin/sqSqueakSoundCoreAudio.m Log Message: ----------- Minor clean ups to the Mac Cocoa CoreAudio SoundPlugin support code.

1 0

Embeddable/scalable Smalltalk VM needs funding for release (repost/update from squeak-dev)
by Zak Fenton 20 May '17

20 May '17

Hi folks. I posted earlier in squeak-dev about a Smalltalk implementation I've been working on. The first post was a bit unwieldy, but there was at least some interest so I'm posting an update to vm-dev and pharo-dev. Main strong points are that it's embeddable (like Lua or SQLite) and scalable (like Erlang). There are weak points too, of course (e.g. hot loop performance will be much worse than Squeak/Pharo at this point). The VM itself is pure C and has no dependencies apart from libc and libm. It doesn't require a filesystem (you can pipe VM images through custom stream implementations or arrays) and it should run well in tight (~1MB) memory situations. The extension system is similar to the Unix system call and virtual filesystem APIs, so it's kind-of object oriented but in a very "C" way. All extension resources are managed properly (so the system can clean up safely and/or warn you if you allocate memory and don't deallocate it, for example). Extensions are available for cells (threads/individual VMs), shared memory (so different cells can communicate efficiently - but also with memory protection and calling features for implementing domain-specific JIT compilers), windowing and event handling (based on SDL2) and 2D graphics rendering (based on Cairo). There are some higher-level libraries (stylable GUI system, tight OS integration, 3D modelling, etc.). It's polished in some ways (there's a test suite, an integrated help system, colour shell, etc.), but it needs a lot more refinement in others (the current GUI style is terrible, it needs more documentation, there's only minimal support for keyboard entry, no networking library, etc.). I'd like to release it (ideally as 100% public domain/CC0), but I don't want to do so without some way of funding development. The project promises a lot and I want to actually deliver with some ongoing updates and support (and being able to pay rent next week would also be a plus), so I'm not interested in just dumping it on GitHub and calling it a day. So I'm open to any suggestions as to how to fund this project at least in the short term and how it might fit into the wider Squeak/Pharo/Smalltalk ecosystems, as well as any technical criticism relating to the implementation itself. I've put together a basic website describing the implementation in a bit more detail (sorry, no downloads yet): http://a4vm.info/ -Zak.

4 7

Win64 cog.spur follow-up
by Nicolas Cellier 19 May '17

19 May '17

So now that longjmp works, the vm fails when returning from snapshot, somewhere during startup: (gdb) run ../../image/trunk50-64-15711.image Program received signal SIGSEGV, Segmentation fault. 0x00000000000008d4 in ?? () (gdb) call printCallStack() 0xefaf40 M FilePath class(Behavior)>new 0x4611330: a(n) FilePath class 0xefaf70 M FilePath class>pathName:isEncoded: 0x4611330: a(n) FilePath class 0xefafc0 I FilePath class>pathName: 0x4611330: a(n) FilePath class 0xefb010 I FileDirectory class>setDefaultDirectory: 0x45fac80: a(n) FileDirectory class 0xefb058 I FileDirectory class>startUp 0x45fac80: a(n) FileDirectory class 0xefb088 M FileDirectory class(Behavior)>startUp: 0x45fac80: a(n) FileDirectory class 0xefb0e0 M [] in SmalltalkImage>send:toClassesNamedIn:with: 0x4653d18: a(n) SmalltalkImage 0xefb130 I OrderedCollection>do: 0x49a81d8: a(n) OrderedCollection 0xefb180 I SmalltalkImage>send:toClassesNamedIn:with: 0x4653d18: a(n) SmalltalkImage 0xefb1d8 I SmalltalkImage>processStartUpList: 0x4653d18: a(n) SmalltalkImage 0xefb230 I SmalltalkImage>snapshot:andQuit:withExitCode:embedded: 0x4653d18: a(n) SmalltalkImage 0x52187b0 s SmalltalkImage>snapshot:andQuit:embedded: 0x489ee20 s SmalltalkImage>snapshot:andQuit: (gdb) i r rax 0x8d4 2260 rbx 0x6d8018 7176216 rcx 0xefaf18 15707928 rdx 0xefaf20 15707936 rsi 0x506ae18 84323864 rdi 0x6d98f0 7182576 rbp 0xefaf40 0xefaf40 rsp 0xefaf20 0xefaf20 r8 0x3801f27 58728231 r9 0x4611330 73470768 r10 0x5029af8 84056824 r11 0x43fa9a8 71281064 r12 0xffffffff 4294967295 r13 0x10 16 r14 0x3b61540 62264640 r15 0x5654fa0 90525600 rip 0x8d4 0x8d4 eflags 0x10206 [ PF IF RF ] cs 0x33 51 ss 0x2b 43 ds 0x2b 43 es 0x2b 43 fs 0x53 83 gs 0x2b 43 (gdb) x /8lx $rax 0x8d4: Cannot access memory at address 0x8d4 (gdb) call shortPrintOop($r10) 0x5029af8: a(n) CompiledMethod$30 = 0 (gdb) call shortPrintOop($r11) 0x43fa9a8: a(n) ByteSymbol$31 = 0 (gdb) call printStringOf($r11) basicNew (gdb) call longPrintOop($r10) 0x5029af8: a(n) CompiledMethod (0x468=>0x45f8168) format 0x1d nbytes 99 hdr8 ..... hash 0xee279 0 0x3801ee0 0x3801ee0 327688(0x50008) hasPrim nLits 8 nArgs 0 nTemps 1 1 0x53b0ce8 #handleFailingBasicNew 2 0x4771ba8 #insufficient object memory 3 0x44031d8 #basicNew: 4 0x43fdff8 #isVariable 5 0x43f8f30 #primitiveFailed 6 0x43ffa00 #ifTrue: 7 0x539b810 a(n) AdditionalMethodState a(n) CompiledMethod -> 0x43fa9a8 8 0x4955a90 a(n) ClassBinding #Behavior -> 0x4614510 (gdb) call printFrame($rbp) 0xefaf40 M FilePath class(Behavior)>new 0x4611330: a(n) FilePath class 0xefaf50: rcvr/clsr: 0x4611330 =FilePath 0xefaf48: caller ip: 0x3820ab4=58854068 0xefaf40: saved fp: 0xefaf70=15708016 0xefaf38: method: 0x380e420 0x5025bd0: a(n) CompiledMethod 0xefaf38: mcfrm flags: 0x0 numArgs: 0 noContext notBlock 0xefaf30: context: 0x41e78e0 =nil 0xefaf28: receiver: 0x4611330 =FilePath 0xefaf20: stck: 0x380e4a2 =$▒(0x701c94) 0xefaf18: stck: 0x4611330 =FilePath$19 = 0 (gdb) x /16lx $rsp 0xefaf20: 0x0380e4a2 0x00000000 0x04611330 0x00000000 0xefaf30: 0x041e78e0 0x00000000 0x0380e420 0x00000000 0xefaf40: 0x00efaf70 0x00000000 0x03820ab4 0x00000000 0xefaf50: 0x04611330 0x00000000 0x04611330 0x00000000 (gdb) x /11i 0x3820ab4 0x3820ab4: push %r9 0x3820ab6: mov 0x10(%rbp),%rdx 0x3820aba: mov 0x18(%rbp),%rcx 0x3820abe: mov $0x0,%r8 0x3820ac5: callq 0x3800118 0x3820aca: pop %r9 0x3820acc: mov $0x1,%r8 0x3820ad3: callq 0x3800080 0x3820ad8: mov %rbp,%rsp 0x3820adb: pop %rbp 0x3820adc: retq $0x18 (gdb) x /20i 0x3800118 0x3800118: mov (%rsp),%r10 0x380011c: mov %r9,(%rsp) 0x3800120: push %rcx 0x3800121: push %rdx 0x3800122: push %r10 0x3800124: callq 0x3800028 0x3800129: mov %rbp,0x48(%rbx) 0x380012d: mov %rsp,0x40(%rbx) 0x3800131: mov 0xc3140(%rbx),%rsp 0x3800138: sub $0x20,%rsp 0x380013c: mov %r8,%rcx 0x380013f: xor %rdx,%rdx 0x3800142: mov %r9,%r8 0x3800145: mov $0x2,%r9 0x380014c: movabs $0x442a90,%rax 0x3800156: callq *%rax 0x3800158: add $0x20,%rsp 0x380015c: mov 0x40(%rbx),%rsp 0x3800160: mov 0x48(%rbx),%rbp 0x3800164: retq (gdb) x /16i 0x442a90 0x442a90 <ceSendsupertonumArgs>: sub $0x238,%rsp 0x442a97 <ceSendsupertonumArgs+7>: mov %rcx,0x228(%rsp) 0x442a9f <ceSendsupertonumArgs+15>: mov %rdx,0x220(%rsp) 0x442aa7 <ceSendsupertonumArgs+23>: mov %r8,0x218(%rsp) 0x442aaf <ceSendsupertonumArgs+31>: mov %r9,0x210(%rsp) 0x442ab7 <ceSendsupertonumArgs+39>: cmpq $0x0,0x3585d9(%rip) # 0x79b098 <cFramePointerInUse> 0x442abf <ceSendsupertonumArgs+47>: je 0x442b24 <ceSendsupertonumArgs+148> 0x442ac5 <ceSendsupertonumArgs+53>: mov %rbp,%rax 0x442ac8 <ceSendsupertonumArgs+56>: mov $0x1,%cl 0x442aca <ceSendsupertonumArgs+58>: mov %rax,0x140(%rsp) 0x442ad2 <ceSendsupertonumArgs+66>: mov 0x140(%rsp),%rax 0x442ada <ceSendsupertonumArgs+74>: mov %rax,0x138(%rsp) 0x442ae2 <ceSendsupertonumArgs+82>: mov 0x138(%rsp),%rax 0x442aea <ceSendsupertonumArgs+90>: and $0xf,%rax 0x442aee <ceSendsupertonumArgs+94>: cmp $0x0,%rax 0x442af2 <ceSendsupertonumArgs+98>: mov %cl,0x127(%rsp) (gdb) x /18i 0x3800080 0x3800080: mov (%rsp),%r10 0x3800084: mov %r9,(%rsp) 0x3800088: push %r10 0x380008a: callq 0x3800028 0x380008f: mov %rbp,0x48(%rbx) 0x3800093: mov %rsp,0x40(%rbx) 0x3800097: mov 0xc3140(%rbx),%rsp 0x380009e: sub $0x20,%rsp 0x38000a2: mov %r8,%rcx 0x38000a5: xor %rdx,%rdx 0x38000a8: mov %r9,%r8 0x38000ab: xor %r9,%r9 0x38000ae: movabs $0x442a90,%rax 0x38000b8: callq *%rax 0x38000ba: add $0x20,%rsp 0x38000be: mov 0x40(%rbx),%rsp 0x38000c2: mov 0x48(%rbx),%rbp 0x38000c6: retq (gdb) x /5i 0x380e4a2 0x380e4a2: mov $0x0,%r8 0x380e4a9: callq 0x381ef60 0x380e4ae: mov %rbp,%rsp 0x380e4b1: pop %rbp 0x380e4b2: retq $0x8 I'm stuck there...

1 0

[OpenSmalltalk/opensmalltalk-vm] e45e7e: CogVM source as per VMMaker.oscog-eem.2217
by GitHub 19 May '17

19 May '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: e45e7ebf8f7baf4548990a6f7fa09c480cfbc683 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e45e7ebf8f7baf4548… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-05-19 (Fri, 19 May 2017) Changed paths: M build.linux32ARMv6/HowToBuild M build.linux32ARMv7/HowToBuild M build.linux32x86/HowToBuild M build.linux64x64/HowToBuild M nsspur64src/vm/cogit.h M nsspur64src/vm/cogitX64SysV.c M nsspur64src/vm/cogitX64WIN64.c M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M platforms/Cross/plugins/SoundPlugin/SoundPlugin.h M platforms/iOS/plugins/SoundPlugin/sqSqueakSoundCoreAudio.h M platforms/iOS/plugins/SoundPlugin/sqSqueakSoundCoreAudio.m M platforms/iOS/plugins/SoundPlugin/sqSqueakSoundCoreAudioAPI.m M platforms/unix/plugins/SoundPlugin/sqUnixSound.c M platforms/unix/vm/SqSound.h M platforms/win32/plugins/SoundPlugin/sqWin32Sound.c M spur64src/vm/cogit.h M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M src/plugins/FilePlugin/FilePlugin.c M src/plugins/SoundPlugin/SoundPlugin.c M src/plugins/XDisplayControlPlugin/XDisplayControlPlugin.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/cointerpmt.c M src/vm/cointerpmt.h M src/vm/gcc3x-cointerp.c M src/vm/gcc3x-cointerpmt.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2217 Cogit: The code for restoring saved registers after a CallRT: did a benign iteration in excess. Spur: Never inline objectsReachableFromRoots:. Fix a speeling rorre. SoundPlugin: Add the Terf SoundPlugin extensions (to deal with multiple devices, their names, volumes, etc). Provide a nearly full implementation on Mac OS X Cocoa (inc 64 bits, but no AEC as yet). Provide stub implementations for Unix & WIn32. Any one interested in win32/win64 I have the Terf C code in C++ files which needs to be recast as C files. Slang/FilePlugin: Avoid remapping oops on creating directory entries in the FilePlugin on Spur by using remapOop:in:. Change Slang to avoid creating nested #if-#else-#endif structures for nested remapOop:in:'s. Nuke an unused configuration. Cogit/CoInterpreter interaction: Use a special form of sigsetjmp to avoid stack unwinding on Windows 64. Note 1: stack unwinding is for C++ exception handling (for example for calling destructors). We do not need it, and it requires the presence of specific information on stack which is not honoured by our JIT frames. Note 2: this patch is specific to Mingw-w64. It might not work for another compiler (MSVC/Intel/...). Someone making the Vm compile with other tools might have to amend this #preambleCCode again. In mingw, there is a possibility to pass a 2nd parameter to a _setjmp, and if this 2nd argument is NULL, there will be no context unwinding. This knowledge is extracted from these references: http://mingw-w64-public.narkive.com/1mUoWEfG/setjmp-longjmp-crashes-second-… https://patchwork.ozlabs.org/patch/437794/ http://www.agardner.me/golang/windows/cgo/64-bit/setjmp/longjmp/2016/02/29/… https://sourceforge.net/p/mingw-w64/bugs/465/ Build system: Note that gcc beyond 4.8 does not work, at least on Debian linux. Commit: 1d60beaad5af99c14b3b8f7303902e34956228cc https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/1d60beaad5af99c14b… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-05-19 (Fri, 19 May 2017) Changed paths: M src/plugins/SoundPlugin/SoundPlugin.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2218 Fix slips in the SoundPlugin code. Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/ca7e8db32835...1d…

1 0

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

19 May '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2218.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2218 Author: eem Time: 19 May 2017, 12:36:25.817418 pm UUID: eab4416b-cf0c-4615-ad66-e6d0990d6295 Ancestors: VMMaker.oscog-eem.2217 Fix slips in the SoundPlugin code. =============== Diff against VMMaker.oscog-eem.2217 =============== Item was changed: ----- Method: SoundPlugin>>primitiveSetDefaultSoundPlayer (in category 'primitives') ----- primitiveSetDefaultSoundPlayer "Tell the operating system to use the specified device name as the output device for sound." "arg at top of stack is the String" | deviceName obj srcPtr sz | <export: true> <var: 'deviceName' declareC: 'char deviceName[257]'> <var: 'srcPtr' type: #'char *'> "Parse arguments" interpreterProxy methodArgumentCount = 1 ifFalse: [^interpreterProxy primitiveFail]. obj := interpreterProxy stackValue: 0. (interpreterProxy isBytes: obj) ifFalse: [^interpreterProxy primitiveFail]. (sz := interpreterProxy byteSizeOf: obj) <= 256 ifFalse: [^interpreterProxy primitiveFail]. srcPtr := interpreterProxy firstIndexableField: obj. self touch: srcPtr. self touch: deviceName. self touch: sz. self cCode: 'strncpy(deviceName, srcPtr, sz)'. self cCode: 'deviceName[sz] = NULL'. "do the work" self cCode: 'setDefaultSoundPlayer(deviceName)'. + interpreterProxy failed ifFalse: "pop arg, leave receiver" - self success ifTrue: "pop arg, leave receiver" [interpreterProxy pop: 1]! Item was changed: ----- Method: SoundPlugin>>primitiveSetDefaultSoundRecorder (in category 'primitives') ----- primitiveSetDefaultSoundRecorder "Tell the operating system to use the specified device name as the input device for sound." "arg at top of stack is the String" | deviceName obj srcPtr sz | <export: true> <var: 'deviceName' declareC: 'char deviceName[257]'> <var: 'srcPtr' type: #'char *'> "Parse arguments" interpreterProxy methodArgumentCount = 1 ifFalse: [^interpreterProxy primitiveFail]. obj := interpreterProxy stackValue: 0. (interpreterProxy isBytes: obj) ifFalse: [^interpreterProxy primitiveFail]. (sz := interpreterProxy byteSizeOf: obj) <= 256 ifFalse: [^interpreterProxy primitiveFail]. srcPtr := interpreterProxy firstIndexableField: obj. self touch: srcPtr. self touch: deviceName. self touch: sz. self cCode: 'strncpy(deviceName, srcPtr, sz)'. self cCode: 'deviceName[sz] = NULL'. "do the work" self cCode: 'setDefaultSoundRecorder(deviceName)'. + interpreterProxy failed ifFalse: "pop arg, leave receiver" - self success ifTrue: "pop arg, leave receiver" [interpreterProxy pop: 1]!

1 0

← Newer
1
2
3
4
5
6
7
8
9
...
16
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 2017