Vm-dev September 2017

vm-dev@lists.squeakfoundation.org

27 participants
18 discussions

StackInterp/Cog>>transferTo: - assertValidExecutionPointe:r:s differences
by Ben Coman 06 May '18

06 May '18

Just curious about the difference in instructionPointer between these two... StackInterpreter>>transferTo: self assertValidExecutionPointe: instructionPointer + 1 r: framePointer s: stackPointer. CoIntepreter>>transferTo:from: self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer. cheers -ben

3 8

Reproducible crashing the VM with a zipped fuel serialization
by stephan 13 Jan '18

13 Jan '18

I revisited my MonticelloProjects experiment yesterday, and am still crashing the vm when serializing to a compressed fuel file. I wrote about it at the time, and then gave up as the vm was less stable during that period. http://forum.world.st/Working-with-a-compressed-Fuel-file-td4869105.html and it looks like the issue referenced: http://forum.world.st/Re-Pharo-project-GZipWriteStream-crashing-my-VM-when-… To reproduce in a pharo6 image: |project| Gofer it smalltalkhubUser: 'StephanEggermont' project: 'MonticelloProjects'; package: 'MonticelloProjects'; load. project := (Smalltalk at: #MCProject) new location: 'http://smalltalkhub.com/mc/StephanEggermont/Documentation/main'. project read. project saveToFile. That reliably crashes in saveToFile. It seems to be independent of 32/64 bit and mac/linux, as I tried some variations. Stephan

3 5

Re: [Vm-dev] Has anyone done a tutorial on...
by Phil B 26 Sep '17

26 Sep '17

Tim, I'm open to that... any tutorials on that front would be appreciated 😀. The last time I tried (around the spur conversion timeframe) I was unable to run an image in the simulator for more than a few minutes without problems. (You folks do some nice work in VM-land... sure would be nice if it were more easily reproducible by those of us who don't work with the internals daily. For example: what is the recommended way to build a VMMaker image these days? Tried the obvious ways in Squeak 5.1 and Pharo 6.1 and both failed...) Thanks, Phil On Sep 18, 2017 7:38 PM, "tim Rowledge" <tim(a)rowledge.org> wrote: When possible you’re much better off using the VMSimulator to examine an image. > On 18-09-2017, at 4:25 PM, Phil B <pbpublist(a)gmail.com> wrote: > > Using gdb to explore a running image? Blog post or video format is great. Most of what I've run across is related to the internals of the VM rather than debugging an image. My gdb skills are pretty rusty plus I suspect that not knowing all of the helper functions available in the VM (and how to best use them in a debugging workflow) is slowing me down. tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim "Bother" said Pooh, as his rucksack opened whilst skydiving

7 18

Has anyone done a tutorial on...
by Phil B 20 Sep '17

20 Sep '17

Using gdb to explore a running image? Blog post or video format is great. Most of what I've run across is related to the internals of the VM rather than debugging an image. My gdb skills are pretty rusty plus I suspect that not knowing all of the helper functions available in the VM (and how to best use them in a debugging workflow) is slowing me down.

4 4

Applescript Plugin
by Sean P. DeNigris 20 Sep '17

20 Sep '17

I see it's no longer included with the Pharo VM. Did anyone ever get it working after the switch to Cog? ----- Cheers, Sean -- Sent from: http://forum.world.st/Squeak-VM-f104410.html

2 3

WebAssembly (was Re: [ANN] Lowtalk, a new Smalltalk dialect that could eventually replace Slang)
by Ben Coman 19 Sep '17

19 Sep '17

