Squeak-dev January 2024

squeak-dev@lists.squeakfoundation.org

22 participants
89 discussions

The Trunk: Kernel-mt.1545.mcz
by commits＠source.squeak.org 10 Jan '24

10 Jan '24

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1545.mcz ==================== Summary ==================== Name: Kernel-mt.1545 Author: mt Time: 21 December 2023, 5:35:58.67902 pm UUID: fcde1fb1-0264-7a40-9117-67d9fdd740de Ancestors: Kernel-mt.1544 Propose different fallback for mixed int-float arithmetics to use VM-backed mixed float-int arithmetics for + - * / . Speed-up is about 7x on my machine. =============== Diff against Kernel-mt.1544 =============== Item was changed: ----- Method: SmallInteger>>* (in category 'arithmetic') ----- * aNumber "Primitive. Multiply the receiver by the argument and answer with the result if it is a SmallInteger. Fail if the argument or the result is not a SmallInteger. Essential. No Lookup. See Object documentation whatIsAPrimitive." <primitive: 9> + ^ aNumber isFloat + ifTrue: [aNumber * self "exploit mixed arithmetic in float primitives"] + ifFalse: [super * aNumber]! - ^ super * aNumber! Item was changed: ----- Method: SmallInteger>>+ (in category 'arithmetic') ----- + aNumber "Primitive. Add the receiver to the argument and answer with the result if it is a SmallInteger. Fail if the argument or the result is not a SmallInteger Essential No Lookup. See Object documentation whatIsAPrimitive." <primitive: 1> + ^ aNumber isFloat + ifTrue: [aNumber + self "exploit mixed arithmetic in float primitives"] + ifFalse: [super + aNumber]! - ^ super + aNumber! Item was changed: ----- Method: SmallInteger>>- (in category 'arithmetic') ----- - aNumber "Primitive. Subtract the argument from the receiver and answer with the result if it is a SmallInteger. Fail if the argument or the result is not a SmallInteger. Essential. No Lookup. See Object documentation whatIsAPrimitive." <primitive: 2> + ^ aNumber isFloat + ifTrue: [aNumber negated + self "exploit mixed arithmetic in float primitives"] + ifFalse: [super - aNumber]! - ^super - aNumber! Item was changed: ----- Method: SmallInteger>>/ (in category 'arithmetic') ----- / aNumber "Primitive. This primitive (for /) divides the receiver by the argument and returns the result if the division is exact. Fail if the result is not a whole integer. Fail if the argument is 0 or is not a SmallInteger. Optional. No Lookup. See Object documentation whatIsAPrimitive." <primitive: 10> + ^ aNumber isFloat + ifTrue: [(1.0 / aNumber) * self "exploit mixed arithmetic in float primitives"] + ifFalse: [super / aNumber]! - ^super / aNumber!

1 0

The Inbox: Kernel-jar.1551.mcz
by commits＠source.squeak.org 09 Jan '24

09 Jan '24

