Vm-dev September 2011

vm-dev@lists.squeakfoundation.org

35 participants
70 discussions

[commit] r2493 - CogVM source as per VMMaker.oscog-eem.125. Add callsite link/relocate checks
by David T. Lewis 22 Sep '11

22 Sep '11

Commit message blocked due to size, forwarding trimmed version ----- Forwarded message from vm-dev-owner(a)lists.squeakfoundation.org ----- Delivered-To: list-vm-dev(a)lists.squeakfoundation.org Date: Wed, 21 Sep 2011 16:10:55 -0700 To: vm-dev(a)lists.squeakfoundation.org From: commits(a)squeakvm.org Subject: [commit] r2493 - CogVM source as per VMMaker.oscog-eem.125. Add callsite link/relocate checks Author: eliot Date: 2011-09-21 16:10:54 -0700 (Wed, 21 Sep 2011) New Revision: 2493 Modified: branches/Cog/nscogsrc/vm/cogit.c branches/Cog/nscogsrc/vm/cogit.h branches/Cog/nscogsrc/vm/cogmethod.h branches/Cog/nscogsrc/vm/cointerp.c branches/Cog/nscogsrc/vm/cointerp.h branches/Cog/nscogsrc/vm/gcc3x-cointerp.c branches/Cog/nscogsrc/vm/interp.h branches/Cog/nscogsrc/vm/vmCallback.h branches/Cog/platforms/Cross/vm/sqSCCSVersion.h branches/Cog/platforms/unix/vm/sqUnixThreads.c branches/Cog/platforms/win32/vm/sqWin32Threads.c branches/Cog/scripts/mknsvmlinuxarchive branches/Cog/src/plugins/SqueakFFIPrims/SqueakFFIPrims.c branches/Cog/src/vm/cogit.c branches/Cog/src/vm/cogit.h branches/Cog/src/vm/cogmethod.h branches/Cog/src/vm/cointerp.c branches/Cog/src/vm/cointerp.h branches/Cog/src/vm/cointerpmt.c branches/Cog/src/vm/cointerpmt.h branches/Cog/src/vm/gcc3x-cointerp.c branches/Cog/src/vm/gcc3x-cointerpmt.c branches/Cog/src/vm/interp.h branches/Cog/src/vm/vmCallback.h Log: CogVM source as per VMMaker.oscog-eem.125. Add callsite link/relocate checks to catch the call 0x00000013 MNU callsite relinking bug. Reduce the size of the simStack to something proportional to LargeContextSize. Modified: branches/Cog/nscogsrc/vm/cogit.c =================================================================== --- branches/Cog/nscogsrc/vm/cogit.c 2011-09-09 22:36:04 UTC (rev 2492) +++ branches/Cog/nscogsrc/vm/cogit.c 2011-09-21 23:10:54 UTC (rev 2493) <snip>

1 0

VM Maker: VMMaker.oscog-eem.125.mcz
by commits＠source.squeak.org 22 Sep '11

