Vm-dev April 2018

vm-dev@lists.squeakfoundation.org

43 participants
235 discussions

VM Maker: VMMaker.oscog-cb.2372.mcz
by commits＠source.squeak.org 26 Apr '18

26 Apr '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2372.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2372 Author: cb Time: 26 April 2018, 9:51:49.730559 am UUID: c9b30169-cf64-4a87-b0bc-a3bb1cb5e1b4 Ancestors: VMMaker.oscog-VB.2371 Fixed a bug in inlined allocation (or so I think... Did not check the tests) Added more Simulator side assertions & debug APIs. Added postSwizzle action, which by default does not nothing, but allow compactors do abuse the swizzle field in segInfo conveniently since it's used at start-up only. Work on SelectiveCompaction which I believe is research-only compactor (at least for now). =============== Diff against VMMaker.oscog-VB.2371 =============== Item was changed: ----- Method: CogObjectRepresentationForSpur>>genGetUninitializedInstanceWithClassIndex:numSlots:format:into: (in category 'inline primitive support') ----- genGetUninitializedInstanceWithClassIndex: classIndex numSlots: numSlots format: format into: destReg "Write in destReg the pointer to the object (adjusted based on header size) Can deal with large header but not with with old space allocation (max allocation size)" | overflowHeader header lowNumSlots | <var: #overflowHeader type: #usqLong> numSlots >= objectMemory fixedFieldsOfClassFormatMask ifTrue: [^UnimplementedOperation]. cogit MoveAw: objectMemory freeStartAddress R: destReg. numSlots >= objectMemory numSlotsMask ifTrue: [overflowHeader := numSlots + (objectMemory numSlotsMask << objectMemory numSlotsFullShift). self genStoreHeader: overflowHeader intoNewInstance: destReg using: TempReg. cogit AddCq: objectMemory baseHeaderSize R: destReg. "Allow to store base header at correct place and to use smallObjectBytes in the rest of the method" lowNumSlots := objectMemory numSlotsMask] ifFalse: [lowNumSlots := numSlots]. header := objectMemory headerForSlots: lowNumSlots format: format classIndex: classIndex. self genStoreHeader: header intoNewInstance: destReg using: TempReg. cogit + LoadEffectiveAddressMw: (objectMemory objectBytesForSlots: numSlots) r: destReg R: TempReg; - LoadEffectiveAddressMw: (objectMemory smallObjectBytesForSlots: numSlots) r: destReg R: TempReg; MoveR: TempReg Aw: objectMemory freeStartAddress. ! Item was added: + ----- Method: SpurCompactor>>postSwizzleAction (in category 'api') ----- + postSwizzleAction + "Do nothing by default"! Item was added: + ----- Method: SpurMemoryManager>>allOldSpaceFreeChunksDo: (in category 'object enumeration') ----- + allOldSpaceFreeChunksDo: aBlock + <inline: true> + <doNotGenerate> "Could be generated, but used for debug only" + self allOldSpaceFreeChunksFrom: self firstObject do: aBlock! Item was added: + ----- Method: SpurMemoryManager>>allOldSpaceFreeChunksFrom:do: (in category 'object enumeration') ----- + allOldSpaceFreeChunksFrom: initialObject do: aBlock + <inline: true> + <doNotGenerate> "Could be generated, but used for debug only" + self allOldSpaceEntitiesFrom: initialObject + do: [:objOop| + (self isFreeObject: objOop) ifTrue: + [aBlock value: objOop]]! Item was changed: ----- Method: SpurMemoryManager>>detachFreeObject: (in category 'free space') ----- detachFreeObject: freeChunk "This is a rare operation, so its efficiency isn't critical. Having a valid prev link for tree nodes would help." <inline: false> | chunkBytes result | chunkBytes := self bytesInObject: freeChunk. result := self allocateOldSpaceChunkOfExactlyBytes: chunkBytes suchThat: [:f| f = freeChunk]. + self assert: result = (self startOfObject: freeChunk). + "Following is assertion only. Typical problem is that the free structures (tree/list) keep references to detached object somehow" + self cCode: '' inSmalltalk: + [self allOldSpaceFreeChunksDo: + [ :f | self assert: (self isValidFreeObject: f)]]. + ! - self assert: result = (self startOfObject: freeChunk)! Item was changed: ----- Method: SpurMemoryManager>>initializeObjectMemory: (in category 'initialization') ----- initializeObjectMemory: bytesToShift "Initialize object memory variables at startup time. Assume endOfMemory at al are initialised by the image-reading code via setHeapBase:memoryLimit:endOfMemory:. endOfMemory is assumed to point to the end of the last object in the image. Assume: image reader also initializes the following variables: specialObjectsOop lastHash" <inline: false> | freeListObj | "Catch mis-initializations leading to bad translations to C" self assert: self baseHeaderSize = self baseHeaderSize. self assert: (self maxSlotsForAlloc * self wordSize) asInteger > 0. self bootstrapping ifFalse: [self initSegmentBridgeWithBytes: self bridgeSize at: endOfMemory - self bridgeSize]. segmentManager adjustSegmentSwizzlesBy: bytesToShift. "image may be at a different address; adjust oops for new location" self adjustAllOopsBy: bytesToShift. specialObjectsOop := segmentManager swizzleObj: specialObjectsOop. "heavily used special objects" nilObj := self splObj: NilObject. falseObj := self splObj: FalseObject. trueObj := self splObj: TrueObject. "In Cog we insist that nil, true & false are next to each other (Cogit generates tighter conditional branch code as a result). In addition, Spur places the free lists and class table root page immediately following them." self assert: nilObj = oldSpaceStart. self assert: falseObj = (self oldSpaceObjectAfter: nilObj). self assert: trueObj = (self oldSpaceObjectAfter: falseObj). freeListObj := self oldSpaceObjectAfter: trueObj. self setHiddenRootsObj: (self oldSpaceObjectAfter: freeListObj). markStack := self swizzleObjStackAt: MarkStackRootIndex. weaklingStack := self swizzleObjStackAt: WeaklingStackRootIndex. mournQueue := self swizzleObjStackAt: MournQueueRootIndex. self assert: self validObjStacks. self assert: (self isEmptyObjStack: markStack). self assert: (self isEmptyObjStack: weaklingStack). self initializeFreeSpacePostLoad: freeListObj. segmentManager collapseSegmentsPostSwizzle. self computeFreeSpacePostSwizzle. + compactor postSwizzleAction. self initializeOldSpaceFirstFree: freeOldSpaceStart. "initializes endOfMemory, freeStart, free space" self initializeNewSpaceVariables. scavenger initializeRememberedSet. segmentManager checkSegments. compactor biasForGC. "These defaults should depend on machine size; e.g. too small on a powerful laptop, too big on a Pi." growHeadroom := 16*1024*1024. "headroom when growing" shrinkThreshold := 32*1024*1024. "free space before shrinking" self setHeapSizeAtPreviousGC. heapGrowthToSizeGCRatio := 0.333333. "By default GC after scavenge if heap has grown by a third since the last GC"! Item was added: + ----- Method: SpurMemoryManager>>totalFreeOldSpace (in category 'debug support') ----- + totalFreeOldSpace + <doNotGenerate> + ^ totalFreeOldSpace! Item was changed: SpurSweeper subclass: #SpurSelectiveCompactor + instanceVariableNames: 'segmentToFill' + classVariableNames: 'MaxOccupationForCompaction' - instanceVariableNames: 'regionsWithOccupationPercentage regionsToReclaim regionToFill' - classVariableNames: '' poolDictionaries: '' category: 'VMMaker-SpurMemoryManager'! + !SpurSelectiveCompactor commentStamp: 'cb 4/19/2018 08:49' prior: 0! + SpurSelectiveCompactor compacts memory by selecting the memory segments with the most free space and compacting only those, to limit fragmentation while being really quick to perform. The algorithm is fast mostly because it does not update pointers: they are updated lazily during the next marking phase, so there is no need to read the fields of objects in other memory segments that the one compacted. - !SpurSelectiveCompactor commentStamp: 'cb 10/1/2017 10:54' prior: 0! - SpurSelectiveCompactor compacts memory by selecting the memory regions with the most free space and compacting only those, to limit fragmentation while being really quick to perform. The algorithm is fast mostly because it does not update pointers: they are updated lazily during the next marking phase, so there is no need to read the fields of objects in other memory regions that the one compacted. + The algorithm works as follow. First, a global sweep pass iterates over the memory linearly, changing unmarked objects to free chunks and concatenating free chunks. During the global sweep phase, the segments of the heap are analysed to determine the percentage of occupation. Second, the least occupied segments are compacted by copying the remaining live objects into an entirely free segment, called regionToFill (we detail later in the paragraph where regionToFill comes from) and changing their values to forwarding objects. The rest of each segment being freed is removed from the freeList, it will be entirely freed at the beginning of the next compaction phase. Third, the next marking phase removes all forwarders. Fourth, at the beginning of the next compaction phase the compacted segments from the previous GC can be entirely marked as free space (No need to check anything inside, there were only forwarders that were removed and free chunks not on the free list). One of the freed s egment is then selected as the regionToFill, others are just marked as free space. The compaction is effectively partial, compacting only the most critical regions of the heap to limit fragmentation. - The algorithm works as follow. First, a global sweep pass iterates over the memory linearly, changing unmarked objects to free space. During the global sweep phase, the heap is analysed in the form of variable sized regions and the percentage of occupation of each region is computed. Second, the least occupied regions are compacted by copying the remaining live objects into an entirely free region, called regionToFill (we detail later in the paragraph where regionToFill comes from) and changing their values to forwarding objects. The rest of each region being freed is temporarily marked as used with hidden word objects. Third, the next marking phase removes all forwarders. Fourth, at the beginning of the next compaction phase the compacted regions from the previous GC can be entirely marked as free space (No need to check anything inside, there were only forwarders that were removed and hidden word objects). One of the freed region is then selected as the regionToFill, others are j ust marked as free space. The compaction is effectively partial, compacting only the most critical regions of the heap to limit fragmentation. + Now this works well when biasForGC is true, but when performing a snapshot, the compactor is just total crap (we need to figure out a solution). - Now this works well when biasForGC is true, but when performing a snapshot, the compactor instead frees the regions held and then calls a more aggressive compactor to decrease the image size. + segmentToFill <SegInfo> the segment that will be filled through the copying algorithm - regionsWithOccupationPercentage <> list of regions with the occupation rate - regionsToReclaim <> regions that will be freed at the beginning of next compaction (After next marking phase) - biasForGC <> if false this is a compaction for snapshot, else normal GC - regionToFill <> the region that will be filled through the copying algorithm ! Item was added: + ----- Method: SpurSelectiveCompactor class>>declareCVarsIn: (in category 'translation') ----- + declareCVarsIn: aCCodeGenerator + aCCodeGenerator var: 'segmentToFill' type: #'SpurSegmentInfo *'! Item was added: + ----- 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;255]." + MaxOccupationForCompaction := 150. "Basically if segment is occupied by more than 60%, not worth compacting"! Item was added: + ----- Method: SpurSelectiveCompactor class>>simulatorClass (in category 'simulation') ----- + simulatorClass + ^SpurSelectiveCompactorSimulator! Item was added: + ----- Method: SpurSelectiveCompactor>>allocateSegmentToFill (in category 'freeing') ----- + allocateSegmentToFill + | res | + res := manager growOldSpaceByAtLeast: manager growHeadroom. + res ifNil: [self error: 'not enough memory for selective compaction'].! Item was added: + ----- Method: SpurSelectiveCompactor>>assertNoSegmentBeingCompacted (in category 'compaction') ----- + assertNoSegmentBeingCompacted + + "Assertion only - no segment is being claimed at this point" + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + self deny: (self isSegmentBeingCompacted: segInfo)]. + ! Item was changed: ----- Method: SpurSelectiveCompactor>>compact (in category 'api') ----- compact <inline: #never> "for profiling" + self freePastSegmentsAndSetSegmentToFill. + self globalSweepAndSegmentOccupationAnalysis. + self selectiveCompaction. - biasForGC - ifTrue: [self internalCompact] - ifFalse: ["Should use a compacting algo instead"self internalCompact] ! Item was added: + ----- Method: SpurSelectiveCompactor>>compactSegment:freeStart: (in category 'compaction') ----- + compactSegment: segInfo freeStart: initialFreeStart + <var: 'segInfo' type: #'SpurSegmentInfo *'> + | currentEntity freeStart bytesInObject numSlots bridge | + freeStart := 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. + bytesInObject := manager bytesInObject: currentEntity. + self assert: (manager objectBytesForSlots: numSlots) = (manager bytesInObject: currentEntity). + manager mem: freeStart asVoidPointer cp: (manager startOfObject: currentEntity) asVoidPointer y: bytesInObject. + self assert: (manager baseHeader: (manager objectStartingAt: freeStart)) = (manager baseHeader: currentEntity). + self assert: (manager fetchPointer: numSlots - 1 ofObject: (manager objectStartingAt: freeStart)) = (manager fetchPointer: numSlots - 1 ofObject: currentEntity). + manager forward: currentEntity to: (manager objectStartingAt: freeStart). + freeStart := freeStart + (manager objectBytesForSlots: numSlots). + self assert: (manager isForwarded: currentEntity). + self assert: freeStart < (segmentToFill segLimit - manager bridgeSize)]. + currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. + self assert: currentEntity = bridge. + ^ freeStart! Item was added: + ----- Method: SpurSelectiveCompactor>>compactSegmentsToCompact (in category 'compaction') ----- + compactSegmentsToCompact + "Forwards all objects in segments to compact and removes their freechunks" + | freeStart | + freeStart := segmentToFill segStart. + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + (self isSegmentBeingCompacted: segInfo) + ifTrue: [freeStart := self compactSegment: segInfo freeStart: freeStart ]]. + + "Final free chunk in segment to fill..." + manager + addFreeChunkWithBytes: segmentToFill segSize - manager bridgeSize + segmentToFill segStart - freeStart + at: freeStart. + + self postForwardingAction + ! Item was added: + ----- Method: SpurSelectiveCompactor>>computeSegmentsToCompact (in category 'compaction') ----- + computeSegmentsToCompact + "Compute segments to claim: least occupied. + Answers true if at least 1 segment is being compacted." + + | canStillClaim aboutToClaim aboutToClaimSegment atLeastOneSegmentToCompact | + 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 := aboutToClaimSegment segSize - manager bridgeSize * ((self occupationOf: aboutToClaimSegment) + 1) // 255. "+1 to round up, this is approx" + aboutToClaim < canStillClaim ] whileTrue: + [self markSegmentAsBeingCompacted: aboutToClaimSegment. + atLeastOneSegmentToCompact := true. + canStillClaim := canStillClaim - aboutToClaim. + aboutToClaimSegment := self findNextSegmentToCompact]. + ^atLeastOneSegmentToCompact! Item was added: + ----- Method: SpurSelectiveCompactor>>findAndSetSegmentToFill (in category 'freeing') ----- + findAndSetSegmentToFill + 0 to: manager numSegments - 1 do: + [:i| | segInfo firstEntity | + segInfo := self addressOf: (manager segmentManager segments at: i). + firstEntity := manager objectStartingAt: segInfo segStart. + ((manager isFreeObject: firstEntity) and: [(manager objectAfter: firstEntity limit: manager endOfMemory) = (manager segmentManager bridgeFor: segInfo)]) + ifTrue: [segmentToFill := segInfo. manager detachFreeObject: firstEntity. ^0]]. + ! Item was added: + ----- Method: SpurSelectiveCompactor>>findNextSegmentToCompact (in category 'compaction') ----- + findNextSegmentToCompact + "Answers the next segment to compact or nil if none. + The next segment to compact: + - cannot be segment 0 (Segment 0 has specific objects + (nil, true, etc.) and special size computed at start-up + that we don't want to deal with) + - cannot be be a segment already being compacted. + - cannot contain pinned object (since we're in a copying GC) + - cannot be entirely empty (no need to block that empty segment until next marking phase) + - cannot have a high occupation rate (> MaxOccupationForCompaction)" + | leastOccupied leastOccupiedSegment tempOccupied | + leastOccupied := 255. + 1 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + ((self isSegmentBeingCompacted: segInfo) or: [segInfo containsPinned or: [manager segmentManager isEmptySegment: segInfo] ]) + ifFalse: + [(tempOccupied := self occupationOf: segInfo) <= leastOccupied + ifTrue: [ leastOccupied := tempOccupied. + leastOccupiedSegment := segInfo ]]]. + leastOccupied > MaxOccupationForCompaction ifTrue: [^nil]. + ^ leastOccupiedSegment! Item was added: + ----- Method: SpurSelectiveCompactor>>findOrAllocateSegmentToFill (in category 'freeing') ----- + findOrAllocateSegmentToFill + "There was no compacted segments from past GC that we can directly re-use. + We need either to find an empty segment or allocate a new one." + self findAndSetSegmentToFill. + segmentToFill ifNotNil: [^0]. + "No empty segment. We need to allocate a new one" + self allocateSegmentToFill. + "We don't know which segment it is that we've just allocated... So we look for it... This is a bit dumb." + self findAndSetSegmentToFill. + self assert: segmentToFill ~~ nil. + ! Item was added: + ----- Method: SpurSelectiveCompactor>>freePastSegmentsAndSetSegmentToFill (in category 'freeing') ----- + freePastSegmentsAndSetSegmentToFill + "The first segment being claimed met becomes the segmentToFill. The others are just freed" + segmentToFill := nil. + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + (self isSegmentBeingCompacted: segInfo) + ifTrue: + [segmentToFill + ifNil: [segmentToFill := segInfo] + ifNotNil: [self freeSegment: segInfo]]]! Item was removed: - ----- Method: SpurSelectiveCompactor>>freeRegionsFromPastCompactionsAndSetRegionToFill (in category 'freeing regions') ----- - freeRegionsFromPastCompactionsAndSetRegionToFill - "regionsToReclaim is likely a word object with an index and a list of range of regions to reclaim. Sets the regionToFill"! Item was added: + ----- Method: SpurSelectiveCompactor>>freeSegment: (in category 'freeing') ----- + freeSegment: segInfo + <var: 'segInfo' type: #'SpurSegmentInfo *'> + manager addFreeChunkWithBytes: segInfo segSize - manager bridgeSize at: segInfo segStart.! Item was removed: - ----- Method: SpurSelectiveCompactor>>globalSweepAndRegionAnalysis (in category 'sweep phase') ----- - globalSweepAndRegionAnalysis - "Iterate over the whole memory, free unmarked objects, figure out regions based on the current size of the heap (regions are variable sized based on an estimate, segments and where objects end) and save them in regionsWithOccupationPercentage"! Item was added: + ----- Method: SpurSelectiveCompactor>>globalSweepAndSegmentOccupationAnalysis (in category 'sweep phase') ----- + globalSweepAndSegmentOccupationAnalysis + self internalGlobalSweepAndSegmentOccupationAnalysis. + manager checkFreeSpace: GCModeFull. + manager unmarkSurvivingObjectsForCompact.! Item was removed: - ----- Method: SpurSelectiveCompactor>>internalCompact (in category 'api') ----- - internalCompact - self freeRegionsFromPastCompactionsAndSetRegionToFill. - self globalSweepAndRegionAnalysis. - self selectiveCompaction.! Item was added: + ----- 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 + setOccupation: (manager segmentManager segments at: 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 numSlotsOfAny: currentEntity)] + ifFalse: + [self unmark: currentEntity. + currentUsed := currentUsed + (manager numSlotsOfAny: currentEntity)]]. + currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. + "set last segment (last bridge = endOfMemory)" + self + setOccupation: (manager segmentManager segments at: segmentIndex) + used: currentUsed + unused: currentUnused.! Item was added: + ----- Method: SpurSelectiveCompactor>>isSegmentBeingCompacted: (in category 'segment access') ----- + isSegmentBeingCompacted: segInfo + <var: 'segInfo' type: #'SpurSegmentInfo *'> + "Swizzle is abused bit 8 isClaimed bits 0-7 occupation" + ^ segInfo swizzle anyMask: 1 << 8! Item was added: + ----- Method: SpurSelectiveCompactor>>markSegmentAsBeingCompacted: (in category 'segment access') ----- + markSegmentAsBeingCompacted: segInfo + <var: 'segInfo' type: #'SpurSegmentInfo *'> + "Swizzle is abused bit 8 isClaimed bits 0-7 occupation" + segInfo swizzle: (segInfo swizzle bitOr: 1 << 8)! Item was added: + ----- Method: SpurSelectiveCompactor>>occupationOf: (in category 'segment access') ----- + occupationOf: segment + <var: 'segment' type: #'SpurSegmentInfo *'> + "Swizzle is abused bit 8 isClaimed bits 0-7 occupation" + ^segment swizzle bitAnd: 16rFF! Item was added: + ----- 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 added: + ----- Method: SpurSelectiveCompactor>>postSwizzleAction (in category 'api') ----- + postSwizzleAction + "Since the compact abuses the swizzle field of segment, it needs to be rest after start-up." + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + segInfo swizzle: 0 ]! Item was changed: ----- Method: SpurSelectiveCompactor>>selectiveCompaction (in category 'compaction') ----- selectiveCompaction + "Figures out which segments to compact and compact them into segmentToFill" + | atLeastOneSegmentToCompact | + self assertNoSegmentBeingCompacted. + atLeastOneSegmentToCompact := self computeSegmentsToCompact. + "If no compaction we don't pay forwarding cost (stack scan, cache scan, etc.) + and we don't allocate segmentToFill if none available." + atLeastOneSegmentToCompact + ifTrue: + [self assert: segmentToFill ~~ nil. + self compactSegmentsToCompact] + ifFalse: + [segmentToFill ifNotNil: [self freeSegment: segmentToFill]]. + manager checkFreeSpace: GCModeFull.! - "Iterate over regionsWithOccupationPercentage, compact regions from the least occupied to the most occupied, stops when the next region to compact is filled with more than MinFreeForCompaction or when the segment to fill is full"! Item was added: + ----- Method: SpurSelectiveCompactor>>setOccupation:used:unused: (in category 'segment access') ----- + setOccupation: segment used: used unused: unused + <var: 'segment' type: #'SpurSegmentInfo *'> + "Swizzle is abused bit 8 isClaimed bits 0-7 occupation + Setting occupation resets the claim bit" + | occupation | + occupation := used * 255 // (used + unused). + segment swizzle: occupation! Item was added: + SpurSelectiveCompactor subclass: #SpurSelectiveCompactorSimulator + instanceVariableNames: '' + classVariableNames: 'Talking' + poolDictionaries: '' + category: 'VMMaker-SpurMemoryManagerSimulation'! Item was added: + ----- Method: SpurSelectiveCompactorSimulator class>>initialize (in category 'initialization') ----- + initialize + super initialize. + Talking := true.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>allocateSegmentToFill (in category 'freeing') ----- + allocateSegmentToFill + self talk: 'Allocation of new segment to fill (none available)'. + super allocateSegmentToFill! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>checkOnlyForwardersOrWordNonImm: (in category 'debugging') ----- + checkOnlyForwardersOrWordNonImm: segInfo + "Also check this is iterable until bridge + prevEntity is here for debugging only" + | currentEntity prevEntity bridge | + self talk: 'Checking segment compacted has fwd/Word only ' , (manager segmentManager indexOfSegment: segInfo) printString. + bridge := manager segmentManager bridgeFor: segInfo. + currentEntity := manager objectStartingAt: segInfo segStart. + [self oop: currentEntity isLessThan: bridge] whileTrue: + [self assert: ((manager isWordsNonImm: currentEntity) or: [manager isForwarded: currentEntity]). + prevEntity := currentEntity. + currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. + self assert: currentEntity = bridge. + self talkNoCr: ' OK'.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>checkSegmentToFillLooksAllRight (in category 'debugging') ----- + checkSegmentToFillLooksAllRight + "Check only 1 free object at the end or none. + Check segment is iterable until bridge" + | currentEntity bridge | + self talk: 'Checking segment to fill iterable/last is free ' , (manager segmentManager indexOfSegment: segmentToFill) printString. + bridge := manager segmentManager bridgeFor: segmentToFill. + currentEntity := manager objectStartingAt: segmentToFill segStart. + [self oop: currentEntity isLessThan: bridge] whileTrue: + [(manager isFreeObject: currentEntity) + ifTrue: "should be last entity" + [self assert: (manager objectAfter: currentEntity limit: manager endOfMemory) = bridge. + self assert: (manager isValidFreeObject: currentEntity)]. + currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. + "End of iteration should end on bridge" + self assert: currentEntity = bridge. + self talkNoCr: ' OK'.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>checkSegmentsIterable (in category 'debugging') ----- + checkSegmentsIterable + "Check only 1 free object at the end or none. + Check segment is iterable until bridge" + | currentEntity bridge | + self talk: 'Checking segments iterable'. + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + bridge := manager segmentManager bridgeFor: segInfo. + currentEntity := manager objectStartingAt: segInfo segStart. + [self oop: currentEntity isLessThan: bridge] whileTrue: + [currentEntity := manager objectAfter: currentEntity limit: manager endOfMemory]. + "End of iteration should end on bridge" + self assert: currentEntity = bridge.]. + self talkNoCr: ' OK'.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>compact (in category 'api') ----- + compact + self talk: '~~ Start selective compaction ~~'. + self tellMeNumSegmentAndTotalFreeSpace. + self tellMeWhichSegmentsAreBeingCompacted. + super compact. + self tellMeNumSegmentAndTotalFreeSpace. + self tellMeWhichSegmentsAreBeingCompacted. + manager runLeakCheckerForFreeSpace: GCModeFreeSpace. + self talk: '~~ Finished selective compaction ~~'. + ! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>compactSegment:freeStart: (in category 'compaction') ----- + compactSegment: segInfo freeStart: initialFreeStart + | res | + res := super compactSegment: segInfo freeStart: initialFreeStart. + self checkOnlyForwardersOrWordNonImm: segInfo. + ^ res! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>compactSegmentsToCompact (in category 'compaction') ----- + compactSegmentsToCompact + self talk: 'filling segment ' , (manager segmentManager indexOfSegment: segmentToFill). + super compactSegmentsToCompact. + "Now segments to compacts should have been compacted into segment to fill" + self checkSegmentToFillLooksAllRight. + ! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>computeSegmentsToCompact (in category 'compaction') ----- + computeSegmentsToCompact + | res | + res := super computeSegmentsToCompact. + res + ifTrue: [self talk: 'There is something to compact!!'. + self tellMeWhichSegmentsAreBeingCompacted] + ifFalse: [self talk: 'Nothing to compact!!']. + ^ res! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>freePastSegmentsAndSetSegmentToFill (in category 'freeing') ----- + freePastSegmentsAndSetSegmentToFill + super freePastSegmentsAndSetSegmentToFill. + segmentToFill + ifNil: [self talk: 'No segment to fill so far - will allocate one later if anything to compact'] + ifNotNil: [self talk: 'filling segment ' , (manager segmentManager indexOfSegment: segmentToFill)]. + ! Item was added: + ----- 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: (manager segmentManager indexOfSegment: segInfo) printString. + self talkNoCr: '->'. + self talkNoCr: (self occupationOf: segInfo) printString. + self talkNoCr: '('. + self talkNoCr: ((self occupationOf: segInfo) * 100 * 100 // 255 / 100) asFloat printString. + self talkNoCr: '%);']. + self checkSegmentsIterable. + ! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>markSegmentAsBeingCompacted: (in category 'compaction') ----- + markSegmentAsBeingCompacted: segInfo + super markSegmentAsBeingCompacted: segInfo. + self talk: 'Marking as being compacted segment ' , (manager segmentManager indexOfSegment: segInfo) printString.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>talk: (in category 'debugging') ----- + talk: string + Talking ifTrue: [Transcript cr; show: string]! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>talkNoCr: (in category 'debugging') ----- + talkNoCr: string + Talking ifTrue: [Transcript show: string]! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>tellMeNumSegmentAndTotalFreeSpace (in category 'debugging') ----- + tellMeNumSegmentAndTotalFreeSpace + self talk: 'numSegments: ' , manager numSegments printString , ', free space: ' , manager totalFreeOldSpace printString.! Item was added: + ----- Method: SpurSelectiveCompactorSimulator>>tellMeWhichSegmentsAreBeingCompacted (in category 'debugging') ----- + tellMeWhichSegmentsAreBeingCompacted + <doNotGenerate> + | beingCompacted | + beingCompacted := OrderedCollection new. + 0 to: manager numSegments - 1 do: + [:i| | segInfo | + segInfo := self addressOf: (manager segmentManager segments at: i). + (self isSegmentBeingCompacted: segInfo) ifTrue: [beingCompacted add: segInfo]]. + self + talk: 'Segment being compacted: ' , + (beingCompacted collect: [:seg | + manager segmentManager indexOfSegment: seg ]) asArray printString + ! Item was changed: SpurCompactor subclass: #SpurSweeper + instanceVariableNames: 'biasForGC' - instanceVariableNames: 'biasForGC aggressiveCompactor' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-SpurMemoryManager'! !SpurSweeper commentStamp: 'cb 10/2/2017 11:34' prior: 0! SpurSweeper is a sweep-only algorithm, setting the compactor to SpurSweeper effectively changes the fullGC to a mark-sweep non-moving algorithm. SpurSweeper has two main purposes: 1. SpurSelectiveCompactor includes a sweep algorithm, inherited from SpurSweeper, and SpurSweeper allows to debug it separatedly. 2. SpurSweeper is a non-moving GC which can be convenient in some cases (For example when accessing objects from C in a concurrent thread called with ThreadedFFI, the C code can access the objects during fullGC since there won't be conflict with object fields being updated while being read). For snapshots a non-compacting algortihm does not make sense, hence a more aggressive compactor is called instead (see #compact).! Item was changed: ----- Method: SpurSweeper>>compact (in category 'api') ----- compact <inline: #never> "for profiling" + self globalSweep! - biasForGC - ifTrue: [self globalSweep] - ifFalse: ["Should use a compacting algo instead"self globalSweep]!

