Vm-dev February 2017

vm-dev@lists.squeakfoundation.org

24 participants
79 discussions

VM Maker: VMMaker.oscog-eem.2141.mcz
by commits＠source.squeak.org 28 Feb '17

28 Feb '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2141.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2141 Author: eem Time: 28 February 2017, 12:29:47.340505 pm UUID: 8913c1aa-54c6-4c82-9e28-71c1db55028a Ancestors: VMMaker.oscog-eem.2140 Cogit: nuke unused maxCPICCases =============== Diff against VMMaker.oscog-eem.2140 =============== 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' - 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 maxCPICCases debugBytecodePointers debugOpcodeIndices disassemblingMethod ceMallocTrampoline ceFreeTrampoline ceFFICalloutTrampoline' 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 NeedsFixupFlag 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'!

1 0

Small refactoring and Lowcode
by Eliot Miranda 28 Feb '17

28 Feb '17

Hi Ronie, (Hi Clément), for a while now Clément and I have been unhappy about optStatus (CogSSOptStatus). Now that the RegisterAllocatingCogit is nearly working it's clear that a much nicer approach is to give CogSimStackEntry a liveRegister instance variable and have simSelf take the place of optStatus, so that what were optStatus isReceiverResultRegLive optStatus isReceiverResultRegLive: true optStatus isReceiverResultRegLive: false are replaced by simSelf liveRegister = ReceiverResultReg simSelf liveRegister: ReceiverResultReg simSelf liveRegister: NoReg To this end can you rewrite the Lowcode code generator so that e.g. the following genLowcodeAlloca32 <option: #LowcodeVM> "Lowcode instruction generator" | size | (size := backEnd availableRegisterOrNoneFor: self liveRegisters) = NoReg ifTrue: [self ssAllocateRequiredReg: (size := optStatus isReceiverResultRegLive ifTrue: [Arg0Reg] ifFalse: [ReceiverResultReg])]. size = ReceiverResultReg ifTrue: [ optStatus isReceiverResultRegLive: false ]. self ssNativeTop nativePopToReg: size. self ssNativePop: 1. self MoveAw: coInterpreter nativeStackPointerAddress R: TempReg. self SubR: size R: TempReg. self AndCq: -16 R: TempReg. self MoveR: TempReg R: size. self MoveR: size Aw: coInterpreter nativeStackPointerAddress. self ssPushNativeRegister: size. ^ 0 reads something more like genLowcodeAlloca32 <option: #LowcodeVM> "Lowcode instruction generator" | size | self allocateOneRegisterForLowcodeInto: [:reg| size := reg]. self ssNativeTop nativePopToReg: size. self ssNativePop: 1. self MoveAw: coInterpreter nativeStackPointerAddress R: TempReg. self SubR: size R: TempReg. self AndCq: -16 R: TempReg. self MoveR: TempReg R: size. self MoveR: size Aw: coInterpreter nativeStackPointerAddress. self ssPushNativeRegister: size. ^ 0 etc? So there are allocateOneRegisterForLowcodeInto: through allocateThreeRegistersForLowcodeInto:. This way it'll be much easier to make the above change which I'm making now. _,,,^..^,,,_ best, Eliot

3 5

VM Maker: VMMaker.oscog-eem.2140.mcz
by commits＠source.squeak.org 28 Feb '17