22 Sep '11

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.125.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.125 Author: eem Time: 21 September 2011, 3:24:21.37 pm UUID: 539c10db-ab19-4fc7-ada1-4ffae6463ed1 Ancestors: VMMaker.oscog-eem.124 Cogit: Add callsite link/relocate checks to catch the call 0x00000013 MNU callsite relinking bug. Reduce the size of the simStack to something proportional to LargeContextSize. CogMemoryManager: Use a 5-bit format field to encode all of indexability, weak/ephemeron, hence gaining a bit. =============== Diff against VMMaker.oscog-eem.124 =============== Item was added: + ----- Method: CoInterpreter>>interpretAddress (in category 'trampoline support') ----- + interpretAddress + "This is used for asserts that check that inline cache editing results in valid addresses. + In the C VM interpret is guaranteed to come before any primitives and so it constitutes + the lowest address in C code that machine code should be linked. In the simulator + we just answer something not low." + <api> + <returnTypeC: #usqInt> + ^self cCode: [(self addressOf: #interpret) asUnsignedInteger] + inSmalltalk: [heapBase]! Item was changed: ----- Method: CogIA32Compiler>>relocateCallBeforeReturnPC:by: (in category 'inline cacheing') ----- relocateCallBeforeReturnPC: retpc by: delta | distance | delta ~= 0 ifTrue: + [distance := ((objectMemory byteAt: retpc - 1) << 24) - [distance := ((objectMemory byteAt: retpc - 1) << 24) + ((objectMemory byteAt: retpc - 2) << 16) + ((objectMemory byteAt: retpc - 3) << 8) + (objectMemory byteAt: retpc - 4). distance := distance + delta. objectMemory byteAt: retpc - 1 put: (distance >> 24 bitAnd: 16rFF); byteAt: retpc - 2 put: (distance >> 16 bitAnd: 16rFF); byteAt: retpc - 3 put: (distance >> 8 bitAnd: 16rFF); + byteAt: retpc - 4 put: (distance bitAnd: 16rFF). + false + ifTrue: [self assert: (self callTargetFromReturnAddress: retpc) >= cogit minCallAddress] + ifFalse: [(self callTargetFromReturnAddress: retpc) >= cogit minCallAddress ifFalse: + [self error: 'relocating call to invalid address']]]! - byteAt: retpc - 4 put: (distance bitAnd: 16rFF)]! Item was changed: ----- Method: CogIA32Compiler>>rewriteCallAt:target: (in category 'inline cacheing') ----- rewriteCallAt: callSiteReturnAddress target: callTargetAddress "Rewrite a call instruction to call a different target. This variant is used to link PICs in ceSendMiss et al, and to rewrite cached primitive calls. Answer the extent of the code change which is used to compute the range of the icache to flush." + <var: #callSiteReturnAddress type: #usqInt> | callDistance | "self cCode: '' inSmalltalk: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]." + false + ifTrue: [self assert: callTargetAddress >= cogit minCallAddress] + ifFalse: [callTargetAddress >= cogit minCallAddress ifFalse: + [self error: 'linking callsite to invalid address']]. callDistance := (callTargetAddress - callSiteReturnAddress) signedIntToLong. objectMemory byteAt: callSiteReturnAddress - 1 put: (callDistance >> 24 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 2 put: (callDistance >> 16 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 3 put: (callDistance >> 8 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 4 put: (callDistance bitAnd: 16rFF). + self assert: (self callTargetFromReturnAddress: callSiteReturnAddress) = callTargetAddress. "self cCode: '' inSmalltalk: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]." ^5! Item was changed: ----- Method: CogIA32Compiler>>rewriteInlineCacheAt:tag:target: (in category 'inline cacheing') ----- rewriteInlineCacheAt: callSiteReturnAddress tag: cacheTag target: callTargetAddress "Rewrite an inline cache to call a different target for a new tag. This variant is used to link unlinked sends in ceSend:to:numArgs: et al. Answer the extent of the code change which is used to compute the range of the icache to flush." + <var: #callSiteReturnAddress type: #usqInt> | callDistance | + "self cCode: '' + inSmalltalk: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]." + false + ifTrue: [self assert: callTargetAddress >= cogit minCallAddress] + ifFalse: [callTargetAddress >= cogit minCallAddress ifFalse: + [self error: 'linking callsite to invalid address']]. - self cCode: '' - inSmalltalk: [false ifTrue: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]]. callDistance := (callTargetAddress - callSiteReturnAddress) signedIntToLong. objectMemory byteAt: callSiteReturnAddress - 1 put: (callDistance >> 24 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 2 put: (callDistance >> 16 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 3 put: (callDistance >> 8 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 4 put: (callDistance bitAnd: 16rFF); byteAt: callSiteReturnAddress - 6 put: (cacheTag >> 24 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 7 put: (cacheTag >> 16 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 8 put: (cacheTag >> 8 bitAnd: 16rFF); byteAt: callSiteReturnAddress - 9 put: (cacheTag bitAnd: 16rFF). + self assert: (self callTargetFromReturnAddress: callSiteReturnAddress) = callTargetAddress. + "self cCode: '' + inSmalltalk: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]." - self cCode: '' - inSmalltalk: [false ifTrue: [cogit disassembleFrom: callSiteReturnAddress - 10 to: callSiteReturnAddress - 1]]. ^10! Item was changed: VMClass subclass: #CogMemoryManager (excessive size, no diff calculated) Item was changed: VMStructType subclass: #CogObjectHeader + instanceVariableNames: 'classIndex unused0 isPinned isImmutable format isMarked isGrey isRemembered objHash slotSize' - instanceVariableNames: 'classIndex unused0 format isWeak isEphemeron isPointers isPinned isMarked isGrey isRemembered isImmutable objHash objSize' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-MemoryManager'! Item was changed: ----- Method: CogObjectHeader class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a BytecodeDescriptor struct." + "self typedef" self instVarNames do: [:ivn| aBinaryBlock value: ivn value: (ivn caseOf: { + ['classIndex'] -> [#'unsigned short']. "for speed; can extend to 22 bits by absorbing unused0" + ['unused0'] -> [#(unsigned ' : 6')]. + ['format'] -> [#(unsigned ' : 5')]. - ['classIndex'] -> [#'unsigned short']. "for speed; can extend to 20 bits by absorbing unused0" - ['unused0'] -> [#(unsigned ' : 4')]. - ['format'] -> [#(unsigned ' : 4')]. ['objHash'] -> [#(unsigned ' : 24')]. + ['slotSize'] -> [#'unsigned char'] } - ['objSize'] -> [#'unsigned char'] } otherwise: [#(#unsigned #Boolean ' : 1')])]! Item was changed: ----- Method: CogObjectHeaderSurrogate>>format (in category 'accessing') ----- format + ^(memory unsignedByteAt: address + 4) bitAnd: 16r1F! - ^((memory unsignedByteAt: address + 3) bitShift: -4) bitAnd: 16rF! Item was changed: ----- Method: CogObjectHeaderSurrogate>>format: (in category 'accessing') ----- format: aValue + self assert: (aValue between: 0 and: 16r1F). - self assert: (aValue between: 0 and: 16rF). memory + unsignedByteAt: address + 4 + put: ((memory unsignedByteAt: address + 4) bitAnd: 16rE0) + aValue. - unsignedByteAt: address + 3 - put: ((memory unsignedByteAt: address + 3) bitAnd: 16rF) + (aValue bitShift: 4). ^aValue! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isEphemeron (in category 'accessing') ----- - isEphemeron - ^(((memory unsignedByteAt: address + 4) bitShift: -1) bitAnd: 16r1) ~= 0! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isEphemeron: (in category 'accessing') ----- - isEphemeron: aValue - memory - unsignedByteAt: address + 4 - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rFD) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 1)). - ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isGrey (in category 'accessing') ----- isGrey + ^(((memory unsignedByteAt: address + 4) bitShift: -6) bitAnd: 16r1) ~= 0! - ^(((memory unsignedByteAt: address + 4) bitShift: -5) bitAnd: 16r1) ~= 0! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isGrey: (in category 'accessing') ----- isGrey: aValue memory unsignedByteAt: address + 4 + put: (((memory unsignedByteAt: address + 4) bitAnd: 16rBF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 6)). - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rDF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 5)). ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isImmutable (in category 'accessing') ----- isImmutable + ^(((memory unsignedByteAt: address + 3) bitShift: -7) bitAnd: 16r1) ~= 0! - ^(((memory unsignedByteAt: address + 4) bitShift: -7) bitAnd: 16r1) ~= 0! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isImmutable: (in category 'accessing') ----- isImmutable: aValue memory + unsignedByteAt: address + 3 + put: (((memory unsignedByteAt: address + 3) bitAnd: 16r7F) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 7)). - unsignedByteAt: address + 4 - put: (((memory unsignedByteAt: address + 4) bitAnd: 16r7F) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 7)). ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isMarked (in category 'accessing') ----- isMarked + ^(((memory unsignedByteAt: address + 4) bitShift: -5) bitAnd: 16r1) ~= 0! - ^(((memory unsignedByteAt: address + 4) bitShift: -4) bitAnd: 16r1) ~= 0! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isMarked: (in category 'accessing') ----- isMarked: aValue memory unsignedByteAt: address + 4 + put: (((memory unsignedByteAt: address + 4) bitAnd: 16rDF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 5)). - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rEF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 4)). ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isPinned (in category 'accessing') ----- isPinned + ^(((memory unsignedByteAt: address + 3) bitShift: -6) bitAnd: 16r1) ~= 0! - ^(((memory unsignedByteAt: address + 4) bitShift: -3) bitAnd: 16r1) ~= 0! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isPinned: (in category 'accessing') ----- isPinned: aValue memory + unsignedByteAt: address + 3 + put: (((memory unsignedByteAt: address + 3) bitAnd: 16rBF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 6)). - unsignedByteAt: address + 4 - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rF7) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 3)). ^aValue! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isPointers (in category 'accessing') ----- - isPointers - ^(((memory unsignedByteAt: address + 4) bitShift: -2) bitAnd: 16r1) ~= 0! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isPointers: (in category 'accessing') ----- - isPointers: aValue - memory - unsignedByteAt: address + 4 - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rFB) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 2)). - ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isRemembered (in category 'accessing') ----- isRemembered + ^(((memory unsignedByteAt: address + 4) bitShift: -7) bitAnd: 16r1) ~= 0! - ^(((memory unsignedByteAt: address + 4) bitShift: -6) bitAnd: 16r1) ~= 0! Item was changed: ----- Method: CogObjectHeaderSurrogate>>isRemembered: (in category 'accessing') ----- isRemembered: aValue memory unsignedByteAt: address + 4 + put: (((memory unsignedByteAt: address + 4) bitAnd: 16r7F) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 7)). - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rBF) + ((aValue ifTrue: [1] ifFalse: [0]) bitShift: 6)). ^aValue! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isWeak (in category 'accessing') ----- - isWeak - ^((memory unsignedByteAt: address + 4) bitAnd: 16r1) ~= 0! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>isWeak: (in category 'accessing') ----- - isWeak: aValue - memory - unsignedByteAt: address + 4 - put: (((memory unsignedByteAt: address + 4) bitAnd: 16rFE) + (aValue ifTrue: [1] ifFalse: [0])). - ^aValue! Item was changed: ----- Method: CogObjectHeaderSurrogate>>objHash (in category 'accessing') ----- objHash ^(memory unsignedLongAt: address + 5) bitAnd: 16rFFFFFF! Item was changed: ----- Method: CogObjectHeaderSurrogate>>objHash: (in category 'accessing') ----- objHash: aValue self assert: (aValue between: 0 and: 16rFFFFFF). memory unsignedLongAt: address + 5 put: ((memory unsignedLongAt: address + 5) bitAnd: 16rFF000000) + aValue. ^aValue! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>objSize (in category 'accessing') ----- - objSize - ^memory unsignedByteAt: address + 8! Item was removed: - ----- Method: CogObjectHeaderSurrogate>>objSize: (in category 'accessing') ----- - objSize: aValue - ^memory - unsignedByteAt: address + 8 - put: aValue! Item was added: + ----- Method: CogObjectHeaderSurrogate>>slotSize (in category 'accessing') ----- + slotSize + ^memory unsignedByteAt: address + 8! Item was added: + ----- Method: CogObjectHeaderSurrogate>>slotSize: (in category 'accessing') ----- + slotSize: aValue + ^memory + unsignedByteAt: address + 8 + put: aValue! 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 traceLinkedSends traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePointer opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxMethodBefore ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceStoreCheckTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass' - instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceLinkedSends traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMissCall missOffset entryPointMask checkedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry dynSuperEntry dynSuperEntryAlignment cmDynSuperEntryOffset mnuCall interpretCall endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePointer opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxMethodBefore ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceStoreCheckTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceClosureCopyTrampoline ceCreateNewArrayTrampoline ceEnterCogCodePopReceiverReg ceEnterCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceActiveContextTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline cePositive32BitIntegerTrampoline ceImplicitReceiverTrampoline ceExplicitReceiverTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP sendTrampolines superSendTrampolines dynamicSuperSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCEEnterCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass' classVariableNames: 'AnnotationConstantNames AnnotationShift BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration EncounteredUnknownBytecode FirstAnnotation HasBytecodePC InsufficientCodeSpace IsAbsPCReference IsDisplacement IsDisplacementX2N IsNSSendCall IsObjectReference IsRelativeCall IsSendCall MapEnd MaxCompiledPrimitiveIndex MaxNegativeErrorCode MaxUnitDisplacement MaxUnreportableError MaxX2NDisplacement NotFullyInitialized NumObjRefsInRuntime NumSendTrampolines NumTrampolines ProcessorClass' poolDictionaries: 'CogMethodConstants CogRTLOpcodes VMBasicConstants VMObjectIndices VMStackFrameOffsets' category: 'VMMaker-JIT'! Cogit class instanceVariableNames: 'generatorTable primitiveTable'! !Cogit commentStamp: '<historical>' 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. 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. fixup shas one element per byte in methodObj's bytecode 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 eventuakly teh 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 changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: [#( 'dynSuperEntry' 'dynSuperEntryAlignment' 'dynamicSuperSendTrampolines' 'ceImplicitReceiverTrampoline' 'ceExplicitReceiverTrampoline' 'cmDynSuperEntryOffset') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"cogmethod.h"'; addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'; addHeaderFile:'"dispdbg.h"'. aCCodeGenerator var: #ceGetSP declareC: 'unsigned long (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceEnterCogCodePopReceiverAndClassRegs declareC: 'void (*ceEnterCogCodePopReceiverAndClassRegs)(void)'; var: #realCEEnterCogCodePopReceiverAndClassRegs declareC: 'void (*realCEEnterCogCodePopReceiverAndClassRegs)(void)'; var: #ceFlushICache declareC: 'static void (*ceFlushICache)(unsigned long from, unsigned long to)'; var: #ceCheckFeaturesFunction declareC: 'static unsigned long (*ceCheckFeaturesFunction)(void)'; var: #ceTryLockVMOwner declareC: 'unsigned long (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *, void *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction *backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction *methodLabel = &aMethodLabel'; var: #primInvokeLabel type: #'AbstractInstruction *'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch stackOverflowCall sendMissCall entry noCheckEntry dynSuperEntry mnuCall interpretCall endCPICCase0 endCPICCase1) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #annotations type: #'InstructionAnnotation *'; declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'. aCCodeGenerator var: #sendTrampolines declareC: 'sqInt sendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static sqInt objectReferencesInRuntime[NumObjRefsInRuntime]'; var: #cePositive32BitIntegerTrampoline declareC: 'static sqInt cePositive32BitIntegerTrampoline'; var: #labelCounter declareC: 'static int labelCounter'; var: #traceLinkedSends declareC: 'int traceLinkedSends = 2 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #CFramePointer type: #'void *'; declareVar: #CStackPointer type: #'void *'; + declareVar: #minValidCallAddress type: #'unsigned long'; declareVar: #debugPrimCallStackOffset type: #'unsigned long'. aCCodeGenerator var: #generatorTable declareC: 'BytecodeDescriptor generatorTable[256]' , (self tableInitializerFor: aCCodeGenerator vmClass generatorTable in: aCCodeGenerator); var: #primitiveGeneratorTable declareC: 'PrimitiveDescriptor primitiveGeneratorTable[MaxCompiledPrimitiveIndex+1]' , (self tableInitializerFor: aCCodeGenerator vmClass primitiveTable in: aCCodeGenerator). "In C the abstract opcode names clash with the Smalltak generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'! Item was changed: ----- Method: Cogit>>compilePrimitive (in category 'compile abstract instructions') ----- compilePrimitive "Compile a primitive. If possible, performance-critical primtiives will be generated by their own routines (primitiveGenerator). Otherwise, if there is a primitive at all, we call the C routine with the usual stack-switching dance, test the primFailCode and then either return on success or continue to the method body." <inline: false> | primitiveDescriptor primitiveRoutine | <var: #primitiveDescriptor type: #'PrimitiveDescriptor *'> <var: #primitiveRoutine declareC: 'void (*primitiveRoutine)(void)'> primitiveIndex = 0 ifTrue: [^0]. ((primitiveDescriptor := self primitiveGeneratorOrNil) notNil and: [primitiveDescriptor primitiveGenerator notNil]) ifTrue: ["If a descriptor specifies an argument count (by numArgs >= 0) then it must match for the generated code to be correct. For example for speed many primitives use ResultReceiverReg instead of accessing the stack, so the receiver better be at numArgs down the stack. Use the interpreter version if not." (primitiveDescriptor primNumArgs < 0 "means don't care" or: [primitiveDescriptor primNumArgs = (coInterpreter argumentCountOf: methodObj)]) ifTrue: [^self perform: primitiveDescriptor primitiveGenerator]]. ((primitiveRoutine := coInterpreter functionPointerForCompiledMethod: methodObj primitiveIndex: primitiveIndex) isNil "no primitive" or: [primitiveRoutine = (coInterpreter functionPointerFor: 0 inClass: nil) "routine = primitiveFail"]) ifTrue: [^self genFastPrimFail]. + minValidCallAddress := minValidCallAddress min: primitiveRoutine asUnsignedInteger. ^self compileInterpreterPrimitive: primitiveRoutine! Item was changed: ----- Method: Cogit>>initializeCodeZoneFrom:upTo: (in category 'initialization') ----- initializeCodeZoneFrom: startAddress upTo: endAddress <api> self cCode: [self sqMakeMemoryExecutableFrom: startAddress To: endAddress] inSmalltalk: [self initializeProcessor]. codeBase := methodZoneBase := (self cCode: [startAddress] inSmalltalk: [startAddress + guardPageSize]). + minValidCallAddress := codeBase min: coInterpreter interpretAddress. self initializeBackend. self maybeGenerateCheckFeatures. self maybeGenerateICacheFlush. self generateVMOwnerLockFunctions. ceGetSP := self cCoerceSimple: self genGetLeafCallStackPointer to: #'unsigned long (*)(void)'. self generateStackPointerCapture. self generateTrampolines. self checkPrimitiveTableEnablers. methodZone manageFrom: methodZoneBase to: endAddress. self computeEntryOffsets. self generateClosedPICPrototype. "N.B. this is assumed to be the last thing done in initialization; see Cogit>>initialized" self generateOpenPICPrototype! Item was added: + ----- Method: Cogit>>minCallAddress (in category 'accessing') ----- + minCallAddress + <cmacro: '() minValidCallAddress'> + ^minValidCallAddress! Item was changed: ----- Method: InterpreterPrimitives>>primitiveCrashVM (in category 'system control primitives') ----- primitiveCrashVM "Crash the VM by indirecting through a null pointer. If the sole argument + is true crash in this thread, and if it is false crash in a new thread. If the + argument is an integer use the method that implies. + bit 0 = thread to crash in; 1 => this thread + bit 1 = crash method; 0 => indirect through null pointer; 1 => call exit" + - is true crash in this thread, and if it is false crash in a new thread." | crashInThisThread | <export: true> + (objectMemory isIntegerObject: self stackTop) + ifTrue: [crashInThisThread := objectMemory integerValueOf: self stackTop] + ifFalse: [crashInThisThread := self booleanValueOf: self stackTop]. - crashInThisThread := self booleanValueOf: self stackTop. (self failed or: [argumentCount ~= 1]) ifTrue: [^self primitiveFailFor: PrimErrBadNumArgs]. self crashInThisOrAnotherThread: crashInThisThread. self pop: 1! Item was changed: ----- Method: StackToRegisterMappingCogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCodeGen aCodeGen var: #methodAbortTrampolines declareC: 'sqInt methodAbortTrampolines[4]'; var: #picAbortTrampolines declareC: 'sqInt picAbortTrampolines[4]'; var: #picMissTrampolines declareC: 'sqInt picMissTrampolines[4]'; var: 'ceEnter0ArgsPIC' declareC: 'void (*ceEnter0ArgsPIC)(void)'; var: 'ceEnter1ArgsPIC' declareC: 'void (*ceEnter1ArgsPIC)(void)'; var: 'ceEnter2ArgsPIC' declareC: 'void (*ceEnter2ArgsPIC)(void)'; var: #ceEnterCogCodePopReceiverArg0Regs declareC: 'void (*ceEnterCogCodePopReceiverArg0Regs)(void)'; var: #realCEEnterCogCodePopReceiverArg0Regs declareC: 'void (*realCEEnterCogCodePopReceiverArg0Regs)(void)'; var: #ceEnterCogCodePopReceiverArg1Arg0Regs declareC: 'void (*ceEnterCogCodePopReceiverArg1Arg0Regs)(void)'; var: #realCEEnterCogCodePopReceiverArg1Arg0Regs declareC: 'void (*realCEEnterCogCodePopReceiverArg1Arg0Regs)(void)'; var: 'simStack' + declareC: 'CogSimStackEntry simStack[', ((CoInterpreter bindingOf: #LargeContextSize) value * 5 / 4 // BytesPerWord) asString, ']'; - declareC: 'CogSimStackEntry simStack[256]'; var: 'simSelf' type: #CogSimStackEntry; var: #optStatus type: #CogSSOptStatus. aCodeGen addSelectorTranslation: #register to: (aCodeGen cFunctionNameFor: 'registerr'); addSelectorTranslation: #register: to: (aCodeGen cFunctionNameFor: 'registerr:')! Item was changed: ----- Method: ThreadedFFICalloutStateForARM class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a ReentrantFFICalloutState struct." superclass instVarNamesAndTypesForTranslationDo: aBinaryBlock. self instVarNames do: [:ivn| aBinaryBlock value: ivn value: (ivn caseOf: { + ['integerRegisters'] -> [{#sqInt. '[', ThreadedARMFFIPlugin numRegArgs printString, ']'}] } - ['integerRegisters'] -> [{#sqInt. '[', ReentrantARMFFIPlugin numRegArgs printString, ']'}] } otherwise: [#sqInt])]! Item was changed: ----- Method: ThreadedFFICalloutStateForPPC class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a ReentrantFFICalloutState struct." superclass instVarNamesAndTypesForTranslationDo: aBinaryBlock. self instVarNames do: [:ivn| aBinaryBlock value: ivn value: (ivn caseOf: { + ['integerRegisters'] -> [{#sqInt. '[', ThreadedPPCBEFFIPlugin numRegArgs printString, ']'}]. + ['floatRegisters'] -> [{#double. '[', ThreadedPPCBEFFIPlugin numRegArgs printString, ']'}] } - ['integerRegisters'] -> [{#sqInt. '[', ReentrantPPCBEFFIPlugin numRegArgs printString, ']'}]. - ['floatRegisters'] -> [{#double. '[', ReentrantPPCBEFFIPlugin numRegArgs printString, ']'}] } otherwise: [#sqInt])]!

