<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv="Content-Type" content="text/html; charset=Windows-1252"> <meta name="Generator" content="Microsoft Word 15 (filtered medium)"> <style></style> </head> <body lang="EN-US" link="blue" vlink="#954F72" style="word-wrap:break-word"> <div class="WordSection1"> Hi Juan, <o:p> </o:p> this is the latest Squeak trunk version replacing all duplicate unwind code with #unwindTo:safely: (sent already as part of the other changeset with #terminate). <o:p> </o:p> The modified version of #unwindTo: just adds a Boolean distinguishing between the "old" unwind semantics, i.e. only evaluating unwind blocks that haven't started executing yet, and the "new" unwind semantics applied in #terminate (safely: true enables the new semantics). <o:p> </o:p> As a bonus we can experiment with setting safely: true even for "normal" returns, extending the unwind semantics for non-local returns and exceptions. It's more or less working but haven't been tested properly so this is my project for later this year :) <o:p> </o:p> Best regards, <o:p> </o:p> Jaromir <o:p> </o:p> -- Jaromír Matas<o:p></o:p> mail@jaromir.net<o:p></o:p> <o:p> </o:p> <o:p> </o:p> <div style="mso-element:para-border-div;border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in"> From: <a href="mailto:cuis-dev@lists.cuis.st">Jaromir Matas via Cuis-dev</a> Sent: Friday, February 24, 2023 12:50 To: <a href="mailto:juan@cuis.st">Juan Vuletich</a>; <a href="mailto:cuis-dev@lists.cuis.st"> Discussion of Cuis Smalltalk</a> Cc: <a href="mailto:mail@jaromir.net">Jaromir Matas</a>; <a href="mailto:hernan.wilkinson@10pines.com"> Hernán Wilkinson</a> Subject: Re: [Cuis-dev] Code duplication around unwinding </div> <o:p> </o:p> Hi Juan,<o:p></o:p> <o:p> </o:p> > I think this is a good idea, and I agree with the desire to go back to the older Squeak design. However, I don't know why it was made more complicated. It would be good to understand the rationale behind those changes, unless we can be sure that the behavior is identical.<o:p></o:p> <o:p> </o:p> Precisely, I'm trying to understand *why* the changes were made first. I hoped you might remember something :) No feedback from Squeak, the authors behind the rewrite are probably no longer following the forum. However, I've made the first step in Squeak and replaced the duplicate code with unwindTo: because it very much looks like a copy/paste issue as Hernan suggested :) All tests work fine and the semantics is identical as before. It's in Squeak trunk and so far no problems reported. I'll send you the same cleaned up version as in Squeak.<o:p></o:p> <o:p> </o:p> As part of the effort I discussed the purpose of ContextPart #terminateTo: method that's being used in #resume{...] methods as part of the unwind procedure. My conclusion is we *must* use #terminateTo because a similar code is used inside the VM to process non-local returns without any unwind blocks present. The real rationale behind the #terminateTo code however, is to prevent any contexts that were "returned over" from being run in the future, as a precaution. Here's a link if interested: http://lists.squeakfoundation.org/pipermail/squeak-dev/2023-February/223500.html<o:p></o:p> <o:p> </o:p> As for the idea to reverse the exceptions design back to the original I tried it and it works fine but the current code looks cleaner which might be one of the reasons behind the rewrite. I'll keep thinking about it but will leave this for later. So, please don't waste any time with this idea yet :)<o:p></o:p> <o:p> </o:p> Many thanks,<o:p></o:p> Best,<o:p></o:p> Jaromir<o:p></o:p> <o:p> </o:p> -- Jaromír Matas<o:p></o:p> mail@jaromir.net<o:p></o:p> <o:p> </o:p> <o:p> </o:p> <div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in"> From: <a href="mailto:juan@cuis.st">Juan Vuletich</a> Sent: Friday, February 24, 2023 12:01 To: <a href="mailto:cuis-dev@lists.cuis.st">Discussion of Cuis Smalltalk</a> Cc: <a href="mailto:hernan.wilkinson@10pines.com">Hernán Wilkinson</a>; <a href="mailto:mail@jaromir.net"> Jaromir Matas</a> Subject: Re: [Cuis-dev] Code duplication around unwinding<o:p></o:p> </div> <o:p> </o:p> Hi Jaromir, I think this is a good idea, and I agree with the desire to go back to the older Squeak design. However, I don't know why it was made more complicated. It would be good to understand the rationale behind those changes, unless we can be sure that the behavior is identical. Did you get any relevant feedback from the Squeak list? Maybe someone who is aware of the history of these changes is still available to tell. If not, I can spend a little more time and try to do a proper review of the changes myself, although, as you know, this is a bit beyond my comfort zone! Thanks! On 2/2/2023 3:28 PM, Jaromir Matas via Cuis-dev wrote: <o:p></o:p> <blockquote style="margin-top:5.0pt;margin-bottom:5.0pt"> Hi Hernán,<o:p></o:p> <o:p></o:p> Thanks for your message!<o:p></o:p> <o:p></o:p> > I'll take a look at the code you sent but I prefer for Juan to return to integrate it<o:p></o:p> <o:p></o:p> … of course, there’s no rush, the duplication has been around for 20 years :D<o:p></o:p> <o:p></o:p> Most of all, I’m interested in your opinions. As an example, I find this call sequence desperately begging for simplification: <o:p></o:p> <o:p></o:p> Exception>>resume: --> resumeUnchecked: --> resumeEvaluating: --> Context>>returnEvaluating: --> resumeEvaluating:<o:p></o:p> <o:p></o:p> I mean: in order to resume from an exception you have to traverse four other methods rather than just getting it done in Exception>>resume: as was originally implemented in Squeak 2.8 through 3.5. My aim is to get back to this design - unless I’ve missed some fundamental reason why not to. Any feedback *very* welcome.<o:p></o:p> <o:p></o:p> Thanks again,<o:p></o:p> <o:p></o:p> --<o:p></o:p> Jaromír Matas<o:p></o:p> <a href="mailto:mail@jaromir.net">mail@jaromir.net</a><o:p></o:p> <o:p></o:p> <o:p></o:p> <div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:rgb(225, 225, 225) -moz-use-text-color -moz-use-text-color"> From: <a href="mailto:hernan.wilkinson@10pines.com">Hernán Wilkinson</a> Sent: Thursday, February 2, 2023 19:00 To: <a href="mailto:cuis-dev@lists.cuis.st">Discussion of Cuis Smalltalk</a> Cc: <a href="mailto:juan@cuis.st">juan@cuis.st</a>; <a href="mailto:mail@jaromir.net"> Jaromir Matas</a> Subject: Re: [Cuis-dev] Code duplication around unwinding<o:p></o:p> </div> <o:p></o:p> <div> Hi Jaromir,<o:p></o:p> <div> thank you for this proposal!<o:p></o:p> </div> <div> Juan is on vacation, deserved vacations :-) <o:p></o:p> </div> <div> I'll take a look at the code you sent but I prefer for Juan to return to integrate it because he was more involved in the changes you sent.<o:p></o:p> </div> <div> <o:p></o:p> </div> <div> About the reason of the duplication of code you see the answer could be really simple: copy & paste!!! :-) <o:p></o:p> </div> <div> I also sometimes spend time trying to understand why the code is duplicated and most of the time it is just that, copy & paste without any intention or knowledge to do it better. I mean, usually it is a human reason, not a technical one.<o:p></o:p> </div> <div> <o:p></o:p> </div> <div> Cheers!<o:p></o:p> </div> <div> Hernan.<o:p></o:p> </div> </div> <o:p></o:p> <div> <div> On Thu, Feb 2, 2023 at 1:38 PM Jaromir Matas via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st">cuis-dev@lists.cuis.st</a>> wrote:<o:p></o:p> </div> <blockquote style="border:none;border-left:solid windowtext 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt"> <div> <div> <div> Hi Juan,<o:p></o:p> <o:p></o:p> I'm enclosing a changeset for your review. I've just sent a similar suggestion to Squeak list hoping to get some feedback.<o:p></o:p> <o:p></o:p> The aim is to reduce the code duplication in ContextPart>>#restart, #resume:through:, #resumeEvaluating: methods that are implementing the same unwind mechanism we already have in unwindTo:. I've always wondered why the same algorithm is duplicated so many times (it used to be in terminate too!) but never really found out.<o:p></o:p> <o:p></o:p> At the same time this code duplication was introduced in Squeak 3.6, the unwind mechanism was moved from the Exception class to ContextPart and, but this is just my hypothesis, never cleaned up properly.<o:p></o:p> <o:p></o:p> I'd be very thankful for your thoughts and your opinion about the enclosed changeset.<o:p></o:p> <o:p></o:p> Many thanks,<o:p></o:p> <o:p></o:p> Jaromir<o:p></o:p> <o:p></o:p> -- Jaromír Matas <a href="mailto:mail@jaromir.net" target="_blank">mail@jaromir.net</a> <o:p></o:p> <o:p></o:p> </div> </div> -- Cuis-dev mailing list <a href="mailto:Cuis-dev@lists.cuis.st" target="_blank">Cuis-dev@lists.cuis.st</a> <a href="https://lists.cuis.st/mailman/listinfo/cuis-dev" target="_blank">https://lists.cuis.st/mailman/listinfo/cuis-dev</a><o:p></o:p> </div> </blockquote> </div> <o:p></o:p> <div> <o:p></o:p> </div> -- <o:p></o:p> <div> <div> <div> <div> <div> <div> <div> <div> Hernán Wilkinson Agile Software Development, Teaching & Coaching<o:p></o:p> </div> <div> Phone: +54-011-4893-2057<o:p></o:p> </div> <div> Twitter: @HernanWilkinson<o:p></o:p> </div> <div> site: <a href="http://www.10pines.com/" target="_blank">http://www.10Pines.com</a><o:p></o:p> </div> </div> </div> </div> </div> </div> </div> </div> Address: Alem 896, Floor 6, Buenos Aires, Argentina<o:p></o:p> <o:p></o:p> </blockquote> <o:p></o:p> <pre>-- </pre> <pre>Juan Vuletich</pre> <pre>cuis.st</pre> <pre>github.com/jvuletich</pre> <pre>researchgate.net/profile/Juan-Vuletich</pre> <pre>independent.academia.edu/JuanVuletich</pre> <pre>patents.justia.com/inventor/juan-manuel-vuletich</pre> <pre>linkedin.com/in/juan-vuletich-75611b3</pre> <pre>twitter.com/JuanVuletich</pre> <o:p> </o:p> <o:p> </o:p> </div> </body> </html>