28 Feb '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2140.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2140 Author: eem Time: 28 February 2017, 10:57:08.30277 am UUID: aa8bca00-5798-4bba-9cec-b1458e30071b Ancestors: VMMaker.oscog-eem.2139 V3 Cogit: Fix regression in #==. Fix assert fail for machine code perform primitive failure check. Cogit: Fix in-image compilation given new receiverTagBitsForMethod: mclass scheme. Fix mistakes in the Cogit command and provide a CogSimStackEntry comment. Move liveRegister up from CogRegisterAllocatingSimStackEntry to CogSimStackEntry, eliminate an unused inst var, and type the register fields appropriately, saving a word per struct. Set a temp var's simStackEntry's bytecode pointer on assignment. Fix temp var padding in printSimStack. =============== Diff against VMMaker.oscog-eem.2139 =============== Item was changed: CogSimStackEntry subclass: #CogRegisterAllocatingSimStackEntry + instanceVariableNames: '' - instanceVariableNames: 'liveRegister' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-JIT'! Item was changed: VMStructType subclass: #CogSimStackEntry + instanceVariableNames: 'cogit objectRepresentation type spilled liveRegister register offset constant bcptr' - instanceVariableNames: 'cogit objectRepresentation type spilled annotateUse register offset constant bcptr' classVariableNames: '' poolDictionaries: 'CogAbstractRegisters CogCompilationConstants CogRTLOpcodes' category: 'VMMaker-JIT'! + + !CogSimStackEntry commentStamp: 'eem 2/25/2017 11:14' prior: 0! + A CogSimStackEntry represents an object pushed on the stack, but during the partial evaluation that occurs as part of the StackToRegisterMappingCogit's compilation. Bytecodes that produce operands (push items onto the stack) push suitably descriptive instances of CogSimStackEntry onto the simStack (simulation stack). Bytecodes that cnsume operands (sends, assignments, returns, etc) take items off the simStack. Hence teh generated code avoids pushing items onto the real stack, and the StackToRegisterMappngCogit can put the operands found on the simSTack in registers, etc. Hence actual stack raffic is much reduced, a much more efficient calling convention is enabled, and so overall performance is increased. This scheme is due to L. Peter Deutsch and extended here. + + Instance Variables + bcptr: <Integer> + cogit: <StackToRegisterMappingCogit> + constant: <Oop> + liveRegister: <Integer> + objectRepresentation: <CogObjectRepresentation> + offset: <Integer> + register: <Integer> + spilled: <Boolean> + type: <Integer from SSBaseOffset, SSConstant, SSRegister or SSSpill> + + bcptr + - the bytecode PC at which this particular entry was created (pushed onto the stack). + + cogit + - the StackToRegisterMappingCogit using this instance + + constant + - if type = SSConstant then this is the constant's oop + + liveRegister + - unused other than for simSelf. This is here for simSelf and for the subclass CogRegisterAllocatingSimStackEntry + + objectRepresentation + - the CogObjectRepresentation in use for the current object model + + offset + - if type = SSBaseOffset or type = SSSpill then this is the offset from register + + register + - type = SSBaseOffset or type = SSSpill or type = SSRegister then this is the register's code (NoReg, TempReg, ReceiverResultReg et al) + + spilled + - if true, then this entry has been spilled onto the actual stack (or rather code has been generated to push the entry onto the real stack) + + type + - SSBaseOffset, SSConstant, SSRegister or SSSpill! Item was changed: ----- Method: CogSimStackEntry class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock + "Enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a CogSimStackEntry struct." + "self typedef" - "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a CogSimStackEntry struct." - "self printTypedefOn: Transcript" self filteredInstVarNames do: [:ivn| aBinaryBlock value: (ivn = 'register' ifTrue: ['registerr'] ifFalse: [ivn]) "avoid reservedWord conflict" value: (ivn caseOf: { ['type'] -> [#char]. + ['spilled'] -> [#char]. + ['register'] -> [#'signed char']. "because NoReg = -1" + ['liveRegister'] -> [#'signed char'].} - ['spilled'] -> [#char].} otherwise: [#sqInt])]! Item was changed: ----- Method: CogVMSimulator>>primitivePerform (in category 'debugging traps') ----- primitivePerform + | receiver selector | + "If called from the machine code perform primitive, it should not have been found, + except that the cacheing for V3 has a mismatch between that used ror the first-level + method cache and inline caches." + receiver := (self stackValue: argumentCount). - | selector | - "If called from the machine code perform primitive, it should not have been found." selector := self stackValue: argumentCount - 1. + ((self methodHasCogMethod: newMethod) + and: [(objectMemory isCompactInstance: receiver) not]) ifTrue: + [self deny: (self newMethodInLookupCacheAt: selector and: (objectMemory fetchClassTagOf: receiver))]. + self sendBreakpoint: selector receiver: receiver. + (self filterPerformOf: selector to: receiver) ifTrue: - (self methodHasCogMethod: newMethod) ifTrue: - [self deny: (self newMethodInLookupCacheAt: selector and: (objectMemory fetchClassTagOf: (self stackValue: argumentCount)))]. - self sendBreakpoint: selector receiver: (self stackValue: argumentCount). - (self filterPerformOf: selector to: (self stackValue: argumentCount)) ifTrue: [^self pop: argumentCount]. ^super primitivePerform! 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 maxCPICCases debugBytecodePointers debugOpcodeIndices disassemblingMethod ceMallocTrampoline ceFreeTrampoline ceFFICalloutTrampoline' 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 NeedsFixupFlag 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! - !Cogit commentStamp: 'eem 2/9/2017 10:01' 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 - StackToRegisterMappingCogit 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 added: + ----- Method: CurrentImageCoInterpreterFacade>>lookupSelector:inClass: (in category 'cog jit support') ----- + lookupSelector: selectorOop inClass: classOop + | class selector | + class := self objectForOop: classOop. + selector := self objectForOop: selectorOop. + ^(class canUnderstand: selector) ifTrue: + [self oopForObject: ((class whichClassIncludesSelector: selector) + compiledMethodAt: selector)]! Item was added: + ----- Method: CurrentImageCoInterpreterFacadeForSpurObjectRepresentation>>receiverTagBitsForMethod: (in category 'accessing') ----- + receiverTagBitsForMethod: methodOop + ^(self objectForOop: methodOop) methodClass + caseOf: { + [SmallInteger] -> [objectMemory smallIntegerTag]. + [Character] -> [objectMemory characterTag]. + [SmallFloat64] -> [objectMemory smallFloatTag] } + otherwise: [0]! Item was added: + ----- Method: CurrentImageCoInterpreterFacadeForSqueakV3ObjectRepresentation>>receiverTagBitsForMethod: (in category 'accessing') ----- + receiverTagBitsForMethod: methodOop + ^(self objectForOop: methodOop) methodClass =SmallInteger + ifTrue: [1] + ifFalse: [0]! Item was added: + ----- Method: NewCoObjectMemory>>isCompactInstance: (in category 'debug support') ----- + isCompactInstance: oop + "For assert checking" + ^(self isNonImmediate: oop) and: [((self baseHeader: oop) bitAnd: CompactClassMask) ~= 0]! Item was changed: ----- Method: RegisterAllocatingCogit>>genStorePop:TemporaryVariable: (in category 'bytecode generator support') ----- genStorePop: popBoolean TemporaryVariable: tempIndex <inline: false> | top srcRegOrNone destReg | self deny: self duplicateRegisterAssignmentsInTemporaries. self ssFlushUpThroughTemporaryVariable: tempIndex. "To avoid a stall writing through destReg, remember srcReg before the potential ssPop: 1 in ssStorePop:toReg:" top := self ssTop. srcRegOrNone := top registerOrNone. "ssStorePop:toPreferredReg: will allocate a register, and indeed may allocate ReceiverResultReg if, for example, the ssEntry to be popped is already in ReceiverResultReg (as the result of a send). ReceiverResultReg is not a good choice for a temporary variable; it has other uses. So if the ssEntry at top of stack has ReceiverResultReg as its live variable, try and allocate an alternative." destReg := (self simStackAt: tempIndex) liveRegister. destReg ~= NoReg ifTrue: [self ssStorePop: popBoolean toReg: destReg] ifFalse: [((top type = SSConstant or: [srcRegOrNone = NoReg or: [self register: srcRegOrNone isInMask: self registerMaskUndesirableForTempVars]]) and: [(destReg := self availableRegOrNoneNotConflictingWith: (self registerMaskUndesirableForTempVars bitOr: self liveRegisters)) ~= NoReg]) ifTrue: [self ssStorePop: popBoolean toReg: destReg] ifFalse: [destReg := self ssStorePop: popBoolean toPreferredReg: TempReg]. "The ssStorePop: may end up assigning a register to ssTop, and if it is also a temp then a new register must be found for the destination temp, sicne two temp vars can't share a register." (top isFrameTempVar and: [top liveRegister = destReg]) ifTrue: [srcRegOrNone := destReg. destReg := self availableRegOrNoneNotConflictingWith: (self registerMaskUndesirableForTempVars bitOr: self liveRegisters). destReg ~= NoReg ifTrue: [self MoveR: srcRegOrNone R: destReg]]. (destReg ~= NoReg and: [destReg ~= TempReg]) ifTrue: [(self simStackAt: tempIndex) liveRegister: destReg. self copyLiveRegisterToCopiesOf: (self simStackAt: tempIndex)]]. self MoveR: (srcRegOrNone ~= NoReg ifTrue: [srcRegOrNone] ifFalse: [destReg]) Mw: (self frameOffsetOfTemporary: tempIndex) r: FPReg. + (self simStackAt: tempIndex) bcptr: bytecodePC. "for debugging" self deny: self duplicateRegisterAssignmentsInTemporaries. ^0! Item was added: + ----- Method: SpurMemoryManager>>isCompactInstance: (in category 'debug support') ----- + isCompactInstance: oop + "For assert checking" + ^false! Item was changed: ----- Method: StackToRegisterMappingCogit>>genStorePop:TemporaryVariable: (in category 'bytecode generator stores') ----- genStorePop: popBoolean TemporaryVariable: tempIndex <inline: false> | reg | self ssFlushUpThroughTemporaryVariable: tempIndex. reg := self ssStorePop: popBoolean toPreferredReg: TempReg. self MoveR: reg Mw: (self frameOffsetOfTemporary: tempIndex) r: FPReg. + (self simStackAt: tempIndex) bcptr: bytecodePC. "for debugging" ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>genVanillaInlinedIdenticalOrNotIf: (in category 'bytecode generators') ----- genVanillaInlinedIdenticalOrNotIf: orNot + | nextPC postBranchPC targetPC branchDescriptor - | nextPC postBranchPC targetBytecodePC branchDescriptor rcvrReg argReg argIsConstant rcvrIsConstant | <var: #branchDescriptor type: #'BytecodeDescriptor *'> self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | + branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetPC := target ]. - branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. argIsConstant := self ssTop type = SSConstant. "They can't be both constants to use correct machine opcodes. However annotable constants can't be resolved statically, hence we need to careful." rcvrIsConstant := argIsConstant not and: [(self ssValue: 1) type = SSConstant]. self allocateEqualsEqualsRegistersArgNeedsReg: argIsConstant not rcvrNeedsReg: rcvrIsConstant not into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. "If not followed by a branch, resolve to true or false." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genIdenticalNoBranchArgIsConstant: argIsConstant rcvrIsConstant: rcvrIsConstant argReg: argReg rcvrReg: rcvrReg orNotIf: orNot]. "If branching the stack must be flushed for the merge" self ssFlushTo: simStackPtr - 2. self genCmpArgIsConstant: argIsConstant rcvrIsConstant: rcvrIsConstant argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. "Further since there is a following conditional jump bytecode, define non-merge fixups and leave the cond bytecode to set the mergeness." (self fixupAt: nextPC) notAFixup ifTrue: "The next instruction is dead. we can skip it." [deadCode := true. + self ensureFixupAt: targetPC. - self ensureFixupAt: targetBytecodePC. self ensureFixupAt: postBranchPC] ifFalse: [self deny: deadCode]. "push dummy value below" - self genConditionalBranch: (orNot == branchDescriptor isBranchTrue ifTrue: [JumpNonZero] ifFalse: [JumpZero]) - operand: (self ensureNonMergeFixupAt: targetBytecodePC) asUnsignedInteger. + orNot == branchDescriptor isBranchTrue "orNot is true for ~~" + ifFalse: "a == b ifTrue: ... or a ~~ b ifFalse: ... jump on equal to target pc" + [self JumpZero: (self ensureNonMergeFixupAt: targetPC). + self Jump: (self ensureNonMergeFixupAt: postBranchPC)] + ifTrue: "a == b ifFalse: ... or a ~~ b ifTrue: ... jump on equal to post-branch pc" + [self ensureNonMergeFixupAt: targetPC. + self JumpZero: (self ensureNonMergeFixupAt: postBranchPC). + self Jump: (self ensureNonMergeFixupAt: targetPC)]. + + "Not reached, execution flow has jumped to fixup" - "If the branch is dead, then we can just fall through postBranchPC (only a nop in-between), else - we need to jump over the code of the branch" deadCode ifFalse: + [self ssPushConstant: objectMemory trueObject]. "dummy value" - [self Jump: (self ensureNonMergeFixupAt: postBranchPC). - self ssPushConstant: objectMemory trueObject]. "dummy value" ^0! Item was changed: ----- Method: StackToRegisterMappingCogit>>put:paddedTo:tabWidth:on: (in category 'simulation only') ----- put: aString paddedTo: compositionWidth tabWidth: tabWidth on: aStream <doNotGenerate> | fittedString size width | fittedString := aString. size := fittedString size. [(width := self widthInDefaultFontOf: fittedString) > compositionWidth] whileTrue: [size := size - 2. fittedString := aString contractTo: size]. aStream nextPutAll: fittedString; + tab: compositionWidth - width + (width \\ tabWidth) // tabWidth + 1! - tab: compositionWidth - width + (width \\ tabWidth) // tabWidth!