A new version of Kernel was added to project The Inbox: http://source.squeak.org/inbox/Kernel-jar.1551.mcz ==================== Summary ==================== Name: Kernel-jar.1551 Author: jar Time: 9 January 2024, 10:28:51.614546 pm UUID: 51c45b0b-53ac-064c-8a39-917b0f726809 Ancestors: Kernel-jar.1550 for consideration: stepOver bug fix using Christoph's #nextRunUntilErrorOrReturnFromCalleeContext method. The issue is: when you debug and step through to ^2 and then step over ^2 in [^2] ensure: [] the non local return ^2 will jump over the guard contexts installed temporarily while executing the #stepOver and the computation will runaway and end up with BCR error. Both events are wrong: the step over should stop at the initial doit context and the computation should end gracefully without the BCR error. In the current trunk there's a "fix" or rather an unclean "hack" that forces recomputing the closest unwind context and stops the debugged process fromo "running away". However, as Christoph noted, this hack violates the idea that simulation mimics the VM behavior. Here I'm proposing an alternative approach: to move the guard contexts to the correct position in the sender chain right before the non local return is about to be executed. With this approach simulation mimics the VM behavior as requested. =============== Diff against Kernel-jar.1550 =============== Item was added: + ----- Method: Context>>findNextRunUntilErrorOrReturnFromCalleeContextUpTo: (in category 'private-exceptions') ----- + findNextRunUntilErrorOrReturnFromCalleeContextUpTo: aContext + + | ctx callee | + "Don't shoot in your own foot when reaching here straight from #jump in #runUntilErrorReturnFrom:" + self sender selector + caseOf: { + [#runUntilErrorOrReturnFrom:] -> [^ nil]. + [#contextOn:do:] -> [(self sender sender tempAt: 2) outerContext ifNotNil: [:blockCtx | blockCtx selector = #runUntilErrorOrReturnFrom: ifTrue: [^ nil]]]. + [#contextEnsure:] -> [(self sender sender tempAt: 1) outerContext ifNotNil: [:blockCtx | blockCtx selector = #runUntilErrorOrReturnFrom: ifTrue: [^ nil]]] } + otherwise: []. + + ctx := self. + [callee := ctx. (ctx := ctx nextHandlerContext) == nil or: [ctx == aContext]] whileFalse: + [(((ctx tempAt: 1) == UnhandledError) and: + [(ctx tempAt: 2) outerContext selector = #runUntilErrorOrReturnFrom:]) ifTrue: [^callee]]. + ^nil! Item was added: + ----- Method: Context>>moveSimulationGuardsUnder: (in category 'private-debugger') ----- + moveSimulationGuardsUnder: aContext + "Move simulation guard contexts under the callee of self in case self (return context) is under aContext." + + | importantContext guards head tail callee | + importantContext := thisContext nextRunUntilErrorOrReturnFromCalleeContext ifNil: [^ self]. + guards := importantContext nextHandlerContext. + (aContext hasSender: guards) ifTrue: [^ self]. "guard contexts are under aContext, no need to interrupt" + + self assert: (aContext hasSender: self). + head := importantContext findContextSuchThat: [:c | c sender == guards]. "callee of guard" + tail := guards sender sender. + callee := tail findContextSuchThat: [:c | c sender == self]. "callee of self" + guards cut: tail. + head privSender: tail. + callee insertSender: guards + ! Item was added: + ----- Method: Context>>nextRunUntilErrorOrReturnFromCalleeContext (in category 'private-exceptions') ----- + nextRunUntilErrorOrReturnFromCalleeContext + + ^ self findNextRunUntilErrorOrReturnFromCalleeContextUpTo: self! Item was changed: ----- Method: Context>>resumeEvaluating: (in category 'controlling') ----- resumeEvaluating: aBlock "Unwind thisContext to self and resume with value as result of last send. Execute unwind blocks when unwinding. ASSUMES self is a sender of thisContext" + ^self resumeEvaluating: aBlock through: thisContext! - ^self resumeEvaluating: aBlock through: nil! Item was changed: ----- Method: Context>>resumeEvaluating:through: (in category 'controlling') ----- + resumeEvaluating: aBlock through: aContext - resumeEvaluating: aBlock through: firstUnwindCtxtOrNil "Unwind thisContext to self and resume with value as result of last send. Execute unwind blocks when unwinding. ASSUMES self is a sender of thisContext." self isDead ifTrue: [self cannotReturn: aBlock value to: self]. + self moveSimulationGuardsUnder: aContext. + aContext unwindTo: self safely: false. - (firstUnwindCtxtOrNil ifNil: thisContext) unwindTo: self safely: false. thisContext terminateTo: self. ^aBlock value! Item was changed: ----- Method: Context>>return:from: (in category 'instruction decoding') ----- return: value from: aSender "For simulation. Roll back self to aSender and return value from it. Execute any unwind blocks on the way. ASSUMES aSender is a sender of self" | newTop | newTop := aSender sender. + (aSender isDead or: [newTop isNil or: [newTop isDead]]) ifTrue: [ + ^self pc: nil; send: #cannotReturn: to: self with: {value}]. + (self findNextUnwindContextUpTo: newTop) ifNotNil: [:unwindProtectCtxt | + ^self send: #aboutToReturn:through: to: self with: {value. unwindProtectCtxt}]. - (aSender isDead or: [newTop isNil or: [newTop isDead]]) ifTrue: - [^self pc: nil; send: #cannotReturn: to: self with: {value}]. - (self findNextUnwindContextUpTo: newTop) ifNotNil: - "Send #aboutToReturn:through: with nil as the second argument to avoid this bug: - Cannot #stepOver '^2' in example '[^2] ensure: []'. - See http://lists.squeakfoundation.org/pipermail/squeak-dev/2022-June/220975.html" - [^self send: #aboutToReturn:through: to: self with: {value. nil}]. self releaseTo: newTop. + ^newTop push: value! - newTop ifNotNil: [newTop push: value]. - ^newTop!