1 0

windows hudson builds FFI crashing
by Esteban Lorenzano 21 Sep '11

21 Sep '11

Hi, I'm trying to use Cog/StackVM downloaded from hudson and I'm having a crash while trying to execute FFI calls to libharu. I downloaded latest hudson build: Cog-Win32 it is working with Eliot's latest build: cogwin.zip I'm attaching crash.dmp, in case it is useful for something :) cheers, Esteban

2 2

New CogDroid alpha: with intent filter.
by Dimitry Golubovsky 18 Sep '11

18 Sep '11

I have uploaded a new alpha of CogDroid: http://squeakvm-tablet.googlecode.com/files/CogDroid-alpha-20110918.apk Intent filtering has been added to the application. Also application icon and Java package name (org.golubovsky.cogstack) have been updated. Intents in Android are messages that an application may pass around to invoke other applications that subscribe to filtering intents with some properties. That is, another application may broadcast an Intent (via startActivity()) with scheme "file", content-type "application/x-squeak-image", and path to the image as data. CogDroid will start right with the image given (provided that it exists) without scanning the sdcard storage for available image files. Sample Java code for this: public void launchImage(String imgpath) { Intent cog = new Intent(); cog.setAction(Intent.ACTION_VIEW); Uri uri = new Uri.Builder().scheme("file").path(imgpath).build(); cog.setDataAndType(uri, "application/x-squeak-image"); try { startActivity(cog); } catch (Exception e) { // process the exception: it is raised if no recipients were found for this intent, e. g. CogDroid is not installed. } } Relevant section in CogDroid's AndroidManifest.xml: <intent-filter> <action android:name="android.intent.action.VIEW" /> <category android:name="android.intent.category.DEFAULT" /> <data android:scheme="file" android:mimeType="application/x-squeak-image" /> </intent-filter> I also created a simple launcher for two images (the application when installed shows an icon for each image). Unfortunately image paths are hardcoded (but just for illustration this should be OK), and a single Activity subclass is required for each image file. See under https://gitorious.org/~golubovsky/cogvm/dmg-blessed/trees/master/platforms/… Thanks. -- Dimitry Golubovsky Anywhere on the Web

