Vm-dev August 2017

vm-dev@lists.squeakfoundation.org

31 participants
61 discussions

VM Maker: VMMaker.oscog-eem.2262.mcz
by commits＠source.squeak.org 11 Aug '17

11 Aug '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2262.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2262 Author: eem Time: 10 August 2017, 3:43:50.372252 pm UUID: 8b531242-de02-48aa-b418-8d2dde0bec6c Ancestors: VMMaker.oscog-sk.2261 LargeIntegers plugin Fix the crash for 2009 nthRoot: 100000 due to digitDivLarge:with:negative: failing to check if allocations fail. The example produces 600k byet long integers and so provokes plenty of allocation failures. In addition mark some support methods as <inline: #always> to eliminate their unnecessary uninlined versions. =============== Diff against VMMaker.oscog-sk.2261 =============== Item was changed: ----- Method: LargeIntegersPlugin>>byteSizeOfLargeInt: (in category 'util') ----- byteSizeOfLargeInt: bytesOop "Answer the number of bytes required to represent a LargeInteger. Precondition: bytesOop is not a small integer." + <inline: #always> ^ interpreterProxy slotSizeOf: bytesOop! Item was changed: ----- Method: LargeIntegersPlugin>>createLargeIntegerNeg:byteLength: (in category 'util') ----- createLargeIntegerNeg: neg byteLength: byteLength + <inline: #always> - <inline: true> ^interpreterProxy instantiateClass: (neg ifTrue: [interpreterProxy classLargeNegativeInteger] ifFalse: [interpreterProxy classLargePositiveInteger]) indexableSize: byteLength! Item was changed: ----- Method: LargeIntegersPlugin>>createLargeIntegerNeg:digitLength: (in category 'util') ----- createLargeIntegerNeg: neg digitLength: digitLength + <inline: #always> + ^self createLargeIntegerNeg: neg byteLength: digitLength * 4! - <inline: true> - ^self - createLargeIntegerNeg: neg byteLength: digitLength * 4! Item was changed: ----- Method: LargeIntegersPlugin>>digit:Lshift: (in category 'oop functions') ----- digit: anOop Lshift: shiftCount "Attention: this method invalidates all oop's!! Only newOop is valid at return." "Does not normalize." | newOop highBit newDigitLen newByteLen oldDigitLen | oldDigitLen := self digitSizeOfLargeInt: anOop. (highBit := self cDigitHighBit: (self pointerToFirstDigitOfLargeInt: anOop) len: oldDigitLen) = 0 ifTrue: [^ interpreterProxy instantiateClass: (interpreterProxy fetchClassOf: anOop) indexableSize: 1]. newByteLen := highBit + shiftCount + 7 // 8. self remapOop: anOop in: [newOop := interpreterProxy instantiateClass: (interpreterProxy fetchClassOf: anOop) indexableSize: newByteLen]. + newOop ifNil: + [interpreterProxy primitiveFailFor: PrimErrNoMemory. + ^nil]. - newOop ifNil: [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. newDigitLen := newByteLen + 3 // 4. self cDigitLshift: shiftCount from: (self pointerToFirstDigitOfLargeInt: anOop) len: oldDigitLen to: (self pointerToFirstDigitOfLargeInt: newOop) len: newDigitLen. ^ newOop! Item was changed: ----- Method: LargeIntegersPlugin>>digitDivLarge:with:negative: (in category 'oop functions') ----- digitDivLarge: firstInteger with: secondInteger negative: neg "Does not normalize." "Division by zero has to be checked in caller." | firstDigitLen secondDigitLen quoDigitLen d div rem quo result | firstDigitLen := self digitSizeOfLargeInt: firstInteger. secondDigitLen := self digitSizeOfLargeInt: secondInteger. quoDigitLen := firstDigitLen - secondDigitLen + 1. quoDigitLen <= 0 ifTrue: [self remapOop: firstInteger in: [result := interpreterProxy instantiateClass: interpreterProxy classArray indexableSize: 2]. + result ifNotNil: + [interpreterProxy stObject: result at: 1 put: (0 asOop: SmallInteger). + interpreterProxy stObject: result at: 2 put: firstInteger]. - interpreterProxy stObject: result at: 1 put: (0 asOop: SmallInteger). - interpreterProxy stObject: result at: 2 put: firstInteger. ^ result]. "set rem and div to copies of firstInteger and secondInteger, respectively. + However, to facilitate use of Knuth's algorithm, multiply rem and div by 2 + (that is, shift) until the high word of div is >=16r80000000" - However, - to facilitate use of Knuth's algorithm, multiply rem and div by 2 (that - is, shift) - until the high word of div is >=16r80000000" d := 32 - (self cHighBit32: (self unsafeDigitOfLargeInt: secondInteger at: secondDigitLen)). self remapOop: firstInteger + in: [div := self digit: secondInteger Lshift: d. + div ifNotNil: + [div := self largeInt: div growTo: (self digitSizeOfLargeInt: div) + 1 * 4]. + div ifNil: [^div]]. - in: - [div := self digit: secondInteger Lshift: d. - div := self largeInt: div growTo: (self digitSizeOfLargeInt: div) + 1 * 4]. self remapOop: div + in: [rem := self digit: firstInteger Lshift: d. + rem ifNotNil: + [(self digitSizeOfLargeInt: rem) = firstDigitLen ifTrue: + [rem := self largeInt: rem growTo: firstDigitLen + 1 * 4]]. + rem ifNil: [^rem]]. + self remapOop: #(div rem) + in: [quo := self createLargeIntegerNeg: neg digitLength: quoDigitLen]. - in: - [rem := self digit: firstInteger Lshift: d. - (self digitSizeOfLargeInt: rem) = firstDigitLen - ifTrue: [rem := self largeInt: rem growTo: firstDigitLen + 1 * 4]]. - self remapOop: #(div rem ) in: [quo := self createLargeIntegerNeg: neg digitLength: quoDigitLen]. self cDigitDiv: (self pointerToFirstDigitOfLargeInt: div) len: (self digitSizeOfLargeInt: div) rem: (self pointerToFirstDigitOfLargeInt: rem) len: (self digitSizeOfLargeInt: rem) quo: (self pointerToFirstDigitOfLargeInt: quo) len: (self digitSizeOfLargeInt: quo). + self remapOop: quo + in: [rem := self digit: rem Rshift: d lookfirst: (self digitSizeOfLargeInt: div) - 1]. - self remapOop: #(quo ) in: [rem := self - digit: rem - Rshift: d - lookfirst: (self digitSizeOfLargeInt: div) - - 1]. "^ Array with: quo with: rem" + self remapOop: #(quo rem) + in: [result := interpreterProxy instantiateClass: interpreterProxy classArray indexableSize: 2]. + result ifNotNil: + [interpreterProxy stObject: result at: 1 put: quo. + interpreterProxy stObject: result at: 2 put: rem]. + ^result! - self remapOop: #(quo rem ) in: [result := interpreterProxy instantiateClass: interpreterProxy classArray indexableSize: 2]. - interpreterProxy stObject: result at: 1 put: quo. - interpreterProxy stObject: result at: 2 put: rem. - ^ result! Item was changed: ----- Method: LargeIntegersPlugin>>largeInt:growTo: (in category 'oop util') ----- largeInt: aBytesObject growTo: newByteLen "Attention: this method invalidates all oop's!! Only newBytes is valid at return." "Does not normalize." | newBytes oldDigitLen newDigitLen copyLen | self remapOop: aBytesObject in: [newBytes := interpreterProxy instantiateClass: (interpreterProxy fetchClassOf: aBytesObject) + indexableSize: newByteLen. + newBytes ifNil: + [interpreterProxy primitiveFailFor: PrimErrNoMemory. ^nil]]. - indexableSize: newByteLen]. - newBytes ifNil: [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. newDigitLen := newByteLen + 3 // 4. oldDigitLen := self digitSizeOfLargeInt: aBytesObject. copyLen := oldDigitLen < newDigitLen ifTrue: [oldDigitLen] ifFalse: [newDigitLen]. self cDigitCopyFrom: (self pointerToFirstDigitOfLargeInt: aBytesObject) to: (self pointerToFirstDigitOfLargeInt: newBytes) len: copyLen. ^newBytes! Item was changed: ----- Method: LargeIntegersPlugin>>pointerToFirstDigitOfLargeInt: (in category 'util') ----- pointerToFirstDigitOfLargeInt: bytesObject + <inline: #always> - <inline: true> <returnTypeC: #'unsigned int *'> ^interpreterProxy cCoerce: (interpreterProxy firstIndexableField: bytesObject) to: #'unsigned int *'! Item was changed: ----- Method: LargeIntegersPlugin>>unsafeDigitOfLargeInt:at: (in category 'util') ----- unsafeDigitOfLargeInt: anOop at: ix "Argument must not be aSmallInteger!!" + <inline: #always> - <inline: true> <returnTypeC: #'unsigned int'> ^self cDigitOf: (self pointerToFirstDigitOfLargeInt: anOop) at: ix - 1!

1 0

VM Maker: CogTools-sk.84.mcz
by commits＠source.squeak.org 10 Aug '17