1 0

Crash with the new compactor on 64-bit linux
by Levente Uzonyi 27 Feb '17

27 Feb '17

Hi All, I've been seeing random crashes with the VM having the new compactor. It takes anywhere between 5 mintues to a few hours for the crash to happen. The crash dumps didn't seem to contain relevant information and sometimes had no C call stack at all. So I decided to run the VM with gdb to catch the bug, and got the following: Program received signal SIGSEGV, Segmentation fault. lookupOrdinaryNoMNUEtcInClass (class=0) at /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/gcc3x-cointerp.c:68119 68119 /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/gcc3x-cointerp.c: No such file or directory. (gdb) bt #0 lookupOrdinaryNoMNUEtcInClass (class=0) at /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/gcc3x-cointerp.c:68119 #1 0x000000000043fd97 in lookupOrdinaryreceiver (selector=21887312, rcvr=<optimized out>) at /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/gcc3x-cointerp.c:19195 #2 0x000000000048f128 in ceSICMiss (receiver=14637768) at /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/cogitX64.c:3232 #3 0x0000000000900461 in ?? () #4 0x00007ffffff98c51 in ?? () #5 0x000000000045af68 in interpret () at /home/travis/build/OpenSmalltalk/opensmalltalk-vm/spur64src/vm/gcc3x-cointerp.c:2650 #6 0x0000000000901010 in ?? () #7 0x0000000000df5ac8 in ?? () #8 0x0000000000df5780 in ?? () #9 0x0000000000df6da8 in ?? () #10 0x0000000000df6fe8 in ?? () #11 0x0000000000000000 in ?? () (gdb) info registers rax 0x0 0 rbx 0x2e78e0 3045600 rcx 0x0 0 rdx 0x12e78e0 19822816 rsi 0x2e78e0 3045600 rdi 0x0 0 rbp 0x14df950 0x14df950 rsp 0x7ffffff98b60 0x7ffffff98b60 r8 0xffffffffffffffff -1 r9 0x2 2 r10 0x7ffffffaac00 140737488006144 r11 0xa087df 10520543 r12 0x14df950 21887312 r13 0xa087ef 10520559 r14 0x15903f0 22610928 r15 0x12e78e0 19822816 rip 0x43f9b6 0x43f9b6 <lookupOrdinaryNoMNUEtcInClass+38> eflags 0x10283 [ CF SF IF RF ] cs 0x33 51 ss 0x2b 43 ds 0x0 0 es 0x0 0 fs 0x0 0 gs 0x0 0 I obviously didn't have any source files at those paths, but the line numbers may still be of help. The VM was cog_linux64x64_squeak.cog.spur_201702211732 from Travis with the plugins copied over from some previous version, because, as I mentioned it in another mail, newer builds come with no plugins at all. Levente