1 0

Cog-r2491 crashes
by Andrew Gaylard 16 Sep '11

16 Sep '11

Hi VM developers, I'm finding the Cog VM, r2491, built from SVN source on Ubuntu-10.04, crashes from time to time, apparently under load. I've included the top 40 lines of the debug traces for four of these crashes. Anyone have any ideas? - Andrew ==> /tmp/vm.16.log <== Segmentation fault Fri Sep 16 11:51:50 2011 C stack backtrace: /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a635] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a8a2] [0x8f0410] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8084522] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(compactCogCompiledCode+0x1f8)[0x8096388] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8060e74] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807a395] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807a4ed] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807af05] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807b367] [0x983aa269] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8082bdb] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(main+0x2c3)[0x805ccc3] /lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xe6)[0x4ccbd6] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a251] Smalltalk stack dump: 0xbfcdb7c4 I UndefinedObject>? -1739952124: a(n) UndefinedObject 0xbfcdb7f4 M Compiler>evaluate:in:to:notifying:ifFail:logged: -1703473588: a(n) Compiler 0xbfcdb824 M Compiler class>evaluate:for:notifying:logged: -1733725272: a(n) Compiler class 0xbfcdb84c M Compiler class>evaluate:for:logged: -1733725272: a(n) Compiler class 0xbfcdb870 M Compiler class>evaluate: -1733725272: a(n) Compiler class 0xbfcdb89c M [] in LavaSession>? -1709063152: a(n) LavaSession 0xbfcb905c M [] in FileStream class>detectFile:do: -1734664412: a(n) FileStream class 0xbfcb907c M BlockClosure>ensure: -1704541468: a(n) BlockClosure 0xbfcb909c M FileStream class>detectFile:do: -1734664412: a(n) FileStream class 0xbfcb90bc M FileStream class>? -1734664412: a(n) FileStream class 0xbfcb90e4 M [] in LavaSession>? -1709063152: a(n) LavaSession 0xbfcb910c M [] in MorphicUIManager>? -1728439408: a(n) MorphicUIManager 0xbfcb9128 M BlockClosure>on:do: -1704544084: a(n) BlockClosure 0xbfcb9154 M [] in MorphicUIManager>? -1728439408: a(n) MorphicUIManager 0xbfcb9174 M BlockClosure>ensure: -1704544232: a(n) BlockClosure 0xbfcb9198 M MorphicUIManager>? -1728439408: a(n) MorphicUIManager 0xbfcb91c8 M ProgressInitiationException>? -1704545088: a(n) ProgressInitiationException ==> /tmp/vm.19.log <== Segmentation fault Fri Sep 16 11:57:29 2011 C stack backtrace: /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a635] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a8a2] [0x332410] [0x9832d099] [0x983c3ddf] [0x98321e1d] [0x982cd00d] [0x982c5751] [0x982cdbb7] [0x9830737f] [0x982cdb23] [0x982ccf47] [0x982c4668] Smalltalk stack dump: 0xbfd2fc48 M [] in UndefinedObject>? -1740881916: a(n) UndefinedObject 0xbfd2fc70 M Set>do: -1706772700: a(n) Set 0xbfd2fc90 M [] in UndefinedObject>? -1740881916: a(n) UndefinedObject 0xbfd2fcac M BlockClosure>valueWithPossibleArgs: -1706866256: a(n) BlockClosure 0xbfd2fccc M [] in LavaSession(MagmaSession)>fileInFileNamed: -1709994440: a(n) LavaSession 0xbfd2fce8 M BlockClosure>on:do: -1706866236: a(n) BlockClosure 0xbfd2fd08 M BlockClosure>valueWithBindingsContext: -1706866236: a(n) BlockClosure 0xbfd2fd24 M BlockClosure>valueWithBindings: -1706866236: a(n) BlockClosure 0xbfd2fd40 M DynamicBindings>bindDuring: -1708703856: a(n) DynamicBindings 0xbfd2fd6c M [] in LavaSession(MagmaSession)>fileInFileNamed: -1709994440: a(n) LavaSession 0xbfd09524 M [] in FileStream class>detectFile:do: -1735594204: a(n) FileStream class 0xbfd09544 M BlockClosure>ensure: -1708703916: a(n) BlockClosure 0xbfd09564 M FileStream class>detectFile:do: -1735594204: a(n) FileStream class 0xbfd09584 M FileStream class>fileNamed:do: -1735594204: a(n) FileStream class 0xbfd095ac M [] in LavaSession(MagmaSession)>fileInFileNamed: -1709994440: a(n) LavaSession 0xbfd095d4 M [] in MorphicUIManager>displayProgress:at:from:to:during: -1729369200: a(n) MorphicUIManager 0xbfd095f0 M BlockClosure>on:do: -1708706532: a(n) BlockClosure 0xbfd0961c M [] in MorphicUIManager>displayProgress:at:from:to:during: -1729369200: a(n) MorphicUIManager 0xbfd0963c M BlockClosure>ensure: -1708706680: a(n) BlockClosure ==> /tmp/vm.26.log <== Segmentation fault Fri Sep 16 12:09:35 2011 C stack backtrace: /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a635] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a8a2] [0x97d410] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8084522] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(markActiveMethodsAndReferents+0x4c)[0x806cf4c] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(compactCogCompiledCode+0xe)[0x809619e] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8060e74] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807a395] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807a4ed] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x807ad4e] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(ceSendFromInLineCacheMiss+0xa3)[0x807c153] [0x9837f26c] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x8082bdb] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak(main+0x2c3)[0x805ccc3] /lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xe6)[0x13dbd6] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a251] Smalltalk stack dump: 0xbf82e540 M Site(Thing)>species -1706196988: a(n) Site 0xbf82e558 M Site(Item)>= -1706196988: a(n) Site 0xbf82e580 M Dictionary>scanFor: -1706203676: a(n) Dictionary 0xbf82e5a0 M Dictionary>associationAt:ifAbsent: -1706203676: a(n) Dictionary 0xbf82e5c0 M MagmaSetChanges(MagmaLargeCollectionChanges)>objectEqualTo: -1706205076: a(n) MagmaSetChanges 0xbf82e5dc M MagmaSet>equivalentOf: -1706205800: a(n) MagmaSet 0xbf82e5f8 M MagmaSet>includes: -1706205800: a(n) MagmaSet 0xbf82e614 M MagmaSet>validateCanAdd: -1706205800: a(n) MagmaSet 0xbf82e630 M MagmaSet(MagmaCollection)>add: -1706205800: a(n) MagmaSet 0xbf82e64c M Message>sendTo: -1705210992: a(n) Message 0xbf82e668 M MagmaMutatingProxy>doesNotUnderstand: add: -1706206144: a(n) MagmaMutatingProxy 0xbf82e688 M [] in UndefinedObject>? -1740115964: a(n) UndefinedObject 0xbf82e6a4 M BlockClosure>valueWithPossibleArgs: -1705350396: a(n) BlockClosure 0xbf82e6c4 M [] in LavaSession(MagmaSession)>fileInFileNamed: -1709228496: a(n) LavaSession 0xbf82e6e0 M BlockClosure>on:do: -1705350376: a(n) BlockClosure 0xbf82e700 M BlockClosure>valueWithBindingsContext: -1705350376: a(n) BlockClosure ==> /tmp/vm.37.log <== Segmentation fault Fri Sep 16 12:28:03 2011 C stack backtrace: /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a635] /opt/4dst/thirdparty/cog/bin/../lib/squeak/4.0-2491/squeak[0x805a8a2] [0x2d1410] [0x984753c9] [0x9850cdd7] [0x984f7425] [0x9841583d] [0x9840e751] [0x984a5987] [0x984b4047] [0x9841684b] [0x98415777] [0x9840d668] Smalltalk stack dump: 0xbfe21f88 M [] in UndefinedObject>? -1739534332: a(n) UndefinedObject 0xbfe21fb0 M Set>do: -1703865564: a(n) Set 0xbfe21fd0 M [] in UndefinedObject>? -1739534332: a(n) UndefinedObject 0xbfe21fec M BlockClosure>valueWithPossibleArgs: -1703959136: a(n) BlockClosure 0xbfe2200c M [] in LavaSession(MagmaSession)>fileInFileNamed: -1708645732: a(n) LavaSession 0xbfe22028 M BlockClosure>on:do: -1703959116: a(n) BlockClosure 0xbfe22048 M BlockClosure>valueWithBindingsContext: -1703959116: a(n) BlockClosure 0xbfe22064 M BlockClosure>valueWithBindings: -1703959116: a(n) BlockClosure 0xbfe22080 M DynamicBindings>bindDuring: -1705850620: a(n) DynamicBindings 0xbfe220ac M [] in LavaSession(MagmaSession)>fileInFileNamed: -1708645732: a(n) LavaSession 0xbfdf9864 M [] in FileStream class>detectFile:do: -1734246620: a(n) FileStream class 0xbfdf9884 M BlockClosure>ensure: -1705850680: a(n) BlockClosure 0xbfdf98a4 M FileStream class>detectFile:do: -1734246620: a(n) FileStream class 0xbfdf98c4 M FileStream class>fileNamed:do: -1734246620: a(n) FileStream class 0xbfdf98ec M [] in LavaSession(MagmaSession)>fileInFileNamed: -1708645732: a(n) LavaSession 0xbfdf9914 M [] in MorphicUIManager>displayProgress:at:from:to:during: -1728021616: a(n) MorphicUIManager 0xbfdf9930 M BlockClosure>on:do: -1705853296: a(n) BlockClosure 0xbfdf995c M [] in MorphicUIManager>displayProgress:at:from:to:during: -1728021616: a(n) MorphicUIManager 0xbfdf997c M BlockClosure>ensure: -1705853444: a(n) BlockClosure