10 Aug '17

Sophie Kaleba uploaded a new version of CogTools to project VM Maker: http://source.squeak.org/VMMaker/CogTools-sk.84.mcz ==================== Summary ==================== Name: CogTools-sk.84 Author: sk Time: 10 August 2017, 3:07:12.537347 pm UUID: ca5d0d4f-6228-49da-9853-0f10c4234217 Ancestors: CogTools-sk.83 * take into account the modified primitive collectCogCodeConstituents to display the differenciation open/closedPICs * remove unused method (VMFileSystem, which has been replaced) To do : * In the textual report, the display of the number of samples and the cumulated percentages tends to get messy (non aligned) for no reason. I'll try to fix it later =============== Diff against CogTools-sk.83 =============== Item was removed: - VMFileSystem subclass: #PharoVMFileSystem - instanceVariableNames: '' - classVariableNames: '' - poolDictionaries: '' - category: 'CogTools-VMProfiler'! Item was removed: - ----- Method: PharoVMFileSystem>>deleteContentsOf: (in category 'as yet unclassified') ----- - deleteContentsOf: aDirectory - - aDirectory deleteAll. - ! Item was removed: - ----- Method: PharoVMFileSystem>>ensureExistenceOfDirectory: (in category 'public') ----- - ensureExistenceOfDirectory: aDirName - ^ aDirName ensureCreateDirectory ! Item was removed: - ----- Method: PharoVMFileSystem>>exists: (in category 'public') ----- - exists: aFilename - - ^ aFilename asFileReference exists! Item was removed: - ----- Method: PharoVMFileSystem>>nameFordirPath:plus: (in category 'as yet unclassified') ----- - nameFordirPath: aDirPath plus: aProcessId - - ^ (aDirPath, aProcessId) asFileReference ! Item was removed: - ----- Method: PharoVMFileSystem>>nameOfFile:in: (in category 'as yet unclassified') ----- - nameOfFile: aFilename in: aDirectory - - ^ aFilename asFileReference basename ! Item was removed: - ----- Method: PharoVMFileSystem>>parentPathOfFile: (in category 'as yet unclassified') ----- - parentPathOfFile: aFilename - - ^ (aFilename asFileReference) parent pathString ! Item was removed: - ----- Method: PharoVMFileSystem>>round:downTo: (in category 'as yet unclassified') ----- - round: anInteger downTo: decimalPlaces - - ^ anInteger printShowingDecimalPlaces: decimalPlaces! Item was changed: VMProfiler subclass: #PharoVMProfiler instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'CogTools-VMProfiler'! + !PharoVMProfiler commentStamp: 'sk 8/10/2017 14:55' prior: 0! - !PharoVMProfiler commentStamp: 'sk 5/29/2017 11:56' prior: 0! I am the VMProfiler called when using a Pharo image. I can only be used headless for the moment. + * for instance, inspect on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s ] + * If you want to get a profiling report providing detailed data about the time spent in a function, inspect on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s withDetails: true]. - Try inspecting on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s ] ! Item was removed: - VMFileSystem subclass: #SqueakVMFileSystem - instanceVariableNames: '' - classVariableNames: '' - poolDictionaries: '' - category: 'CogTools-VMProfiler'! Item was removed: - ----- Method: SqueakVMFileSystem>>deleteContentsOf: (in category 'as yet unclassified') ----- - deleteContentsOf: aDirectory - - aDirectory recursiveDelete! Item was removed: - ----- Method: SqueakVMFileSystem>>ensureExistenceOfDirectory: (in category 'public') ----- - ensureExistenceOfDirectory: aDirName - - ^ aDirName assureExistence! Item was removed: - ----- Method: SqueakVMFileSystem>>exists: (in category 'public') ----- - exists: aFilename - - ^FileDirectory default fileExists: aFilename ! Item was removed: - ----- Method: SqueakVMFileSystem>>nameFordirPath:plus: (in category 'as yet unclassified') ----- - nameFordirPath: aDirPath plus: aProcessId - - ^ FileDirectory on: aDirPath, aProcessId! Item was removed: - ----- Method: SqueakVMFileSystem>>nameOfFile:in: (in category 'as yet unclassified') ----- - nameOfFile: aFilename in: aDirectory - - ^ aDirectory localNameFor: aFilename ! Item was removed: - ----- Method: SqueakVMFileSystem>>parentPathOfFile: (in category 'as yet unclassified') ----- - parentPathOfFile: aFilename - - ^ FileDirectory dirPathFor: aFilename ! Item was removed: - ----- Method: SqueakVMFileSystem>>round:downTo: (in category 'as yet unclassified') ----- - round: anInteger downTo: decimalPlaces - - ^ anInteger printShowingMaxDecimalPlaces: decimalPlaces! Item was changed: VMProfiler subclass: #SqueakVMProfiler instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'CogTools-VMProfiler'! + !SqueakVMProfiler commentStamp: 'sk 8/10/2017 14:54' prior: 0! - !SqueakVMProfiler commentStamp: 'sk 5/29/2017 11:56' prior: 0! I am the VMProfiler called when using a Squeak image. I can be used + 1) headful : for instance, either via WorldMenu>open>VMProfiler, or by typing : VMProfiler spyOn: [1 to: 10000000 do: [ :i | Object new ]]. + 2) headless : + * for instance, inspect on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s ] + * If you want to get a profiling report providing detailed data about the time spent in a function, inspect on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s withDetails: true]. - - headful (WorldMenu>open>VMProfiler) - - or headless : for instance, inspect on : String streamContents: [ :s | VMProfiler headlessSpyOn: [ 1 to: 10000000 do: [ :i | Object new ] ] reportOn: s ] ! Item was removed: - Object subclass: #VMFileSystem - instanceVariableNames: '' - classVariableNames: '' - poolDictionaries: '' - category: 'CogTools-VMProfiler'! - - !VMFileSystem commentStamp: 'sk 5/29/2017 11:27' prior: 0! - I dispatch between the file systems of Pharo (FileSystem) and Squeak (FileDirectory)! Item was removed: - ----- Method: VMFileSystem>>deleteContentsOf: (in category 'as yet unclassified') ----- - deleteContentsOf: aDirectory - self subclassResponsability! Item was removed: - ----- Method: VMFileSystem>>ensureExistenceOfDirectory: (in category 'public') ----- - ensureExistenceOfDirectory: aDirName - self subclassResponsibility ! Item was removed: - ----- Method: VMFileSystem>>exists: (in category 'public') ----- - exists: aFilename - self subclassResponsibility ! Item was removed: - ----- Method: VMFileSystem>>nameFordirPath:plus: (in category 'as yet unclassified') ----- - nameFordirPath: aDirPath plus: aProcessId - "answers a FileSystem/Directory object representing a directory. The name of this directory is its path+the name of a process id" - - self subclassResponsibility ! Item was removed: - ----- Method: VMFileSystem>>nameOfFile:in: (in category 'as yet unclassified') ----- - nameOfFile: aFilename in: aDirectory - - self subclassResponsibility ! Item was removed: - ----- Method: VMFileSystem>>parentPathOfFile: (in category 'as yet unclassified') ----- - parentPathOfFile: aFilename - - self subclassResponsibility ! Item was removed: - ----- Method: VMFileSystem>>round:downTo: (in category 'as yet unclassified') ----- - round: anInteger downTo: decimalPlaces - - self subclassResponsability! Item was changed: ----- Method: VMProfiler>>computeCogCodeModule (in category 'Cog compiled code') ----- computeCogCodeModule cogCodeConstituents ifNil: [^self]. symbolManager computeCogCodeModule: cogCodeConstituents. self changed: #symbolList "Compute average cog method size: (| cogCodeConstituents i1 i2 | cogCodeConstituents := VMProfiler basicNew primitiveCollectCogCodeConstituents. i1 := cogCodeConstituents indexOf: 'methodZoneBase'. i2 := cogCodeConstituents indexOf: 'CCFree'. (cogCodeConstituents at: i2 + 1) - (cogCodeConstituents at: i1 + 1) / (i2 - i1 / 2.0))"! Item was changed: ----- Method: VMProfiler>>primitiveCollectCogCodeConstituents: (in category 'primitives') ----- primitiveCollectCogCodeConstituents: withDetails "Answer the contents of the code zone as an array of pair-wise element, address in ascending address order. Answer a string for a runtime routine or abstract label (beginning, end, etc), a CompiledMethod for a cog machine-code method, or a selector (presumably a Symbol) for a cog machine-code open or closed PIC. Fail if this isn't a Cog VM or if out of memory. If this isn't a Cog VM answer nil. If the parameter is true, answers the mapping between machine code pc and bytecode pc in relevant methods instead of just the start address. + + If the primitive fails because space is low then the scavenger will run + before trying to send the primitive again. " <primitive: 253 error: ec> + ec == #'insufficient object memory' ifTrue: + [^self retryPrimitiveCollectCogCodeConstituents: withDetails]. + self primitiveFailed - ^ec ifNotNil: [self primitiveFailed] "self basicNew primitiveCollectCogCodeConstituents"! Item was changed: ----- Method: VMProfiler>>printSymbolTotals:labelled:on:sumTotal:cogMethodMaps: (in category 'reports') ----- printSymbolTotals: totals labelled: label on: aStream sumTotal: sumTotal cogMethodMaps: cogMethodMaps "Print sorted totals for all symbols with a total greater than 0.01% of the grand total." | substantial insubstantial cut cumulative heading percentageWidth compositionWidth tabWidth labelWidthCut labelledInFull | cut := total / 10000.0. substantial := totals associations select: [:assoc| assoc value > cut]. labelWidthCut := total / 1000.0. labelledInFull := totals associations select: [:assoc| assoc value > labelWidthCut]. insubstantial := totals associations inject: 0 into: [:sum :assoc| (assoc value <= cut ifTrue: [assoc value] ifFalse: [0]) + sum]. substantial := substantial asSortedCollection: [:a1 :a2| a1 value > a2 value or: [a1 value = a2 value and: [a1 name < a2 name]]]. insubstantial > 0 ifTrue: [substantial := substantial asArray, {'...others...'->insubstantial}]. cumulative := 0. heading := '% of ', label, ' (% of total)'. tabWidth := self widthInDefaultFontOf: (String with: Character tab). percentageWidth := self widthInDefaultFontOf: '99.99% (99.99%) '. compositionWidth := (self longestWidthIn: labelledInFull) + tabWidth max: (self widthInDefaultFontOf: heading) + tabWidth - percentageWidth. self put: heading paddedTo: compositionWidth + percentageWidth tabWidth: tabWidth on: aStream. aStream nextPutAll: '(samples) (cumulative)'; cr. substantial do: [:assoc| self printPercentage: assoc value total: sumTotal on: aStream. aStream space; space; space; space; nextPut: $(. self printPercentage: assoc value total: total on: aStream. aStream nextPut: $); tab. self put: (assoc key isString ifTrue: [assoc key] ifFalse: [assoc key name]) paddedTo: compositionWidth tabWidth: tabWidth on: aStream. aStream nextPut: $(; print: assoc value; nextPut: $); tab: (assoc value < 100 ifTrue: [2] ifFalse: [1]); nextPut: $(. cumulative := cumulative + assoc value. self printPercentage: cumulative total: sumTotal on: aStream. aStream nextPut: $); cr. self withDetails ifTrue: [cogMethodMaps at: assoc key ifPresent: [ :i | self printInnerDetails: assoc with: cogMethodMaps on: aStream ]. ].]. aStream cr; cr! Item was changed: ----- Method: VMProfiler>>put:paddedTo:tabWidth:on: (in category 'reports') ----- put: aString paddedTo: compositionWidth tabWidth: tabWidth on: aStream | fittedString size width | fittedString := aString. size := fittedString size. [(width := self widthInDefaultFontOf: fittedString) > compositionWidth] whileTrue: [size := size - 2. fittedString := aString contractTo: size]. aStream nextPutAll: fittedString; tab: compositionWidth - width + (width \\ tabWidth) // tabWidth! Item was added: + ----- Method: VMProfiler>>retryPrimitiveCollectCogCodeConstituents: (in category 'primitives') ----- + retryPrimitiveCollectCogCodeConstituents: withDetails + "retryPrimitiveCollectCogCodeConstituents: gets sent after primitiveCollectCogCodeConstituents: has failed and allowed + a scavenging garbage collection to occur. The scavenging collection will have happened as the VM is activating the (failing) primitiveCollectCogCodeConstituents. If + retryPrimitiveCollectCogCodeConstituents: fails, then we consider the primitive has failed" + + <primitive: 253> + self primitiveFailed! Item was added: + ----- Method: VMProfilerSymbolsManager>>analyzeClosedPIC: (in category 'Constituents naming') ----- + analyzeClosedPIC: aClosedPIC + + ^ Dictionary new + at: 'selector' put: aClosedPIC first; + at: 'nbOfCases' put: aClosedPIC size -1; + at: 'listOfCases' put: ((aClosedPIC allButFirst collect: [ :each | each methodClass name ]) asSet); + yourself.! Item was changed: ----- Method: VMProfilerSymbolsManager>>computeCogCodeModule: (in category 'Cog compiled code') ----- computeCogCodeModule: cogCodeConstituents | symbols | (cogModule := VMPExecutableModuleSymbol new) name: vmModule shortName, '.', cogCodeConstituents first; shortName: cogCodeConstituents first; vmshift: 0; address: cogCodeConstituents second; size: cogCodeConstituents last - cogCodeConstituents second. symbols := (3 to: cogCodeConstituents size - 2 by: 2) collect: [:i| "Declare methods as public; PICs and entries as private" | thing | ((thing := cogCodeConstituents at: i) isCompiledMethod ifTrue: [VMPPublicFunctionSymbol] ifFalse: [VMPPrivateFunctionSymbol]) new + name: (self nameOf: thing cogCodeModule: cogCodeConstituents); - name: (thing isCompiledMethod - ifTrue: [thing methodClass name, '>>', thing selector] - ifFalse: [thing class == cogCodeConstituents first class - ifTrue: [thing] - ifFalse: ['PIC ', (thing isString - ifTrue: [thing] - ifFalse: [thing printString])]]); address: (self extractAddress: (cogCodeConstituents at: i + 1)); mcpcbcpcmap: (cogCodeConstituents at: i + 1); limit: (self extractAddress: (cogCodeConstituents at: i + 3 ifAbsent: [cogCodeConstituents last]))]. self addCogModuleSymbols: symbols! Item was added: + ----- Method: VMProfilerSymbolsManager>>getClosedPICLabel: (in category 'Constituents naming') ----- + getClosedPICLabel: aThing + "(= assoc key name )aThing could be either a selector, a trampoline/enilopmart, or a VMPSymbol" + + |list| + list := String streamContents: [ :s |(aThing at: 'listOfCases') asStringOn: s delimiter: ', ']. + ^ String streamContents: [ :s | s nextPutAll: 'cPIC', ' ', (aThing at: 'selector'), ' - ', (aThing at: 'nbOfCases') asString, ' (', list, ')' ]! Item was changed: + ----- Method: VMProfilerSymbolsManager>>initialize (in category 'initialize-release') ----- - ----- Method: VMProfilerSymbolsManager>>initialize (in category 'as yet unclassified') ----- initialize "Initialize the receiver, parsing the symbols in the background for faster startup." self initializeMost. self parseAsynchronously! Item was added: + ----- Method: VMProfilerSymbolsManager>>nameOf:cogCodeModule: (in category 'Constituents naming') ----- + nameOf: thing cogCodeModule: cogCodeConstituents + + thing isCompiledMethod ifTrue: [ ^ thing methodClass name , '>>' , thing selector ]. + thing class == cogCodeConstituents first class ifTrue: [ ^thing ]. + ^ thing isArray + ifTrue: [self getClosedPICLabel: (self analyzeClosedPIC: thing)] + ifFalse: ['OpenPIC ',(thing isString + ifTrue: [ thing ] + ifFalse: [ thing printString ])] !