2 4

[OpenSmalltalk/opensmalltalk-vm] 6612cd: libtool: Help people living in the past
by GitHub 27 Feb '17

27 Feb '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 6612cdd04ad0b0e8186b92445bb854361367be30 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6612cdd04ad0b0e818… Author: Holger Hans Peter Freyther <holger(a)moiji-mobile.com> Date: 2017-02-26 (Sun, 26 Feb 2017) Changed paths: M platforms/unix/config/ltmain.sh Log Message: ----------- libtool: Help people living in the past Teach the old libtool a new option (that is enabled anyway). This will help people not re-generating their buildsystem. As the old configure has been patched by hand, I think adding this option is in line as well. In commit fec94cb81299d8a76105eff3667dbe8588649220 I made it possible to run autoreconf and the newer libtool required us to pass --preserve-dup-deps to list objects multiple times. Adding this option sadly broke the build when using the already generated ltmain.sh/libtool. Try to fix that. Commit: 69a910c4f943084ac922dd20bdf11957eac61eac https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/69a910c4f943084ac9… Author: Esteban Lorenzano <estebanlm(a)gmail.com> Date: 2017-02-27 (Mon, 27 Feb 2017) Changed paths: M platforms/unix/config/ltmain.sh Log Message: ----------- Merge pull request #123 from zecke/libtool libtool: Help people living in the past Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/6d2ae368ff90...69…