2 1

Can't enter ^ on ubuntu with german keyboard
by Alexander Lazarević 15 Sep '11

15 Sep '11

Hi! On a german keyboard you can combine ^ and another character by pressing these keys one after the other like pressing ^ and then e to get ê. To just get the ^ character you can press the ^ key and then space. I think this also always worked for squeak. But if I try this now with a cog vm I get an unknown character and the outline of the ^ character changes to an up arrow (very strange). Now I have to switch the system keyboard layout back and forth to be able to enter ^ in Squeak. Have you seen this? What can I do about it? Thanks, Alex PS: Look here if you want to see what I'm talking about http://youtu.be/913TMdQyLug

2 2

Re: [Pharo-project] shift of -1@0 when clicking a morph
by Tudor Girba 13 Sep '11

13 Sep '11

Hi, Apparently, this issue is related to VMs at least on Mac. Try the followings: 1. download sample image: http://dl.dropbox.com/u/18323746/Tmp/moose-drag-issue.zip 2. execute it with the latest Jenkins blessed VM: https://ci.lille.inria.fr/pharo/view/Cog/job/Cog-Mac-Cocoa-blessed/lastSucc… - click on 1 or 3 on the left hand side (repeatedly - sometimes the issue does not appear straightaway) - the pane to the right should be updated with the numbers but it is not. Instead the clicked number slightly moves (due to dragging) 3. now execute the same image with the Elliot's VM: http://www.mirandabanda.org/files/Cog/VM/VM.r2489/Cog.app.tgz - click on 1 or 3 on the left hand side - the pane to the right is updated and the number on the left does not move at all Cheers, Doru On 13 Sep 2011, at 11:57, Mariano Martinez Peck wrote: > > > On Tue, Sep 13, 2011 at 11:27 AM, Gary Chambers <gazzaguru2(a)btinternet.com> wrote: > Have you checked to morph's bounds in case the origin/corner has non Integer values? > I've seen odd behaviour when they are Floats or Fractions. > > > yes, like putting them into a PointArray. Floats for example will lose the decimal part. > > (just a stab-in-the-dark, worth checking though) > > Regards, Gary > > ----- Original Message ----- From: "Tudor Girba" <tudor(a)tudorgirba.com> > To: <Pharo-project(a)lists.gforge.inria.fr> > Sent: Saturday, September 10, 2011 7:34 PM > Subject: Re: [Pharo-project] shift of -1@0 when clicking a morph > > > > Just to stress this issue a bit more: > > The problem is critical for getting Mondrian to work properly with Glamour (be able to get the interaction from the visualization in the surrounding browser), and it is a show stopper for releasing Moose 4.6. Any help would be appreciated. > > Cheers, > Doru > > > On 10 Sep 2011, at 08:40, Stéphane Ducasse wrote: > > > On Sep 10, 2011, at 2:06 AM, Alexandre Bergel wrote: > > Hi! > > In Pharo 1.3 13287 I am experiencing something very strange. Apparently, when I click a morph the mouseOver: event has a x value reduced by 1. This happens only when I click. Subsequent mouseOver: are fine. This triggers an odd behavior in Mondrian. > > Strange indeed. > > > In Pharo 1.4 14112, this strange behavior has disappeared. > > I tried to load some more recent packages of Morphic, Graphics, Polymorph... without success (either I get an emergency debugger or the image freezes). > > Maybe: http://code.google.com/p/pharo/issues/detail?id=4503 ? But I could not find the Slice. > > No I do not think this is related > > Stef > > Cheers, > Alexandre > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > > > > > > -- > www.tudorgirba.com > > "Every now and then stop and ask yourself if the war you're fighting is the right one." > > > > > > > > > -- > Mariano > http://marianopeck.wordpress.com > -- www.tudorgirba.com "The coherence of a trip is given by the clearness of the goal."

