Vm-dev May 2018

vm-dev@lists.squeakfoundation.org

30 participants
115 discussions

VM Maker: VMMaker.oscog-cb.2392.mcz
by commits＠source.squeak.org 30 May '18

30 May '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2392.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2392 Author: cb Time: 30 May 2018, 1:42:36.123515 pm UUID: 9eacf51b-6c2d-4744-8bd4-dc08dd8a0a54 Ancestors: VMMaker.oscog-cb.2391 Removed debugging code to make VM compilation work again. =============== Diff against VMMaker.oscog-cb.2391 =============== Item was changed: ----- Method: StackInterpreter>>pushRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- pushRemoteTemp: index inVectorAt: tempVectorIndex | tempVector | tempVector := self temporary: tempVectorIndex in: localFP. TempVectReadBarrier ifTrue: [(objectMemory isForwarded: tempVector) ifTrue: + [tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. - [Transcript show: 'unfwd Tmp vect'; cr. - tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. self internalPush: (objectMemory fetchPointer: index ofObject: tempVector)! Item was changed: ----- Method: StackInterpreter>>storeRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- storeRemoteTemp: index inVectorAt: tempVectorIndex | tempVector | tempVector := self temporary: tempVectorIndex in: localFP. TempVectReadBarrier ifTrue: [(objectMemory isForwarded: tempVector) ifTrue: + [tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. - [Transcript show: 'unfwd Tmp vect'; cr. - tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. objectMemory storePointer: index ofObject: tempVector withValue: self internalStackTop.!

1 0

VM Maker: VMMaker.oscog-cb.2391.mcz
by commits＠source.squeak.org 30 May '18

30 May '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2391.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2391 Author: cb Time: 30 May 2018, 1:25:41.60048 pm UUID: 512c06ed-a9e4-42b9-ad6b-52590c7e5c42 Ancestors: VMMaker.oscog-cb.2390 Fixed a bug in Selective Compactor where remembered objects were incorrectly copied. Finally hard stressing benchs pass... Now reworking with production images. I need to move everything to 64 bits (Running an image up to 30Gb). =============== Diff against VMMaker.oscog-cb.2390 =============== Item was changed: ----- Method: SpurSelectiveCompactor>>compactSegment:freeStart: (in category 'compaction') ----- compactSegment: segInfo freeStart: initialFreeStart <var: 'segInfo' type: #'SpurSegmentInfo *'> + | currentEntity fillStart bytesToCopy bridge copy | - | currentEntity fillStart bytesToCopy numSlots bridge | fillStart := initialFreeStart. bridge := manager segmentManager bridgeFor: segInfo. currentEntity := manager objectStartingAt: segInfo segStart. [self oop: currentEntity isLessThan: bridge] whileTrue: [(manager isFreeObject: currentEntity) ifTrue: ["To avoid confusing too much Spur (especially the leak/free checks), we mark the free chunk as a word object." manager detachFreeObject: currentEntity. manager set: currentEntity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat] ifFalse: ["Copy the object in segmentToFill and replace it by a forwarder." self assert: (manager isPinned: currentEntity) not. - numSlots := manager numSlotsOfAny: currentEntity. bytesToCopy := manager bytesInObject: currentEntity. manager mem: fillStart asVoidPointer cp: (manager startOfObject: currentEntity) asVoidPointer y: bytesToCopy. + copy := manager objectStartingAt: fillStart. + (manager isRemembered: copy) ifTrue: + ["copy has the remembered bit set, but is not in the remembered table." + manager setIsRememberedOf: copy to: false. + scavenger remember: copy]. manager forward: currentEntity to: (manager objectStartingAt: fillStart). fillStart := fillStart + bytesToCopy. self assert: (self oop: fillStart isLessThan: (segmentToFill segLimit - manager bridgeSize))]. currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. self assert: currentEntity = bridge. - - "| beingCompacted sz | - beingCompacted := OrderedCollection new. - sz := 0. - 0 to: manager numSegments - 1 do: - [:i| | segInfo | - segInfo := self addressOf: (manager segmentManager segments at: i). - (self isSegmentBeingCompacted: segInfo) ifTrue: [beingCompacted add: segInfo]]. - Transcript show: 'Segment being compacted: ' , - (beingCompacted collect: [:seg | - sz := sz + (self sizeClaimedIn: seg). - (manager segmentManager indexOfSegment: seg) printString , - ' sizeClaimed: ' , (self sizeClaimedIn: seg). - ]) asArray printString. - Transcript cr; show: 'Claimed size: '. - Transcript show: sz. - Transcript cr; show: 'SegToFill size: '. - Transcript show: segmentToFill segSize . - Transcript cr; show: 'SegToFill limit: '. - Transcript show: segmentToFill segLimit - manager bridgeSize . - Transcript cr; show: 'fillStart: '. - Transcript show: fillStart. - - Transcript show: 'Normally grow up to ' , (segmentToFill segStart + sz) printString." - ^ fillStart!

1 0

Fwd: [Pharo-users] Set Rounding mode for IEEE floating point operations
by Steffen Märcker 29 May '18

29 May '18

Dear VM experts, I originally asked the question below on pharo-users. Basically I am looking for a way to set the IEEE founding mode for fp-operations at runtime from the image. Best, Steffen Original mail to pharo-users: Hi, is there any way to set the rounding mode for IEEE floating point operations? Maybe something like > Double roundToMinusInfWhile: [... code goes here ...] > Double roundToZeroWhile: [... more code here ...] If not, is it possible to add this behavior, e.g., via a custom primitive? Best, Steffen

3 5

VM Maker: VMMaker.oscog-cb.2390.mcz
by commits＠source.squeak.org 29 May '18

