Vm-dev June 2024

vm-dev@lists.squeakfoundation.org

8 participants
22 discussions

[OpenSmalltalk/opensmalltalk-vm] Check bind and listen functions for errors (PR #686)
by Jon Raiford 20 Jun '24

20 Jun '24

When listening on a socket, if the local port is already in use it should fail, however the vm currently assumes that the listen() call is successful. This patch implements a similar check as the connect call. Note that the Windows implementation does not have this issue. You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686 -- Commit Summary -- * Check bind and listen functions for errors -- File Changes -- M platforms/unix/plugins/SocketPlugin/sqUnixSocket.c (23) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686.diff -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/pull/686(a)github.com>

1 0

[OpenSmalltalk/opensmalltalk-vm] Fails to compile on EndeavourOS (Issue #685)
by Kirtai 19 Jun '24

19 Jun '24

Fails to compile on EndeavourOS (Arch Linux derivative with the following errors. clang version 17.0.6 (gcc version 14.1.1 also fails) ``` clang -Wall -g -O2 -DNDEBUG -DDEBUGVM=0 -msse2 -DCOGMTVM=0 -pthread -DLSB_FIRST=1 -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -Wno-unused-but-set-variable -I/usr/include -I/usr/include -DHAVE_CONFIG_H -DSQUEAK_BUILTIN_PLUGIN -I/home/faith/tmp/build/opensmalltalk-vm/building/linux64x64/squeak.cog.spur/build -I/home/faith/tmp/build/opensmalltalk-vm/building/linux64x64/squeak.cog.spur/build -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/vm -I/home/faith/tmp/build/opensmalltalk-vm/src/spur64.cog -I/usr/local/include -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/vm -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm -I/home/faith/tmp/build/opensmalltalk-vm/src/spur64.cog -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/plugins/FilePlugin -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/plugins/B3DAcceleratorPlugin -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -Wno-unused-but-set-variable -I/usr/include -I/usr/include -c -o sqUnixMain.o /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1792:10: warning: format string is not a string literal (potentially insecure) [-Wformat-security] 1792 | printf(optionStrings[count]); | ^~~~~~~~~~~~~~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1792:10: note: treat the string as an argument to avoid this 1792 | printf(optionStrings[count]); | ^ | "%s", /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2107:79: warning: result of comparison of constant 139 with expression of type 'char' is always false [-Wtautological-constant-out-of-range-compare] 2107 | fd = ((char *)embeddedImage)[0] == GZIPMagic0 && ((char *)embeddedImage)[1] == GZIPMagic1 | ~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2266:38: error: incompatible function pointer types assigning to 'void (*)(int, siginfo_t *, void *)' from 'void (int, siginfo_t *, ucontext_t *)' (aka 'void (int, siginfo_t *, struct ucontext_t *)') [-Wincompatible-function-pointer-types] 2266 | sigsegv_handler_action.sa_sigaction = sigsegv; | ^ ~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2273:38: error: incompatible function pointer types assigning to 'void (*)(int, siginfo_t *, void *)' from 'void (int, siginfo_t *, ucontext_t *)' (aka 'void (int, siginfo_t *, struct ucontext_t *)') [-Wincompatible-function-pointer-types] 2273 | sigusr1_handler_action.sa_sigaction = sigusr1; | ^ ~~~~~~~ 2 warnings and 2 errors generated. make[1]: *** [Makefile:301: sqUnixMain.o] Error 1 make: *** [Makefile:413: vm/vm.a] Error 2 ``` -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/685 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/issues/685(a)github.com>

1 0

VM Maker: VMMaker.oscog-eem.3388.mcz
by commits＠source.squeak.org 15 Jun '24

15 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3388.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3388 Author: eem Time: 14 June 2024, 5:01:22.995677 pm UUID: a1f191f8-47cb-42af-b019-0c48855a4014 Ancestors: VMMaker.oscog-eem.3387 Extract the common code in the guard aginst creating/populating a CPIC and choosing an OPIC instead. Slang: eliminate constant expressions in && and || translations. =============== Diff against VMMaker.oscog-eem.3387 =============== Item was changed: ----- Method: CCodeGenerator>>generateSequentialAnd:on:indent: (in category 'C translation') ----- generateSequentialAnd: msgNode on: aStream indent: level "Generate the C code for this message onto the given stream." (self nilOrBooleanConstantReceiverOf: msgNode receiver) ifNil: [self emitCExpression: msgNode receiver on: aStream indent: level. "Don't eliminate the first expression if the second one is false, because of potential side-effects; leave that to the C compiler. But /do/ eliminate the second expression if it is vaccuously true." + (self nilOrBooleanConstantValueOf: msgNode args first) ifNotNil: - (self nilOrBooleanConstantReceiverOf: msgNode args first) ifNotNil: [:const| const == true ifTrue: [^self]]. aStream crtab: level; nextPutAll: ' && ('. self emitCTestBlock: msgNode args first on: aStream indent: level. aStream nextPut: $)] ifNotNil: [:const | const ifTrue: [self emitCTestBlock: msgNode args first on: aStream indent: level] ifFalse: [aStream nextPut: $0]]! Item was changed: ----- Method: CCodeGenerator>>generateSequentialOr:on:indent: (in category 'C translation') ----- generateSequentialOr: msgNode on: aStream indent: level "Generate the C code for this message onto the given stream." "Note: PP 2.3 compiler produces two arguments for or:, presumably to help with inlining later. Taking the last agument should do the correct thing even if your compiler is different." (self nilOrBooleanConstantReceiverOf: msgNode receiver) ifNil: [self emitCExpression: msgNode receiver on: aStream indent: level. "Don't eliminate the first expression if the second one is true, because of potential side-effects; leave that to the C compiler. But /do/ eliminate the second expression if it is vaccuously false." + (self nilOrBooleanConstantValueOf: msgNode args last) ifNotNil: - (self nilOrBooleanConstantReceiverOf: msgNode args last) ifNotNil: [:const| const == false ifTrue: [^self]]. aStream crtab: level; nextPutAll: ' || ('. self emitCTestBlock: msgNode args last on: aStream indent: level. aStream nextPut: $)] ifNotNil: [:const | const ifTrue: [aStream nextPut: $1] ifFalse: [self emitCTestBlock: msgNode args last on: aStream indent: level]]! Item was changed: ----- Method: CCodeGenerator>>isConstantNode:valueInto: (in category 'utilities') ----- isConstantNode: aNode valueInto: aBlock "Answer if aNode evaluates to a constant, and if so, evaluate aBlock with the value of that constant." aNode isConstant ifTrue: [(aNode isDefine and: [self defineAtCompileTime: aNode name]) ifTrue: [^false]. aBlock value: aNode value. ^true]. (aNode isVariable and: [aNode name = #nil]) ifTrue: [aBlock value: nil. ^true]. aNode isSend ifTrue: [(self anyMethodNamed: aNode selector) ifNil: [(VMBasicConstants valueOfBasicSelector: aNode selector) ifNotNil: [:value| aBlock value: value. ^true]. aNode constantNumbericValueOrNil ifNotNil: [:value| aBlock value: value. + ^true]. + aNode selector == #not ifTrue: + [self isConstantNode: aNode receiver valueInto: + [:v| + (#(true false) includes: v) ifTrue: + [aBlock value: v not. + ^true]]]] - ^true]] ifNotNil: [:m| (m isMacroWithDefinition not and: [m statements size = 1 and: [m statements last isReturn]]) ifTrue: [^self isConstantNode: m statements last expression valueInto: aBlock]]]. ^false! 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 nilOrBooleanConstantValueOf: aNode args last) ifNotNil: - (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. 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: [(self nilOrBooleanConstantReceiverOf: aNode args last statements first) ifNotNil: [:arg| ((arg == false and: [aNode selector == #and:]) or: [arg == true and: [aNode selector == #or:]]) ifTrue: [^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 isNilNode and: [aNode receiver isNilNode]]) ifTrue: [^true]]. ^nil! Item was added: + ----- Method: CCodeGenerator>>nilOrBooleanConstantValueOf: (in category 'utilities') ----- + nilOrBooleanConstantValueOf: aNode + "Answer nil or the boolean constant that is the value of the given block. + Used to suppress conditional code when the condition is a translation-time constant." + + self assert: aNode isLiteralBlock. + ^generateDeadCode ifFalse: + [aNode statements size = 1 ifTrue: + [self nilOrBooleanConstantReceiverOf: aNode statements first]]! Item was changed: ----- Method: Cogit>>ceCPICMiss:receiver: (in category 'in-line cacheing') ----- ceCPICMiss: cPIC receiver: receiver "Code entry closed PIC miss. A send has fallen through a closed (finite) polymorphic inline cache. Either extend it or patch the send site to an open PIC. The stack looks like: receiver args sp=> sender return address" <var: #cPIC type: #'CogMethod *'> <api> "Marked <api> so the code generator won't delete it." <static: true> | outerReturn newTargetMethodOrNil errorSelectorOrNil cacheTag result | self cCode: nil inSmalltalk: [cPIC isInteger ifTrue: [^self ceCPICMiss: (self cogMethodSurrogateAt: cPIC) receiver: receiver]]. (objectMemory isOopForwarded: receiver) ifTrue: [^coInterpreter ceSendFromInLineCacheMiss: cPIC]. outerReturn := coInterpreter stackTop. self deny: (backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue. cPIC cPICNumCases < MaxCPICCases ifTrue: [self lookup: cPIC selector for: receiver methodAndErrorSelectorInto: [:method :errsel| newTargetMethodOrNil := method. errorSelectorOrNil := errsel]] ifFalse: [newTargetMethodOrNil := errorSelectorOrNil := nil]. "We assume lookupAndCog:for: will *not* reclaim the method zone" self assert: outerReturn = coInterpreter stackTop. self ensureWritableCodeZone. cacheTag := objectRepresentation inlineCacheTagForInstance: receiver. (cPIC cPICNumCases >= MaxCPICCases + or: [self closedPICInappropriateForCacheTag: cacheTag targetMethod: newTargetMethodOrNil orErrorSelector: errorSelectorOrNil]) ifTrue: - or: [(errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) - or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) - or: [newTargetMethodOrNil isNil - or: [objectMemory isYoung: newTargetMethodOrNil]]]]) ifTrue: [result := self patchToOpenPICFor: cPIC selector + numArgs: cPIC cmNumArgs + receiver: receiver. - numArgs: cPIC cmNumArgs - receiver: receiver. self assert: result not. "If patchToOpenPICFor:.. returns we're out of code memory" self ensureExecutableCodeZone. ^coInterpreter ceSendFromInLineCacheMiss: cPIC]. "Now extend the PIC with the new case." self cogExtendPIC: cPIC CaseNMethod: newTargetMethodOrNil tag: cacheTag isMNUCase: errorSelectorOrNil = SelectorDoesNotUnderstand. self ensureExecutableCodeZone. "Jump back into the pic at its entry in case this is an MNU." coInterpreter executeCogPIC: cPIC fromLinkedSendWithReceiver: receiver andCacheTag: (backEnd inlineCacheTagAt: outerReturn). "NOTREACHED" ^nil! Item was changed: ----- Method: Cogit>>ceSICMiss: (in category 'in-line cacheing') ----- ceSICMiss: receiver "An in-line cache check in a method has failed. The failing entry check has jumped to the ceMethodAbort abort call at the start of the method which has called this routine. If possible allocate a closed PIC for the current and existing classes. The stack looks like: receiver args sender return address sp=> ceMethodAbort call return address So we can find the method that did the failing entry check at ceMethodAbort call return address - missOffset and we can find the send site from the outer return address. Invoked from a trampoline. Marked <api> so the code generator won't delete it." <api> <static: true> | pic innerReturn outerReturn entryPoint targetMethod newTargetMethodOrNil errorSelectorOrNil cacheTag extent result | <var: #pic type: #'CogMethod *'> <var: #targetMethod type: #'CogMethod *'> "Whether we can relink to a PIC or not we need to pop off the inner return and identify the target method." innerReturn := coInterpreter popStack asUnsignedInteger. targetMethod := self cCoerceSimple: innerReturn - missOffset to: #'CogMethod *'. (objectMemory isOopForwarded: receiver) ifTrue: [^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. outerReturn := coInterpreter stackTop asUnsignedInteger. self assert: (outerReturn between: methodZoneBase and: methodZone freeStart). entryPoint := backEnd callTargetFromReturnAddress: outerReturn. self assert: targetMethod selector ~= objectMemory nilObject. self assert: targetMethod asInteger + cmEntryOffset = entryPoint. self lookup: targetMethod selector for: receiver methodAndErrorSelectorInto: [:method :errsel| newTargetMethodOrNil := method. errorSelectorOrNil := errsel]. "We assume lookupAndCog:for: will *not* reclaim the method zone" self assert: outerReturn = coInterpreter stackTop. cacheTag := objectRepresentation inlineCacheTagForInstance: receiver. + ((self closedPICInappropriateForCacheTag: cacheTag targetMethod: newTargetMethodOrNil orErrorSelector: errorSelectorOrNil) + or: [(backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue]) ifTrue: - ((errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) - or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) - or: [(backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue - or: [newTargetMethodOrNil isNil - or: [objectMemory isYoung: newTargetMethodOrNil]]]]) ifTrue: [result := self patchToOpenPICFor: targetMethod selector + numArgs: targetMethod cmNumArgs + receiver: receiver. - numArgs: targetMethod cmNumArgs - receiver: receiver. self assert: result not. "If patchToOpenPICFor:.. returns we're out of code memory" ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. self ensureWritableCodeZone. "See if an Open PIC is already available." pic := methodZone openPICWithSelector: targetMethod selector. (pic isNil or: [self allowEarlyOpenPICPromotion not]) ifTrue: ["otherwise attempt to create a closed PIC for the two cases." pic := self cogPICSelector: targetMethod selector numArgs: targetMethod cmNumArgs Case0Method: targetMethod Case1Method: newTargetMethodOrNil tag: cacheTag isMNUCase: errorSelectorOrNil = SelectorDoesNotUnderstand. (pic asInteger between: MaxNegativeErrorCode and: -1) ifTrue: ["For some reason the PIC couldn't be generated, most likely a lack of code memory. Continue as if this is an unlinked send." pic asInteger = InsufficientCodeSpace ifTrue: [coInterpreter callForCogCompiledCodeCompaction]. self ensureExecutableCodeZone. ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]]. "Relink the send site to the pic. If to an open PIC then reset the cache tag to the selector, for the benefit of the cacheTag assert check in checkIfValidOopRef:pc:cogMethod: et al." extent := pic isCMOpenPIC ifTrue: [backEnd rewriteInlineCacheAt: outerReturn tag: (backEnd inlineCacheValueForSelector: targetMethod selector in: coInterpreter mframeHomeMethodExport) target: pic asInteger + cmEntryOffset] ifFalse: [backEnd rewriteCallAt: outerReturn target: pic asInteger + cmEntryOffset]. self assertValidDualZoneFrom: pic asUnsignedInteger to: pic asUnsignedInteger + closedPICSize. "These also implicitly flush the read/write mapped dual zone to the read/execute zone." backEnd flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + closedPICSize. backEnd flushICacheFrom: outerReturn asUnsignedInteger - extent to: outerReturn asUnsignedInteger. "Jump back into the pic at its entry in case this is an MNU (newTargetMethodOrNil is nil)" coInterpreter executeCogPIC: pic fromLinkedSendWithReceiver: receiver andCacheTag: (backEnd inlineCacheTagAt: outerReturn). "NOTREACHED" ^nil! Item was added: + ----- Method: Cogit>>closedPICInappropriateForCacheTag:targetMethod:orErrorSelector: (in category 'in-line cacheing') ----- + closedPICInappropriateForCacheTag: cacheTag targetMethod: targetMethodOrNil orErrorSelector: errorSelectorOrNil + <inline: #always> + "We don't allow cacheTags (if they're class objects) or targetMethods in CPICs to be in new space. + And the only error condition handled by a CPIC is an MNU." + ^(errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) + or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) + or: [targetMethodOrNil isNil + or: [objectMemory isYoung: targetMethodOrNil]]]!

1 0

[OpenSmalltalk/opensmalltalk-vm] 766793: CogVM source as per VMMaker.oscog-eem.3387
by Eliot Miranda 14 Jun '24

14 Jun '24

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 766793f77ee6a54e382f15f2dbf655c404165e5c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/766793f77ee6a54e38… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2024-06-13 (Thu, 13 Jun 2024) Changed paths: M src/spur32.cog.lowcode/cointerp.c M src/spur32.cog.lowcode/cointerp.h M src/spur32.cog.lowcode/gcc3x-cointerp.c M src/spur32.cog/cointerp.c M src/spur32.cog/cointerp.h M src/spur32.cog/cointerpmt.c M src/spur32.cog/cointerpmt.h M src/spur32.cog/gcc3x-cointerp.c M src/spur32.cog/gcc3x-cointerpmt.c M src/spur32.sista/cointerp.c M src/spur32.sista/cointerp.h M src/spur32.sista/gcc3x-cointerp.c M src/spur32.stack.lowcode/gcc3x-interp.c M src/spur32.stack.lowcode/interp.c M src/spur32.stack/gcc3x-interp.c M src/spur32.stack/interp.c M src/spur32.stack/validImage.c M src/spur64.cog.lowcode/cogitARMv8.c M src/spur64.cog.lowcode/cointerp.c M src/spur64.cog.lowcode/cointerp.h M src/spur64.cog.lowcode/gcc3x-cointerp.c M src/spur64.cog/cogitARMv8.c M src/spur64.cog/cointerp.c M src/spur64.cog/cointerp.h M src/spur64.cog/cointerpmt.c M src/spur64.cog/cointerpmt.h M src/spur64.cog/gcc3x-cointerp.c M src/spur64.cog/gcc3x-cointerpmt.c M src/spur64.sista/cointerp.c M src/spur64.sista/cointerp.h M src/spur64.sista/gcc3x-cointerp.c M src/spur64.stack.lowcode/gcc3x-interp.c M src/spur64.stack.lowcode/interp.c M src/spur64.stack/gcc3x-interp.c M src/spur64.stack/interp.c M src/spur64.stack/validImage.c M src/v3.cog/cointerp.c M src/v3.cog/cointerp.h M src/v3.cog/gcc3x-cointerp.c M src/v3.stack/gcc3x-interp.c M src/v3.stack/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3387 Fix a regression in InterpreterPrimitives>>primitiveFractionalPart, VMMaker.oscog-eem.3382, 6 June 2024, and have InterpreterPrimitives>>primitiveTruncated match InterpreterPrimitives>>primitiveFractionalPart Fix slip in SpurMemoryManager>>printHeaderOf: To unsubscribe from these emails, change your notification settings at https://github.com/OpenSmalltalk/opensmalltalk-vm/settings/notifications

1 0

VM Maker: VMMaker.oscog-eem.3387.mcz
by commits＠source.squeak.org 14 Jun '24

14 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3387.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3387 Author: eem Time: 13 June 2024, 4:17:47.047386 pm UUID: 2d109996-1f82-454f-886a-5adc7d0ca8ef Ancestors: VMMaker.oscog-eem.3386 ...and have InterpreterPrimitives>>primitiveTruncated match InterpreterPrimitives>>primitiveFractionalPart =============== Diff against VMMaker.oscog-eem.3386 =============== Item was changed: ----- Method: InterpreterPrimitives>>primitiveTruncated (in category 'arithmetic float primitives') ----- primitiveTruncated "Integral part of float receiver; receiver *must* be a float instance." <primitiveMetadata: #(PrimCallOnSmalltalkStack PrimCallOnSmalltalkStackAlign2x)> + | rcvr doubleValue trunc | - | rcvr trunc | <var: #trunc type: #double> + rcvr := self stackTop. + doubleValue := objectMemory noFailFloatValueOf: rcvr. - rcvr := self stackFloatValue: 0. self successful ifTrue: + [self mod: doubleValue f: (self addressOf: trunc put: [:v| trunc := v]). - [self mod: rcvr f: (self addressOf: trunc put: [:v| trunc := v]). (trunc between: objectMemory minSmallInteger asFloat and: objectMemory maxSmallInteger asFloat) ifTrue: [self stackTopPut: (objectMemory integerObjectOf: trunc asInteger)] ifFalse: [self primitiveFail]]!

1 0

VM Maker: VMMaker.oscog-eem.3386.mcz
by commits＠source.squeak.org 14 Jun '24

14 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3386.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3386 Author: eem Time: 13 June 2024, 4:08:38.425965 pm UUID: a3712fc7-1134-4950-a0e1-f23bec219fbf Ancestors: VMMaker.oscog-eem.3385 Fix a regression in InterpreterPrimitives>>primitiveFractionalPart, VMMaker.oscog-eem.3382, 6 June 2024. Fix simulation of addSegmentOfSize:. Fix a regression in CogMethod header printing from VMMaker.oscog-eem.3287, 3 January 2023. selector printing got disabled. Add the printing of the CogMethod type as a string as well as an integer. Fix showing the displayBits on the displayForm in the simulator morph when the system is waiting for it to resize. =============== Diff against VMMaker.oscog-eem.3385 =============== Item was changed: ----- Method: CogVMSimulator>>ioShow:D:i:s:p:l:a:y: (in category 'I/O primitives') ----- ioShow: destBits D: w i: h s: d p: left l: right a: top y: bottom "This is the simulator's implementation of ioShowDisplay." + | raster pixPerWord simDisp realDisp correctAspectRatioDisplayForm rect | - | raster pixPerWord simDisp realDisp rect | (displayForm isNil or: [displayBits = 0 or: [d = 0]]) ifTrue: [^self]. pixPerWord := 32 // d. + raster := displayWidth + (pixPerWord - 1) // pixPerWord. - raster := displayForm width + (pixPerWord - 1) // pixPerWord. simDisp := Form new hackBits: objectMemory memory. displayForm unhibernate. + "Changing the extent of the simulator window will send an event into the simulation and the + display wioll eventually be resized. But there may be a period in between where the simulator + window and the displayForm have different extents. Display is slower when this is the case." + displayForm width = displayWidth + ifTrue: + [realDisp := Form new hackBits: displayForm bits. + realDisp + copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) + from: 0 @ (destBits // 4 + (top * raster)) + in: simDisp + rule: Form over] + ifFalse: + [correctAspectRatioDisplayForm := Form extent: displayWidth@displayHeight depth: d. + realDisp := Form new hackBits: correctAspectRatioDisplayForm bits. + realDisp + copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) + from: 0 @ (destBits // 4 + (top * raster)) + in: simDisp + rule: Form over. + realDisp displayOn: displayForm]. - realDisp := Form new hackBits: displayForm bits. - realDisp - copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) - from: 0 @ (destBits // 4 + (top * raster)) - in: simDisp - rule: Form over. displayView ifNotNil: [^displayView changed]. "If running without a view, just blat the bits onto the screen..." + rect := 0 @ top corner: displayWidth @ bottom. - rect := 0 @ top corner: displayForm width @ bottom. Display copy: (rect translateBy: self displayLocation) from: rect topLeft in: displayForm rule: Form over! Item was added: + ----- Method: Cogit class>>cmTypeNameFor: (in category 'accessing') ----- + cmTypeNameFor: anInteger + (Cogit class >> #initializeCogMethodConstants) literalsDo: + [:lit| + (lit isVariableBinding and: [lit key isSymbol and: [lit value = anInteger]]) ifTrue: [^lit key]]. + ^nil! Item was changed: ----- Method: Cogit>>printMethodHeader:on: (in category 'disassembly') ----- printMethodHeader: cogMethod on: aStream <doNotGenerate> self cCode: nil inSmalltalk: [cogMethod isInteger ifTrue: [^self printMethodHeader: (self cogMethodOrBlockSurrogateAt: cogMethod) on: aStream]]. aStream ensureCr. cogMethod asInteger printOn: aStream base: 16. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'objhdr: '. cogMethod objectHeader printOn: aStream base: 16]. cogMethod isCMBlock ifTrue: [aStream crtab; nextPutAll: 'homemth: '. cogMethod cmHomeMethod asUnsignedInteger printOn: aStream base: 16. aStream nextPutAll: ' (offset '; print: cogMethod homeOffset; nextPut: $); crtab; nextPutAll: 'startpc: '; print: cogMethod startpc]. aStream crtab; nextPutAll: 'nArgs: '; print: cogMethod cmNumArgs; + tab; nextPutAll: 'type: '; print: cogMethod cmType; space; nextPutAll: ((self class cmTypeNameFor: cogMethod cmType) ifNil: ['?!!?!!']). + (cogMethod cmType ~= 0 and: [cogMethod isCMBlock not]) ifTrue: - tab; nextPutAll: 'type: '; print: cogMethod cmType. - (cogMethod cmType ~= 0 and: [cogMethod isCMBlock]) ifTrue: [aStream crtab; nextPutAll: 'blksiz: '. cogMethod blockSize printOn: aStream base: 16. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'method: '. cogMethod methodObject printOn: aStream base: 16. aStream crtab; nextPutAll: 'mthhdr: '. cogMethod methodHeader printOn: aStream base: 16]. aStream crtab; nextPutAll: 'selctr: '. cogMethod selector printOn: aStream base: 16. (coInterpreter lookupAddress: cogMethod selector) ifNotNil: + [:string| aStream space; nextPutAll: string]. - [:string| aStream nextPut: $=; nextPutAll: string]. cogMethod selector = objectMemory nilObject ifTrue: [aStream space; nextPut: $(; nextPutAll: (coInterpreter stringOf: (coInterpreter maybeSelectorOfMethod: cogMethod methodObject)); nextPut: $)]. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'blkentry: '. cogMethod blockEntryOffset printOn: aStream base: 16. cogMethod blockEntryOffset ~= 0 ifTrue: [aStream nextPutAll: ' => '. cogMethod asInteger + cogMethod blockEntryOffset printOn: aStream base: 16]]]. cogMethod isCMClosedPIC ifTrue: [aStream crtab; nextPutAll: 'cPICNumCases: '. cogMethod cPICNumCases printOn: aStream base: 16. aStream tab; nextPutAll: 'cpicHasMNUCase: '; nextPutAll: (cogMethod cpicHasMNUCase ifTrue: ['yes'] ifFalse: ['no'])] ifFalse: [aStream crtab; nextPutAll: 'stackCheckOffset: '. cogMethod stackCheckOffset printOn: aStream base: 16. cogMethod stackCheckOffset > 0 ifTrue: [aStream nextPut: $/. cogMethod asInteger + cogMethod stackCheckOffset printOn: aStream base: 16]. cogMethod isCMBlock ifTrue: [aStream crtab; nextPutAll: 'cbUsesInstVars '; nextPutAll: (cogMethod cbUsesInstVars ifTrue: ['yes'] ifFalse: ['no'])] ifFalse: [aStream crtab; nextPutAll: 'cmRefersToYoung: '; nextPutAll: (cogMethod cmRefersToYoung ifTrue: ['yes'] ifFalse: ['no']); tab; nextPutAll: 'cmHasMovableLiteral: '; nextPutAll: (cogMethod cmHasMovableLiteral ifTrue: ['yes'] ifFalse: ['no']); tab; nextPutAll: 'cmIsFullBlock: '; + nextPutAll: ((cogMethod isCMMethodEtAl and: [cogMethod cmIsFullBlock]) ifTrue: ['yes'] ifFalse: ['no'])]. - nextPutAll: (cogMethod cmIsFullBlock ifTrue: ['yes'] ifFalse: ['no'])]. cogMethod isCMMethodEtAl ifTrue: [([cogMethod nextMethodOrIRCs] on: MessageNotUnderstood do: [:ex| nil]) ifNotNil: [:nmoircs| aStream crtab; nextPutAll: 'nextMethodOrIRCs: '. nmoircs = 0 ifTrue: [aStream print: nmoircs] ifFalse: [coInterpreter printHex: nmoircs]]. ([cogMethod counters] on: MessageNotUnderstood do: [:ex| nil]) ifNotNil: [:cntrs| aStream crtab; nextPutAll: 'counters: '. cntrs = 0 ifTrue: [aStream print: cntrs] ifFalse: [coInterpreter printHex: cntrs]]]]. aStream cr; flush! Item was changed: ----- Method: InterpreterPrimitives>>primitiveFractionalPart (in category 'arithmetic float primitives') ----- primitiveFractionalPart "Fractional part of float receiver; receiver *must* be a float instance." <primitiveMetadata: #(PrimCallOnSmalltalkStack PrimCallOnSmalltalkStackAlign2x)> | rcvr doubleValue trunc | <var: #trunc type: #double> rcvr := self stackTop. doubleValue := objectMemory noFailFloatValueOf: rcvr. self stackTopPut: (objectMemory floatObjectOf: + (self mod: doubleValue f: (self addressOf: trunc put: [:v| trunc := v])))! - (self mod: rcvr f: (self addressOf: trunc put: [:v| trunc := v])))! Item was changed: ----- Method: SpurSegmentManager>>addSegmentOfSize: (in category 'growing/shrinking memory') ----- addSegmentOfSize: ammount <returnTypeC: #'SpurSegmentInfo *'> <inline: false> | allocatedSize | <var: #newSeg type: #'SpurSegmentInfo *'> <var: #segAddress type: #'void *'> <var: #allocatedSize type: #'usqInt'> self cCode: nil inSmalltalk: [segments ifNil: [^nil]]. "bootstrap" (manager "sent to the manager so that the simulator can increase memory to simulate a new segment" sqAllocateMemorySegmentOfSize: ammount Above: (self firstGapOfSizeAtLeast: ammount) + AllocatedSizeInto: (self addressOf: allocatedSize put: [:sz| allocatedSize := sz])) ifNotNil: - AllocatedSizeInto: (self cCode: [self addressOf: allocatedSize] - inSmalltalk: [[:sz| allocatedSize := sz]])) ifNotNil: [:segAddress| | newSegIndex newSeg | newSegIndex := self insertSegmentFor: segAddress asUnsignedIntegerPtr. "Simulation insertion code duplicates entries if newSegIndex ~= numSegments - 1" self cCode: nil inSmalltalk: [segments at: newSegIndex put: SpurSegmentInfo new]. newSeg := self addressOf: (segments at: newSegIndex). newSeg segStart: segAddress asUnsignedIntegerPtr; segSize: allocatedSize; swizzle: 0. "Required in the C version only" self assert: self segmentOverlap not. "self printSegmentAddresses." self bridgeFrom: (self addressOf: (segments at: newSegIndex - 1)) to: newSeg. self bridgeFrom: newSeg to: (newSegIndex = (numSegments - 1) ifFalse: [self addressOf: (segments at: newSegIndex + 1)]). totalHeapSizeIncludingBridges := totalHeapSizeIncludingBridges + allocatedSize. "test isInMemory:" 0 to: numSegments - 1 do: [:i| self assert: (self isInSegments: (segments at: i) segStart). self assert: (self isInSegments: (segments at: i) segLimit - manager wordSize). self assert: ((self isInSegments: (segments at: i) segLimit) not or: [i < (numSegments - 1) and: [(segments at: i) segLimit = (segments at: i + 1) segStart]]). self assert: ((self isInSegments: (segments at: i) segStart - manager wordSize) not or: [i > 0 and: [(segments at: i - 1) segLimit = (segments at: i) segStart]])]. ^newSeg]. ^nil! Item was changed: ----- Method: StackInterpreterSimulator>>ioShow:D:i:s:p:l:a:y: (in category 'I/O primitives') ----- ioShow: destBits D: w i: h s: d p: left l: right a: top y: bottom "This is the simulator's implementation of ioShowDisplay." + | raster pixPerWord simDisp realDisp correctAspectRatioDisplayForm rect | + (displayForm isNil or: [displayBits = 0 or: [d = 0]]) ifTrue: [^self]. - | raster pixPerWord simDisp realDisp rect | - displayForm ifNil: [^self]. - displayBits = 0 ifTrue: [^self]. pixPerWord := 32 // d. + raster := displayWidth + (pixPerWord - 1) // pixPerWord. - raster := displayForm width + (pixPerWord - 1) // pixPerWord. simDisp := Form new hackBits: objectMemory memory. displayForm unhibernate. + "Changing the extent of the simulator window will send an event into the simulation and the + display wioll eventually be resized. But there may be a period in between where the simulator + window and the displayForm have different extents. Display is slower when this is the case." + displayForm width = displayWidth + ifTrue: + [realDisp := Form new hackBits: displayForm bits. + realDisp + copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) + from: 0 @ (destBits // 4 + (top * raster)) + in: simDisp + rule: Form over] + ifFalse: + [correctAspectRatioDisplayForm := Form extent: displayWidth@displayHeight depth: d. + realDisp := Form new hackBits: correctAspectRatioDisplayForm bits. + realDisp + copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) + from: 0 @ (destBits // 4 + (top * raster)) + in: simDisp + rule: Form over. + realDisp displayOn: displayForm]. - realDisp := Form new hackBits: displayForm bits. - realDisp - copy: (0 @ (top * raster) extent: 4 @ (bottom - top * raster)) - from: 0 @ (destBits // 4 + (top * raster)) - in: simDisp - rule: Form over. displayView ifNotNil: [^displayView changed]. "If running without a view, just blat the bits onto the screen..." + rect := 0 @ top corner: displayWidth @ bottom. - rect := 0 @ top corner: displayForm width @ bottom. Display copy: (rect translateBy: self displayLocation) from: rect topLeft in: displayForm rule: Form over!

1 0

VM Maker: VMMakerUI-eem.63.mcz
by commits＠source.squeak.org 14 Jun '24

14 Jun '24

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.63.mcz ==================== Summary ==================== Name: VMMakerUI-eem.63 Author: eem Time: 13 June 2024, 4:00:45.867145 pm UUID: 92109f5c-bf5c-4bf4-8f70-eb1f7a30f5fb Ancestors: VMMakerUI-eem.62 Having the click step dialog being modally exclusive is too annoying... foo ^super foo is always a noop =============== Diff against VMMakerUI-eem.62 =============== Item was changed: ----- Method: Cogit>>promptClickStep (in category '*VMMakerUI-user interface') ----- promptClickStep <doNotGenerate> ^UserDialogBoxMorph confirm: 'step?' orExtraValue: #proceed label: 'proceed' title: (self inMachineCode ifTrue: ['In machine code'] ifFalse: ['In the interpreter']) + at: nil + exclusive: false! - at: nil! Item was removed: - ----- Method: SimulatorImageMorph>>handleMouseLeave: (in category 'event handling') ----- - handleMouseLeave: anEvent - ^super handleMouseLeave: anEvent! Item was removed: - ----- Method: UserDialogBoxMorph class>>confirm:orExtraValue:label:title:at: (in category '*VMMakerUI-user interface') ----- - confirm: aString orExtraValue: extraValue label: extraLabel title: titleString at: aPointOrNil - - (self new - title: titleString; - message: aString; - createButton: 'Yes' translated value: true; - createButton: 'No' translated value: false; - createButton: extraLabel translated value: extraValue; - selectedButtonIndex: 1; "YES" - registerKeyboardShortcuts; - yourself) in: - [:dialog | - ^ aPointOrNil - ifNil: [dialog getUserResponseAtHand] - ifNotNil: [ - dialog preferredPosition: aPointOrNil. - dialog getUserResponse]]! Item was added: + ----- Method: UserDialogBoxMorph class>>confirm:orExtraValue:label:title:at:exclusive: (in category '*VMMakerUI-user interface') ----- + confirm: aString orExtraValue: extraValue label: extraLabel title: titleString at: aPointOrNil exclusive: exclusive + + (self new + title: titleString; + message: aString; + createButton: 'Yes' translated value: true; + createButton: 'No' translated value: false; + createButton: extraLabel translated value: extraValue; + selectedButtonIndex: 1; "YES" + exclusive: exclusive; + registerKeyboardShortcuts; + yourself) in: + [:dialog | + ^ aPointOrNil + ifNil: [dialog getUserResponseAtHand] + ifNotNil: [ + dialog preferredPosition: aPointOrNil. + dialog getUserResponse]]!

1 0

VM Maker: VMMakerUI-eem.62.mcz
by commits＠source.squeak.org 12 Jun '24

12 Jun '24

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.62.mcz ==================== Summary ==================== Name: VMMakerUI-eem.62 Author: eem Time: 11 June 2024, 3:26:34.517205 pm UUID: 6e1e4f44-df9f-4310-9fd4-6487a249513d Ancestors: VMMakerUI-eem.61 Complement to VMMaker.oscog-eem.3382. dbgFloatValueOf: is no more. Long live noFailFloatValueOf: =============== Diff against VMMakerUI-eem.61 =============== Item was changed: ----- Method: StackInterpreter>>printOop:on:oopAttribute: (in category '*VMMakerUI-debug printing') ----- printOop: oop on: aStream oopAttribute: oopTextAttribute <doNotGenerate> | cls fmt lastIndex startIP bytecodesPerLine column | <inline: false> (objectMemory isImmediate: oop) ifTrue: [^self shortPrintOop: oop on: aStream]. self printHex: oop on: aStream. (objectMemory addressCouldBeObj: oop) ifFalse: [(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [^aStream nextPutAll: ' is misaligned'; cr]. ((objectMemory isInNewSpace: oop) and: [objectMemory isForwarded: oop]) ifTrue: [self printForwarder: oop on: aStream oopAttribute: oopTextAttribute]. ^aStream nextPutAll: (self whereIs: oop); cr]. (objectMemory isFreeObject: oop) ifTrue: [aStream nextPutAll: ' is a free chunk of size '; print: (objectMemory sizeOfFree: oop). objectMemory hasSpurMemoryManagerAPI ifTrue: [aStream nextPutAll: ' 0th: '. self printHex: (objectMemory fetchPointer: 0 ofFreeChunk: oop) on: aStream. objectMemory printHeaderTypeOf: oop on: aStream]. ^aStream cr]. (objectMemory isForwarded: oop) ifTrue: [self printForwarder: oop on: aStream oopAttribute: oopTextAttribute]. aStream nextPutAll: ': a(n) '. self printNameOfClass: (cls := objectMemory fetchClassOfNonImm: oop) count: 5 on: aStream. + (objectMemory isFloatInstance: oop) ifTrue: + [^aStream cr; print: (objectMemory noFailFloatValueOf: oop); cr]. - cls = (objectMemory splObj: ClassFloat) ifTrue: - [^aStream cr; print: (objectMemory dbgFloatValueOf: oop); cr]. fmt := objectMemory formatOf: oop. fmt > objectMemory lastPointerFormat ifTrue: [aStream nextPutAll: ' nbytes '; print: (objectMemory numBytesOf: oop)]. aStream cr. (fmt between: objectMemory firstLongFormat and: objectMemory firstCompiledMethodFormat - 1) ifTrue: ["This will answer false if splObj: ClassAlien is nilObject" (self is: oop KindOfClass: (objectMemory splObj: ClassAlien)) ifTrue: [aStream nextPutAll: ' datasize '; print: (self sizeOfAlienData: oop). aStream nextPutAll: ((self isIndirectAlien: oop) ifTrue: [' indirect @ '] ifFalse: [(self isPointerAlien: oop) ifTrue: [' pointer @ '] ifFalse: [' direct @ ']]). self printHex: (self startOfAlienData: oop) on: aStream. ^aStream cr]. (objectMemory isWordsNonImm: oop) ifTrue: [lastIndex := 64 min: ((objectMemory numBytesOf: oop) / objectMemory wordSize). lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| self printHex: (objectMemory fetchLong32: index - 1 ofObject: oop) on: aStream. index \\ self elementsPerPrintOopLine = 0 ifTrue: [aStream cr] ifFalse: [aStream space]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. ^self]. self printStringOf: oop on: aStream. ^aStream cr]. "this is nonsense. apologies." startIP := (objectMemory safeLastPointerOf: oop) + objectMemory bytesPerOop - objectMemory baseHeaderSize / objectMemory bytesPerOop. lastIndex := 256 min: startIP. lastIndex > 0 ifTrue: [1 to: lastIndex do: [:index| aStream space; nextPutAll: (self hex: (objectMemory fetchPointer: index - 1 ofObject: oop) withAttribute: oopTextAttribute); space. aStream nextPutAll: (self shortPrint: (objectMemory fetchPointer: index - 1 ofObject: oop)). index \\ self elementsPerPrintOopLine = 0 ifTrue: [aStream cr] ifFalse: [aStream space]]. lastIndex \\ self elementsPerPrintOopLine = 0 ifFalse: [aStream cr]]. (objectMemory isCompiledMethod: oop) ifFalse: [startIP > 64 ifTrue: [aStream nextPutAll: '...'; cr]] ifTrue: [startIP := startIP * objectMemory wordSize + 1. lastIndex := objectMemory lengthOf: oop. lastIndex - startIP > 100 ifTrue: [lastIndex := startIP + 100]. bytecodesPerLine := 8. column := 1. startIP to: lastIndex do: [:index| | byte | column = 1 ifTrue: [aStream nextPutAll: (oop+objectMemory baseHeaderSize+index-1) hex; nextPutAll: ': ']. byte := objectMemory fetchByte: index - 1 ofObject: oop. aStream space. byte printOn: aStream base: 16. aStream nextPut: $/. byte printOn: aStream. column := column + 1. column > bytecodesPerLine ifTrue: [column := 1. aStream cr]]. column = 1 ifFalse: [aStream cr]]!

1 0

VM Maker: VMMaker.oscog-eem.3385.mcz
by commits＠source.squeak.org 12 Jun '24

12 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3385.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3385 Author: eem Time: 11 June 2024, 3:21:20.531612 pm UUID: 392e5542-96af-4139-beb5-4da9cf086ed2 Ancestors: VMMaker.oscog-eem.3384 Fix slip in SpurMemoryManager>>printHeaderOf: =============== Diff against VMMaker.oscog-eem.3384 =============== Item was changed: ----- Method: SpurMemoryManager>>printHeaderOf: (in category 'debug printing') ----- printHeaderOf: objOop <public> "useful for VM debugging" "N.B. No safety bounds checks!!!! We need to look e.g. at corpses." coInterpreter printHexnp: objOop. (self hasOverflowHeader: objOop) ifTrue: [coInterpreter + print: ' hdr16 slotf '; printHexnp: (self rawNumSlotsOf: objOop); - print: ' hdr16 slotf '; printHexnp: (self numSlotsOfAny: objOop - self allocationUnit); print: ' slotc '; printHexnp: (self rawOverflowSlotsOf: objOop); space] ifFalse: [coInterpreter print: ' hdr8 slots '; printHexnp: (self numSlotsOfAny: objOop)]. coInterpreter space; printChar: ((self isMarked: objOop) ifTrue: [$M] ifFalse: [$m]); printChar: ((self isGrey: objOop) ifTrue: [$G] ifFalse: [$g]); printChar: ((self isPinned: objOop) ifTrue: [$P] ifFalse: [$p]); printChar: ((self isRemembered: objOop) ifTrue: [$R] ifFalse: [$r]); printChar: ((self isImmutable: objOop) ifTrue: [$I] ifFalse: [$i]); print: ' hash '; printHexnp: (self rawHashBitsOf: objOop); print: ' fmt '; printHexnp: (self formatOf: objOop); print: ' cidx '; printHexnp: (self classIndexOf: objOop); cr!

1 0

Has anyone built Cog VM for 32-bit V3 recently?
by lewis＠mail.msen.com 11 Jun '24

11 Jun '24

I bowed to the inevitable and upgraded to a new Linux box, and I'm now getting errors in the configure phase when I try to build a Cog VM (building/linux32x86/squeak.cog.v3/build). This would be a Cog VM for running Squeak 4.6 era images. checking "size of int"... "bad" configure: error: "one or more basic data types has an incompatible size: giving up" I am assuming that this is compiler related, but just want to ask here first before trying to figure it out. Has anyone compiled Cog for Squeak 4.6 recently? Dave

2 4

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev June 2024