1 0

[OpenSmalltalk/opensmalltalk-vm]
by GitHub 27 Feb '17

27 Feb '17

Branch: refs/heads/ubuntu14_fix Home: https://github.com/OpenSmalltalk/opensmalltalk-vm

1 0

[OpenSmalltalk/opensmalltalk-vm] 58eb11: Let 64bits squeak.cog.spur compilation succeed on ...
by GitHub 27 Feb '17

27 Feb '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 58eb11afb4b53cf33d47d2227bd02bb67b48ac05 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/58eb11afb4b53cf33d… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-02-26 (Sun, 26 Feb 2017) Changed paths: M platforms/unix/plugins/XDisplayControlPlugin/Makefile.inc Log Message: ----------- Let 64bits squeak.cog.spur compilation succeed on Ubuntu 14.04 As indicated in the mailing list, this requires following steps: 1) sudo apt-get install autoconf2.13 2) install patch from https://github.com/pharo-project/pharo-vm/commit/43461db5c154d8c47f3c504a67… 3) apply this patch 4) cd platforms/unix/config; make configure 5) cd ../../../build.linux64x64/squeak.cog.spur/build; ./mvm Commit: b296310ee277548319175f4af062c4034541a1ee https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b296310ee277548319… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-02-26 (Sun, 26 Feb 2017) Changed paths: M platforms/unix/config/configure.ac Log Message: ----------- unix: Simply check for the presence of mmap There is little point to check if mmap is working on the system that is building the software. Simply check if mmap is present or not. This avoids running into issues around mmap_min_addr. This is a backport of https://github.com/pharo-project/pharo-vm/pull/117/commits/43461db5c154d8c4… It is required on Ubuntu 14.04 (see step 2 in previous commit) Other reference by the original author: "I have not fully read the macro but I think the AC_FUNC_MMAP runs into the mmap_min_addr restriction. But as most people use a binary version of the VM there is little point to check that the system that built the software had a working version (and since the late 90s mmap generally works). https://wiki.debian.org/mmap_min_addr" Commit: 6d2ae368ff90fe19541bb45ba9077a326f08b0f8 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6d2ae368ff90fe1954… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-02-27 (Mon, 27 Feb 2017) Changed paths: M platforms/unix/config/configure.ac M platforms/unix/plugins/XDisplayControlPlugin/Makefile.inc Log Message: ----------- Merge pull request #124 from OpenSmalltalk/ubuntu14_fix Ubuntu14 fix Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/9ffa643cb1df...6d…