1 0

Re: [Vm-dev] [squeak-dev] How to yellow click with two buttons without changing mouse settings?
by Eliot Miranda 25 Apr '18

25 Apr '18

Hi Marcel, On Sun, Apr 22, 2018 at 11:24 PM, Marcel Taeumel <marcel.taeumel(a)hpi.de> wrote: > Hi Jakob, > > do: "HandMorph showEvents: true" then do CTRL+RED/LEFT. You will see that > you get, in fact, a yellow click. I think that there is code that checks > for "control pressed" first to show the different menu. So, we do emulate > that yellow-click in the VM, but we keep the "control pressed"-flag. So, > the event state is different, even though you get "event > yellowButtonPressed = true" both times. > > To sum up some prior thoughts on this topic: > 1) The VM should not provide this single-button-mouse behavior but the > image should. > 2) The event filters to simulate those yellow/blue clicks are already > possible in the image. We do it with mouse-wheel vs. CTRL+up/down already. > 3) A good transformation for CTRL+RED in such a single-button-mouse mode > would be YELLOW and not CTRL+YELLOW. > > Anyway, this is not an easy fix or decision to make. :-) > What would be relatively straight-forward is to add an image property flag alongside the ones in the image flag word such as "floats in platform order", "processPreemptionYields", etc in vm parameter 48. This flag would tell the VM not to do any event modifications (or at least no mouse button swapping). And then we could at least experiment with allowing the image to perform event modification, making this a preference, etc, before some fine day in the future, transitioning away from VM support for event modification in a major release. Thoughts? > Best, > Marcel > > Am 21.04.2018 14:35:43 schrieb Jakob Reschke <forums.jakob(a)resfarm.de>: > Hello, > > I downloaded a VM (64 bit Cog Spur Windows) and a fresh trunk image > separately and have not changed any mouse button settings yet (swap > mouse buttons preference is on and neither 1 button mouse nor 3 button > mouse are selected in the VM preferences menu). My notebook does not > have a middle "mouse" button and the right button currently does a > blue click (opens the halo). > > In this default setting, is there any way to do a yellow click? > > I get the morph menu with ctrl+left click and in list morphs and on > the world I can invoke the menu with the Esc key, but I did not find a > modifier+button combination that would work universally to emulate a > yellow click. Have I missed it? > > After disabling swap mouse buttons, right click becomes a yellow > click. But when the preference is on, both right click and alt+left > click produce a blue click. So with a two button mouse it seems that > nothing is actually swapped, but one button is unavailable > altogether... > > A simple solution would be to turn the preference off by default. > > Kind regards, > Jakob > > > > > -- _,,,^..^,,,_ best, Eliot