1 0

VM Maker: VMMaker.oscog-sk.2261.mcz
by commits＠source.squeak.org 10 Aug '17

10 Aug '17

Sophie Kaleba uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-sk.2261.mcz ==================== Summary ==================== Name: VMMaker.oscog-sk.2261 Author: sk Time: 10 August 2017, 11:03:27.62493 am UUID: 2502e8bf-7a6c-4656-ab61-b3da8e6f5199 Ancestors: VMMaker.oscog-eem.2260 Modify the profiling primitive cogCodeConstituents: to be able to differentiate the closedPICs from the openPICs in the profiling report =============== Diff against VMMaker.oscog-eem.2260 =============== Item was changed: ----- Method: Cogit>>cogCodeConstituents: (in category 'profiling primitives') ----- cogCodeConstituents: withDetails "Answer the contents of the code zone as an array of pair-wise element, address in ascending address order. Answer a string for a runtime routine or abstract label (beginning, end, etc), a CompiledMethod for a CMMethod, or a selector (presumably a Symbol) for a PIC." <api> | count cogMethod constituents label value | <var: #cogMethod type: #'CogMethod *'> count := trampolineTableIndex / 2 + 3. "+ 3 for start, freeStart and end" cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. [cogMethod < methodZone limitZony] whileTrue: [cogMethod cmType ~= CMFree ifTrue: [count := count + 1]. cogMethod := methodZone methodAfter: cogMethod]. constituents := coInterpreter instantiateClass: coInterpreter classArray indexableSize: count * 2. constituents ifNil: [^constituents]. coInterpreter pushRemappableOop: constituents. ((label := objectMemory stringForCString: 'CogCode') isNil or: [(value := self positiveMachineIntegerFor: codeBase) isNil]) ifTrue: [^nil]. coInterpreter storePointerUnchecked: 0 ofObject: coInterpreter topRemappableOop withValue: label; storePointerUnchecked: 1 ofObject: coInterpreter topRemappableOop withValue: value. 0 to: trampolineTableIndex - 1 by: 2 do: [:i| ((label := objectMemory stringForCString: (trampolineAddresses at: i)) isNil or: [(value := self positiveMachineIntegerFor: (trampolineAddresses at: i + 1) asUnsignedInteger) isNil]) ifTrue: [coInterpreter popRemappableOop. ^nil]. coInterpreter storePointerUnchecked: 2 + i ofObject: coInterpreter topRemappableOop withValue: label; storePointerUnchecked: 3 + i ofObject: coInterpreter topRemappableOop withValue: value]. count := trampolineTableIndex + 2. cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. [cogMethod < methodZone limitZony] whileTrue: [cogMethod cmType ~= CMFree ifTrue: [coInterpreter storePointerUnchecked: count ofObject: coInterpreter topRemappableOop + withValue: (self valueOf: cogMethod). - withValue: (cogMethod cmType = CMMethod - ifTrue: [cogMethod methodObject] - ifFalse: [cogMethod selector]). value := withDetails ifFalse: [self positiveMachineIntegerFor: cogMethod asUnsignedInteger] ifTrue: [self collectCogMethodConstituent: cogMethod]. value ifNil: [coInterpreter popRemappableOop. ^nil]. coInterpreter storePointerUnchecked: count + 1 ofObject: coInterpreter topRemappableOop withValue: value. count := count + 2]. cogMethod := methodZone methodAfter: cogMethod]. ((label := objectMemory stringForCString: 'CCFree') isNil or: [(value := self positiveMachineIntegerFor: methodZone zoneFree) isNil]) ifTrue: [coInterpreter popRemappableOop. ^nil]. coInterpreter storePointerUnchecked: count ofObject: coInterpreter topRemappableOop withValue: label; storePointerUnchecked: count + 1 ofObject: coInterpreter topRemappableOop withValue: value. ((label := objectMemory stringForCString: 'CCEnd') isNil or: [(value := self positiveMachineIntegerFor: methodZone zoneEnd) isNil]) ifTrue: [coInterpreter popRemappableOop. ^nil]. coInterpreter storePointerUnchecked: count + 2 ofObject: coInterpreter topRemappableOop withValue: label; storePointerUnchecked: count + 3 ofObject: coInterpreter topRemappableOop withValue: value. constituents := coInterpreter popRemappableOop. coInterpreter beRootIfOld: constituents. ^constituents! Item was added: + ----- Method: Cogit>>createCPICData: (in category 'profiling primitives') ----- + createCPICData: cPIC + <var: #cPIC type: #'CogMethod *'> + | pc entryPoint targetMethod value array | + <var: #targetMethod type: #'CogMethod *'> + array := 1. + array := objectMemory instantiateClass: objectMemory classArray indexableSize: 1 + cPIC cPICNumCases. + objectMemory storePointerUnchecked: 0 ofObject: array withValue: cPIC selector. + 1 to: cPIC cPICNumCases do: + [:i| + pc := self addressOfEndOfCase: i inCPIC: cPIC. + entryPoint := i = 1 + ifTrue: [backEnd jumpLongTargetBeforeFollowingAddress: pc] + ifFalse: [backEnd jumpLongConditionalTargetBeforeFollowingAddress: pc]. + "Find target from jump. A jump to the MNU entry-point should collect #doesNotUnderstand:" + (cPIC containsAddress: entryPoint) + ifTrue: + [value := objectMemory splObj: SelectorDoesNotUnderstand] + ifFalse: + [targetMethod := self cCoerceSimple: entryPoint - cmNoCheckEntryOffset to: #'CogMethod *'. + self assert: targetMethod cmType = CMMethod. + value := targetMethod methodObject]. + objectMemory storePointer: i ofObject: array withValue: value]. + ^ array! Item was added: + ----- Method: Cogit>>valueOf: (in category 'profiling primitives') ----- + valueOf: cogMethod + "gives the type of the cogMethod and returns a CompiledMethod for a compiled method, a selector for an openPIC or an array containing a selector followed by the methods present in the closedPIC for a closedPIC" + + <var: #cogMethod type: #'CogMethod *'> + ^cogMethod cmType = CMMethod + ifTrue: [cogMethod methodObject] + ifFalse: [cogMethod cmType = CMClosedPIC + ifTrue: [self createCPICData: cogMethod.] + ifFalse: [cogMethod selector]] + !