29 May '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2390.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2390 Author: cb Time: 29 May 2018, 4:10:06.474615 pm UUID: 24984602-b70a-4b9c-af24-2ff42f844c26 Ancestors: VMMaker.oscog-cb.2389 Fixed consistency checks in VMClass to succeed if no compactorClass is present. Fixed simulation of segments to re-use correctly memory. It used to be badly broken (sometimes the simulator would think there is enough room for segment + delta, but there wasn't; other segments would just overlap each other entirely). Added segmentOverlap assertions and debugging convenience. Finally I have the same bug in the simulator than in the real C VM! I can debug my compactor again. =============== Diff against VMMaker.oscog-cb.2389 =============== Item was changed: ----- Method: SpurMemoryManager>>sqAllocateMemorySegmentOfSize:Above:AllocatedSizeInto: (in category 'simulation only') ----- sqAllocateMemorySegmentOfSize: segmentSize Above: minAddress AllocatedSizeInto: allocSizePtrOrBlock <doNotGenerate> "Simulate heap growth by growing memory by segmentSize + a delta. To test bridges alternate the delta between 0 bytes and 1M bytes depending on the number of segments. The delta will be the distance between segments to be bridged." | delta newMemory start | self assert: segmentSize \\ memory bytesPerElement = 0. delta := segmentManager numSegments odd ifTrue: [1024 * 1024] ifFalse: [0]. + "A previous shrink may have freed up memory. Don't bother to grow if there's already room. + At minAddress there is a hole of segmentSize or it is the segLimit of the last segment. + However there is no hole of segmentSize + delta guaranteed..." + 0 to: segmentManager numSegments - 1 do: + [:i| | segment bridge | + segment := segmentManager segments at: i. + bridge := segmentManager bridgeAt: i. + (segment segLimit >= minAddress + and: [(self bytesInObject: bridge) - self bridgeSize >= (segmentSize + delta)]) ifTrue: [ + allocSizePtrOrBlock value: segmentSize. + ^ segment segLimit + delta] ]. - "A previous shrink may have freed up memory. Don't bother to grow if there's already room." - segmentManager lastSegment segLimit + segmentSize + delta <= (memory size * memory bytesPerElement) ifTrue: - [allocSizePtrOrBlock value: segmentSize. - ^minAddress + delta]. start := memory size * memory bytesPerElement + delta. newMemory := memory class new: memory size + (segmentSize + delta / memory bytesPerElement). newMemory replaceFrom: 1 to: memory size with: memory startingAt: 1. memory := newMemory. allocSizePtrOrBlock value: segmentSize. ^start! Item was changed: ----- Method: SpurSegmentManager>>addSegmentOfSize: (in category 'growing/shrinking memory') ----- addSegmentOfSize: ammount <returnTypeC: #'SpurSegmentInfo *'> <inline: false> | allocatedSize | <var: #newSeg type: #'SpurSegmentInfo *'> <var: #segAddress type: #'void *'> <var: #allocatedSize type: #'usqInt'> self cCode: [] inSmalltalk: [segments ifNil: [^nil]]. "bootstrap" (manager "sent to the manager so that the simulator can increase memory to simulate a new segment" sqAllocateMemorySegmentOfSize: ammount Above: (self firstGapOfSizeAtLeast: ammount) AllocatedSizeInto: (self cCode: [self addressOf: allocatedSize] inSmalltalk: [[:sz| allocatedSize := sz]])) ifNotNil: [:segAddress| | newSegIndex newSeg | newSegIndex := self insertSegmentFor: segAddress asUnsignedIntegerPtr. + "Simulation insertion code duplicates entries if newSegIndex ~= numSegments - 1" + self cCode: '' inSmalltalk: [segments at: newSegIndex put: SpurSegmentInfo new]. newSeg := self addressOf: (segments at: newSegIndex). newSeg segStart: segAddress asUnsignedIntegerPtr; segSize: allocatedSize. + self assert: self segmentOverlap not. "self printSegmentAddresses." self bridgeFrom: (self addressOf: (segments at: newSegIndex - 1)) to: newSeg. self bridgeFrom: newSeg to: (newSegIndex = (numSegments - 1) ifFalse: [self addressOf: (segments at: newSegIndex + 1)]). totalHeapSizeIncludingBridges := totalHeapSizeIncludingBridges + allocatedSize. "test isInMemory:" 0 to: numSegments - 1 do: [:i| self assert: (self isInSegments: (segments at: i) segStart). self assert: (self isInSegments: (segments at: i) segLimit - manager wordSize). self assert: ((self isInSegments: (segments at: i) segLimit) not or: [i < (numSegments - 1) and: [(segments at: i) segLimit = (segments at: i + 1) segStart]]). self assert: ((self isInSegments: (segments at: i) segStart - manager wordSize) not or: [i > 0 and: [(segments at: i - 1) segLimit = (segments at: i) segStart]])]. ^newSeg]. ^nil! Item was changed: ----- Method: SpurSegmentManager>>bridgeFrom:to: (in category 'growing/shrinking memory') ----- bridgeFrom: aSegment to: nextSegmentOrNil "Create a bridge from aSegment to the next segment, or create a terminating bridge if there is no next segment." <var: #aSegment type: #'SpurSegmentInfo *'> <var: #nextSegmentOrNil type: #'SpurSegmentInfo *'> | segEnd clifton bridgeSpan | segEnd := aSegment segLimit. clifton := segEnd - manager bridgeSize. "clifton is where the Avon bridge begins..." bridgeSpan := nextSegmentOrNil ifNil: [manager bridgeSize] ifNotNil: [nextSegmentOrNil segStart - segEnd + manager bridgeSize]. + self assert: bridgeSpan >= 0. manager initSegmentBridgeWithBytes: bridgeSpan at: clifton. "the revised bridge should get us to the new segment" self assert: (manager addressAfter: (manager objectStartingAt: clifton)) = (nextSegmentOrNil ifNil: [aSegment segLimit] ifNotNil: [nextSegmentOrNil segStart]) ! Item was added: + ----- Method: SpurSegmentManager>>printSegmentAddresses (in category 'simulation only') ----- + printSegmentAddresses + <doNotGenerate> + "Convenient when debugging segment overlap" + Transcript show: 'Seg addresses: '; cr. + 0 to: numSegments - 1 do: + [:i| + Transcript + show: (segments at: i) segStart; + show: ' -> '; + show: (segments at: i) segLimit; + show: ' ; ']. + Transcript cr.! Item was added: + ----- Method: SpurSegmentManager>>segmentOverlap (in category 'growing/shrinking memory') ----- + segmentOverlap + "Answers true if a segment overlaps with another one." + 0 to: numSegments - 1 do: + [:i| | starti endi | + starti := (segments at: i) segStart. + endi := (segments at: i) segLimit. + 0 to: numSegments - 1 do: + [:j| | startj endj | + startj := (segments at: j) segStart. + endj := (segments at: j) segLimit. + i = j ifFalse: + [(starti < startj or: [starti >= endj]) + ifFalse: + [self cCode: '' inSmalltalk: [self error: 'segment overlap ' , i printString , ' and ' , j printString]. + ^true]. + (endi <= startj or: [endi >= endj]) + ifFalse: [self cCode: '' inSmalltalk: [self error: 'segment overlap ' , i printString , ' and ' , j printString]. + ^true]. + "self printSegmentAddresses" + ]]]. + ^false! Item was changed: ----- Method: VMClass class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants "Falsify the `what type of VM is this?' flags that are defined in the various interp.h files. Subclass implementations need to include a super initializeMiscConstants" | omc | VMBIGENDIAN class. "Mention this for the benefit of CCodeGenerator>>emitCConstantsOn:" SPURVM := STACKVM := COGVM := COGMTVM := false. initializationOptions ifNil: [self initializationOptions: Dictionary new]. omc := initializationOptions at: #ObjectMemory ifAbsent: nil. (omc isNil and: [self defaultObjectMemoryClass notNil]) ifTrue: [omc := initializationOptions at: #ObjectMemory put: self defaultObjectMemoryClass name]. initializationOptions at: #SqueakV3ObjectMemory "the good ole default" ifAbsentPut: (omc ifNil: [true] ifNotNil: [(Smalltalk at: omc) includesBehavior: ObjectMemory]); at: #SpurObjectMemory "the new contender" ifAbsentPut: (omc ifNil: [false] ifNotNil: [(Smalltalk at: omc) includesBehavior: SpurMemoryManager]). "Use ifAbsentPut: so that they will get copied back to the VMMaker's options and dead code will likely be eliminated." PharoVM := initializationOptions at: #PharoVM ifAbsentPut: [false]. NewspeakVM := initializationOptions at: #NewspeakVM ifAbsentPut: [false]. SistaVM := initializationOptions at: #SistaVM ifAbsentPut: [false]. TempVectReadBarrier := initializationOptions at: #TempVectReadBarrier ifAbsentPut: [false]. LowcodeVM := initializationOptions at: #LowcodeVM ifAbsentPut: [false]. MULTIPLEBYTECODESETS := initializationOptions at: #MULTIPLEBYTECODESETS ifAbsentPut: [false]. "These must be set only if specified, not defaulted, because they are set on the command line or in include files." initializationOptions at: #VMBIGENDIAN ifPresent: [:value| VMBIGENDIAN := value]; at: #ObjectMemory ifPresent: [:value| SPURVM := value beginsWith: 'Spur']; at: #STACKVM ifPresent: [:value| STACKVM := value]; at: #COGVM ifPresent: [:value| COGVM := initializationOptions at: #COGVM]; at: #COGMTVM ifPresent: [:value| COGMTVM := initializationOptions at: #COGMTVM]. "consistency checks" (TempVectReadBarrier and: [SPURVM not]) ifTrue: [self error: 'read barrier works with spur VM only...']. (SistaVM and: [SPURVM not]) ifTrue: [self error: 'Sista VM works with spur VM only...']. + ((initializationOptions at: #compactorClass ifAbsent: []) = #SpurSelectiveCompactor and: [TempVectReadBarrier not]) ifTrue: [self error: 'Selective compactor requires read barrier']. - ((initializationOptions at: #compactorClass) = #SpurSelectiveCompactor and: [TempVectReadBarrier not]) ifTrue: [self error: 'Selective compactor requires read barrier']. "And not these; they're compile-time" IMMUTABILITY := initializationOptions at: #IMMUTABILITY ifAbsent: [SPURVM] "Default as enabled for Spur VMs"!