1 0

vm test volunteers
by Esteban Lorenzano 13 Sep '11

13 Sep '11

Hi, I'm testing a new cog build, and I need to see if it works in OSX 10.5 (leopard) and 10.6 (snow leopard). I'm currently own a 10.7, and can't check if it works fine in older versions :( can someone check if the build works with older versions? The new vm is here: CogVM.zip (btw, for those happy Lion users, this build came with a "full screen mode" button :) thanks! Esteban

6 10

About sqSCCVersion.h
by Igor Stasenko 13 Sep '11

13 Sep '11

Hello, i was looking how to make same trick for git, to embed the revision information into the source and found no easy solution. Using gitattributes is powerful, but too tedious for me to set it up fast and too much info for doing simple things. (You may look http://progit.org/book/ch7-2.html) So, to make it fast, i will use shell script to generate output. Unfortunately, it makes little sense to use #define GIT 1 (in sqSCCVersion.h) because its easier to just include generated file: #include "vmVersionInfo.h" // defines REVISION_STRING static char *sourceVersionString() { return REVISION_STRING; } Where vmVersionInfo.h contents is generated dynamically by shell script. To extract an URL a following command does it well: git config --get remote.origin.url Which shows: git@gitorious.org:cogvm/blessed.git To extract commit info, i using: git show HEAD --pretty="Commit: %H Date: %cd By: %cn <%cE>" Which shows: b0df6dc6902a9eb05de02782a77712d855d0422e Date: Wed Jul 20 16:22:16 2011 +0200 By: Igor Stasenko <siguctua(a)gmail.com> So, i will create a script which will generate a header file with these two lines concatenated, and then just include it into modified sqSCCVersion.h The problem is that i cannot put invocation of this script it into cmake config files, because then it will work only if you check out source from git , but not for tarballs. So, to generate the version info file this command will run separately on server. The output of sourceVersionString() function will be something like that: git@gitorious.org:cogvm/blessed.git Commit: b0df6dc6902a9eb05de02782a77712d855d0422e Date: Wed Jul 20 16:22:16 2011 +0200 By: Igor Stasenko <siguctua(a)gmail.com> If you have better suggestions how this string should look like (format, fields) i am here to listen. :) -- Best regards, Igor Stasenko AKA sig.

3 4

[Vm-dev] OSProcessPlugin: VMConstruction-Plugins-OSProcessPlugin-dtl.30.mcz
by squeak-dev-noreply＠lists.squeakfoundation.org 13 Sep '11

13 Sep '11

Dave Lewis uploaded a new version of VMConstruction-Plugins-OSProcessPlugin to project OSProcessPlugin: http://www.squeaksource.com/OSProcessPlugin/VMConstruction-Plugins-OSProces… ==================== Summary ==================== Name: VMConstruction-Plugins-OSProcessPlugin-dtl.30 Author: dtl Time: 12 September 2011, 10:23:03 am UUID: 6d7a86e3-3872-4dda-8b61-331bed18337e Ancestors: VMConstruction-Plugins-OSProcessPlugin-dtl.29 OSProcessPlugin 4.4.6 Add simulation support from oscog branch. Remove obsolete #reapChildProcess: and related deprecated methods. Simplify #forkSqueak and remove support for deprecated versions. Permit inlining stringFromCString: Notes r.e. merging from oscog branch: The #primitiveGetStd[In|Out|Err]Handle changes in oscog are not right, see failure in UnixProcessAccessorTestCase>>testRedirectStdOutTo (latest version of OSProcess). #startHandlerThreadForAny: and #primitiveNextFromSignaling have slang code to generate: #if !defined(STACK_SIZE_PARAM_IS_A_RESERVATION); #define STACK_SIZE_PARAM_IS_A_RESERVATION 0x10000; #endif; But the above would be better handled in the build/CMake tools, so I did not adopt changes. Simulation support for #sizeof: and #strlen: not merged due to oscog VMM dependencies. Many (most?) other oscog branch differences are outdated or deprecated methods no longer required.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev September 2011