1 0

[OpenSmalltalk/opensmalltalk-vm] 2e24d6: CogVM source as per VMMaker.oscog-eem.2260
by GitHub 10 Aug '17

10 Aug '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 2e24d6feac3644f476b6e50a44001663e71fbb8f https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/2e24d6feac3644f476… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-08-09 (Wed, 09 Aug 2017) Changed paths: M nsspur64src/vm/cogit.h M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M spur64src/vm/cogit.h M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spurlowcode64src/vm/cogit.h M spurlowcode64src/vm/cointerp.c M spurlowcode64src/vm/cointerp.h M spurlowcode64src/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestack64src/vm/gcc3x-interp.c M spurlowcodestack64src/vm/interp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spursista64src/vm/cogit.h M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2260 Fix Spur instantiateClass:indexableSize: for non-indexaqble objects. Old code would allocate if num indexable slots was 0, but would zero-fill. New code always fails.

1 0

VM Maker: VMMaker.oscog-eem.2260.mcz
by commits＠source.squeak.org 09 Aug '17

09 Aug '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2260.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2260 Author: eem Time: 9 August 2017, 1:37:32.145179 pm UUID: 1c83a01b-3423-408d-8adb-db126b0bddac Ancestors: VMMaker.oscog-eem.2259 Fix Spur instantiateClass:indexableSize: for non-indexaqble objects. Old code would allocate if num indexable slots was 0, but would zero-fill. New code has the fixed old code ifdef'ed out and always fails. We can make the old code work for Squeak if required, but since no one's noticed DirectoryEntry crashing the system this shouldn't be an issue. If peopel feel strongly about the ugly old code simply delete it. Fix Slang so that e.g. cppIf: (PharoVM or: [true]) ifTrue: aBlock => aBlock =============== Diff against VMMaker.oscog-eem.2259 =============== Item was changed: ----- Method: CCodeGenerator>>generateInlineCppIfElse:asArgument:on:indent: (in category 'C translation') ----- generateInlineCppIfElse: msgNode asArgument: asArgument on: aStream indent: level "Generate the C code for this message onto the given stream." | expr putStatement | "Compile-time expansion for constants set in the options dictionary, e.g. to cut down on noise for MULTIPLEBYTECODESETS." putStatement := asArgument ifTrue: "emitCCodeAsArgumentOn: doesn't indent, the code needs indenting if it takes multiple lines, so post-process." [[:node| | expansion | expansion := String streamContents: [:s| node emitCCodeAsArgumentOn: s level: level generator: self]. aStream nextPutAll: ((expansion includes: Character cr) ifTrue: [(String streamContents: [:s| s position > 0 ifTrue: [s tab: level + 1]. node emitCCodeAsArgumentOn: s level: level generator: self]) copyReplaceAll: (String with: Character cr) with: (String with: Character cr), (String new: level + 1 withAll: Character tab)] ifFalse: [expansion])]] ifFalse: [[:node| | expansion | expansion := String streamContents: [:s| node emitCCodeOn: s level: level generator: self]. "Remove tabs from first line to avoid indenting a second time" expansion ifNotEmpty: [expansion := expansion allButFirst: (expansion findFirst: [:c| c ~~ Character tab]) - 1]. aStream nextPutAll: expansion]]. + (self nilOrBooleanConditionFor: msgNode args first) ifNotNil: - (self nilOrBooleanConditionFor: msgNode) ifNotNil: [:condition| condition ifTrue: [putStatement value: msgNode args second] ifFalse: [msgNode args size >= 3 ifTrue: [putStatement value: msgNode args third]]. ^self]. "Full #if ... #else..." putStatement := asArgument ifTrue: "emitCCodeAsArgumentOn: doesn't indent, the code needs indenting in this case, so post-process." [[:node| aStream nextPutAll: ((String streamContents: [:s| s next: level + 1 put: Character tab. node emitCCodeAsArgumentOn: s level: level generator: self]) copyReplaceAll: (String with: Character cr) with: (String with: Character cr), (String new: level + 1 withAll: Character tab))]] ifFalse: [[:node| node emitCCodeOn: aStream level: level generator: self]]. expr := String streamContents: [:es| msgNode args first emitCCodeAsArgumentOn: es level: 0 generator: self]. [expr last isSeparator] whileTrue: [expr := expr allButLast]. aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'if '; nextPutAll: expr; cr. self with: msgNode args first ifAppropriateSetTo: true do: [putStatement value: msgNode args second]. expr := ' /* ', expr, ' */'. msgNode args size >= 3 ifTrue: [aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'else'; nextPutAll: expr; cr. self with: msgNode args first ifAppropriateSetTo: false do: [putStatement value: msgNode args third]]. aStream ensureCr; nextPut: $#; next: level * 2 put: Character space; nextPutAll: 'endif'; nextPutAll: expr; cr. asArgument ifTrue: [aStream next: level + 1 put: Character tab]! Item was changed: ----- Method: CCodeGenerator>>nilOrBooleanConstantReceiverOf: (in category 'utilities') ----- nilOrBooleanConstantReceiverOf: aNode "Answer nil or the boolean constant that is the receiver of the given message send. Used to suppress conditional code when the condition is a translation-time constant." | val receiver argument arms | generateDeadCode ifTrue:[^nil]. ((self isConstantNode: aNode valueInto: [:v| val := v]) and: [#(true false) includes: val]) ifTrue: [^val]. aNode isSend ifTrue: [aNode selector == #not ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode receiver) ifNotNil: [:bool| ^bool not]]. ((#(isNil notNil) includes: aNode selector) and: [self isNilConstantReceiverOf: aNode]) ifTrue: [^aNode selector == #isNil]. ((#(or: and:) includes: aNode selector) and: [aNode args last isStmtList and: [aNode args last statements size = 1]]) ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode receiver) ifNotNil: [:rcvr| ((rcvr == false and: [aNode selector == #and:]) or: [rcvr == true and: [aNode selector == #or:]]) ifTrue: [^rcvr]. (self nilOrBooleanConstantReceiverOf: aNode args last statements first) ifNotNil: [:arg| ^rcvr perform: aNode selector with: [arg]]]. + "We can also eliminate expr and: [false], expr or: [true], but only if expr is side-effect free. - "We can also eliminate expr and: [false], but only if expr is side-effect free. This is a weak test; we don't traverse calls. Caveat emptor!!" + ((aNode receiver noneSatisfy: [:node| node isAssignment]) "No side-effects in the elided expression" + and: [aNode args last statements size = 1]) ifTrue: - (aNode selector == #and: - and: [(aNode receiver noneSatisfy: [:node| node isAssignment]) "No side-effects in the elided expression" - and: [aNode args last statements size = 1]]) ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode args last statements first) ifNotNil: [:arg| + ((arg == false and: [aNode selector == #and:]) + or: [arg == true and: [aNode selector == #or:]]) ifTrue: - arg ifFalse: [^arg]]]]. "Look for Const ifTrue: [self foo] ifFalse: [false] => false" ((#(ifTrue:ifFalse: ifFalse:ifTrue:) includes: aNode selector) and: [(self isConstantNode: aNode receiver valueInto: [:v| val := v]) and: [(#(true false) includes: val) and: [arms := aNode args collect: [:altBlock| | bval | (altBlock statements size = 1 and: [(self isConstantNode: altBlock statements last valueInto: [:v| bval := v]) and: [#(true false) includes: bval]]) ifTrue: [bval]]. arms asArray ~= #(nil nil)]]]) ifTrue: [| arm | arm := aNode selector == #ifTrue:ifFalse: == val ifTrue: [arms first] ifFalse: [arms last]. (#(true false) includes: arm) ifTrue: [^arm]]. ((#(= ~= < > <= >=) includes: aNode selector) and: [(self isConstantNode: aNode receiver valueInto: [:v| receiver := v]) and: [receiver isInteger and: [(self isConstantNode: aNode args first valueInto: [:v| argument := v]) and: [argument isInteger]]]]) ifTrue: [^receiver perform: aNode selector with: argument]. "Inlining for e.g. CharacterTable ifNil: [...] ifNotNil: [...]], which compiles to CharacterTable == nil ifTrue: [...] ifFalse: [...]" (aNode selector == #== and: [aNode args first isVariable and: [aNode args first name = 'nil' and: [aNode receiver isConstant and: [aNode receiver value == nil]]]]) ifTrue: [^true]]. ^nil! Item was changed: ----- Method: Spur32BitMemoryManager>>instantiateClass:indexableSize: (in category 'instantiation') ----- instantiateClass: classObj indexableSize: nElements <api> <var: #nElements type: #usqInt> "Allocate an instance of a variable class, excepting CompiledMethod." | instSpec classFormat numSlots classIndex newObj fillValue | classFormat := self formatOfClass: classObj. instSpec := self instSpecOfClassFormat: classFormat. classIndex := self rawHashBitsOf: classObj. fillValue := 0. instSpec caseOf: { [self arrayFormat] -> [numSlots := nElements. fillValue := nilObj]. [self indexablePointersFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self weakArrayFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self sixtyFourBitIndexableFormat] -> [nElements > (self maxSlotsForAlloc / 2) ifTrue: [coInterpreter primitiveFailFor: PrimErrUnsupported. ^nil]. numSlots := nElements * 2]. [self firstLongFormat] -> [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: [coInterpreter primitiveFailFor: PrimErrBadReceiver. ^nil]. numSlots := nElements]. [self firstShortFormat] -> [numSlots := nElements + 1 // 2. instSpec := instSpec + (nElements bitAnd: 1)]. [self firstByteFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)] } + otherwise: "non-indexable" + [self cppIf: (PharoVM or: [true]) "Leave the old code but ignore it completely unless someone complains." + ifTrue: + [^nil] + ifFalse: + ["some Squeak images include funky fixed subclasses of abstract variable + superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. + Allow fixed classes to be instantiated here iff nElements = 0." - otherwise: ["some Squeak images include funky fixed subclasses of abstract variable - superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. - Allow fixed classes to be instantiated here iff nElements = 0." (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: [^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + fillValue := nilObj]]. - numSlots := self fixedFieldsOfClassFormat: classFormat]. "non-indexable" classIndex = 0 ifTrue: [classIndex := self ensureBehaviorHash: classObj. classIndex < 0 ifTrue: [coInterpreter primitiveFailFor: classIndex negated. ^nil]]. numSlots > self maxSlotsForNewSpaceAlloc ifTrue: [numSlots > self maxSlotsForAlloc ifTrue: [coInterpreter primitiveFailFor: PrimErrUnsupported. ^nil]. newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] ifFalse: [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. newObj ifNotNil: [self fillObj: newObj numSlots: numSlots with: fillValue]. ^newObj! Item was changed: ----- Method: Spur64BitMemoryManager>>instantiateClass:indexableSize: (in category 'instantiation') ----- instantiateClass: classObj indexableSize: nElements <api> <var: #nElements type: #usqInt> "Allocate an instance of a variable class, excepting CompiledMethod." | instSpec classFormat numSlots classIndex newObj fillValue | classFormat := self formatOfClass: classObj. instSpec := self instSpecOfClassFormat: classFormat. classIndex := self rawHashBitsOf: classObj. fillValue := 0. instSpec caseOf: { [self arrayFormat] -> [numSlots := nElements. fillValue := nilObj]. [self indexablePointersFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self weakArrayFormat] -> [numSlots := (self fixedFieldsOfClassFormat: classFormat) + nElements. fillValue := nilObj]. [self sixtyFourBitIndexableFormat] -> [numSlots := nElements]. [self firstLongFormat] -> [(classIndex = ClassFloatCompactIndex and: [nElements ~= 2]) ifTrue: [coInterpreter primitiveFailFor: PrimErrBadReceiver. ^nil]. numSlots := nElements + 1 // 2. instSpec := instSpec + (nElements bitAnd: 1)]. [self firstShortFormat] -> [numSlots := nElements + 3 // 4. instSpec := instSpec + (4 - nElements bitAnd: 3)]. [self firstByteFormat] -> [numSlots := nElements + 7 // 8. instSpec := instSpec + (8 - nElements bitAnd: 7)] } + otherwise: "non-indexable" + [self cppIf: (PharoVM or: [true]) "Leave the old code but ignore it completely unless someone complains." + ifTrue: + [^nil] + ifFalse: + ["some Squeak images include funky fixed subclasses of abstract variable + superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. + Allow fixed classes to be instantiated here iff nElements = 0." - otherwise: ["some Squeak images include funky fixed subclasses of abstract variable - superclasses. e.g. DirectoryEntry as a subclass of ArrayedCollection. - Allow fixed classes to be instantiated here iff nElements = 0." (nElements ~= 0 or: [instSpec > self lastPointerFormat]) ifTrue: [^nil]. + numSlots := self fixedFieldsOfClassFormat: classFormat. + fillValue := nilObj]]. - numSlots := self fixedFieldsOfClassFormat: classFormat]. "non-indexable" classIndex = 0 ifTrue: [classIndex := self ensureBehaviorHash: classObj. classIndex < 0 ifTrue: [coInterpreter primitiveFailFor: classIndex negated. ^nil]]. numSlots > self maxSlotsForNewSpaceAlloc ifTrue: [numSlots > self maxSlotsForAlloc ifTrue: [coInterpreter primitiveFailFor: PrimErrUnsupported. ^nil]. newObj := self allocateSlotsInOldSpace: numSlots format: instSpec classIndex: classIndex] ifFalse: [newObj := self allocateSlots: numSlots format: instSpec classIndex: classIndex]. newObj ifNotNil: [self fillObj: newObj numSlots: numSlots with: fillValue]. ^newObj!