3 4

[PATCH] added FilePlugin error code lookup function
by monty 25 Apr '18

25 Apr '18

--- platforms/Cross/plugins/FilePlugin/FilePlugin.h | 17 ++++++ .../plugins/FilePlugin/sqFilePluginBasicPrims.c | 56 ++++++++++++++++++ .../win32/plugins/FilePlugin/sqWin32FilePrims.c | 69 ++++++++++++++++++++++ 3 files changed, 142 insertions(+) diff --git a/platforms/Cross/plugins/FilePlugin/FilePlugin.h b/platforms/Cross/plugins/FilePlugin/FilePlugin.h index 13e7b7ce9..5d61733a0 100644 --- a/platforms/Cross/plugins/FilePlugin/FilePlugin.h +++ b/platforms/Cross/plugins/FilePlugin/FilePlugin.h @@ -44,6 +44,21 @@ typedef struct { #endif } SQFile; +enum { + SQ_FILE_ERROR, + SQ_FILE_PERMISSION_ERROR, + SQ_FILE_ALREADY_EXISTS_ERROR, + SQ_FILE_DOES_NOT_EXIST_ERROR, + SQ_FILE_RESOURCE_LIMIT_ERROR, + SQ_FILE_INVALID_OPERATION_ERROR, + SQ_FILE_IO_ERROR, + SQ_FILE_BAD_HANDLE_ERROR, + SQ_FILE_IS_DIRECTORY_ERROR, + SQ_FILE_IS_NOT_DIRECTORY_ERROR, + SQ_FILE_INVALID_NAME_ERROR, + SQ_FILE_IN_PROGRESS_ERROR +}; + /* file i/o */ sqInt sqFileAtEnd(SQFile *f); @@ -67,6 +82,8 @@ sqInt sqFileSync(SQFile *f); sqInt sqFileTruncate(SQFile *f,squeakFileOffsetType offset); sqInt sqFileThisSession(void); sqInt sqFileStdioHandlesInto(SQFile files[3]); +sqInt sqFileErrorCodeFromSystemErrorCode(sqInt errorCode); + /* directories */ diff --git a/platforms/Cross/plugins/FilePlugin/sqFilePluginBasicPrims.c b/platforms/Cross/plugins/FilePlugin/sqFilePluginBasicPrims.c index 48117181f..803ad5b8a 100755 --- a/platforms/Cross/plugins/FilePlugin/sqFilePluginBasicPrims.c +++ b/platforms/Cross/plugins/FilePlugin/sqFilePluginBasicPrims.c @@ -754,4 +754,60 @@ sqInt sqFileThisSession() { return thisSession; } + +sqInt +sqFileErrorCodeFromSystemErrorCode(sqInt errorCode) +{ + /* A switch statement is avoided, since some error codes, like EAGAIN/EWOULDBLOCK, can + overlap, and EINTR is not propagated as SQ_FILE_IN_PROGRESS_ERROR, since it should be + handled internally where possible and because only certain operations can be safely + reattempted after failing with EINTR + */ + if (errorCode == EACCES + || errorCode == EPERM + || errorCode == EROFS) + return SQ_FILE_PERMISSION_ERROR; + else if (errorCode == EEXIST) + return SQ_FILE_ALREADY_EXISTS_ERROR; + else if (errorCode == ENOENT + || errorCode == ENODEV + || errorCode == ENXIO) + return SQ_FILE_DOES_NOT_EXIST_ERROR; + else if (errorCode == EDQUOT + || errorCode == EFBIG + || errorCode == EMFILE + || errorCode == EMLINK + || errorCode == ENFILE + || errorCode == ENOLCK + || errorCode == ENOLINK + || errorCode == ENOMEM + || errorCode == ENOSPC) + return SQ_FILE_RESOURCE_LIMIT_ERROR; + else if (errorCode == EINVAL + || errorCode == ENOTTY + || errorCode == ENOSYS + || errorCode == ENOTEMPTY + || errorCode == EFAULT + || errorCode == ESPIPE + || errorCode == EXDEV) + return SQ_FILE_INVALID_OPERATION_ERROR; + else if (errorCode == EIO) + return SQ_FILE_IO_ERROR; + else if (errorCode == EBADF) + return SQ_FILE_BAD_HANDLE_ERROR; + else if (errorCode == EISDIR) + return SQ_FILE_IS_DIRECTORY_ERROR; + else if (errorCode == ENOTDIR) + return SQ_FILE_IS_NOT_DIRECTORY_ERROR; + else if (errorCode == ENAMETOOLONG + || errorCode == ELOOP) + return SQ_FILE_INVALID_NAME_ERROR; + else if (errorCode == EAGAIN + || errorCode == EWOULDBLOCK + || errorCode == EINPROGRESS) + return SQ_FILE_IN_PROGRESS_ERROR; + else + return SQ_FILE_ERROR; +} + #endif /* NO_STD_FILE_SUPPORT */ diff --git a/platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c b/platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c index 39ae4ec15..1e7d80782 100644 --- a/platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c +++ b/platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c @@ -528,4 +528,73 @@ squeakFileOffsetType sqImageFileSize(sqImageFile h) return ofs.offset; } +sqInt +sqFileErrorCodeFromSystemErrorCode(sqInt errorCode) +{ + /* Newer constants are avoided for backwards compatibility */ + if (errorCode == ERROR_ACCESS_DENIED + || errorCode == ERROR_FILE_READ_ONLY + || errorCode == ERROR_WRITE_PROTECT + || errorCode == 313) /* ERROR_NOT_ALLOWED_ON_SYSTEM_FILE */ + return SQ_FILE_PERMISSION_ERROR; + else if (errorCode == ERROR_FILE_EXISTS + || errorCode == ERROR_ALREADY_EXISTS) + return SQ_FILE_ALREADY_EXISTS_ERROR; + else if (errorCode == ERROR_FILE_NOT_FOUND + || errorCode == ERROR_PATH_NOT_FOUND + || errorCode == ERROR_DEV_NOT_EXIST) + return SQ_FILE_DOES_NOT_EXIST_ERROR; + else if (errorCode == ERROR_NO_MORE_FILES + || errorCode == ERROR_TOO_MANY_OPEN_FILES + || errorCode == ERROR_DISK_FULL + || errorCode == ERROR_HANDLE_DISK_FULL + || errorCode == ERROR_DISK_TOO_FRAGMENTED + || errorCode == ERROR_NO_MORE_SEARCH_HANDLES + || errorCode == ERROR_NOT_ENOUGH_QUOTA + || errorCode == 223 /* ERROR_FILE_TOO_LARGE */ + || errorCode == 314 /* ERROR_DISK_RESOURCES_EXHAUSTED */ + || errorCode == 322 /* ERROR_DEVICE_NO_RESOURCES */ + || errorCode == 331) /* ERROR_TOO_MANY_DESCRIPTORS */ + return SQ_FILE_RESOURCE_LIMIT_ERROR; + else if (errorCode == ERROR_WRITE_FAULT + || errorCode == ERROR_READ_FAULT + || errorCode == ERROR_OPERATION_ABORTED + || errorCode == ERROR_CANNOT_MAKE + || errorCode == ERROR_IO_DEVICE) + return SQ_FILE_IO_ERROR; + else if (errorCode == ERROR_INVALID_FUNCTION + || errorCode == ERROR_BAD_ARGUMENTS + || errorCode == ERROR_INVALID_PARAMETER + || errorCode == ERROR_NOT_SUPPORTED + || errorCode == ERROR_NEGATIVE_SEEK + || errorCode == ERROR_SEEK_ON_DEVICE + || errorCode == ERROR_CURRENT_DIRECTORY + || errorCode == ERROR_DIR_NOT_EMPTY) + return SQ_FILE_INVALID_OPERATION_ERROR; + else if (errorCode == ERROR_INVALID_HANDLE + || errorCode == ERROR_INVALID_TARGET_HANDLE + || errorCode == ERROR_DIRECT_ACCESS_HANDLE + || errorCode == ERROR_OPEN_FAILED + || errorCode == ERROR_DELETE_PENDING + || errorCode == 321) /* ERROR_DEVICE_UNREACHABLE */ + return SQ_FILE_BAD_HANDLE_ERROR; + else if (errorCode == 336) /* ERROR_DIRECTORY_NOT_SUPPORTED */ + return SQ_FILE_IS_DIRECTORY_ERROR; + else if (errorCode == 334 /* ERROR_RESIDENT_FILE_NOT_SUPPORTED */ + || errorCode == 335) /* ERROR_COMPRESSED_FILE_NOT_SUPPORTED */ + return SQ_FILE_IS_NOT_DIRECTORY_ERROR; + else if (errorCode == ERROR_INVALID_NAME + || errorCode == ERROR_DIRECTORY + || errorCode == ERROR_BAD_PATHNAME + || errorCode == ERROR_FILENAME_EXCED_RANGE + || errorCode == 305 /* ERROR_SHORT_NAMES_NOT_ENABLED_ON_VOLUME */ + || errorCode == 330) /* ERROR_BAD_DEVICE_PATH */ + return SQ_FILE_INVALID_NAME_ERROR; + else if (errorCode == ERROR_IO_PENDING + || errorCode == ERROR_IO_INCOMPLETE) + return SQ_FILE_IN_PROGRESS_ERROR; + else + return SQ_FILE_ERROR; +} + #endif /* WIN32_FILE_SUPPORT */ -- 2.11.0

4 10

seg fault with Pharo 6.1, 64 bit on macosx
by PAUL DEBRUICKER 25 Apr '18

25 Apr '18

The image/changes here will crash when opened: https://drive.google.com/open?id=1lq_WSvrMrmwvMdyL8g8TBA7o1TlWYCe7 System Reporter reports Image ----- /Users/paul/pharo/64bit/Pharo.image Pharo6.0 Latest update: #60540 Unnamed Virtual Machine --------------- /Users/paul/pharo/64bit/pharo-vm/Pharo.app/Contents/MacOS/Pharo CoInterpreter VMMaker.oscog-eem.2265 uuid: 76b62109-629a-4c39-9641-67b53321df9a Aug 27 2017 StackToRegisterMappingCogit VMMaker.oscog-eem.2262 uuid: 8b531242-de02-48aa-b418-8d2dde0bec6c Aug 27 2017 VM: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Date: Sun Aug 27 21:55:26 2017 +0200 $ Plugins: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Mac OS X built on Aug 27 2017 20:15:54 UTC Compiler: 4.2.1 Compatible Apple LLVM 6.1.0 (clang-602.0.53) VMMaker versionString VM: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Date: Sun Aug 27 21:55:26 2017 +0200 $ Plugins: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ CoInterpreter VMMaker.oscog-eem.2265 uuid: 76b62109-629a-4c39-9641-67b53321df9a Aug 27 2017 StackToRegisterMappingCogit VMMaker.oscog-eem.2262 uuid: 8b531242-de02-48aa-b418-8d2dde0bec6c Aug 27 2017 The crash log is Segmentation fault Tue Apr 24 09:21:24 2018 VM: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ Date: Sun Aug 27 21:55:26 2017 +0200 $ Plugins: 201708271955 https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ C stack backtrace & registers: rax 0x0000000000000000 rbx 0x00007f8050861c00 rcx 0x0000000000000048 rdx 0x0000000000000000 rdi 0x00007f804fcc8150 rsi 0x00007f804fcc8150 rbp 0x00007ffee8558a30 rsp 0x00007ffee8558a20 r8 0x0000000000000048 r9 0x0000000000000048 r10 0x0000000000000000 r11 0x00007f8056200000 r12 0x00007f80563a2770 r13 0x000000011827e2f8 r14 0x0000000000000000 r15 0x00007f80563a2890 rip 0x00000001183787b0 0 libfreetype.6.dylib 0x00000001183787b0 FT_Request_Size + 63 1 Pharo 0x00000001076fc63e reportStackState + 884 2 Pharo 0x00000001076fc989 sigsegv + 176 3 libsystem_platform.dylib 0x00007fff6352df5a _sigtramp + 26 4 ??? 0x0000000000000000 0x0 + 0 5 libfreetype.6.dylib 0x0000000118378884 FT_Set_Char_Size + 116 6 libcairo.2.dylib 0x000000011824fa17 _cairo_ft_unscaled_font_set_scale + 456 7 libcairo.2.dylib 0x000000011824e992 _cairo_ft_font_face_scaled_font_create + 561 8 libcairo.2.dylib 0x00000001182186fa cairo_scaled_font_create + 1191 9 Pharo 0x0000000107732f56 primitiveCalloutWithArgs + 1664 10 Pharo 0x00000001076869cd executeNewMethod + 181 11 Pharo 0x0000000107687872 ceSendsupertonumArgs + 1027 12 ??? 0x000000010b30910f 0x0 + 4482699535 13 Pharo 0x000000010766fe6c interpret + 674 14 Pharo 0x00000001076fdcc1 -[sqSqueakMainApplication runSqueak] + 394 15 Foundation 0x00007fff3d0a29a8 __NSFirePerformWithOrder + 360 16 CoreFoundation 0x00007fff3af27467 __CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__ + 23 17 CoreFoundation 0x00007fff3af2738f __CFRunLoopDoObservers + 527 18 CoreFoundation 0x00007fff3af09908 __CFRunLoopRun + 1240 19 CoreFoundation 0x00007fff3af091a3 CFRunLoopRunSpecific + 483 20 HIToolbox 0x00007fff3a1f1d96 RunCurrentEventLoopInMode + 286 21 HIToolbox 0x00007fff3a1f1a0f ReceiveNextEventCommon + 366 22 HIToolbox 0x00007fff3a1f1884 _BlockUntilNextEventMatchingListInModeWithFilter + 64 23 AppKit 0x00007fff384a4a73 _DPSNextEvent + 2085 24 AppKit 0x00007fff38c3ae34 -[NSApplication(NSEvent) _nextEventMatchingEventMask:untilDate:inMode:dequeue:] + 3044 25 AppKit 0x00007fff38499885 -[NSApplication run] + 764 26 AppKit 0x00007fff38468a72 NSApplicationMain + 804 27 libdyld.dylib 0x00007fff6321f015 start + 1 Smalltalk stack dump: 0x7ffee855d9e8 M CairoScaledFont class>primCreate:fontMatrix:userToDeviceMatrix:options: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855da50 M FFICalloutAPI>function:module: 0x10b70d100: a(n) FFICalloutAPI 0x7ffee855da90 M CairoScaledFont class(Object)>nbCall: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855dae0 I CairoScaledFont class>primCreate:fontMatrix:userToDeviceMatrix:options: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855db60 I CairoScaledFont class>fromFreetypeFont:cairoFace: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855dbb8 M [] in CairoScaledFont class>fromFreetypeFont: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855dc08 M [] in WeakIdentityKeyDictionary(Dictionary)>at:ifAbsentPut: 0x11667f758: a(n) WeakIdentityKeyDictionary 0x7ffee855dc40 M WeakIdentityKeyDictionary(Dictionary)>at:ifAbsent: 0x11667f758: a(n) WeakIdentityKeyDictionary 0x7ffee855dc80 M WeakIdentityKeyDictionary(Dictionary)>at:ifAbsentPut: 0x11667f758: a(n) WeakIdentityKeyDictionary 0x7ffee855dcd0 I CairoBackendCache>at:ifAbsentPut: 0x116647e18: a(n) CairoBackendCache 0x7ffee855dd28 I CairoScaledFont class>fromFreetypeFont: 0x10d0e28c8: a(n) CairoScaledFont class 0x7ffee855dd70 I CairoFreetypeFontRenderer>font: 0x10b4909a8: a(n) CairoFreetypeFontRenderer 0

5 4

VM Maker: VMMaker.oscog-VB.2371.mcz
by commits＠source.squeak.org 24 Apr '18

24 Apr '18

VincentBlondeau uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-VB.2371.mcz ==================== Summary ==================== Name: VMMaker.oscog-VB.2371 Author: VB Time: 24 April 2018, 3:49:01.306307 pm UUID: 669ae833-b22e-8546-83de-385b62f597be Ancestors: VMMaker.oscog-VB.2370 Add arguments in primitiveIsFileDescriptorATTY =============== Diff against VMMaker.oscog-VB.2370 =============== Item was added: + ----- Method: FilePlugin>>primitiveIsFileDescriptorATTY (in category 'file primitives') ----- + primitiveIsFileDescriptorATTY + | isStdoutRedirected fd fdPointer | + <var: 'fd' type: #int> + <export: true> + fdPointer := interpreterProxy stackValue: 0. + (interpreterProxy isIntegerObject: fdPointer) + ifFalse: [^ interpreterProxy primitiveFailFor: PrimErrBadArgument]. + fd := interpreterProxy integerValueOf: fdPointer. + interpreterProxy failed ifTrue: [ + "Ensure that the appropriate failure code has been set" + ^interpreterProxy primitiveFailFor: PrimErrBadArgument]. + isStdoutRedirected := self + cCode: 'sqIsFileDescriptorATTY(fd) ' + inSmalltalk: [true]. + interpreterProxy pop: 2. + interpreterProxy pushBool: isStdoutRedirected! Item was removed: - ----- Method: FilePlugin>>primitiveStdioDescriptorIsATTY (in category 'file primitives') ----- - primitiveStdioDescriptorIsATTY - | isStdoutRedirected | - <export: true> - isStdoutRedirected := self - cCode: 'sqStdioDescriptorIsATTY() ' - inSmalltalk: [true]. - interpreterProxy pop: 1. - interpreterProxy pushBool: isStdoutRedirected!

1 0

VM Maker: VMMaker.oscog-VB.2370.mcz
by commits＠source.squeak.org 24 Apr '18

24 Apr '18

VincentBlondeau uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-VB.2370.mcz ==================== Summary ==================== Name: VMMaker.oscog-VB.2370 Author: VB Time: 23 April 2018, 6:42:34.685234 pm UUID: b61408e0-effc-5144-bd81-993254392346 Ancestors: VMMaker.oscog-VB.2369 primitiveStdioDescriptorIsATTY will return a bool instead of an int =============== Diff against VMMaker.oscog-VB.2369 =============== Item was changed: ----- Method: FilePlugin>>primitiveFileStdioHandles (in category 'file primitives') ----- primitiveFileStdioHandles "Answer an Array of file handles for standard in, standard out and standard error, with nil in entries that are unvailable, e.g. because the platform does not provide standard error, etc. Fail if there are no standard i/o facilities on the platform or if the security plugin denies access or if memory runs out." | fileRecords result validMask | <export: true> <var: 'fileRecords' declareC: 'SQFile fileRecords[3]'> sHFAfn ~= 0 ifTrue: [(self cCode: ' ((sqInt (*)(void))sHFAfn)()' inSmalltalk: [true]) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrUnsupported]]. self cCode: '' inSmalltalk: [fileRecords := Array new: 3]. validMask := self sqFileStdioHandlesInto: fileRecords. validMask = 0 ifTrue: [^interpreterProxy primitiveFailFor: PrimErrUnsupported]. result := interpreterProxy instantiateClass: interpreterProxy classArray indexableSize: 3. result = nil ifTrue: [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. interpreterProxy pushRemappableOop: result. 0 to: 2 do: [:index| (validMask bitAnd: (1 << index)) ~= 0 ifTrue: [result := interpreterProxy instantiateClass: interpreterProxy classByteArray indexableSize: self fileRecordSize. result = nil ifTrue: [interpreterProxy popRemappableOop. ^interpreterProxy primitiveFailFor: PrimErrNoMemory]. interpreterProxy storePointer: index ofObject: interpreterProxy topRemappableOop withValue: result. self cCode: [self mem: (interpreterProxy firstIndexableField: result) cp: (self addressOf: (fileRecords at: index)) y: self fileRecordSize] inSmalltalk: [(interpreterProxy firstIndexableField: result) unitSize: interpreterProxy wordSize; at: 0 put: (fileRecords at: index + 1)]]]. "In the non-Spur threaded VM ensure the handles are old, so that sqFileReadIntoAt is unaffected by incremental GCs. See platforms/Cross/plugins/FilePlugin/sqFilePluginBasicPrims.c. The Spur VM uses pinning, so it doesn't need the GC." self cppIf: COGMTVM ifTrue: [self cppIf: SPURVM ifTrue: [] ifFalse: [interpreterProxy fullGC]]. result := interpreterProxy popRemappableOop. interpreterProxy pop: 1 thenPush: result! Item was changed: ----- Method: FilePlugin>>primitiveStdioDescriptorIsATTY (in category 'file primitives') ----- primitiveStdioDescriptorIsATTY | isStdoutRedirected | <export: true> isStdoutRedirected := self cCode: 'sqStdioDescriptorIsATTY() ' inSmalltalk: [true]. interpreterProxy pop: 1. + interpreterProxy pushBool: isStdoutRedirected! - interpreterProxy pushInteger: isStdoutRedirected!

1 0

VM Maker: VMMaker.oscog-VB.2369.mcz
by commits＠source.squeak.org 24 Apr '18

24 Apr '18

VincentBlondeau uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-VB.2369.mcz ==================== Summary ==================== Name: VMMaker.oscog-VB.2369 Author: VB Time: 23 April 2018, 5:42:02.529234 pm UUID: 83d95eb4-3cee-464b-97a7-357795850db7 Ancestors: VMMaker.oscog-eem.2368 add primitive primitiveStdioDescriptorIsATTY See https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/254 =============== Diff against VMMaker.oscog-eem.2368 =============== Item was added: + ----- Method: FilePlugin>>primitiveStdioDescriptorIsATTY (in category 'file primitives') ----- + primitiveStdioDescriptorIsATTY + | isStdoutRedirected | + <export: true> + isStdoutRedirected := self + cCode: 'sqStdioDescriptorIsATTY() ' + inSmalltalk: [true]. + interpreterProxy pop: 1. + interpreterProxy pushInteger: isStdoutRedirected!

1 0

Raise minimum supported Windows API from XP to Vista (was: Identify console executable and standard one)
by Alistair Grant 24 Apr '18

24 Apr '18

Hi Everyone, I have some test code that correctly identifies whether stdin on Windows is a console or redirected, in both windows command terminals (cmd.exe) and cygwin mintty (the current code only works for cmd.exe, not for cygwin terminals). However it relies on the Windows Vista API, i.e. _WIN32_WINNT >= 0x0600, and at the moment we set the minimum supported version to Windows XP (0x0501). Since Windows XP is no longer supported, I can't see any problem with raising the minimum version to Windows Vista (which also isn't supported, but should give us maximum compatibility), but wanted to check first. Are there any objections to raising the minimum API level to Windows Vista? Thanks, Alistair