1 0

VM Maker: VMMaker.oscog-cb.2389.mcz
by commits＠source.squeak.org 29 May '18

29 May '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2389.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2389 Author: cb Time: 29 May 2018, 1:30:07.703358 pm UUID: 26b6892b-33ef-478f-ab68-f8377a048fc6 Ancestors: VMMaker.oscog-ul.2388 Fixed a bug in frameless full blocks (fetching receiver from receiver index in FullBlock and not outerContext) Add optional read barrier for temp vector accesses (TempVectReadBarrier Slang to C compilation settings) Fixed bugs and improved SelectiveCompactor. Now moving to 64 bits VMMaker. =============== Diff against VMMaker.oscog-ul.2388 =============== Item was changed: ----- Method: CoInterpreter>>pushRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- pushRemoteTemp: index inVectorAt: tempVectorIndex "Override to use itemporary:in:put:" | tempVector | tempVector := self itemporary: tempVectorIndex in: localFP. + TempVectReadBarrier + ifTrue: + [(objectMemory isForwarded: tempVector) ifTrue: + [tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. self internalPush: (objectMemory fetchPointer: index ofObject: tempVector)! Item was added: + ----- Method: CoInterpreter>>setGCMode: (in category 'object memory support') ----- + setGCMode: mode + gcMode := mode! Item was changed: ----- Method: CoInterpreter>>storeRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- storeRemoteTemp: index inVectorAt: tempVectorIndex "Override to use itemporary:in:put:" | tempVector | tempVector := self itemporary: tempVectorIndex in: localFP. + TempVectReadBarrier + ifTrue: + [(objectMemory isForwarded: tempVector) ifTrue: + [tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. objectMemory storePointer: index ofObject: tempVector withValue: self internalStackTop! Item was added: + ----- Method: CoInterpreter>>unfollowTempVector:atIndex:in: (in category 'compiled methods') ----- + unfollowTempVector: tempVector atIndex: tempVectorIndex in: theFP + "override for itemporary" + <option: #TempVectReadBarrier> + <inline: #never> "So rare it mustn't bulk up the common path" + | followed | + followed := objectMemory followForwarded: tempVector. + self itemporary: tempVectorIndex in: theFP put: followed. + ^followed! Item was changed: ----- Method: SimpleStackBasedCogit>>compileFullBlockFramelessEntry: (in category 'compile abstract instructions') ----- compileFullBlockFramelessEntry: numCopied "Make sure ReceiverResultReg holds the receiver, loaded from the closure, which is what is initially in ReceiverResultReg. " + self flag: #TODO. "we could follow the receiver only if the block has inst var ref. Currently we use scanMethod for fullBlock + and that scanner does not provide this information. We could extend it based on the scanBlock: method" + "Use ReceiverResultReg for the closure to agree with store check trampoline" - "Use ReceiverResultReg for Context to agree with store check trampoline" objectRepresentation + genLoadSlot: FullClosureReceiverIndex - genLoadSlot: ClosureOuterContextIndex sourceReg: ReceiverResultReg - destReg: ReceiverResultReg; - genLoadSlot: ReceiverIndex - sourceReg: ReceiverResultReg destReg: Arg0Reg. - self flag: #TODO. "we could follow the receiver only if the block has inst var ref. Currently we use scanMethod for fullBlock - and that scanner does not provide this information. We could extend it based on the scanBlock: method" objectRepresentation + genEnsureOopInRegNotForwarded: Arg0Reg scratchReg: TempReg updatingSlot: FullClosureReceiverIndex in: ReceiverResultReg. + self MoveR: Arg0Reg R: ReceiverResultReg.! - genEnsureOopInRegNotForwarded: Arg0Reg scratchReg: TempReg updatingSlot: ReceiverIndex in: ReceiverResultReg. - self MoveR: Arg0Reg R: ReceiverResultReg - ! Item was changed: ----- Method: SimpleStackBasedCogit>>genPushRemoteTempLongBytecode (in category 'bytecode generators') ----- genPushRemoteTempLongBytecode self MoveMw: (self frameOffsetOfTemporary: byte2) r: FPReg R: ClassReg. + TempVectReadBarrier + ifTrue: [objectRepresentation + genEnsureObjInRegNotForwarded: ClassReg + scratchReg: TempReg]. objectRepresentation genLoadSlot: byte1 sourceReg: ClassReg destReg: TempReg. self PushR: TempReg. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genStorePop:RemoteTemp:At: (in category 'bytecode generator support') ----- genStorePop: popBoolean RemoteTemp: slotIndex At: remoteTempIndex <inline: false> "The only reason we assert needsFrame here is that in a frameless method ReceiverResultReg must and does contain only self, but the ceStoreCheck trampoline expects the target of the store to be in ReceiverResultReg. So in a frameless method we would have a conflict between the receiver and the temote temp store, unless we we smart enough to realise that ReceiverResultReg was unused after the literal variable store, unlikely given that methods return self by default." self assert: needsFrame. popBoolean ifTrue: [self PopR: ClassReg] ifFalse: [self MoveMw: 0 r: SPReg R: ClassReg]. self MoveMw: (self frameOffsetOfTemporary: remoteTempIndex) r: FPReg R: ReceiverResultReg. + TempVectReadBarrier + ifTrue: [objectRepresentation + genEnsureObjInRegNotForwarded: ReceiverResultReg + scratchReg: TempReg]. ^objectRepresentation genStoreSourceReg: ClassReg slotIndex: slotIndex destReg: ReceiverResultReg scratchReg: TempReg inFrame: needsFrame! Item was changed: ----- Method: Spur32BitMMLESimulator>>globalGarbageCollect (in category 'gc - global') ----- globalGarbageCollect "If we're /not/ a clone, clone the VM and push it over the cliff. If it survives, destroy the clone and continue. We should be OK until next time." + "parent ifNil: + ["coInterpreter cr; print: 'GC number '; print: statFullGCs; tab; flush." - parent ifNil: - [coInterpreter cr; print: 'GC number '; print: statFullGCs; tab; flush. coInterpreter cloneSimulation objectMemory globalGarbageCollect. + Smalltalk garbageCollect]." - Smalltalk garbageCollect]. ^super globalGarbageCollect! Item was changed: ----- Method: SpurMemoryManager>>isOopForwarded: (in category 'object testing') ----- isOopForwarded: oop <api> + ^(self isNonImmediate: oop) and: [self isForwarded: oop]! - ^(self isNonImmediate: oop) - and: [(self classIndexOf: oop) = self isForwardedObjectClassIndexPun]! Item was added: + ----- Method: SpurPlanningCompactor class>>identifyMul:noise: (in category 'analysis') ----- + identifyMul: options noise: noise + "Mul can overflow... + SpurPlanningCompactor identifyMul: #( + ObjectMemory Spur32BitMemoryManager + compactorClass SpurSelectiveCompactor) noise: #()" + | vmm cg | + vmm := (VMMaker forPlatform: 'Cross') + interpreterClass: StackInterpreter; + options: options. + cg := [vmm buildCodeGeneratorForInterpreter] + on: Notification + do: [:ex| + ex tag == #getVMMaker + ifTrue: [ex resume: vmm] + ifFalse: [ex pass]]. + cg vmClass preGenerationHook: cg. + cg inferTypesForImplicitlyTypedVariablesAndMethods. + cg retainMethods: self selectors. + cg prepareMethods. + cg doInlining: true. + self selectors sort do: + [:sel| + (cg methodNamed: sel) ifNotNil: + [:m| + m parseTree nodesDo: + [:node| + (node isSend + and: [#* = node selector]) ifTrue: + [Transcript ensureCr; nextPutAll: sel; space; print: node; flush]]]]! Item was changed: ----- Method: SpurSelectiveCompactor class>>initialize (in category 'initialization') ----- initialize super initialize. "If the segment is occupied by more than MaxOccupationForCompaction, it's not worth compacting it, whatever the rest of the system looks like. MaxOccupationForCompaction is included in [0;16rFFFF]." + MaxOccupationForCompaction := 16rD000. "81%"! - MaxOccupationForCompaction := 16rA000. "Basically if segment is occupied by more than 60%, not worth compacting"! Item was added: + ----- Method: SpurSelectiveCompactor class>>simulatorClass (in category 'simulation') ----- + simulatorClass + ^ SpurSelectiveCompactor"Simulator"! Item was changed: ----- Method: SpurSelectiveCompactor>>compactSegment:freeStart: (in category 'compaction') ----- compactSegment: segInfo freeStart: initialFreeStart <var: 'segInfo' type: #'SpurSegmentInfo *'> | currentEntity fillStart bytesToCopy numSlots bridge | fillStart := initialFreeStart. bridge := manager segmentManager bridgeFor: segInfo. currentEntity := manager objectStartingAt: segInfo segStart. [self oop: currentEntity isLessThan: bridge] whileTrue: [(manager isFreeObject: currentEntity) ifTrue: ["To avoid confusing too much Spur (especially the leak/free checks), we mark the free chunk as a word object." manager detachFreeObject: currentEntity. manager set: currentEntity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat] ifFalse: ["Copy the object in segmentToFill and replace it by a forwarder." self assert: (manager isPinned: currentEntity) not. numSlots := manager numSlotsOfAny: currentEntity. bytesToCopy := manager bytesInObject: currentEntity. - self assert: (manager objectBytesForSlots: numSlots) = (manager bytesInObject: currentEntity). manager mem: fillStart asVoidPointer cp: (manager startOfObject: currentEntity) asVoidPointer y: bytesToCopy. - self assert: (manager baseHeader: (manager objectStartingAt: fillStart)) = (manager baseHeader: currentEntity). - self assert: (manager fetchPointer: numSlots - 1 ofObject: (manager objectStartingAt: fillStart)) = (manager fetchPointer: numSlots - 1 ofObject: currentEntity). manager forward: currentEntity to: (manager objectStartingAt: fillStart). + fillStart := fillStart + bytesToCopy. + self assert: (self oop: fillStart isLessThan: (segmentToFill segLimit - manager bridgeSize))]. - fillStart := fillStart + (manager objectBytesForSlots: numSlots). - self assert: (manager isForwarded: currentEntity). - self assert: fillStart < (segmentToFill segLimit - manager bridgeSize)]. currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. self assert: currentEntity = bridge. + + "| beingCompacted sz | + beingCompacted := OrderedCollection new. + sz := 0. + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + (self isSegmentBeingCompacted: segInfo) ifTrue: [beingCompacted add: segInfo]]. + Transcript show: 'Segment being compacted: ' , + (beingCompacted collect: [:seg | + sz := sz + (self sizeClaimedIn: seg). + (manager segmentManager indexOfSegment: seg) printString , + ' sizeClaimed: ' , (self sizeClaimedIn: seg). + ]) asArray printString. + Transcript cr; show: 'Claimed size: '. + Transcript show: sz. + Transcript cr; show: 'SegToFill size: '. + Transcript show: segmentToFill segSize . + Transcript cr; show: 'SegToFill limit: '. + Transcript show: segmentToFill segLimit - manager bridgeSize . + Transcript cr; show: 'fillStart: '. + Transcript show: fillStart. + + Transcript show: 'Normally grow up to ' , (segmentToFill segStart + sz) printString." + ^ fillStart! Item was changed: ----- Method: SpurSelectiveCompactor>>computeSegmentsToCompact (in category 'compaction') ----- computeSegmentsToCompact "Compute segments to compact: least occupied. Answers true if at least 1 segment is being compacted." | canStillClaim aboutToClaim aboutToClaimSegment atLeastOneSegmentToCompact | <var: 'aboutToClaimSegment' type: #'SpurSegmentInfo *'> atLeastOneSegmentToCompact := false. aboutToClaimSegment := self findNextSegmentToCompact. "Segment to fill is one of the segment compacted last GC. If no segment were compacted last GC, and that there is at least one segment to compact, allocate a new one." aboutToClaimSegment ifNil: [^false]. segmentToFill ifNil: [self findOrAllocateSegmentToFill]. canStillClaim := segmentToFill segSize - manager bridgeSize. [aboutToClaimSegment ifNil: [^atLeastOneSegmentToCompact]. + aboutToClaim := self sizeClaimedIn: aboutToClaimSegment. - aboutToClaim := aboutToClaimSegment segSize - manager bridgeSize * ((self occupationOf: aboutToClaimSegment) + 1) // 16rFFFF. "+1 to round up, this is approx" aboutToClaim < canStillClaim ] whileTrue: [self markSegmentAsBeingCompacted: aboutToClaimSegment. atLeastOneSegmentToCompact := true. canStillClaim := canStillClaim - aboutToClaim. aboutToClaimSegment := self findNextSegmentToCompact]. ^atLeastOneSegmentToCompact! Item was changed: ----- Method: SpurSelectiveCompactor>>internalGlobalSweepAndSegmentOccupationAnalysis (in category 'sweep phase') ----- internalGlobalSweepAndSegmentOccupationAnalysis "Iterate over old space, free unmarked objects, annotate each segment with each occupation" | currentEntity nextBridge start segmentIndex currentUsed currentUnused | currentEntity := manager firstObject. nextBridge := manager segmentManager bridgeAt: 0. segmentIndex := currentUnused := currentUsed := 0. [self oop: currentEntity isLessThan: manager endOfMemory] whileTrue: [currentEntity = nextBridge ifTrue: ["End of segment, set occupation" self setOccupationAtIndex: segmentIndex used: currentUsed unused: currentUnused. currentUnused := currentUsed := 0. segmentIndex := segmentIndex + 1. self unmark: currentEntity. nextBridge := manager segmentManager bridgeAt: segmentIndex] ifFalse: ["In-segment, sweep and compute occupation" (self canUseAsFreeSpace: currentEntity) ifTrue: ["bulkFreeChunkFrom: may change a 1 word header object to a double word header object" start := manager startOfObject: currentEntity. self bulkFreeChunkFrom: currentEntity. currentEntity := manager objectStartingAt: start. + currentUnused := currentUnused + (manager bytesInObject: currentEntity)] - currentUnused := currentUnused + (manager numSlotsOfAny: currentEntity)] ifFalse: [self unmark: currentEntity. + currentUsed := currentUsed + (manager bytesInObject: currentEntity)]]. - currentUsed := currentUsed + (manager numSlotsOfAny: currentEntity)]]. currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. "set last segment (last bridge = endOfMemory)" self setOccupationAtIndex: segmentIndex used: currentUsed unused: currentUnused.! Item was changed: ----- Method: SpurSelectiveCompactor>>postCompactionAction (in category 'compaction') ----- postCompactionAction + | allFlags | + "For now we don't optimize and just follow everything everywhere on stack and in caches, let's see in the profiler if we need to optimize with those cases. My guess is that this is < 100 microSecond" + manager followSpecialObjectsOop. + allFlags := BecamePointerObjectFlag + BecameActiveClassFlag bitOr: BecameCompiledMethodFlag. + "should be gcMode Become - gcMode flag is cleared after postBecomeAction" + manager coInterpreter postBecomeAction: allFlags. + manager postBecomeScanClassTable: allFlags. + manager coInterpreter setGCMode: GCModeFull. + + "Not sure the following are needed... + coInterpreter mapInterpreterOops. + manager mapExtraRoots." + self assert: manager validClassTableHashes.! - self postForwardingAction! Item was removed: - ----- Method: SpurSelectiveCompactor>>postForwardingAction (in category 'compaction') ----- - postForwardingAction - | allFlags | - "For now we don't optimize and just follow everything everywhere on stack and in caches, let's see in the profiler if we need to optimize with those cases. My guess is that this is < 100 microSecond" - manager followSpecialObjectsOop. - allFlags := BecamePointerObjectFlag + BecameActiveClassFlag bitOr: BecameCompiledMethodFlag. - manager coInterpreter postBecomeAction: allFlags. - manager postBecomeScanClassTable: allFlags.! Item was changed: ----- Method: SpurSelectiveCompactor>>setOccupationAtIndex:used:unused: (in category 'segment access') ----- setOccupationAtIndex: segmentIndex used: used unused: unused "WARNING: Resets the isCompacted bit" "Swizzle is abused bit 16 isBeingCompacted bits 0-15 occupation Setting occupation resets the claim bit" | occupation segInfo | <var: 'segInfo' type: #'SpurSegmentInfo *'> segInfo := self addressOf: (manager segmentManager segments at: segmentIndex). + "careful with overflow here..." + occupation := ((used asFloat / (used + unused)) * 16rFFFF) asInteger. + self assert: (occupation between: 0 and: 16rFFFF). - occupation := used * 16rFFFF // (used + unused). segInfo swizzle: occupation! Item was added: + ----- Method: SpurSelectiveCompactor>>sizeClaimedIn: (in category 'segment access') ----- + sizeClaimedIn: segment + <var: 'segment' type: #'SpurSegmentInfo *'> + <var: 'ratio' type: #'double'> + "careful with overflow here" + "roundedup used ratio (+1 to round up)" + | ratio | + ratio := ((self occupationOf: segment) + 1) asFloat / 16rFFFF. + ^(ratio * (segment segSize - manager bridgeSize)) asInteger ! Item was changed: ----- Method: SpurSelectiveCompactorSimulator>>globalSweepAndSegmentOccupationAnalysis (in category 'sweep phase') ----- globalSweepAndSegmentOccupationAnalysis super globalSweepAndSegmentOccupationAnalysis. self talk: 'Occupation map: '. 0 to: manager numSegments - 1 do: [:i| | segInfo | segInfo := self addressOf: (manager segmentManager segments at: i). + self talkNoCr: i. - self talkNoCr: (manager segmentManager indexOfSegment: segInfo) printString. self talkNoCr: '->'. self talkNoCr: (self occupationOf: segInfo) printString. self talkNoCr: '('. + self talkNoCr: ((self occupationOf: segInfo) * 100 * 100 // 16rFFFF / 100) asFloat printString. - self talkNoCr: ((self occupationOf: segInfo) * 100 * 100 // 255 / 100) asFloat printString. self talkNoCr: '%);']. self checkSegmentsIterable. ! Item was changed: ----- Method: StackInterpreter>>pushRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- pushRemoteTemp: index inVectorAt: tempVectorIndex | tempVector | tempVector := self temporary: tempVectorIndex in: localFP. + TempVectReadBarrier + ifTrue: + [(objectMemory isForwarded: tempVector) ifTrue: + [Transcript show: 'unfwd Tmp vect'; cr. + tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. self internalPush: (objectMemory fetchPointer: index ofObject: tempVector)! Item was added: + ----- Method: StackInterpreter>>setGCMode: (in category 'object memory support') ----- + setGCMode: mode + "This is a no-op in the StackVM" + ^0! Item was changed: ----- Method: StackInterpreter>>storeLiteralVariable:withValue: (in category 'stack bytecodes') ----- storeLiteralVariable: literalIndex withValue: anObject | litVar | litVar := self literal: literalIndex. "push/store/popLiteralVariable all fetch a literal, and either read or write the literal's value field. The fetch of the literal needs an explicit check (otherwise we would have to scan all literals in all methods in the stack zone, and the entire method on return, and global variables are relatively rare; in my work image 8.7% of literals are globals)." (objectMemory isForwarded: litVar) ifTrue: + [litVar := self unfollow: litVar atIndex: literalIndex]. - [litVar := objectMemory followForwarded: litVar. - self literal: literalIndex ofMethod: method put: litVar]. objectMemory storePointerImmutabilityCheck: ValueIndex ofObject: litVar withValue: anObject! Item was changed: ----- Method: StackInterpreter>>storeRemoteTemp:inVectorAt: (in category 'stack bytecodes') ----- storeRemoteTemp: index inVectorAt: tempVectorIndex | tempVector | tempVector := self temporary: tempVectorIndex in: localFP. + TempVectReadBarrier + ifTrue: + [(objectMemory isForwarded: tempVector) ifTrue: + [Transcript show: 'unfwd Tmp vect'; cr. + tempVector := self unfollowTempVector: tempVector atIndex: tempVectorIndex in: localFP]]. objectMemory storePointer: index ofObject: tempVector withValue: self internalStackTop.! Item was added: + ----- Method: StackInterpreter>>unfollowTempVector:atIndex:in: (in category 'compiled methods') ----- + unfollowTempVector: tempVector atIndex: tempVectorIndex in: theFP + <option: #TempVectReadBarrier> + <inline: #never> "So rare it mustn't bulk up the common path" + | followed | + followed := objectMemory followForwarded: tempVector. + self temporary: tempVectorIndex in: theFP put: followed. + ^followed! Item was changed: ----- Method: StackToRegisterMappingCogit>>genPushRemoteTempLongBytecode (in category 'bytecode generators') ----- genPushRemoteTempLongBytecode | tempVectReg remoteTempReg | tempVectReg := self allocateRegNotConflictingWith: 0. self MoveMw: (self frameOffsetOfTemporary: byte2) r: FPReg R: tempVectReg. remoteTempReg := self availableRegOrNoneNotConflictingWith: (self registerMaskFor: tempVectReg). remoteTempReg = NoReg ifTrue: [remoteTempReg := tempVectReg]. + TempVectReadBarrier + ifTrue: [objectRepresentation + genEnsureObjInRegNotForwarded: tempVectReg + scratchReg: TempReg]. objectRepresentation genLoadSlot: byte1 sourceReg: tempVectReg destReg: remoteTempReg. ^self ssPushRegister: remoteTempReg! Item was changed: ----- Method: StackToRegisterMappingCogit>>genStorePop:RemoteTemp:At:needsStoreCheck: (in category 'bytecode generator stores') ----- genStorePop: popBoolean RemoteTemp: slotIndex At: remoteTempIndex needsStoreCheck: needsStoreCheck <inline: false> "The only reason we assert needsFrame here is that in a frameless method ReceiverResultReg must and does contain only self, but the ceStoreCheck trampoline expects the target of the store to be in ReceiverResultReg. So in a frameless method we would have a conflict between the receiver and the temote temp store, unless we we smart enough to realise that ReceiverResultReg was unused after the literal variable store, unlikely given that methods return self by default." self assert: needsFrame. "N.B. No need to check the stack for references because we generate code for remote temp loads that stores the result in a register, deferring only the register push." self ssAllocateRequiredReg: ReceiverResultReg. self voidReceiverResultRegContainsSelf. self MoveMw: (self frameOffsetOfTemporary: remoteTempIndex) r: FPReg R: ReceiverResultReg. + TempVectReadBarrier + ifTrue: [objectRepresentation + genEnsureObjInRegNotForwarded: ReceiverResultReg + scratchReg: TempReg]. ^self genGenericStorePop: popBoolean slotIndex: slotIndex destReg: ReceiverResultReg needsStoreCheck: needsStoreCheck needsRestoreRcvr: false "We don't keep ReceiverResultReg live with the receiver across this operation" needsImmutabilityCheck: false "never do immutability check on temp vectors"! Item was changed: SharedPool subclass: #VMBasicConstants instanceVariableNames: '' + classVariableNames: 'BaseHeaderSize BytecodeSetHasExtensions BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCCheckPrimCall GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace HashMultiplyConstant HashMultiplyMask IMMUTABILITY LowcodeVM MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrCallbackError PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrOSError PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrObjectMoved PrimErrObjectNotPinned PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM TempVectReadBarrier VMBIGENDIAN' - classVariableNames: 'BaseHeaderSize BytecodeSetHasExtensions BytesPerOop BytesPerWord COGMTVM COGVM DisownVMLockOutFullGC DoAssertionChecks DoExpensiveAssertionChecks GCCheckPrimCall GCModeBecome GCModeFreeSpace GCModeFull GCModeImageSegment GCModeIncremental GCModeNewSpace HashMultiplyConstant HashMultiplyMask IMMUTABILITY LowcodeVM MULTIPLEBYTECODESETS NewspeakVM PharoVM PrimErrBadArgument PrimErrBadIndex PrimErrBadMethod PrimErrBadNumArgs PrimErrBadReceiver PrimErrCallbackError PrimErrGenericFailure PrimErrInappropriate PrimErrLimitExceeded PrimErrNamedInternal PrimErrNoCMemory PrimErrNoMemory PrimErrNoModification PrimErrNotFound PrimErrOSError PrimErrObjectIsPinned PrimErrObjectMayMove PrimErrObjectMoved PrimErrObjectNotPinned PrimErrUnsupported PrimErrWritePastObject PrimNoErr SPURVM STACKVM SistaVM VMBIGENDIAN' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMBasicConstants commentStamp: '<historical>' prior: 0! I am a shared pool for basic constants upon which the VM as a whole depends. self ensureClassPool. self classPool declare: #BytesPerWord from: VMSqueakV3ObjectRepresentationConstants classPool. self classPool declare: #BaseHeaderSize from: VMSqueakV3ObjectRepresentationConstants classPool (ObjectMemory classPool keys select: [:k| k beginsWith: 'Byte']) do: [:k| self classPool declare: k from: ObjectMemory classPool]! Item was changed: ----- Method: VMClass class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants "Falsify the `what type of VM is this?' flags that are defined in the various interp.h files. Subclass implementations need to include a super initializeMiscConstants" | omc | VMBIGENDIAN class. "Mention this for the benefit of CCodeGenerator>>emitCConstantsOn:" SPURVM := STACKVM := COGVM := COGMTVM := false. initializationOptions ifNil: [self initializationOptions: Dictionary new]. omc := initializationOptions at: #ObjectMemory ifAbsent: nil. (omc isNil and: [self defaultObjectMemoryClass notNil]) ifTrue: [omc := initializationOptions at: #ObjectMemory put: self defaultObjectMemoryClass name]. initializationOptions at: #SqueakV3ObjectMemory "the good ole default" ifAbsentPut: (omc ifNil: [true] ifNotNil: [(Smalltalk at: omc) includesBehavior: ObjectMemory]); at: #SpurObjectMemory "the new contender" ifAbsentPut: (omc ifNil: [false] ifNotNil: [(Smalltalk at: omc) includesBehavior: SpurMemoryManager]). "Use ifAbsentPut: so that they will get copied back to the VMMaker's options and dead code will likely be eliminated." PharoVM := initializationOptions at: #PharoVM ifAbsentPut: [false]. NewspeakVM := initializationOptions at: #NewspeakVM ifAbsentPut: [false]. SistaVM := initializationOptions at: #SistaVM ifAbsentPut: [false]. + TempVectReadBarrier := initializationOptions at: #TempVectReadBarrier ifAbsentPut: [false]. LowcodeVM := initializationOptions at: #LowcodeVM ifAbsentPut: [false]. MULTIPLEBYTECODESETS := initializationOptions at: #MULTIPLEBYTECODESETS ifAbsentPut: [false]. "These must be set only if specified, not defaulted, because they are set on the command line or in include files." initializationOptions at: #VMBIGENDIAN ifPresent: [:value| VMBIGENDIAN := value]; at: #ObjectMemory ifPresent: [:value| SPURVM := value beginsWith: 'Spur']; at: #STACKVM ifPresent: [:value| STACKVM := value]; at: #COGVM ifPresent: [:value| COGVM := initializationOptions at: #COGVM]; at: #COGMTVM ifPresent: [:value| COGMTVM := initializationOptions at: #COGMTVM]. + "consistency checks" + (TempVectReadBarrier and: [SPURVM not]) ifTrue: [self error: 'read barrier works with spur VM only...']. + (SistaVM and: [SPURVM not]) ifTrue: [self error: 'Sista VM works with spur VM only...']. + ((initializationOptions at: #compactorClass) = #SpurSelectiveCompactor and: [TempVectReadBarrier not]) ifTrue: [self error: 'Selective compactor requires read barrier']. + "And not these; they're compile-time" IMMUTABILITY := initializationOptions at: #IMMUTABILITY ifAbsent: [SPURVM] "Default as enabled for Spur VMs"!