1 0

The Inbox: Kernel-jar.1550.mcz
by commits＠source.squeak.org 09 Jan '24

09 Jan '24

A new version of Kernel was added to project The Inbox: http://source.squeak.org/inbox/Kernel-jar.1550.mcz ==================== Summary ==================== Name: Kernel-jar.1550 Author: jar Time: 9 January 2024, 8:36:02.1473 pm UUID: f53ab664-7278-8944-8a7c-90660a08f773 Ancestors: Kernel-ct.1549 fix and rename private method #stepToCalleeOrNil to #stepToSenderOrNil if you debug and do step through to ^2 and then step over in [^2] ensure: [] the debugger incorrectly stops at #resume:through:. The reason is #resume:through: sends a block as an argument and #stepToCalleeOrNil is just not right for this situation: the purpose of the #stepToSenderOrNil method is to remove the top context from the stack by stepping until the context returns. This means we're not interested in detecting stack increases provided by #stepToCalleeOrNil. It is only used as a helper method in runUntilErrorOrReturnFrom: =============== Diff against Kernel-ct.1549 =============== Item was changed: ----- Method: Context>>runUntilErrorOrReturnFrom: (in category 'controlling') ----- runUntilErrorOrReturnFrom: aSender "ASSUMES aSender is a sender of self. Execute self's stack until aSender returns or an unhandled exception is raised. Return a pair containing the new top context and a possibly nil exception. The exception is not nil if it was raised before aSender returned and it was not handled. The exception is returned rather than openning the debugger, giving the caller the choice of how to handle it." "Self is run by jumping directly to it (the active process abandons thisContext and executes self). However, before jumping to self we insert an ensure block under aSender that jumps back to thisContext when evaluated. We also insert an exception handler under aSender that jumps back to thisContext when an unhandled exception is raised. In either case, the inserted ensure and exception handler are removed once control jumps back to thisContext." | error ctxt here topContext | here := thisContext. "Insert ensure and exception handler contexts under aSender" error := nil. ctxt := aSender insertSender: (Context contextOn: UnhandledError do: [:ex | error ifNil: [ error := ex exception. topContext := thisContext. ex resumeUnchecked: here jump] ifNotNil: [ex pass] ]). ctxt := ctxt insertSender: (Context contextEnsure: [error ifNil: [ topContext := thisContext. here jump] ]). self jump. "Control jumps to self" "Control resumes here once above ensure block or exception handler is executed" ^ error ifNil: [ "No error was raised, remove ensure context by stepping until popped" + [ctxt isDead or: [topContext isNil]] whileFalse: [topContext := topContext stepToSenderOrNil]. - [ctxt isDead or: [topContext isNil]] whileFalse: [topContext := topContext stepToCalleeOrNil]. {topContext. nil} ] ifNotNil: [ "Error was raised, remove inserted above contexts then return signaler context" aSender terminateTo: ctxt sender. "remove above ensure and handler contexts" {topContext. error} ]! Item was removed: - ----- Method: Context>>stepToCalleeOrNil (in category 'private') ----- - stepToCalleeOrNil - "Step to callee or sender; step to return and answer nil in case sender cannot be returned to." - - | ctxt | - ctxt := self. - [(ctxt willReturn and: [ctxt sender isNil or: [ctxt sender isDead]]) not and: [(ctxt := ctxt step) == self]] whileTrue. - ctxt == self ifTrue: [^nil]. - ^ctxt! Item was added: + ----- Method: Context>>stepToSenderOrNil (in category 'private') ----- + stepToSenderOrNil + "Step to sender or step to return and answer nil in case sender cannot be returned to." + + | ctxt | + ctxt := self. + [(ctxt willReturn and: [ctxt sender isNil or: [ctxt sender isDead]]) not and: [(ctxt := ctxt step) == self or: [ctxt hasSender: self]]] whileTrue. + ctxt == self ifTrue: [^nil]. + ^ctxt!