On Mon, Sep 18, 2017 at 8:58 PM, Ronie Salgado <roniesalg(a)gmail.com> wrote: >> >> (although maybe a WebAssembly target might be a better research topic.) > > It seems that everybody is interested on WebAssembly, nd having Smalltalk on the Web. Well its certainly a catchy name that promises at lot to the naive (me included) > I checked the WebAssembly spec and I see that it is not possible to > support Smalltalk completely in an efficient way. > (a) There is no way for accessing the stack to implement thisContext. > (b) There is also no way for doing setjmp/longjmp directly on webassembly > to implement non-local returns and Smalltalk exceptions. > By doing a goggle search, it seems that the behavior of setjmp/longjmp is simulated > by wrapping a method in javascript code, and using javascript exception handling for doing the longjmp. > > Best regards, > Ronie Thx for the heads up on those issues. I found a reference [1] describing such lack of setjmp/longjmp in the WebAssembly MVP... and another [2] that WebAssembly will later implement "zero-cost exception handling" which apparently "can be used to implement setjmp/longjmp, and can enable all of the defined behavior of setjmp/longjmp, namely unwinding the stack without calling C++ destructors. It does not, however, allow the undefined behavior case of jumping forward to a stack that was already unwound which is sometimes used to implement coroutines. Coroutine support is being considered separately." Is there any obvious conflict in that statement with how we use setjump/longjmp? Or do we run foul the assumption at [3] that "throwing is rare" ? i.e. is longjmp a hotpath for us? @Craig, How is thisContext dealt with in SqueakJS ? cheers -ben P.S. I was just having a look at https://caffeine.js.org and I presume to run code I click the circular arrow (fifth icon down outside left margin) but every time I get a Halt. [1] https://stackoverflow.com/questions/44263019/how-would-setjmp-longjmp-be-im… [2] https://github.com/WebAssembly/design/issues/1078 [3] https://github.com/WebAssembly/exception-handling/issues/19 > > > 2017-09-17 23:53 GMT+02:00 Edgar De Cleene <edgardec2005(a)gmail.com>: >> >> >> We are studying WebAssembly and have in the hands a Cuis fork with all necessary for have Smalltalk both sides of Web 2.0. >> This .image for server side and Amber and Morphic.js on the client side. >> So I glad to share experiments and feedback of my students and me on Smalltalk, WebAssembly and ways on made Web 2.0 nice and fast. >> >> Edgar >> @morplenauta >> >> >> >> On 17 Sep 2017, at 11:44, Ben Coman <btc(a)openinworld.com> wrote: >> >> (although maybe a WebAssembly target might be a better research topic.) >> >> >> > >

3 2

[ANN] Lowtalk, a new Smalltalk dialect that could eventually replace Slang
by Ronie Salgado 19 Sep '17

19 Sep '17

Hi All, I am finally glad to announce an initial version of my secret experiment, Lowtalk: https://github.com/ronsaldo/lowtalk Lowtalk is a new Smalltalk dialect that generates relocatable binary object code, that can be linked with any C program or used to generate a standalone executable with the C linker. I am designing Lowtalk as a language for video game developing, where performance and multi-threading support is important. The Lowtalk compiler is completely written in Pharo. The main features of Lowtalk are the following: - The compiler is actually a meta circular evaluator, whose features are used for bootstraping the Lowtalk kernel. - The Lowtalk object model, including the layout of the objects is defined in the language itself. - Direct interface with C. There is an almost 1:1 mapping between the Lowtalk native types and the C types. There is a syntax extension for calling C functions. -Support for real multi-threading. - The current object model uses automatic reference counting, which is slow, but makes supporting real multi-threading easier. - Immediates are based on the Spur object model. - Partial support for generating debugging information in the DWARF standard. It is possible to place breakpoints and get correct stack traces with gdb. Lowtalk is on the line of my work with Lowcode, and I am planning on making a Lowtalk backend that uses Lowcode. The Lowtalk type system is almost the same as the one that I described at the paper: Lowcode: Extending Pharo with C Types to Improve Performance I will make a video later, and a proper demonstration at ESUG. Best regards, Ronie

9 11

Finally Time to Make Good on "Everything is a message send"?
by Sean P. DeNigris 18 Sep '17

18 Sep '17

On the "Squeak Beginners" ML, a new Smalltalker wrote: > I don't understand why Smalltalk doesn't allow me to have an or: > method that takes a block argument (except on Boolean). The answer apparently was that the compiler replaces the code with an optimization that is usually what one wants, and the actual message never gets sent: > Ralph Johnson wrote > Yes, when the compiler sees exp or: [ ... ] then it assumes that > "exp" is > a boolean-valued expression and generates code that fails if it isn't. I remember the pain of tripping over these little "everything is a message send to an object*" sins as a new Smalltalker. I wonder now, with the incredible speed of Cog, Spur, Sista, etc., if these devil's bargains from prior decades are still necessary. It would be psychologically satisfying (and nice for newbies) to remove the asterisk from the principle above. p.s. IIRC e.g. Opal has flags to modify this behavior, but could the actual messages be sent by default, and the flag be set to inline when that performance boost is actually required? ----- Cheers, Sean -- Sent from: http://forum.world.st/Squeak-VM-f104410.html

6 5

VM Maker: VMMaker.oscog-tpr.2268.mcz
by commits＠source.squeak.org 17 Sep '17