1 0

interesting article, library order in static linking
by Ben Coman 25 May '18

25 May '18

I learnt something new about linking from this article, so I share... maybe its randomly useful to others... https://eli.thegreenplace.net/2013/07/09/library-order-in-static-linking cheers -ben

2 1

Packaging 64-bit and 32-bit linux VMs
by Eliot Miranda 25 May '18

25 May '18

Hi All, at today's board meeting we discussed the issue of packaging 32-bit and 64-bit linux VMs in the same directory hierarchy. Right now a hierarchy looks like Sisyphus.image$ ls -R ../products/sqcogspurlinux bin lib squeak ../products/sqcogspurlinux/bin: squeak ../products/sqcogspurlinux/lib: squeak ../products/sqcogspurlinux/lib/squeak: 5.0-201705031421 ../products/sqcogspurlinux/lib/squeak/5.0-201705031421: B3DAcceleratorPlugin UnicodePlugin vm-display-null ImmX11Plugin UnixOSProcessPlugin vm-sound-ALSA LocalePlugin XDisplayControlPlugin vm-sound-OSS SqueakFFIPrims squeak vm-sound-null SqueakSSL vm-display-X11 vm-sound-pulse UUIDPlugin vm-display-fbdev What we need is either the 32-bit VMs to use lib32 or the 64-bit VMs to use lib64, and then change the two squeak scripts to parse the command line to locate the image and then check the image format to launch the right VM. I'd do it but I have other things on my plate right now. If anyone feels like volunteering I'm attaching some scripts. sviver uses hexdump to print the image version number, and so something like IMVER=`hexdump -n 4 -e '"%u\n"' "$IMAGE"` can be used to set IMVER to 68021 for the 64-bit Spur image, 6251 for the 32-bit Spur image, etc. spurcfvm launches the relevant VM depending on its name (spurcfvm is hard linked to spurcdvm spurcavm spur64cfvm et al to select a different VM). It parses the command line to locate the image. And I'm including svihdr that prints info from the image header on both 64-bit and 32-bit Spur images in case anyone finds it useful. _,,,^..^,,,_ best, Eliot