1 0

The Trunk: System-ct.1444.mcz
by commits＠source.squeak.org 09 Jan '24

09 Jan '24

Christoph Thiede uploaded a new version of System to project The Trunk: http://source.squeak.org/trunk/System-ct.1444.mcz ==================== Summary ==================== Name: System-ct.1444 Author: ct Time: 9 January 2024, 8:11:21.160382 pm UUID: d3468d51-cc4d-a44f-8aad-6900e10ba2cc Ancestors: System-dtl.1442 MessageTally: Moves clean-up of timed process spying into an ensure block, analogously to sibling methods. Fixes a memory leak. =============== Diff against System-dtl.1442 =============== Item was changed: ----- Method: MessageTally>>spyEvery:onProcess:forMilliseconds: (in category 'initialize-release') ----- spyEvery: millisecs onProcess: aProcess forMilliseconds: msecDuration "Create a spy and spy on the given process at the specified rate." | myDelay observedProcess sem | (aProcess isKindOf: Process) ifFalse: [self error: 'spy needs a Process here']. self class: aProcess suspendedContext receiver class method: aProcess suspendedContext method. "set up the probe" observedProcess := aProcess. myDelay := Delay forMilliseconds: millisecs. time0 := Time millisecondClockValue. endTime := time0 + msecDuration. sem := Semaphore new. gcStats := Smalltalk getVMParameters. Timer ifNotNil: [ self error: 'it seems a tally is already running' ]. Timer := [ [ startTime := Time millisecondClockValue. myDelay wait. self tally: Processor preemptedProcess suspendedContext in: (observedProcess == Processor preemptedProcess ifTrue: [ observedProcess ] ifFalse: [ nil ]) "tally can be > 1 if ran a long primitive" by: (Time millisecondClockValue - startTime) // millisecs. startTime < endTime ] whileTrue. sem signal. ] newProcess. Timer priority: Processor timingPriority-1. "activate the probe and evaluate the block" Timer resume. "activate the probe and wait for it to finish" + [sem wait] ensure: [ + self class terminateTimerProcess. + self computeGCStats. + time := Time millisecondClockValue - time0]! - sem wait. - self computeGCStats. - time := Time millisecondClockValue - time0!

1 0