1 0

[OpenSmalltalk/opensmalltalk-vm] b29631: unix: Simply check for the presence of mmap
by GitHub 26 Feb '17

26 Feb '17

Branch: refs/heads/ubuntu14_fix Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: b296310ee277548319175f4af062c4034541a1ee https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b296310ee277548319… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-02-26 (Sun, 26 Feb 2017) Changed paths: M platforms/unix/config/configure.ac Log Message: ----------- unix: Simply check for the presence of mmap There is little point to check if mmap is working on the system that is building the software. Simply check if mmap is present or not. This avoids running into issues around mmap_min_addr. This is a backport of https://github.com/pharo-project/pharo-vm/pull/117/commits/43461db5c154d8c4… It is required on Ubuntu 14.04 (see step 2 in previous commit) Other reference by the original author: "I have not fully read the macro but I think the AC_FUNC_MMAP runs into the mmap_min_addr restriction. But as most people use a binary version of the VM there is little point to check that the system that built the software had a working version (and since the late 90s mmap generally works). https://wiki.debian.org/mmap_min_addr"

1 0

[OpenSmalltalk/opensmalltalk-vm] 58eb11: Let 64bits squeak.cog.spur compilation succeed on ...
by GitHub 26 Feb '17

26 Feb '17

Branch: refs/heads/ubuntu14_fix Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 58eb11afb4b53cf33d47d2227bd02bb67b48ac05 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/58eb11afb4b53cf33d… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-02-26 (Sun, 26 Feb 2017) Changed paths: M platforms/unix/plugins/XDisplayControlPlugin/Makefile.inc Log Message: ----------- Let 64bits squeak.cog.spur compilation succeed on Ubuntu 14.04 As indicated in the mailing list, this requires following steps: 1) sudo apt-get install autoconf2.13 2) install patch from https://github.com/pharo-project/pharo-vm/commit/43461db5c154d8c47f3c504a67… 3) apply this patch 4) cd platforms/unix/config; make configure 5) cd ../../../build.linux64x64/squeak.cog.spur/build; ./mvm