5 9

primitiveDisplayString fails on empty Strings
by Fabio Niephaus 25 May '18

25 May '18

Hi all, I noticed that BitBlt's primitiveDisplayString fails relatively often and then found out that it's sometimes called to draw empty strings. `(ByteString allInstances select: [:ea | ea isEmpty]) size` revealed that there are 2245 empty strings in my image and I assume some of them must be either in the FrameRateMorph morph or in the Clock morph. Anyway...looking at BitBlt>>#primDisplayString:from:to:map:xTable:kern:, the fallback code basically does nothing if stopIndex is zero (`startIndex to: stopIndex do: ...`) which makes sense. What I think doesn't make sense is that the primitive fails in the first place. Instead of failing if stopIndex is not greater 0, I would suggest to use: `stopIndex < 1 ifTrue: [^ interpreterProxy pop: 6].` which cleans up the stack, leaves the receiver, and returns early. Let me know what you think! Fabio

3 5

SSL error on windows 7
by Cyril Ferlicot D 23 May '18

23 May '18

Hi Tobias, I have a problem with SSL and Winodws 7, I think it might be a VM plugin problem (excuse me if we find at the end that it is not) and I heard you're the one maintaining the SSL plugin. If I execute this code: ZnClient new url: 'https://google.com'; get. I get a result. If I execute this code: ZnClient new url: 'https://github.com'; get. I get this error: Error: SSL Exception: connect failed [code:-5] I tried with both stable and latest vm. (The stable is from august 2017 I think) I sent a mail on the Pharo dev ML and we are at least two having this problem with Windows 7 when it's working with Windows 10. Let me know if you need any more details on this issue. I opened on issue: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/236 Here are the details and the stack: Image ----- E:\Pharo\images\Pharo 7.0 (development version)-22\Pharo 7.0 (development version)-22.image Pharo7.0alpha Build information: Pharo-7.0+alpha.build.749.sha.039a4b6f0d61ba99778349c4cff2c4e8d5ff9227 (32 Bit) Unnamed Virtual Machine --------------- C:\Users\JeCisC\Documents\Pharo\vms\70-x86\Pharo.exe CoInterpreter VMMaker.oscog-eem.2359 uuid: b3273e3e-dd9d-4819-a928-7034e1cf412c Mar 16 2018 StackToRegisterMappingCogit VMMaker.oscog-eem.2359 uuid: b3273e3e-dd9d-4819-a928-7034e1cf412c Mar 16 2018 VM: 201803161038 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Date: Fri Mar 16 11:38:09 2018 +0100 $ Plugins: 201803161038 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Win32 built on Mar 16 2018 11:02:19 GMT Compiler: 6.4.0 VMMaker versionString VM: 201803161038 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Date: Fri Mar 16 11:38:09 2018 +0100 $ Plugins: 201803161038 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ CoInterpreter VMMaker.oscog-eem.2359 uuid: b3273e3e-dd9d-4819-a928-7034e1cf412c Mar 16 2018 StackToRegisterMappingCogit VMMaker.oscog-eem.2359 uuid: b3273e3e-dd9d-4819-a928-7034e1cf412c Mar 16 2018 Operating System/Hardware ------------------------- Win32 6.1 IX86 Operating System Details ------------------------ Operating System: Windows 7 Professional N (Build 7601 Service Pack 1) SP major version: 1 SP minor version: 0 Suite mask: 100 Product type: 1 ============================================================== ZdcSecureSocketStream(Object)>>error: ZdcSecureSocketStream>>sslException:code: ZdcSecureSocketStream>>connect ZnClient>>setupTLSTo: ZnClient>>newConnectionTo: ZnClient>>getConnectionAndExecute ZnClient>>executeWithRedirectsRemaining: [ self executeWithRedirectsRemaining: self maxNumberOfRedirects ] in ZnClient>>executeWithRetriesRemaining: in Block: [ self executeWithRedirectsRemaining: self maxNumb...etc... BlockClosure>>on:do: ZnClient>>executeWithRetriesRemaining: [ self executeWithRetriesRemaining: self numberOfRetries ] in [ [ self executeWithRetriesRemaining: self numberOfRetries ] on: Error do: self ifFailBlock ] in ZnClient>>executeWithTimeout in Block: [ self executeWithRetriesRemaining: self numberOfR...etc... BlockClosure>>on:do: [ [ self executeWithRetriesRemaining: self numberOfRetries ] on: Error do: self ifFailBlock ] in ZnClient>>executeWithTimeout in Block: [ [ self executeWithRetriesRemaining: self numberO...etc... [ ^ block value ] in ZnClient>>withTimeoutDo: in Block: [ ^ block value ] [ activeProcess psValueAt: index put: anObject. aBlock value ] in ZnConnectionTimeout(DynamicVariable)>>value:during: in Block: [ activeProcess psValueAt: index put: anObject.... BlockClosure>>ensure: ZnConnectionTimeout(DynamicVariable)>>value:during: ZnConnectionTimeout class(DynamicVariable class)>>value:during: ZnClient>>withTimeoutDo: ZnClient>>executeWithTimeout [ result := self executeWithTimeout ] in ZnClient>>execute in Block: [ result := self executeWithTimeout ] [ ^ block value ] in ZnClient>>withProgressDo: in Block: [ ^ block value ] [ activeProcess psValueAt: index put: anObject. aBlock value ] in ZnSignalProgress(DynamicVariable)>>value:during: in Block: [ activeProcess psValueAt: index put: anObject.... BlockClosure>>ensure: ZnSignalProgress(DynamicVariable)>>value:during: ZnSignalProgress class(DynamicVariable class)>>value:during: ZnClient>>withProgressDo: ZnClient>>execute ZnClient>>get UndefinedObject>>DoIt -- Cyril Ferlicot https://ferlicot.fr

6 19

Build failed: opensmalltalk-vm 1.0.1321
by AppVeyor 22 May '18

22 May '18

1 0

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2018