1 0

[OpenSmalltalk/opensmalltalk-vm] fe0afe: CogVM source as per VMMaker.oscog-eem.2259
by GitHub 08 Aug '17

08 Aug '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: fe0afe985ff50f537834149aedaebe97d0ee290c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/fe0afe985ff50f5378… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2017-08-08 (Tue, 08 Aug 2017) Changed paths: M src/plugins/HostWindowPlugin/HostWindowPlugin.c M src/plugins/SerialPlugin/SerialPlugin.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2259 Plugin Slang Have the accessor depths of optional primitives emitted as conditionals.

1 0

VM Maker: VMMaker.oscog-eem.2259.mcz
by commits＠source.squeak.org 08 Aug '17

08 Aug '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2259.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2259 Author: eem Time: 8 August 2017, 12:37:11.878857 pm UUID: 2f1fc238-68f1-4f4c-96c6-ed2af969b6d2 Ancestors: VMMaker.oscog-eem.2258 Plugin Slang Make sure the accessor depths of optional primitives are emitted as conditionals. =============== Diff against VMMaker.oscog-eem.2257 =============== Item was changed: ----- Method: CCodeGenerator>>emitExportsNamed:pluginName:on: (in category 'C code generator') ----- emitExportsNamed: exportsNamePrefix pluginName: pluginName on: aStream "Store all the exported primitives in the form used by the internal named prim system." | nilVMClass excludeDepth | (nilVMClass := vmClass isNil) ifTrue: "We need a vmClass temporarily to compute accessor depths." [vmClass := StackInterpreter]. "Don't include the depth in the vm's named primitives if the vm is non-Spur." excludeDepth := exportsNamePrefix = 'vm' and: [pluginName isEmpty and: [vmClass objectMemoryClass hasSpurMemoryManagerAPI not]]. aStream cr; cr; nextPutAll: 'static char _m[] = "'; nextPutAll: pluginName; nextPutAll: '";'. aStream cr; nextPutAll: 'void* '; nextPutAll: exportsNamePrefix; nextPutAll: '_exports[][3] = {'; cr. + self sortedExportMethods do: + [:method| + self withOptionalConditionalDefineFor: method + on: aStream + do: [| primName | + primName := self cFunctionNameFor: method selector. + aStream tab; nextPutAll: '{(void*)_m, "'; nextPutAll: primName. + excludeDepth ifFalse: + [(self accessorDepthForSelector: primName asSymbol) ifNotNil: + [:depth| "store the accessor depth in a hidden byte immediately after the primName" + self assert: depth < 128. + aStream + nextPutAll: '\000\'; + nextPutAll: ((depth bitAnd: 255) printStringBase: 8 nDigits: 3)]]. + aStream nextPutAll: '", (void*)'; nextPutAll: primName; nextPutAll: '},'; cr]]. - ((methods select: [:m| m export]) asSortedCollection: [:a :b| a selector caseSensitiveLessOrEqual: b selector]) do: - [:method| | compileTimeOptionPragmas primName | - (compileTimeOptionPragmas := method compileTimeOptionPragmas) notEmpty ifTrue: - [method outputConditionalDefineFor: compileTimeOptionPragmas on: aStream]. - primName := self cFunctionNameFor: method selector. - aStream tab; nextPutAll: '{(void*)_m, "'; nextPutAll: primName. - excludeDepth ifFalse: - [(self accessorDepthForSelector: primName asSymbol) ifNotNil: - [:depth| "store the accessor depth in a hidden byte immediately after the primName" - self assert: depth < 128. - aStream - nextPutAll: '\000\'; - nextPutAll: ((depth bitAnd: 255) printStringBase: 8 nDigits: 3)]]. - aStream nextPutAll: '", (void*)'; nextPutAll: primName; nextPutAll: '},'; cr. - method terminateConditionalDefineFor: compileTimeOptionPragmas on: aStream]. aStream tab; nextPutAll: '{NULL, NULL, NULL}'; cr; nextPutAll: '};'; cr. nilVMClass ifTrue: [vmClass := nil]! Item was changed: ----- Method: CCodeGenerator>>promoteIntegerArithmeticTypes:and: (in category 'type inference') ----- promoteIntegerArithmeticTypes: firstType and: secondType "Answer the return type for an arithmetic send. Deal with integer promotion rules of C99. See section 6.3 Conversions of the standard. 6.3.1.1 ...snip... If an int can represent all values of the original type, the value is converted to an int; otherwise, it is converted to an unsigned int. These are called the integer promotions. + All other types are unchanged by the integer promotions - All other types are unchanged by the inte ger promotions 6.3.1.8 ...snip... Otherwise, the integer promotions are performed on both operands Then the following rules are applied to the promoted operands: If both operands have the same type, then no further conversion is needed. Otherwise, if both operands have signed integer types or both have unsigned integer types, the operand with the type of lesser integer conversion rank is converted to the type of the operand with greater rank. Otherwise, if the operand that has unsigned integer type has rank greater or equal to the rank of the type of the other operand, then the operand with signed integer type is converted to the type of the operand with unsigned integer type. Otherwise, if the type of the operand with signed integer type can represent all of the values of the type of the operand with unsigned integer type, then the operand with unsigned integer type is converted to the type of the operand with signed integer type. Otherwise, both operands are converted to the unsigned integer type corresponding to the type of the operand with signed integer type. + This is so that the generated code behaviour is insensitive to inlining." - This is so that the generated code behaviour is unsensitive to inlining." | length1 length2 intSize | length1 := self sizeOfIntegralCType: firstType. length2 := self sizeOfIntegralCType: secondType. intSize := self sizeOfIntegralCType: #int. (length1 < intSize and: [length2 < intSize]) ifTrue: [^#int]. "Integer promotion" length1 > length2 ifTrue: [^firstType]. length2 > length1 ifTrue: [^secondType]. firstType first = $u ifTrue: [^firstType]. secondType first = $u ifTrue: [^secondType]. ^firstType! Item was added: + ----- Method: CCodeGenerator>>sortedExportMethods (in category 'public') ----- + sortedExportMethods + "Answer a suitably-sorted array of all exported TMethods" + ^(methods select: [:m| m export]) asSortedCollection: [:a :b| a selector caseSensitiveLessOrEqual: b selector]! Item was added: + ----- Method: CCodeGenerator>>withOptionalConditionalDefineFor:on:do: (in category 'C code generator') ----- + withOptionalConditionalDefineFor: aTMethod on: aStream do: aBlock + "Evaluate aBlock, surrounded by an appropriate conditional define added to the stream if required." + | compileTimeOptionPragmas | + (compileTimeOptionPragmas := aTMethod compileTimeOptionPragmas) notEmpty ifTrue: + [aTMethod outputConditionalDefineFor: compileTimeOptionPragmas on: aStream]. + aBlock value. + aTMethod terminateConditionalDefineFor: compileTimeOptionPragmas on: aStream! Item was changed: ----- Method: VMMaker class>>makerFor:and:with:to:platformDir: (in category 'utilities') ----- makerFor: interpreterClass and: cogitClassOrNil with: optionsPairsArrayArg to: srcDirName platformDir: platDirName "Initialize a VMMaker to generate the VM to the given target directory. Include plugins in pluginList. Example: (VMMaker generate: NewspeakInterpreter to: (FileDirectory default pathFromURI: 'cogvm/newspeaksrc') platformDir: (FileDirectory default pathFromURI: 'cogvm/platforms') including:#( AsynchFilePlugin FloatArrayPlugin RePlugin B2DPlugin FloatMathPlugin SecurityPlugin BMPReadWriterPlugin IA32ABI SocketPlugin BitBltPlugin JPEGReadWriter2Plugin SurfacePlugin DSAPrims JPEGReaderPlugin UUIDPlugin DropPlugin LargeIntegers UnixOSProcessPlugin FileCopyPlugin Matrix2x3Plugin Win32OSProcessPlugin FilePlugin MiscPrimitivePlugin ZipPlugin))" | maker optionsPairsArray | maker := self forPlatform: 'Cross'. maker sourceDirectoryName: srcDirName. maker platformRootDirectoryName: platDirName. maker interpreterClass: interpreterClass. optionsPairsArray := (cogitClassOrNil isNil or: [optionsPairsArrayArg includes: #Cogit]) + ifTrue: [optionsPairsArrayArg] + ifFalse: [optionsPairsArrayArg, { #Cogit. cogitClassOrNil name }]. - ifNil: [optionsPairsArrayArg] - ifNotNil: [optionsPairsArrayArg, { #Cogit. cogitClassOrNil name }]. maker options: optionsPairsArray. ^maker ! Item was changed: ----- Method: VMPluginCodeGenerator>>emitAccessorDepthsOn: (in category 'C code generator') ----- emitAccessorDepthsOn: aStream "Output accessor depth bytes for all primitives in the plugin. This is for external primitives in Spur." + self sortedExportMethods do: + [:method| | primName | + primName := self cFunctionNameFor: method selector. - (self sortStrings: self exportedPrimitiveNames) do: - [:primName| (self accessorDepthForSelector: primName asSymbol) ifNotNil: [:depth| "store the accessor depth in a byte variable; save a little space by omitting depths < 0; support code supplies the default." self assert: depth < 128. depth >= 0 ifTrue: + [self withOptionalConditionalDefineFor: method + on: aStream + do: [aStream + nextPutAll: 'signed char '; + nextPutAll: primName; + nextPutAll: 'AccessorDepth = '; + nextPutAll: (self cLiteralFor: depth); + nextPut: $;; + cr]]]]! - [aStream - nextPutAll: 'signed char '; - nextPutAll: primName; - nextPutAll: 'AccessorDepth = '; - nextPutAll: (self cLiteralFor: depth); - nextPut: $;; - cr]]]! Item was changed: ----- Method: VMPluginCodeGenerator>>emitExportsOn: (in category 'C code generator') ----- emitExportsOn: aStream "Store all the exported primitives in the form used by the internal named prim system." + | nilVMClass | + (nilVMClass := vmClass isNil) ifTrue: "We need a vmClass temporarily to compute accessor depths." + [vmClass := StackInterpreter]. aStream cr; cr; nextPutAll:'#ifdef SQUEAK_BUILTIN_PLUGIN'. self emitExportsNamed: pluginClass moduleName pluginName: pluginClass moduleExportsName on: aStream. aStream cr; nextPutAll: '#else /* ifdef SQ_BUILTIN_PLUGIN */'; cr; cr. self emitAccessorDepthsOn: aStream. + aStream cr; nextPutAll: '#endif /* ifdef SQ_BUILTIN_PLUGIN */'; cr. + nilVMClass ifTrue: + [vmClass := nil]! - aStream cr; nextPutAll: '#endif /* ifdef SQ_BUILTIN_PLUGIN */'; cr! Item was added: + ----- Method: VMPluginCodeGenerator>>sizeOfIntegralCType: (in category 'inlining') ----- + sizeOfIntegralCType: anIntegralCType "<String>" + "Hack; because the plugin sources are compiled either as 32 or 64 bit + size those types which are either 32 or 64 bits in size as 48 bits. + This happens to produce sane results for integer promotion." + "N.B. Only works for values for which isIntegralCType: answers true." + | prunedCType index | + (anIntegralCType beginsWith: 'register ') ifTrue: + [^self sizeOfIntegralCType: (anIntegralCType allButFirst: 9)]. + prunedCType := (anIntegralCType beginsWith: 'unsigned ') + ifTrue: [(anIntegralCType allButFirst: 9) withBlanksTrimmed] + ifFalse: [(anIntegralCType beginsWith: 'signed ') + ifTrue: [(anIntegralCType allButFirst: 7) withBlanksTrimmed] + ifFalse: [anIntegralCType]]. + + ^prunedCType asString caseOf: { + ['sqLong'] -> [8]. + ['usqLong'] -> [8]. + ['long long'] -> [8]. + ['sqInt'] -> [6]. + ['usqInt'] -> [6]. + ['sqIntptr_t'] -> [6]. + ['usqIntptr_t'] -> [6]. + ['int'] -> [4]. + ['short'] -> [2]. + ['short int'] -> [2]. + ['char'] -> [1]. + ['long'] -> [BytesPerWord]. "It's ambiguous on LLP64 and we'll later remove it" + ['size_t'] -> [6]. + ['pid_t'] -> [6]. + } + otherwise: + [((anIntegralCType beginsWith: 'unsigned') "e.g. 'unsigned : 8'" + and: [(anIntegralCType includesAnyOf: '[*]') not + and: [(index := anIntegralCType indexOf: $:) > 0]]) + ifTrue: [(Integer readFrom: (anIntegralCType copyFrom: index + 1 to: anIntegralCType size) withBlanksTrimmed readStream) + 7 // 8] + ifFalse: [self error: 'unrecognized integral type']]!