1 0

libtool unrecognized option `--preserve-dup-deps'
by Ben Coman 26 Feb '17

26 Feb '17

I hit a snag building pharo debug VM... $ cd build.linux32x86/pharo.cog.spur/build.debug. $ ./mvm "libtool: unrecognized option `--preserve-dup-deps'" I see... $ ./libtool --version ltmain.sh (GNU libtool) 1.4.2 (1.922.2.53 2001/09/11 03:18:52) but preserve-dup-deps was added a couple of months later 2001-11-27 http://git.savannah.gnu.org/cgit/libtool.git/commit/?id=5b4575cf0aee7853c6a… and libtool latest stable version is 2.5.6 (2015/02/15) By doing... $ sudo chattr +i libtool I found libtool was created by configure... rm: cannot remove 'libtool': Operation not permitted chmod: changing permissions of 'libtool': Operation not permitted $ ./mvm invokes... ../../../platforms/unix/config/configure in which folder is ltmain.sh having... PROGRAM=ltmain.sh PACKAGE=libtool VERSION=1.4.2 TIMESTAMP=" (1.922.2.53 2001/09/11 03:18:52)" What is involved in updating libtool? btw, this is on 32-bit Debian 8 Jessie, and... $ git log ==> Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: Sat Feb 18 07:43:47 2017 -0800 CogVM source as per VMMaker.oscog-eem.2134 Move the SpurPlanningCompactor to tip. It is now ready for prime time. cheers -ben

4 6

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev February 2017