PointerFinder and ProtoObject (was: https://github.com/squeak-smalltalk/squeak-object-memory/issues/47)
by christoph.thiede＠student.hpi.uni-potsdam.de 09 Jan '24

09 Jan '24

Forwarding this to squeak-dev because I never know how many of us are watching the issue tracker. If you can read, would you mind to give me a hint whether you got a notification from GitHub before? Hi all, hi @eliotmiranda, I'm still experiencing this issue and issue and would like to solve it. The problem is that the pointer finder sends outboundPointersDo: and shouldFollowOutboundPointers to all (reachable) objects in the system, including instances of ProtoObject. Some proxy classes that do not inherit from Object might respond with side effects to these messages (e.g., an ObjectTracer will bring up a debugger, an MCInfoProxy will perform an expensive materialization [1], a void ProtoObject basicNew will raise an MNU). I see three possible options to fix this: All proxies have to implement these messages by itself. Pro: proxies remain in control over pointer finding, ProtoObject looks clean. Con: extra effort for every (!) inheritor of ProtoObject, legacy code still breaks the pointer finder. Do not dispatch pointer finding to objects but use mirror style enumeration. Pro: issue is fixed globally. Con: proxies no longer can customize pointer finding. Move up pointer finding methods from Object to ProtoObject. Pro: most legacy will not need to be changed, proxies may still choose to customize pointer finding. Con: ProtoObject interface becomes slightly messier. In the end, the question seems to be about whether pointer finding is a capability that proxies regularly should or want to customize, or whether it should perfectly imitate the object graph/GC as seen/performed by the VM. I tend to the latter perspective, but could also imagine that one might want to use the pointer finder to chase the pointers in a network of connected images (e.g., Croquet). While technically not the cleanest, option 3 would switch the default assumption from 1 to 2 while still leaving proxies the option to opt in. Looking forward to your opinion! Best, Christoph PS: See also this discussion [2]. [1] [squeak-dev] Re: [squeak-dev] Serious garbage/storage leak issue with MCInfoProxy (https://lists.squeakfoundation.org/archives/list/squeak-dev@lists.squeakfou…) [squeak-dev] Re: [squeak-dev] what is a transparent proxy? (https://lists.squeakfoundation.org/archives/list/squeak-dev@lists.squeakfou…) --- Sent from Squeak Inbox Talk

1 0

The Inbox: Kernel-ct.1448.mcz
by commits＠source.squeak.org 09 Jan '24

09 Jan '24

A new version of Kernel was added to project The Inbox: http://source.squeak.org/inbox/Kernel-ct.1448.mcz ==================== Summary ==================== Name: Kernel-ct.1448 Author: ct Time: 12 March 2022, 12:42:08.516359 am UUID: 7659c202-5fcc-084e-84b4-a5d233717b2d Ancestors: Kernel-nice.1447 Implements missing simulation of primitive 189 primitiveExecuteMethod (Object>>with:...executeMethod:). =============== Diff against Kernel-nice.1447 =============== Item was changed: ----- Method: Context>>doPrimitive:method:receiver:args: (in category 'private') ----- doPrimitive: primitiveIndex method: meth receiver: receiver args: arguments "Simulate a primitive method whose index is primitiveIndex. The simulated receiver and arguments are given as arguments to this message. If successful, push result and return resuming context, else ^ {errCode, PrimitiveFailToken}. Any primitive which provokes execution needs to be intercepted and simulated to avoid execution running away." | value | "Judicious use of primitive 19 (a null primitive that doesn't do anything) prevents the debugger from entering various run-away activities such as spawning a new process, etc. Injudicious use results in the debugger not being able to debug interesting code, such as the debugger itself. Hence use primitive 19 with care :-)" "SystemNavigation new browseAllSelect: [:m| m primitive = 19]" primitiveIndex = 19 ifTrue: [ [self notify: ('The code being simulated is trying to control a process ({1}). Process controlling cannot be simulated. If you proceed, things may happen outside the observable area of the simulator.' translated format: {meth reference})] ifCurtailed: [self push: nil "Cheap fix of the context's internal state"]]. ((primitiveIndex between: 201 and: 222) and: [(self objectClass: receiver) includesBehavior: BlockClosure]) ifTrue: [(primitiveIndex = 206 or: [primitiveIndex = 208]) ifTrue: "[Full]BlockClosure>>valueWithArguments:" [^receiver simulateValueWithArguments: arguments first caller: self]. ((primitiveIndex between: 201 and: 209) "[Full]BlockClosure>>value[:value:...]" or: [primitiveIndex between: 221 and: 222]) ifTrue: "[Full]BlockClosure>>valueNoContextSwitch[:]" [^receiver simulateValueWithArguments: arguments caller: self]]. primitiveIndex = 83 ifTrue: "afr 9/11/1998 19:50" "Object>>perform:[with:...]" [| selector | selector := arguments at: 1 ifAbsent: [^ self class primitiveFailTokenFor: #'bad argument']. arguments size - 1 = selector numArgs ifFalse: [^ self class primitiveFailTokenFor: #'bad number of arguments']. ^self send: selector to: receiver with: arguments allButFirst]. primitiveIndex = 84 ifTrue: "afr 9/11/1998 19:50 & eem 8/18/2009 17:04" "Object>>perform:withArguments:" [| selector args | arguments size = 2 ifFalse: [^ self class primitiveFailTokenFor: #'bad argument']. selector := arguments first. args := arguments second. args isArray ifFalse: [^ self class primitiveFailTokenFor: #'bad argument']. args size = selector numArgs ifFalse: [^ self class primitiveFailTokenFor: #'bad number of arguments']. ^self send: selector to: receiver with: args]. primitiveIndex = 100 ifTrue: "eem 8/18/2009 16:57" "Object>>perform:withArguments:inSuperclass:" [| rcvr selector args superclass | arguments size caseOf: { [3] -> [ rcvr := receiver. selector := arguments first. args := arguments second. superclass := arguments third]. [4] -> ["mirror primitive" rcvr := arguments first. selector := arguments second. args := arguments third. superclass := arguments fourth] } otherwise: [^ self class primitiveFailTokenFor: #'bad argument']. args isArray ifFalse: [^ self class primitiveFailTokenFor: #'bad argument']. args size = selector numArgs ifFalse: [^ self class primitiveFailTokenFor: #'bad number of arguments']. ((self objectClass: rcvr) includesBehavior: superclass) ifFalse: [^ self class primitiveFailTokenFor: #'bad argument']. ^self send: selector to: rcvr with: args lookupIn: superclass]. "Mutex>>primitiveEnterCriticalSection Mutex>>primitiveTestAndSetOwnershipOfCriticalSection" (primitiveIndex = 186 or: [primitiveIndex = 187]) ifTrue: [| effective | effective := Processor activeProcess effectiveProcess. "active == effective" value := primitiveIndex = 186 ifTrue: [receiver primitiveEnterCriticalSectionOnBehalfOf: effective] ifFalse: [receiver primitiveTestAndSetOwnershipOfCriticalSectionOnBehalfOf: effective]. ^(self isPrimFailToken: value) ifTrue: [value] ifFalse: [self push: value]]. + + (primitiveIndex = 188 or: [primitiveIndex = 189]) ifTrue: - - primitiveIndex = 188 ifTrue: "Object>>withArgs:executeMethod: - CompiledMethod class>>receiver:withArguments:executeMethod: - VMMirror>>ifFail:object:with:executeMethod: et al" [| n args methodArg thisReceiver | + primitiveIndex caseOf: + {[188 "primitiveExecuteMethodArgsArray"] -> + ["Object>>withArgs:executeMethod: + CompiledMethod class>>receiver:withArguments:executeMethod: + VMMirror>>ifFail:object:with:executeMethod: et al" + ((n := arguments size) between: 2 and: 4) ifFalse: + [^self class primitiveFailTokenFor: #'unsupported operation']. + ((self objectClass: (args := arguments at: n - 1)) == Array + and: [(self objectClass: (methodArg := arguments at: n)) includesBehavior: CompiledMethod]) ifFalse: + [^self class primitiveFailTokenFor: #'bad argument']. + thisReceiver := arguments at: n - 2 ifAbsent: [receiver]]. + [189 "primitiveExecuteMethod"] -> + ["Object>>executeMethod: + Object>>with:...executeMethod:" + (arguments size > 0) ifFalse: + [^self class primitiveFailTokenFor: #'bad argument']. + ((self objectClass: (methodArg := arguments atLast: 1)) includesBehavior: CompiledMethod) ifFalse: + [^self class primitiveFailTokenFor: #'bad argument']. + args := arguments allButLast. + thisReceiver := receiver]}. - ((n := arguments size) between: 2 and: 4) ifFalse: - [^self class primitiveFailTokenFor: #'unsupported operation']. - ((self objectClass: (args := arguments at: n - 1)) == Array - and: [(self objectClass: (methodArg := arguments at: n)) includesBehavior: CompiledMethod]) ifFalse: - [^self class primitiveFailTokenFor: #'bad argument']. methodArg numArgs = args size ifFalse: [^self class primitiveFailTokenFor: #'bad number of arguments']. - thisReceiver := arguments at: n - 2 ifAbsent: [receiver]. methodArg primitive > 0 ifTrue: [methodArg isQuick ifTrue: [^self push: (methodArg valueWithReceiver: thisReceiver arguments: args)]. ^self doPrimitive: methodArg primitive method: meth receiver: thisReceiver args: args]. ^self activateMethod: methodArg withArgs: args receiver: thisReceiver]. primitiveIndex = 118 ifTrue: "[receiver:]tryPrimitive:withArgs:; avoid recursing in the VM" [(arguments size = 3 and: [(self objectClass: arguments second) == SmallInteger and: [(self objectClass: arguments last) == Array]]) ifTrue: [^self doPrimitive: arguments second method: meth receiver: arguments first args: arguments last]. (arguments size = 2 and: [(self objectClass: arguments first) == SmallInteger and: [(self objectClass: arguments last) == Array]]) ifFalse: [^self class primitiveFailTokenFor: nil]. ^self doPrimitive: arguments first method: meth receiver: receiver args: arguments last]. value := primitiveIndex = 120 "FFI method" ifTrue: [(meth literalAt: 1) tryInvokeWithArguments: arguments] ifFalse: [primitiveIndex = 117 "named primitives" ifTrue: [self tryNamedPrimitiveIn: meth for: receiver withArgs: arguments] ifFalse: "should use self receiver: receiver tryPrimitive: primitiveIndex withArgs: arguments but this is only in later VMs (and appears to be broken)" [receiver tryPrimitive: primitiveIndex withArgs: arguments]]. ^(self isPrimFailToken: value) ifTrue: [value] ifFalse: [self push: value]!

4 5

The Inbox: Chronology-Core-jar.91.mcz
by commits＠source.squeak.org 07 Jan '24

07 Jan '24

A new version of Chronology-Core was added to project The Inbox: http://source.squeak.org/inbox/Chronology-Core-jar.91.mcz ==================== Summary ==================== Name: Chronology-Core-jar.91 Author: jar Time: 7 January 2024, 1:50:33.62718 pm UUID: 449881a6-d6f2-1748-a77b-16c0a300483c Ancestors: Chronology-Core-jar.90 an alternative fix of a bug in #valueWithin:onTimeout: described in Chronology-Core-jar.90 FYI: Issue: the method starts a watchdog at high priority before entering the ensure: method. But the active process may terminate before entering the ensure: inside valueWithin:onTimeout:, and thus the cleanup ensure argument block will not be executed during the unwind. As a result the watchod will assume the active process has not completed the watched block and will erroneously signal the TimedOut exception and a failure (BCR exception) inside #signalException will follow. =============== Diff against Chronology-Core-jar.90 =============== Item was changed: ----- Method: BlockClosure>>valueWithin:onTimeout: (in category '*chronology-core') ----- valueWithin: aDuration onTimeout: timeoutBlock "Evaluate the receiver. If the evaluation does not complete in less than aDuration evaluate the timeoutBlock instead" | theProcess delay watchdog tag | aDuration <= Duration zero ifTrue: [^ timeoutBlock value ]. "the block will be executed in the current process" theProcess := Processor activeProcess. delay := aDuration asDelay. tag := self. "make a watchdog process" watchdog := [ + delay wait. "wait for timeout" + theProcess signalException: (TimedOut new tag: tag) - delay wait. "wait for timeout or completion" - theProcess ifNotNil:[ theProcess signalException: (TimedOut new tag: tag)] ] newProcess. "Watchdog needs to run at high priority to do its job (but not at timing priority)" watchdog priority: Processor timingPriority-1. "catch the timeout signal" + ^ [[watchdog resume. "start up the watchdog" + self value] ensure: [ "evaluate the receiver" + watchdog terminate. "exit the watchdog" - ^ [ [watchdog resume. "start up the watchdog" - self value] ensure:[ "evaluate the receiver" - theProcess := nil. "it has completed, so ..." - delay delaySemaphore signal. "arrange for the watchdog to exit" ]] on: TimedOut do: [ :e | e tag == tag ifTrue:[ timeoutBlock value ] ifFalse:[ e pass]].!

1 0

[Mac] Sound recording broken
by Vanessa Freudenberg 06 Jan '24

06 Jan '24

Hi all, it seems in the "official" Squeak VM sound input is broken: RecordingControls new openInHand and press record => Error: primGetActualRecordingSampleRate failed However, an OpenSmalltalk VM that seems identical *does* work. Pasting the VM versions below. The working one I downloaded from OpenSmalltalk a while ago, the broken one is Squeak 6.0. What could the difference be? Vanessa WORKING: Open Smalltalk Cog[Spur] VM [CoInterpreterPrimitives VMMaker.oscog-dtl.3185] 5.20220602.1410 Mac OS X built on Jun 2 2022 16:04:54 UTC Compiler: Apple LLVM 12.0.0 (clang-1200.0.32.29) platform sources revision VM: 202206021410 runner@Mac-1654184818873.local:work/opensmalltalk-vm/opensmalltalk-vm Date: Thu Jun 2 16:10:44 2022 CommitHash: c9fd365 Plugins: 202206021410 runner@Mac-1654184818873.local:work/opensmalltalk-vm/opensmalltalk-vm CoInterpreter VMMaker.oscog-dtl.3185 uuid: 0e7f07b8-eed6-4362-b223-86c98594ddb9 Jun 2 2022 StackToRegisterMappingCogit VMMaker.oscog-mt.3179 uuid: c6fbcb07-2a19-ed4f-8b40-9c119a70882a Jun 2 2022 NOT WORKING: Open Smalltalk Cog[Spur] VM [CoInterpreterPrimitives VMMaker.oscog-dtl.3185] 64 bit Mac OS X built on Jun 2 2022 16:04:54 UTC Compiler: Apple LLVM 12.0.0 (clang-1200.0.32.29) platform sources revision VM: 202206021410 runner@Mac-1654184818873.local:work/opensmalltalk-vm/opensmalltalk-vm Date: Thu Jun 2 16:10:44 2022 CommitHash: c9fd365 Plugins: 202206021410 runner@Mac-1654184818873.local:work/opensmalltalk-vm/opensmalltalk-vm CoInterpreter VMMaker.oscog-dtl.3185 uuid: 0e7f07b8-eed6-4362-b223-86c98594ddb9 Jun 2 2022 StackToRegisterMappingCogit VMMaker.oscog-mt.3179 uuid: c6fbcb07-2a19-ed4f-8b40-9c119a70882a Jun 2 2022 Vanessa

2 1

Two irritating online threads involving Smalltalk
by Tim Rowledge 05 Jan '24

05 Jan '24

For some reason there are currently two discussion threads online where people are saying daft things about Smalltalk. Things like "it never handled files because {insert idiotic reason}". Or "it only runs on extremely expensive workstations" etc etc. You may find some pleasure in countering some of the commentary; I know I have. https://www.linkedin.com/posts/jasongorman_yknow-it-sometimes-feels-like-ou… https://www.theregister.com/2023/12/25/the_war_of_the_workstations/ (the article is mostly pretty sensible but the commentary... ) Fly, my winged monkeys, fly! tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim The halfway point between right and wrong is still damn wrong. Compromise isn't always a solution

2 2

The Inbox: WebClient-Tests-ct.65.mcz
by commits＠source.squeak.org 05 Jan '24

05 Jan '24

Christoph Thiede uploaded a new version of WebClient-Tests to project The Inbox: http://source.squeak.org/inbox/WebClient-Tests-ct.65.mcz ==================== Summary ==================== Name: WebClient-Tests-ct.65 Author: ct Time: 5 January 2024, 5:32:01.291232 pm UUID: eba72d99-9834-a740-acbc-34e82ad9826e Ancestors: WebClient-Tests-tpr.64 Increases timeouts for WebClientServerTests. Am I the only one for whom some of them run up to 20 seconds? =============== Diff against WebClient-Tests-tpr.64 =============== Item was added: + ----- Method: WebClientServerTest>>defaultTimeout (in category 'running - timeout') ----- + defaultTimeout + + ^ super defaultTimeout * 4!

1 0

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