1 0

Re: [Vm-dev] [Pharo-dev] Segmentation fault Pharo 6.1 64bit vm - Ubuntu Linux - loading Metacello dependency
by Guillermo Polito 07 Aug '17

07 Aug '17

Hi, we are experiencing the same in the 64 bit builds. The crashes happen all the time in the same build step: loading a large metacello baseline. In 32 bits the same script runs smoothly. Just not enough time to look at it yet. Maybe somebody from the VM side can take a look. I cc vm-dev. https://ci.inria.fr/pharo-ci-jenkins2/job/test%20multibranch%20pipeline/vie… The crash always happens (by reading the stack) while manipulating strings/streams. Guille On Mon, Aug 7, 2017 at 6:23 PM, Tim Mackinnon <tim(a)testit.works> wrote: > I just got another segmentation fault again on my Ubuntu build server - > similar to the one I first reported, but further down its processing (still > while loading metacello pre-reqs but further down the list of loading > packages)… > > Not sure if there is anything useful I can pull from the build artefacts > or whether to report this somewhere useful? > > Tim > > Fetched -> XML-Writer-Tests-monty.37 --- http://smalltalkhub.com/mc/ > PharoExtras/XMLWriter/main/ --- http://smalltalkhub.com/mc/ > PharoExtras/XMLWriter/main/ > Project: BitmapCharacterSet stable [1.2.6] > Fetched -> Collections-BitmapCharacterSet-monty.25 --- > http://smalltalkhub.com/mc/PharoExtras/BitmapCharacterSet/main/ --- > http://smalltalkhub.com/mc/PharoExtras/BitmapCharacterSet/main/ > Project: OrderPreservingDictionary 1.3.7 > Segmentation fault Mon Aug 7 16:16:38 2017 > > > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942/pharo > Pharo VM version: 5.0-201707201942 Thu Jul 20 20:42:13 UTC 2017 gcc 4.6.3 > [Production Spur 64-bit ITHB VM] > Built from: CoInterpreter VMMaker.oscog-eem.2254 uuid: > 4f2c2cce-f4a2-469a-93f1-97ed941df0ad Jul 20 2017 > With: StackToRegisterMappingCogit VMMaker.oscog-eem.2252 uuid: > 2f3e9b0e-ecd3-4adf-b092-cce2e2587a5c Jul 20 2017 > Revision: VM: 201707201942 https://github.com/OpenSmalltalk/opensmalltalk- > vm.git $ Date: Thu Jul 20 12:42:21 2017 -0700 $ Plugins: 201707201942 > https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ > Build host: Linux testing-gce-2c303f4c-2b90-4f17-b8b9-ec690d977073 > 3.13.0-115-generic #162~precise1-Ubuntu SMP Fri Mar 24 16:47:06 UTC 2017 > x86_64 x86_64 x86_64 GNU/Linux > plugin path: /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942 > [default: /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/] > > > C stack backtrace & registers: > rax 0x2f1c3240 rbx 0x2f1c30d0 rcx 0x2f1c32f8 rdx 0x2f1c3188 > rdi 0x2f1c2ea8 rsi 0x2f1c2ea8 rbp 0x2f1c3018 rsp 0x2f1c33b0 > r8 0x2f1c28e8 r9 0x2f1c29a0 r10 0x2f1c2a58 r11 0x2f1c2b10 > r12 0x2f1c2bc8 r13 0x2f1c2c80 r14 0x2f1c2d38 r15 0x2f1c2df0 > rip 0x2f1c3468 > *[0x7ffe2f1c3468] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x41cd91] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x41d11f] > /lib/x86_64-linux-gnu/libpthread.so.0(+0x11670)[0x7fa38847a670] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x436452] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942/pharo( > ceBaseFrameReturn+0xc1)[0x45bec1] > [0x220124e] > [0x0] > > > Smalltalk stack dump: > > Most recent primitives > compare:with:collated: > compare:with:collated: > at: > value > - > // > // > // > // > // > new: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > > stack page bytes 8192 available headroom 5576 minimum unused headroom 5936 > > (Segmentation fault) > ./pharo: line 11: 301 Aborted (core dumped) "$DIR"/"pharo-vm/pharo" > --nodisplay "$@" > > ls -lh Pharo.* > > On 31 Jul 2017, at 23:23, Tim Mackinnon <tim(a)testit.works> wrote: > > Hi - I just got a seg fault on my Gitlab CI server when trying to load a > metacello baseline via the st command line hander. > > > $ ./pharo Pharo.image --no-default-preferences --save --quit st > loadLocal.st <http://loadlocal.st/> config.st "{'$AWS_ACCESS_KEY_ID'. > '$AWS_SECRET_ACCESS_KEY'. '$AWS_DEFAULT_REGION'. '$S3_BUCKET'}" |& tee > LoadLocal.log > > Fetched -> BaselineOfLambda-cypress.1 --- filetree:///builds/macta/ > PharoLambda/src [:] --- filetree:///builds/macta/PharoLambda/src > Loaded -> BaselineOfLambda-cypress.1 --- filetree:///builds/macta/ > PharoLambda/src [:] --- filetree:///builds/macta/PharoLambda/src > Loading baseline of BaselineOfLambda... > Fetched -> BaselineOfAWS-ShoYoshida.12 --- github://newapplesho/aws-sdk- > smalltalk:v1.10/pharo-repository [9149805:v1.10] --- > github://newapplesho/aws-sdk-smalltalk:v1.10/pharo-repository > Loaded -> BaselineOfAWS-ShoYoshida.12 --- github://newapplesho/aws-sdk- > smalltalk:v1.10/pharo-repository [9149805:v1.10] --- > github://newapplesho/aws-sdk-smalltalk:v1.10/pharo-repository > Fetched -> ConfigurationOfZTimestamp-SvenVanCaekenberghe.25 --- > http://mc.stfx.eu/Neo --- http://mc.stfx.eu/Neo > Loaded -> ConfigurationOfZTimestamp-SvenVanCaekenberghe.25 --- > http://mc.stfx.eu/Neo --- http://mc.stfx.eu/Neo > Project: ZTimestamp stable [20] > Fetched -> ZTimestamp-SvenVanCaekenberghe.57 --- http://mc.stfx.eu/Neo > --- http://mc.stfx.eu/Neo > Project: AWS baseline > Segmentation fault Mon Jul 31 22:18:27 2017 > > > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942/pharo > Pharo VM version: 5.0-201707201942 Thu Jul 20 20:42:13 UTC 2017 gcc 4.6.3 > [Production Spur 64-bit ITHB VM] > Built from: CoInterpreter VMMaker.oscog-eem.2254 uuid: > 4f2c2cce-f4a2-469a-93f1-97ed941df0ad Jul 20 2017 > With: StackToRegisterMappingCogit VMMaker.oscog-eem.2252 uuid: > 2f3e9b0e-ecd3-4adf-b092-cce2e2587a5c Jul 20 2017 > Revision: VM: 201707201942 https://github.com/OpenSmalltalk/opensmalltalk- > vm.git $ Date: Thu Jul 20 12:42:21 2017 -0700 $ Plugins: 201707201942 > https://github.com/OpenSmalltalk/opensmalltalk-vm.git $ > Build host: Linux testing-gce-2c303f4c-2b90-4f17-b8b9-ec690d977073 > 3.13.0-115-generic #162~precise1-Ubuntu SMP Fri Mar 24 16:47:06 UTC 2017 > x86_64 x86_64 x86_64 GNU/Linux > plugin path: /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942 > [default: /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/] > > > C stack backtrace & registers: > rax 0xa41278c0 rbx 0xa4127750 rcx 0xa4127978 rdx 0xa4127808 > rdi 0xa4127528 rsi 0xa4127528 rbp 0xa4127698 rsp 0xa4127a30 > r8 0xa4126f68 r9 0xa4127020 r10 0xa41270d8 r11 0xa4127190 > r12 0xa4127248 r13 0xa4127300 r14 0xa41273b8 r15 0xa4127470 > rip 0xa4127ae8 > *[0x7fffa4127ae8] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x41cd91] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x41d11f] > /lib/x86_64-linux-gnu/libpthread.so.0(+0x11670)[0x7efe11ad9670] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0- > 201707201942/pharo[0x43645f] > /builds/macta/PharoLambda/build/pharo-vm/lib/pharo/5.0-201707201942/pharo( > ceBaseFrameReturn+0xc1)[0x45bec1] > [0x260124e] > [0x0] > > > Smalltalk stack dump: > > Most recent primitives > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > basicAtLeast: > basicAtLeast: > new: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > compare:with:collated: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > compare:with:collated: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > stringHash:initialHash: > > stack page bytes 8192 available headroom 5576 minimum unused headroom 5976 > > > The script being run was - and it seg’d on the first Metacello invocation > when reading in a dependent spec. > > "CmdLine script to load project" > > | stdout | > stdout := FileStream stdout > wantsLineEndConversion: true; > converter; > yourself. > > "Add missing STON dependency in minimal image" > Smalltalk at: #STON ifAbsent: [ > stdout nextPutAll: 'Loading missing STON'; cr. > Gofer new > url: 'http://ss3.gemstone.com/ss/STON'; > package: 'STON-Core'; > load. > > "Fix-up issue with Undeclared not firing a change in minimal image" > { MCFileTreeRepository. MCFileTreeStCypressReader. MCFileTreeAbstractReader } do: [:c | c compileAll ] > ]. > > "Create a stub TestCase (if needed) for packages not minimally defined" > Smalltalk at: #TestCase ifAbsent: [ > stdout nextPutAll: 'Creating missing TestCase'; cr. > Object subclass: #TestCase ]. > > Metacello new > repository: 'filetree://../src'; > baseline: 'Lambda'; > load. > > Metacello new > repository: 'filetree://../src'; > baseline: 'LambdaRuntime'; > load. > > Smalltalk at: #IceRepositoriesBrowser ifPresent: [ :i | > stdout nextPutAll: 'Removing rogue ', i name; cr. > i allInstances do: [:b | b become: String new ]]. > > Smalltalk at: #OmSessionStore ifPresent: [ :i | > stdout nextPutAll: 'Unregistering ', i name; cr. > SessionManager default unregisterClassNamed: i name ]. > > SmalltalkImage current garbageCollect. > > > > -- Guille Polito Research Engineer French National Center for Scientific Research - *http://www.cnrs.fr* <http://www.cnrs.fr> *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13