3 7

VM Maker: VMMaker.oscog-sk.2367.mcz
by commits＠source.squeak.org 23 Apr '18

23 Apr '18

Sophie Kaleba uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-sk.2367.mcz ==================== Summary ==================== Name: VMMaker.oscog-sk.2367 Author: sk Time: 19 April 2018, 12:02:35.661622 pm UUID: 0c2401e3-1450-4f73-8e81-958f50171595 Ancestors: VMMaker.oscog- nice.2366 ** new primitive to compare strings (slang + JIT) answers negative smi, 0 or positive smi (instead of 1, 2 or 3 in the MiscPlugin) * Slang (primitiveCompareWith) order is optionnal. comparison loop performed in rawCompare: string1 length: strLength1 with: string2 length: strLength2 accessBlock: accessBlock * JIT (genPrimitiveStringCompareWith) the JIT primitive does not take order as parameter (assumed asciiOrder) quick jump if one of the strings is empty =============== Diff against VMMaker.oscog- nice.2366 =============== Item was added: + ----- Method: CogObjectRepresentation>>genPrimitiveStringCompareWith (in category 'primitive generators') ----- + genPrimitiveStringCompareWith + "subclasses override if they can" + ^UnimplementedPrimitive! Item was added: + ----- Method: CogObjectRepresentationForSpur>>genPrimitiveStringCompareWith (in category 'primitive generators') ----- + genPrimitiveStringCompareWith + "primitiveCompareWith:" + + | instr jump jumpAbove jumpIncorrectFormat1 jumpIncorrectFormat2 jumpIncorrectFormat3 jumpIncorrectFormat4 jumpMidFailure jumpSuccess minSizeReg string1CharOrByteSizeReg string2CharOrByteSizeReg string1Reg string2Reg | + + <var: #jumpIncorrectFormat1 type: #'AbstractInstruction *'> + <var: #jumpIncorrectFormat2 type: #'AbstractInstruction *'> + <var: #jumpIncorrectFormat3 type: #'AbstractInstruction *'> + <var: #jumpIncorrectFormat4 type: #'AbstractInstruction *'> + <var: #jumpAbove type: #'AbstractInstruction *'> + <var: #jumpSuccess type: #'AbstractInstruction *'> + <var: #jump type: #'AbstractInstruction *'> + <var: #jumpMidFailure type: #'AbstractInstruction *'> + + "I redefine those name to ease program comprehension" + string1Reg := ReceiverResultReg. + string2Reg := Arg0Reg. + string1CharOrByteSizeReg := Arg1Reg. + string2CharOrByteSizeReg := ClassReg. + minSizeReg := SendNumArgsReg. + + "Load arguments in reg" + cogit genLoadArgAtDepth: 0 into: string2Reg. + + "checks if string1 is a byteobject and get its size in bytes" + self genGetFormatOf: string1Reg into: TempReg. + cogit CmpCq: objectMemory firstByteFormat R: TempReg. + jumpIncorrectFormat1 := cogit JumpLess: 0. + cogit CmpCq: objectMemory firstCompiledMethodFormat R: TempReg. + jumpIncorrectFormat2 := cogit JumpAboveOrEqual: 0. + + self genGetNumSlotsOf: string1Reg into: string1CharOrByteSizeReg. + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: string1CharOrByteSizeReg). + cogit AndCq: objectMemory wordSize - 1 R: TempReg R: TempReg. + cogit SubR: TempReg R: string1CharOrByteSizeReg. + + "checks if string2 is a byteobject and get its size in bytes" + self genGetFormatOf: string2Reg into: TempReg. + cogit CmpCq: objectMemory firstByteFormat R: TempReg. + jumpIncorrectFormat3 := cogit JumpLess: 0. + cogit CmpCq: objectMemory firstCompiledMethodFormat R: TempReg. + jumpIncorrectFormat4 := cogit JumpAboveOrEqual: 0. + + self genGetNumSlotsOf: string2Reg into: string2CharOrByteSizeReg. + (cogit LogicalShiftLeftCq: objectMemory shiftForWord R: string2CharOrByteSizeReg). + cogit AndCq: objectMemory wordSize - 1 R: TempReg R: TempReg. + cogit SubR: TempReg R: string2CharOrByteSizeReg. + + "Type and number of arguments are correct" + "Compute the min" + cogit CmpR: string1CharOrByteSizeReg R: string2CharOrByteSizeReg. + jumpAbove := cogit JumpBelow: 0. + cogit MoveR: string1CharOrByteSizeReg R: minSizeReg. + jump := cogit Jump: 0. + jumpAbove jmpTarget: (cogit MoveR: string2CharOrByteSizeReg R: minSizeReg). + jump jmpTarget: (cogit CmpCq: 0 R: minSizeReg). + jumpSuccess := cogit JumpZero: 0. "if one of the string is empty, no need to go through the comparing loop" + + "Compare the bytes" + cogit MoveCq: objectMemory baseHeaderSize R: TempReg. + cogit AddCq: objectMemory baseHeaderSize R: minSizeReg. + + instr := cogit MoveXbr: TempReg R: string1Reg R: string1CharOrByteSizeReg. + cogit MoveXbr: TempReg R: string2Reg R: string2CharOrByteSizeReg. + cogit SubR: string2CharOrByteSizeReg R: string1CharOrByteSizeReg. + jumpMidFailure := cogit JumpNonZero: 0. "the 2 compared characters are different, exit the loop" + cogit AddCq: 1 R: TempReg. + cogit CmpR: TempReg R: minSizeReg. + cogit JumpNonZero: instr. + + "all bytes from 1 to minSize are equal" + self genGetNumBytesOf: string1Reg into: string1CharOrByteSizeReg. + self genGetNumBytesOf: string2Reg into: string2CharOrByteSizeReg. + jumpSuccess jmpTarget: (cogit SubR: string2CharOrByteSizeReg R: string1CharOrByteSizeReg). + jumpMidFailure jmpTarget: (cogit MoveR: string1CharOrByteSizeReg R: ReceiverResultReg). + self genConvertIntegerToSmallIntegerInReg: ReceiverResultReg. + cogit genPrimReturn. + + jumpIncorrectFormat4 + jmpTarget: (jumpIncorrectFormat3 + jmpTarget: (jumpIncorrectFormat2 + jmpTarget: (jumpIncorrectFormat1 jmpTarget: cogit Label))). + + ^ CompletePrimitive! Item was changed: ----- Method: Interpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was added: + ----- Method: InterpreterPrimitives>>primitiveCompareWith (in category 'string primitives') ----- + primitiveCompareWith + "<string1> primitiveCompareWith: string2 [collated: order] " + <export: true> + + | string1 string2 order strLength1 strLength2 result | + + "1 - fetch the parameters from the stack" + (argumentCount = 0 or: [argumentCount > 2]) ifTrue: + [^self primitiveFailFor: PrimErrBadNumArgs]. + argumentCount = 1 + ifFalse: "argCount must be 2" + [order := self stackTop. + (objectMemory isBytes: order) ifFalse: [^self primitiveFailFor: PrimErrBadArgument]]. + string1 := self stackValue: argumentCount. + string2 := self stackValue: argumentCount - 1. + + "2 - check their types - all parameters are ByteObject" + ((objectMemory isBytes: string1) + and: [objectMemory isBytes: string2 ]) + ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]. + + "3 - compare the strings" + strLength1 := objectMemory numBytesOfBytes: string1. + strLength2 := objectMemory numBytesOfBytes: string2. + result := order + ifNil: [self rawCompare: string1 length: strLength1 with: string2 length: strLength2 accessBlock: [:str :index | objectMemory fetchByte: index ofObject: str ]] + ifNotNil: + [self rawCompare: string1 length: strLength1 with: string2 length: strLength2 accessBlock: [:str :index | objectMemory fetchByte: (objectMemory fetchByte: index ofObject: str) +1 ofObject: order ]]. + self pop: argumentCount + 1 thenPush: (objectMemory integerObjectOf: result) + + + + + + ! Item was added: + ----- Method: InterpreterPrimitives>>rawCompare:length:with:length:accessBlock: (in category 'string primitives') ----- + rawCompare: string1 length: strLength1 with: string2 length: strLength2 accessBlock: accessBlock + | c1 c2 min | + <inline: true> "needs to be forced else slang does not inline it by default" + min := strLength1 min: strLength2. + 0 to: min-1 do: + [:i | c1 := accessBlock value: string1 value: i. + c2 := accessBlock value: string2 value: i. + c1 = c2 ifFalse: [^c1 - c2]]. + ^strLength1 - strLength2 + + + + + ! Item was changed: ----- Method: SimpleStackBasedCogit class>>initializePrimitiveTableForSqueak (in category 'class initialization') ----- initializePrimitiveTableForSqueak "Initialize the table of primitive generators. This does not include normal primitives implemented in the coInterpreter. N.B. primitives that don't have an explicit arg count (the integer following the generator) may be variadic." "SimpleStackBasedCogit initializePrimitiveTableForSqueak" MaxCompiledPrimitiveIndex := self objectRepresentationClass wordSize = 8 ifTrue: [555] ifFalse: [222]. primitiveTable := CArrayAccessor on: (Array new: MaxCompiledPrimitiveIndex + 1). self table: primitiveTable from: #( "Integer Primitives (0-19)" (1 genPrimitiveAdd 1) (2 genPrimitiveSubtract 1) (3 genPrimitiveLessThan 1) (4 genPrimitiveGreaterThan 1) (5 genPrimitiveLessOrEqual 1) (6 genPrimitiveGreaterOrEqual 1) (7 genPrimitiveEqual 1) (8 genPrimitiveNotEqual 1) (9 genPrimitiveMultiply 1) (10 genPrimitiveDivide 1) (11 genPrimitiveMod 1) (12 genPrimitiveDiv 1) (13 genPrimitiveQuo 1) (14 genPrimitiveBitAnd 1) (15 genPrimitiveBitOr 1) (16 genPrimitiveBitXor 1) (17 genPrimitiveBitShift 1) "(18 primitiveMakePoint)" "(19 primitiveFail)" "Guard primitive for simulation -- *must* fail" "LargeInteger Primitives (20-39)" "(20 primitiveFail)" "(21 primitiveAddLargeIntegers)" "(22 primitiveSubtractLargeIntegers)" "(23 primitiveLessThanLargeIntegers)" "(24 primitiveGreaterThanLargeIntegers)" "(25 primitiveLessOrEqualLargeIntegers)" "(26 primitiveGreaterOrEqualLargeIntegers)" "(27 primitiveEqualLargeIntegers)" "(28 primitiveNotEqualLargeIntegers)" "(29 primitiveMultiplyLargeIntegers)" "(30 primitiveDivideLargeIntegers)" "(31 primitiveModLargeIntegers)" "(32 primitiveDivLargeIntegers)" "(33 primitiveQuoLargeIntegers)" "(34 primitiveBitAndLargeIntegers)" "(35 primitiveBitOrLargeIntegers)" "(36 primitiveBitXorLargeIntegers)" "(37 primitiveBitShiftLargeIntegers)" "Float Primitives (38-59)" "(38 genPrimitiveFloatAt)" "(39 genPrimitiveFloatAtPut)" (40 genPrimitiveAsFloat 0) (41 genPrimitiveFloatAdd 1) (42 genPrimitiveFloatSubtract 1) (43 genPrimitiveFloatLessThan 1) (44 genPrimitiveFloatGreaterThan 1) (45 genPrimitiveFloatLessOrEqual 1) (46 genPrimitiveFloatGreaterOrEqual 1) (47 genPrimitiveFloatEqual 1) (48 genPrimitiveFloatNotEqual 1) (49 genPrimitiveFloatMultiply 1) (50 genPrimitiveFloatDivide 1) "(51 genPrimitiveTruncated)" "(52 genPrimitiveFractionalPart)" "(53 genPrimitiveExponent)" "(54 genPrimitiveTimesTwoPower)" (55 genPrimitiveFloatSquareRoot 0) "(56 genPrimitiveSine)" "(57 genPrimitiveArctan)" "(58 genPrimitiveLogN)" "(59 genPrimitiveExp)" "Subscript and Stream Primitives (60-67)" (60 genPrimitiveAt 1) (61 genPrimitiveAtPut 2) (62 genPrimitiveSize 0) (63 genPrimitiveStringAt 1) (64 genPrimitiveStringAtPut 2) "The stream primitives no longer pay their way; normal Smalltalk code is faster." (65 genFastPrimFail)"was primitiveNext" (66 genFastPrimFail) "was primitiveNextPut" (67 genFastPrimFail) "was primitiveAtEnd" "StorageManagement Primitives (68-79)" (68 genPrimitiveObjectAt 1) "Good for debugger/InstructionStream performance" "(69 primitiveObjectAtPut)" (70 genPrimitiveNew 0) (71 genPrimitiveNewWithArg 1) "(72 primitiveArrayBecomeOneWay)" "Blue Book: primitiveBecome" "(73 primitiveInstVarAt)" "(74 primitiveInstVarAtPut)" (75 genPrimitiveIdentityHash 0) "(76 primitiveStoreStackp)" "Blue Book: primitiveAsObject" "(77 primitiveSomeInstance)" "(78 primitiveNextInstance)" (79 genPrimitiveNewMethod 2) "Control Primitives (80-89)" "(80 primitiveFail)" "Blue Book: primitiveBlockCopy" "(81 primitiveFail)" "Blue Book: primitiveValue" "(82 primitiveFail)" "Blue Book: primitiveValueWithArgs" (83 genPrimitivePerform) "(84 primitivePerformWithArgs)" "(85 primitiveSignal)" "(86 primitiveWait)" "(87 primitiveResume)" "(88 primitiveSuspend)" "(89 primitiveFlushCache)" "(90 primitiveMousePoint)" "(91 primitiveTestDisplayDepth)" "Blue Book: primitiveCursorLocPut" "(92 primitiveSetDisplayMode)" "Blue Book: primitiveCursorLink" "(93 primitiveInputSemaphore)" "(94 primitiveGetNextEvent)" "Blue Book: primitiveSampleInterval" "(95 primitiveInputWord)" "(96 primitiveFail)" "primitiveCopyBits" "(97 primitiveSnapshot)" "(98 primitiveStoreImageSegment)" "(99 primitiveLoadImageSegment)" "(100 primitivePerformInSuperclass)" "Blue Book: primitiveSignalAtTick" "(101 primitiveBeCursor)" "(102 primitiveBeDisplay)" "(103 primitiveScanCharacters)" "(104 primitiveFail)" "primitiveDrawLoop" (105 genPrimitiveStringReplace) "(106 primitiveScreenSize)" "(107 primitiveMouseButtons)" "(108 primitiveKbdNext)" "(109 primitiveKbdPeek)" "System Primitives (110-119)" (110 genPrimitiveIdentical 1) (111 genPrimitiveClass) "Support both class and Context>>objectClass:" "(112 primitiveBytesLeft)" "(113 primitiveQuit)" "(114 primitiveExitToDebugger)" "(115 primitiveChangeClass)" "Blue Book: primitiveOopsLeft" "(116 primitiveFlushCacheByMethod)" "(117 primitiveExternalCall)" "(118 primitiveDoPrimitiveWithArgs)" "(119 primitiveFlushCacheSelective)" (148 genPrimitiveShallowCopy 0) "a.k.a. clone" + (158 genPrimitiveStringCompareWith 1) (159 genPrimitiveHashMultiply 0) (169 genPrimitiveNotIdentical 1) (170 genPrimitiveAsCharacter) "SmallInteger>>asCharacter, Character class>>value:" (171 genPrimitiveImmediateAsInteger 0) "Character>>value SmallFloat64>>asInteger" "(173 primitiveSlotAt 1)" "(174 primitiveSlotAtPut 2)" (175 genPrimitiveIdentityHash 0) "Behavior>>identityHash" "Old closure primitives" "(186 primitiveFail)" "was primitiveClosureValue" "(187 primitiveFail)" "was primitiveClosureValueWithArgs" "Perform method directly" "(188 primitiveExecuteMethodArgsArray)" "(189 primitiveExecuteMethod)" "Unwind primitives" "(195 primitiveFindNextUnwindContext)" "(196 primitiveTerminateTo)" "(197 primitiveFindHandlerContext)" (198 genFastPrimFail "primitiveMarkUnwindMethod") (199 genFastPrimFail "primitiveMarkHandlerMethod") "new closure primitives" "(200 primitiveClosureCopyWithCopiedValues)" (201 genPrimitiveClosureValue 0) "value" (202 genPrimitiveClosureValue 1) "value:" (203 genPrimitiveClosureValue 2) "value:value:" (204 genPrimitiveClosureValue 3) "value:value:value:" (205 genPrimitiveClosureValue 4) "value:value:value:value:" "(206 genPrimitiveClosureValueWithArgs)" "valueWithArguments:" (207 genPrimitiveFullClosureValue) "value[:value:value:value:] et al" "(208 genPrimitiveFullClosureValueWithArgs)" "valueWithArguments:" (209 genPrimitiveFullClosureValue) "valueNoContextSwitch[:value:] et al" "(210 primitiveContextAt)" "(211 primitiveContextAtPut)" "(212 primitiveContextSize)" "(218 primitiveDoNamedPrimitiveWithArgs)" "(219 primitiveFail)" "reserved for Cog primitives" "(220 primitiveFail)" "reserved for Cog primitives" (221 genPrimitiveClosureValue 0) "valueNoContextSwitch" (222 genPrimitiveClosureValue 1) "valueNoContextSwitch:" "SmallFloat primitives (540-559)" (541 genPrimitiveSmallFloatAdd 1) (542 genPrimitiveSmallFloatSubtract 1) (543 genPrimitiveSmallFloatLessThan 1) (544 genPrimitiveSmallFloatGreaterThan 1) (545 genPrimitiveSmallFloatLessOrEqual 1) (546 genPrimitiveSmallFloatGreaterOrEqual 1) (547 genPrimitiveSmallFloatEqual 1) (548 genPrimitiveSmallFloatNotEqual 1) (549 genPrimitiveSmallFloatMultiply 1) (550 genPrimitiveSmallFloatDivide 1) "(551 genPrimitiveSmallFloatTruncated 0)" "(552 genPrimitiveSmallFloatFractionalPart 0)" "(553 genPrimitiveSmallFloatExponent 0)" "(554 genPrimitiveSmallFloatTimesTwoPower 1)" (555 genPrimitiveSmallFloatSquareRoot 0) "(556 genPrimitiveSmallFloatSine 0)" "(557 genPrimitiveSmallFloatArctan 0)" "(558 genPrimitiveSmallFloatLogN 0)" "(559 genPrimitiveSmallFloatExp 0)" )! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated)

5 5

who can edit squeakvm.org?
by Eliot Miranda 23 Apr '18

23 Apr '18

Hi All, this page http://squeakvm.org/index.html is woefully out of date and misleading. We could at least provide accurate information about the Spur 32-bit and 64-bit releases, and the SqueakJS VM alongside the older VMs couldn't we? Shouldn't we? _,,,^..^,,,_ best, Eliot

8 20

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev April 2018