<div dir="ltr"><div class="gmail_default" style="font-size:small">Hi Christoph,</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small"> your fixes look good. I was on the verge of moving them to trunk when I looked at the failure code in Object>>withArgs:executeMethod:<span class="gmail-Apple-converted-space"> </span></div><br class="gmail-Apple-interchange-newline">Object>>withArgs: argArray executeMethod: compiledMethod<br> "Execute compiledMethod against the receiver and args in argArray"<br><br> | selector |<br> <primitive: 188><br> <span class="gmail-Apple-converted-space"> </span>selector := Symbol new.<br> <span class="gmail-Apple-converted-space"> </span>self class addSelectorSilently: selector withMethod: compiledMethod.<br> <span class="gmail-Apple-converted-space"> </span>^ [self perform: selector withArguments: argArray]<br> <span class="gmail-Apple-converted-space"> </span> <span class="gmail-Apple-converted-space"> </span>ensure: [self class basicRemoveSelector: selector]<div><br></div><div><div class="gmail_default" style="font-size:small">Wow that's a huge side-effect for such a basic operation. Not only that, the method lives in the method dictionary until the ensure: block us run and that could potentially be never. Isn't it preferable to determine if compiledMethod has a primitive, if so to use the doPrimitive:.../tryNamedPrimitiveIn:/tryPrimitive: machinery to execute the primitive, and then if the primitive fails create an activation of compiledMethod via Context class>>sender:receiver:method:arguments: and set that going via swapSender: tricks?</div></div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">If you agree can I ask you to submit a Kernel with the implementation?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 11, 2022 at 4:56 PM Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<div dir="ltr">
<div id="gmail-m_4579105992201603636divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<p><span style="font-size:12pt">Hi Eliot, hi all,</span><br>
</p>
<div dir="ltr">
<div id="gmail-m_4579105992201603636x_divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<p><br>
</p>
<p>I have dropped a few versions in the inbox that improve the simulation of primitive 189, 183, 184 and also add tests for them. Please see: <span>KernelTests-ct.420, </span><span>Kernel-ct.1448, <span>KernelTests-ct.421, and Kernel-ct.1449. Also, there are
even more primitive tests in <span>KernelTests-ct.409 (inbox), but they do not need to be reviewed together. I am looking forward to your feedback, please let me know when I can move these changes to the Trunk! :-)</span></span></span></p>
<p><span><span><span><br>
</span></span></span></p>
<p><span><span><span>Best,</span></span></span></p>
<p><span><span><span>Christoph</span></span></span></p>
<p><span><br>
</span></p>
</div>
<hr style="display:inline-block;width:98%">
<div id="gmail-m_4579105992201603636x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>Von:</b> Squeak-dev <<a href="mailto:squeak-dev-bounces@lists.squeakfoundation.org" target="_blank">squeak-dev-bounces@lists.squeakfoundation.org</a>> im Auftrag von <a href="mailto:commits@source.squeak.org" target="_blank">commits@source.squeak.org</a> <<a href="mailto:commits@source.squeak.org" target="_blank">commits@source.squeak.org</a>><br>
<b>Gesendet:</b> Samstag, 12. März 2022 00:42:12<br>
<b>An:</b> <a href="mailto:squeak-dev@lists.squeakfoundation.org" target="_blank">squeak-dev@lists.squeakfoundation.org</a><br>
<b>Betreff:</b> [squeak-dev] The Inbox: Kernel-ct.1448.mcz</font>
<div> </div>
</div>
</div>
<font size="2"><span style="font-size:10pt">
<div>A new version of Kernel was added to project The Inbox:<br>
<a href="http://source.squeak.org/inbox/Kernel-ct.1448.mcz" id="gmail-m_4579105992201603636LPlnk883731" target="_blank">http://source.squeak.org/inbox/Kernel-ct.1448.mcz</a><br>
<br>
==================== Summary ====================<br>
<br>
Name: Kernel-ct.1448<br>
Author: ct<br>
Time: 12 March 2022, 12:42:08.516359 am<br>
UUID: 7659c202-5fcc-084e-84b4-a5d233717b2d<br>
Ancestors: Kernel-nice.1447<br>
<br>
Implements missing simulation of primitive 189 primitiveExecuteMethod (Object>>with:...executeMethod:).<br>
<br>
=============== Diff against Kernel-nice.1447 ===============<br>
<br>
Item was changed:<br>
----- Method: Context>>doPrimitive:method:receiver:args: (in category 'private') -----<br>
doPrimitive: primitiveIndex method: meth receiver: receiver args: arguments<br>
"Simulate a primitive method whose index is primitiveIndex. The simulated receiver and<br>
arguments are given as arguments to this message. If successful, push result and return<br>
resuming context, else ^ {errCode, PrimitiveFailToken}. Any primitive which provokes<br>
execution needs to be intercepted and simulated to avoid execution running away."<br>
<br>
| value |<br>
"Judicious use of primitive 19 (a null primitive that doesn't do anything) prevents<br>
the debugger from entering various run-away activities such as spawning a new<br>
process, etc. Injudicious use results in the debugger not being able to debug<br>
interesting code, such as the debugger itself. Hence use primitive 19 with care :-)"<br>
"SystemNavigation new browseAllSelect: [:m| m primitive = 19]"<br>
primitiveIndex = 19 ifTrue: [<br>
[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})]<br>
ifCurtailed: [self push: nil "Cheap fix of the context's internal state"]].<br>
<br>
((primitiveIndex between: 201 and: 222)<br>
and: [(self objectClass: receiver) includesBehavior: BlockClosure]) ifTrue:<br>
[(primitiveIndex = 206<br>
or: [primitiveIndex = 208]) ifTrue: "[Full]BlockClosure>>valueWithArguments:"<br>
[^receiver simulateValueWithArguments: arguments first caller: self].<br>
((primitiveIndex between: 201 and: 209) "[Full]BlockClosure>>value[:value:...]"<br>
or: [primitiveIndex between: 221 and: 222]) ifTrue: "[Full]BlockClosure>>valueNoContextSwitch[:]"<br>
[^receiver simulateValueWithArguments: arguments caller: self]].<br>
<br>
primitiveIndex = 83 ifTrue: "afr 9/11/1998 19:50" "Object>>perform:[with:...]"<br>
[| selector |<br>
selector := arguments at: 1 ifAbsent:<br>
[^ self class primitiveFailTokenFor: #'bad argument'].<br>
arguments size - 1 = selector numArgs ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad number of arguments'].<br>
^self send: selector to: receiver with: arguments allButFirst].<br>
primitiveIndex = 84 ifTrue: "afr 9/11/1998 19:50 & eem 8/18/2009 17:04" "Object>>perform:withArguments:"<br>
[| selector args |<br>
arguments size = 2 ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad argument'].<br>
selector := arguments first.<br>
args := arguments second.<br>
args isArray ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad argument'].<br>
args size = selector numArgs ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad number of arguments'].<br>
^self send: selector to: receiver with: args].<br>
primitiveIndex = 100 ifTrue: "eem 8/18/2009 16:57" "Object>>perform:withArguments:inSuperclass:"<br>
[| rcvr selector args superclass |<br>
arguments size<br>
caseOf: {<br>
[3] -> [<br>
rcvr := receiver.<br>
selector := arguments first.<br>
args := arguments second.<br>
superclass := arguments third].<br>
[4] -> ["mirror primitive"<br>
rcvr := arguments first.<br>
selector := arguments second.<br>
args := arguments third.<br>
superclass := arguments fourth] }<br>
otherwise: [^ self class primitiveFailTokenFor: #'bad argument'].<br>
args isArray ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad argument'].<br>
args size = selector numArgs ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad number of arguments'].<br>
((self objectClass: rcvr) includesBehavior: superclass) ifFalse:<br>
[^ self class primitiveFailTokenFor: #'bad argument'].<br>
^self send: selector to: rcvr with: args lookupIn: superclass].<br>
<br>
"Mutex>>primitiveEnterCriticalSection<br>
Mutex>>primitiveTestAndSetOwnershipOfCriticalSection"<br>
(primitiveIndex = 186 or: [primitiveIndex = 187]) ifTrue:<br>
[| effective |<br>
effective := Processor activeProcess effectiveProcess.<br>
"active == effective"<br>
value := primitiveIndex = 186<br>
ifTrue: [receiver primitiveEnterCriticalSectionOnBehalfOf: effective]<br>
ifFalse: [receiver primitiveTestAndSetOwnershipOfCriticalSectionOnBehalfOf: effective].<br>
^(self isPrimFailToken: value)<br>
ifTrue: [value]<br>
ifFalse: [self push: value]].<br>
+ <br>
+ (primitiveIndex = 188 or: [primitiveIndex = 189]) ifTrue:<br>
- <br>
- primitiveIndex = 188 ifTrue: "Object>>withArgs:executeMethod:<br>
- CompiledMethod class>>receiver:withArguments:executeMethod:<br>
- VMMirror>>ifFail:object:with:executeMethod: et al"<br>
[| n args methodArg thisReceiver |<br>
+ primitiveIndex caseOf:<br>
+ {[188 "primitiveExecuteMethodArgsArray"] -><br>
+ ["Object>>withArgs:executeMethod:<br>
+ CompiledMethod class>>receiver:withArguments:executeMethod:<br>
+ VMMirror>>ifFail:object:with:executeMethod: et al"<br>
+ ((n := arguments size) between: 2 and: 4) ifFalse:<br>
+ [^self class primitiveFailTokenFor: #'unsupported operation'].<br>
+ ((self objectClass: (args := arguments at: n - 1)) == Array<br>
+ and: [(self objectClass: (methodArg := arguments at: n)) includesBehavior: CompiledMethod]) ifFalse:<br>
+ [^self class primitiveFailTokenFor: #'bad argument'].<br>
+ thisReceiver := arguments at: n - 2 ifAbsent: [receiver]].<br>
+ [189 "primitiveExecuteMethod"] -><br>
+ ["Object>>executeMethod:<br>
+ Object>>with:...executeMethod:"<br>
+ (arguments size > 0) ifFalse:<br>
+ [^self class primitiveFailTokenFor: #'bad argument'].<br>
+ ((self objectClass: (methodArg := arguments atLast: 1)) includesBehavior: CompiledMethod) ifFalse:<br>
+ [^self class primitiveFailTokenFor: #'bad argument'].<br>
+ args := arguments allButLast.<br>
+ thisReceiver := receiver]}.<br>
- ((n := arguments size) between: 2 and: 4) ifFalse:<br>
- [^self class primitiveFailTokenFor: #'unsupported operation'].<br>
- ((self objectClass: (args := arguments at: n - 1)) == Array<br>
- and: [(self objectClass: (methodArg := arguments at: n)) includesBehavior: CompiledMethod]) ifFalse:<br>
- [^self class primitiveFailTokenFor: #'bad argument'].<br>
methodArg numArgs = args size ifFalse:<br>
[^self class primitiveFailTokenFor: #'bad number of arguments'].<br>
- thisReceiver := arguments at: n - 2 ifAbsent: [receiver].<br>
methodArg primitive > 0 ifTrue:<br>
[methodArg isQuick ifTrue:<br>
[^self push: (methodArg valueWithReceiver: thisReceiver arguments: args)].<br>
^self doPrimitive: methodArg primitive method: meth receiver: thisReceiver args: args].<br>
^self<br>
activateMethod: methodArg<br>
withArgs: args<br>
receiver: thisReceiver].<br>
<br>
primitiveIndex = 118 ifTrue: "[receiver:]tryPrimitive:withArgs:; avoid recursing in the VM"<br>
[(arguments size = 3<br>
and: [(self objectClass: arguments second) == SmallInteger<br>
and: [(self objectClass: arguments last) == Array]]) ifTrue:<br>
[^self doPrimitive: arguments second method: meth receiver: arguments first args: arguments last].<br>
(arguments size = 2<br>
and: [(self objectClass: arguments first) == SmallInteger<br>
and: [(self objectClass: arguments last) == Array]]) ifFalse:<br>
[^self class primitiveFailTokenFor: nil].<br>
^self doPrimitive: arguments first method: meth receiver: receiver args: arguments last].<br>
<br>
value := primitiveIndex = 120 "FFI method"<br>
ifTrue: [(meth literalAt: 1) tryInvokeWithArguments: arguments]<br>
ifFalse:<br>
[primitiveIndex = 117 "named primitives"<br>
ifTrue: [self tryNamedPrimitiveIn: meth for: receiver withArgs: arguments]<br>
ifFalse: "should use self receiver: receiver tryPrimitive: primitiveIndex withArgs: arguments but this is only in later VMs (and appears to be broken)"<br>
[receiver tryPrimitive: primitiveIndex withArgs: arguments]].<br>
<br>
^(self isPrimFailToken: value)<br>
ifTrue: [value]<br>
ifFalse: [self push: value]!<br>
<br>
<br>
</div>
</span></font></div>
</div>
<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>