17 Sep '17

tim Rowledge uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tpr.2268.mcz ==================== Summary ==================== Name: VMMaker.oscog-tpr.2268 Author: tpr Time: 15 September 2017, 5:04:39.584258 pm UUID: e592c56e-6e86-4442-8c5c-4ea26758da2f Ancestors: VMMaker.oscog-eem.2267 First pass at removing obsolete window color setting and move to the new theme framework. =============== Diff against VMMaker.oscog-eem.2267 =============== Item was removed: - ----- Method: InterpreterPrimitives class>>initialize (in category 'class initialization') ----- - initialize - "Initialize the window color. This is probably Squeak-specific, so..." - [Preferences - setWindowColorFor: #cogVirtualMachineSimulatorWindowColor - to: (Color colorFrom: InterpreterPrimitives windowColorSpecification brightColor)] - on: Error - do: [:ex| Transcript show: 'Failed to set window color preference in ', thisContext method methodReference asString]! Item was removed: - ----- Method: InterpreterPrimitives class>>windowColorSpecification (in category 'window color') ----- - windowColorSpecification - "Answer a WindowColorSpec object that declares my preference" - "Preferences - setWindowColorFor: #cogVirtualMachineSimulatorWindowColor - to: (Color colorFrom: InterpreterPrimitives windowColorSpecification brightColor)" - ^WindowColorSpec - classSymbol: self name wording: 'Cog Virtual Machine Simulator' - brightColor: #(0.645 1.0 1.0) pastelColor: #(0.886 1.0 1.0) - helpMessage: 'A tool for simulating a virtual machine in the Cog family.'! Item was removed: - ----- Method: SimulatorMorphicModel class>>registerWindowColor (in category 'class initialization') ----- - registerWindowColor - (Preferences windowColorFor: self name) = Color white - ifTrue: [ Preferences setWindowColorFor: self name to: (Color colorFrom: self windowColorSpecification brightColor) ].! Item was removed: - ----- Method: SimulatorMorphicModel class>>windowColorSpecification (in category 'window color') ----- - windowColorSpecification - "Answer a WindowColorSpec object that declares my preference" - - ^ WindowColorSpec classSymbol: self name wording: 'StackInterpreter Simulator' brightColor: #(0.645 1.0 1.0) pastelColor: #(0.886 1.0 1.0) helpMessage: 'A tool for simulating a Stack Interpreter Virtual Machine.'! Item was added: + ----- Method: SimulatorMorphicModel>>defaultWindowColor (in category 'user interface') ----- + defaultWindowColor + ^ (Color r: 0.645 g: 1.0 b: 1.0)!

3 3

VM Maker: VMMaker.oscog-eem.2266.mcz
by commits＠source.squeak.org 16 Sep '17

16 Sep '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2266.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2266 Author: eem Time: 31 August 2017, 12:20:30.681037 pm UUID: 0501d71a-3185-4bdb-a99c-76a5fbbeee22 Ancestors: VMMaker.oscog-eem.2265 Spur: Simplify cleverSwapHeaders:and:copyHashFlag: via xor. Fix the type of currentAllocatedBytes given the Slang changes below. Slang: Fix a regression caused by the Slang fixes in VMMaker.oscog-eem.2243. Since inferTypesForImplicitlyTypedVariablesIn: no longer sets the types of locals as it goes along (which was incorrect) we can no longer default the types of untyped variables to sqInt for the purposes of returnTypeForSend:in:ifNil:. To allow returnTypeForSend:in:ifNil: to answer nil for arithmetic on untyped expressions typeForArithmetic:in: uses TParseNode>>typeOrNilFrom:in: instead of CCodeGenerator>>typeFor:in: to avoid the defaulting. returnTypeForSend:in:ifNil: has been refactored to use the more direct TParseNode>>typeFrom:in: instead of CCodeGenerator>>typeFor:in: for clarity. Teh regression caused Slang to fail to infer the types of remembered1/2 & hash1/2 in cleverSwapHeaders:and:copyHashFlag:. The new code correctly infers the types of remembered & hashBits as sqLong. SoundPlugin: Eliminate a couple of warnings by using 0 instead of NULL. =============== Diff against VMMaker.oscog-eem.2265 =============== Item was changed: ----- Method: CCodeGenerator>>returnTypeForSend:in:ifNil: (in category 'type inference') ----- returnTypeForSend: sendNode in: aTMethod ifNil: typeIfNil "Answer the return type for a send. Unbound sends default to typeIfNil. Methods with types as yet unknown have a type determined either by the kernelReturnTypes or the table below, or, if they are in neither set, then nil. The inferred type should match as closely as possible the C type of generated expessions so that inlining would not change the expression. If there is a method for sel but its return type is as yet unknown it mustn't be defaulted, since on a subsequent pass its type may be computable." | sel methodOrNil | methodOrNil := self anyMethodNamed: (sel := sendNode selector). (methodOrNil notNil and: [methodOrNil returnType notNil]) ifTrue: [^self baseTypeForType: methodOrNil returnType]. ^kernelReturnTypes at: sel ifAbsent: [sel caseOf: { [#integerValueOf:] -> [#sqInt]. [#isIntegerObject:] -> [#int]. + [#negated] -> [self promoteArithmeticTypes: (sendNode receiver typeFrom: self in: aTMethod) and: #int]. - [#negated] -> [self promoteArithmeticTypes: (self typeFor: sendNode receiver in: aTMethod) and: #int]. [#+] -> [self typeForArithmetic: sendNode in: aTMethod]. [#-] -> [self typeForArithmetic: sendNode in: aTMethod]. [#*] -> [self typeForArithmetic: sendNode in: aTMethod]. [#/] -> [self typeForArithmetic: sendNode in: aTMethod]. [#//] -> [self typeForArithmetic: sendNode in: aTMethod]. [#\\] -> [self typeForArithmetic: sendNode in: aTMethod]. [#rem:] -> [self typeForArithmetic: sendNode in: aTMethod]. [#quo:] -> [self typeForArithmetic: sendNode in: aTMethod]. "C99 Sec Bitwise shift operators ... 3 Sematics ... The integer promotions are performed on each of the operands. The type of the result is that of the promoted left operand..." + [#>>] -> [sendNode receiver typeFrom: self in: aTMethod]. + [#<<] -> [sendNode receiver typeFrom: self in: aTMethod]. + [#addressOf:] -> [(sendNode receiver typeFrom: self in: aTMethod) - [#>>] -> [self typeFor: sendNode receiver in: aTMethod]. - [#<<] -> [self typeFor: sendNode receiver in: aTMethod]. - [#addressOf:] -> [(self typeFor: sendNode receiver in: aTMethod) ifNil: [#sqInt] ifNotNil: [:type| type, (type last isLetter ifTrue: [' *'] ifFalse: ['*'])]]. [#at:] -> [self typeForDereference: sendNode in: aTMethod]. [#bitAnd:] -> [self typeForArithmetic: sendNode in: aTMethod]. [#bitOr:] -> [self typeForArithmetic: sendNode in: aTMethod]. [#bitXor:] -> [self typeForArithmetic: sendNode in: aTMethod]. [#bitClear:] -> [self typeForArithmetic: sendNode in: aTMethod]. [#bitInvert32] -> [#'unsigned int']. + [#bitInvert64] -> [self promoteArithmeticTypes: (sendNode receiver typeFrom: self in: aTMethod) and: #int]. - [#bitInvert64] -> [self promoteArithmeticTypes: (self typeFor: sendNode receiver in: aTMethod) and: #int]. [#byteSwap32] -> [#'unsigned int']. [#byteSwap64] -> [#'unsigned long long']. [#byteSwapped32IfBigEndian:] -> [#'unsigned int']. [#byteSwapped64IfBigEndian:] -> [#'unsigned long long']. [#=] -> [#int]. [#~=] -> [#int]. [#==] -> [#int]. [#~~] -> [#int]. [#<] -> [#int]. [#<=] -> [#int]. [#>] -> [#int]. [#>=] -> [#int]. [#between:and:] -> [#int]. [#anyMask:] -> [#int]. [#allMask:] -> [#int]. [#noMask:] -> [#int]. [#isNil] -> [#int]. [#notNil] -> [#int]. [#&] -> [#int]. [#|] -> [#int]. [#not] -> [#int]. [#asFloat] -> [#double]. [#atan] -> [#double]. [#exp] -> [#double]. [#log] -> [#double]. [#sin] -> [#double]. [#sqrt] -> [#double]. [#asLong] -> [#long]. [#asInteger] -> [#sqInt]. [#asIntegerPtr] -> [#'sqIntptr_t']. [#asUnsignedInteger] -> [#usqInt]. [#asUnsignedIntegerPtr]-> [#'usqIntptr_t']. [#asUnsignedLong] -> [#'unsigned long']. [#asUnsignedLongLong] -> [#'unsigned long long']. [#asVoidPointer] -> [#'void *']. [#signedIntToLong] -> [#usqInt]. "c.f. generateSignedIntToLong:on:indent:" [#signedIntToShort] -> [#usqInt]. "c.f. generateSignedIntToShort:on:indent:" [#cCoerce:to:] -> [sendNode args last value]. [#cCoerceSimple:to:] -> [sendNode args last value]. [#sizeof:] -> [#'usqIntptr_t']. "Technically it's a size_t but it matches on target architectures so far..." [#ifTrue:ifFalse:] -> [self typeForConditional: sendNode in: aTMethod]. [#ifFalse:ifTrue:] -> [self typeForConditional: sendNode in: aTMethod]. [#ifTrue:] -> [self typeForConditional: sendNode in: aTMethod]. [#ifFalse:] -> [self typeForConditional: sendNode in: aTMethod]. [#and:] -> [#sqInt]. [#or:] -> [#sqInt]. [#caseOf:] -> [self typeFor: sendNode args first in: aTMethod] } otherwise: "If there /is/ a method for sel but its return type is as yet unknown it /mustn't/ be defaulted, since on a subsequent pass its type may be computable. Only default unbound selectors." [methodOrNil ifNotNil: [nil] ifNil: [typeIfNil]]]! Item was changed: ----- Method: CCodeGenerator>>typeForArithmetic:in: (in category 'type inference') ----- typeForArithmetic: sendNode in: aTMethod "Answer the return type for an arithmetic sendThis is so that the inliner can still inline simple expressions. Deal with pointer arithmetic, floating point arithmetic and promotion." + | rcvrType argType arg | + rcvrType := sendNode receiver typeOrNilFrom: self in: aTMethod. + argType := (arg := sendNode args first) typeOrNilFrom: self in: aTMethod. - | rcvrType argType arg promotedType | - rcvrType := self typeFor: sendNode receiver in: aTMethod. - argType := self typeFor: (arg := sendNode args first) in: aTMethod. "deal with pointer arithmetic" ((rcvrType notNil and: [rcvrType last == $*]) or: [argType notNil and: [argType last == $*]]) ifTrue: [(rcvrType isNil or: [argType isNil]) ifTrue: [^nil]. (rcvrType last == $* and: [argType last == $*]) ifTrue: [sendNode selector == #- ifTrue: [^#int]. self error: 'invalid pointer arithmetic']. ^rcvrType last == $* ifTrue: [rcvrType] ifFalse: [argType]]. + ^(self promoteArithmeticTypes: rcvrType and: argType) ifNotNil: + [:promotedType| + "We have to be very careful with subtraction. The difference between two unsigned types is signed. + But we don't want unsigned - constant to be signed. We almost always want this to stay unsigned." + (sendNode selector == #- and: [promotedType first == $u and: [(arg isConstant and: [arg value isInteger]) not]]) + ifTrue: [promotedType allButFirst: ((promotedType beginsWith: 'unsigned') ifTrue: [9] ifFalse: [1])] + ifFalse: [promotedType]]! - promotedType := self promoteArithmeticTypes: rcvrType and: argType. - "We have to be very careful with subtraction. The difference between two unsigned types is signed. - But we don't want unsigned - constant to be signed. We almost always want this to stay unsigned." - ^(sendNode selector == #- and: [promotedType first == $u and: [(arg isConstant and: [arg value isInteger]) not]]) - ifTrue: [promotedType allButFirst: ((promotedType beginsWith: 'unsigned') ifTrue: [9] ifFalse: [1])] - ifFalse: [promotedType]! Item was changed: ----- Method: SoundPlugin>>primitiveSetDefaultSoundPlayer (in category 'primitives') ----- primitiveSetDefaultSoundPlayer "Tell the operating system to use the specified device name as the output device for sound." "arg at top of stack is the String" | deviceName obj srcPtr sz | <export: true> <var: 'deviceName' declareC: 'char deviceName[257]'> <var: 'srcPtr' type: #'char *'> "Parse arguments" interpreterProxy methodArgumentCount = 1 ifFalse: [^interpreterProxy primitiveFail]. obj := interpreterProxy stackValue: 0. (interpreterProxy isBytes: obj) ifFalse: [^interpreterProxy primitiveFail]. (sz := interpreterProxy byteSizeOf: obj) <= 256 ifFalse: [^interpreterProxy primitiveFail]. srcPtr := interpreterProxy firstIndexableField: obj. self touch: srcPtr. self touch: deviceName. self touch: sz. self cCode: 'strncpy(deviceName, srcPtr, sz)'. + self cCode: 'deviceName[sz] = 0'. - self cCode: 'deviceName[sz] = NULL'. "do the work" self cCode: 'setDefaultSoundPlayer(deviceName)'. interpreterProxy failed ifFalse: "pop arg, leave receiver" [interpreterProxy pop: 1]! Item was changed: ----- Method: SoundPlugin>>primitiveSetDefaultSoundRecorder (in category 'primitives') ----- primitiveSetDefaultSoundRecorder "Tell the operating system to use the specified device name as the input device for sound." "arg at top of stack is the String" | deviceName obj srcPtr sz | <export: true> <var: 'deviceName' declareC: 'char deviceName[257]'> <var: 'srcPtr' type: #'char *'> "Parse arguments" interpreterProxy methodArgumentCount = 1 ifFalse: [^interpreterProxy primitiveFail]. obj := interpreterProxy stackValue: 0. (interpreterProxy isBytes: obj) ifFalse: [^interpreterProxy primitiveFail]. (sz := interpreterProxy byteSizeOf: obj) <= 256 ifFalse: [^interpreterProxy primitiveFail]. srcPtr := interpreterProxy firstIndexableField: obj. self touch: srcPtr. self touch: deviceName. self touch: sz. self cCode: 'strncpy(deviceName, srcPtr, sz)'. + self cCode: 'deviceName[sz] = 0'. - self cCode: 'deviceName[sz] = NULL'. "do the work" self cCode: 'setDefaultSoundRecorder(deviceName)'. interpreterProxy failed ifFalse: "pop arg, leave receiver" [interpreterProxy pop: 1]! Item was changed: ----- Method: SpurMemoryManager>>cleverSwapHeaders:and:copyHashFlag: (in category 'become implementation') ----- cleverSwapHeaders: obj1 and: obj2 copyHashFlag: copyHashFlag "swap headers, but swapping headers swaps remembered bits and hashes; remembered bits must be unswapped and hashes may be unswapped if copyHash is false." "This variant doesn't tickle a compiler bug in gcc and clang. See naiveSwapHeaders:and:copyHashFlag:" <inline: true> + | header1 header2 remembered | - | header1 header2 remembered1 remembered2 | header1 := self long64At: obj1. header2 := self long64At: obj2. + remembered := (header1 bitXor: header2) bitAnd: 1 << self rememberedBitShift. + remembered ~= 0 ifTrue: + [header1 := header1 bitXor: remembered. + header2 := header2 bitXor: remembered]. - remembered1 := header1 bitAnd: 1 << self rememberedBitShift. - remembered2 := header2 bitAnd: 1 << self rememberedBitShift. - remembered1 ~= remembered2 ifTrue: - [header1 := header1 - remembered1 + remembered2. - header2 := header2 - remembered2 + remembered1]. "swapping headers swaps hash; if not copyHashFlag then unswap hash" copyHashFlag ifFalse: + [| hashBits | + hashBits := (header1 bitXor: header2) bitAnd: self identityHashFullWordMask. + hashBits ~= 0 ifTrue: + [header1 := header1 bitXor: hashBits. + header2 := header2 bitXor: hashBits]]. - [| hash1 hash2 | - hash1 := header1 bitAnd: self identityHashFullWordMask. - hash2 := header2 bitAnd: self identityHashFullWordMask. - hash1 ~= hash2 ifTrue: - [header1 := header1 - hash1 + hash2. - header2 := header2 - hash2 + hash1]]. self long64At: obj1 put: header2. self long64At: obj2 put: header1! Item was changed: ----- Method: SpurMemoryManager>>currentAllocatedBytes (in category 'allocation accounting') ----- currentAllocatedBytes "Compute the current allocated bytes since last set. This is the cumulative total in statAllocatedBytes plus the allocation since the last scavenge." | use | + "Slang infers the type of the difference between two unsigned variables as signed. + In this case we want it to be unsigned." + <var: 'use' type: #usqInt> use := segmentManager totalOldSpaceCapacity - totalFreeOldSpace. ^statAllocatedBytes + (freeStart - scavenger eden start) + (use - oldSpaceUsePriorToScavenge)!

3 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev September 2017