1 0

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

03 Aug '17

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

4 7

Re: [Vm-dev] [vwnc] Live Programming in Smalltalk development environments survey + raffle
by Juraj Kubelka 03 Aug '17

03 Aug '17

Hi Helge, we are targeting it to ICSE 2018. With crossed fingers it will happen :-) Cheers, Juraj > El 03-08-2017, a las 10:30, Nowak, Helge <HNowak(a)cincom.com> escribió: > > Dear Juraj, Romain and Alexandre, <> > > this is indeed an interesting piece of research! Where will you publish the results with detailed analysis? > > Cheers > Helge > > Helge Nowak > Cincom Smalltalk Technical Account Manager EMEA > <image001.png> <http://www.cincomsmalltalk.com/> > Cincom Systems GmbH & Co. oHG > Am Kronberger Hang 4 > 65824 Schwalbach/Ts. > GERMANY > office > mobile > fax > > website > email > +49 89 89 66 44 94 > +49 172 74 00 402 > +49 89 89 66 44 95 > > http://www.cincomsmalltalk.com <http://www.cincomsmalltalk.com/> > hnowak(a)cincom.com <mailto:hnowak@cincom.com> > A standpoint is an intellectual horizon of radius zero. -- Albert Einstein > > Geschäftsführer/Managing Directors: Thomas M. Nies, Donald E. Vick > oHG mit Sitz/based in Schwalbach/Ts. (Amtsgericht Königstein/Ts. HRA 2653) > Pers. haftender Gesellschafter/Partner liable to unlimited extent: > Cincom Systems Verwaltungsgesellschaft mbH (Amtsgericht Königstein/Ts. HRB 5069) > > --- CONFIDENTIALITY STATEMENT --- > This e-mail transmission contains information that is intended to be privileged and confidential. It is intended only for the addressee named above. If you receive this e-mail in error, please do not read, copy or disseminate it in any manner. If you are not the intended recipient, any disclosure, copying, distribution or use of the contents of this information is prohibited, please reply to the message immediately by informing the sender that the message was misdirected. After replying, please erase it from your computer system. Your assistance in correcting this error is appreciated. > > > Von: Juraj Kubelka [mailto:juraj.kubelka@icloud.com] > Gesendet: Donnerstag, 3. August 2017 09:31 > An: Any question about pharo is welcome <pharo-users(a)lists.pharo.org>; Pharo Development List <pharo-dev(a)lists.pharo.org>; Squeak Virtual Machine Development Discussion <vm-dev(a)lists.squeakfoundation.org>; squeak-dev(a)lists.squeakfoundation.org; vwnc(a)lists.cs.illinois.edu > Betreff: [vwnc] Live Programming in Smalltalk development environments survey + raffle > > — “We are apologize for multiple copies.” — > > Dear Smalltalker, > > Live programming frees developers from the "edit-compile-run" loop and allows people to interact with running programs very easily. Live programming is getting popular, but many of its features have > been present in Smalltalk for a very long time. > > We want to understand how Smalltalk software developers use live programming features in practice. We would be grateful if you could participate in our 10-minute survey on this subject: > http://bit.ly/2ufcg2D <http://bit.ly/2ufcg2D> > > As a thank you for your participation, you will be able to participate in a raffle to win a Smalltalk book of your choice. If you wish to participate, you will need to share your email with us, so > that we can contact you. > We will appreciate if you share the survey > - Twitter post: https://twitter.com/JurajKubelka/status/893006267085709312 <https://twitter.com/JurajKubelka/status/893006267085709312> > - Facebook post: https://www.facebook.com/juraj.kubelka/posts/10212505941300008 <https://www.facebook.com/juraj.kubelka/posts/10212505941300008> > > By participating in the survey you will: > - help me to successfully finish my PhD, > - push Smalltalk awareness in Live Programming research community, > - bring new integrated electronic communication ideas, and > - bring new ideas to improve our Smalltalk Live Programming experience :-) > > We will close the survey on Wednesday, August 9, 2017 AoE. > > Thank you and we really hope you enjoy participating in our survey! > > Juraj Kubelka, PhD Student at the University of Chile > > Romain Robbes, Professor at Free University of Bozen-Bolzano > > Alexandre Bergel, Professor at the University of Chile

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev August 2017