[squeak-dev] Solving multiple termination bugs - summary & proposal

Jaromir Matas m at jaromir.net
Sat Apr 10 08:58:13 UTC 2021


Hi,

The enclosed changeset fixes all bugs/inconsistencies concerning process
termination listed below. It's a simplified version of the previous
proposal. Feedback very welcome indeed!

The idea is to simply extend the existing mechanism for completing
halfway-through unwind blocks and let it deal with *all* unwind blocks.

best,

Fix_terminate_v3.cs <http://forum.world.st/file/t372955/Fix_terminate_v3.cs>  


Jaromir Matas wrote
> Hi All,
> 
> here's a summary of bugs in the current termination procedure:
> 
> 1. #isTerminated and #isSuspended fail to report correctly - in [1]
> 
> 2. active process termination bug causing an image crash - in [2]
> 
> 3. nested unwind bug: skipping some ensure blocks - in [3]
> 
> 4. likely a bug: a failure to complete nested unwind blocks halfway thru
> execution - also in [3]
> 
> 5. Christoph's discovery: a failure to correctly close the debugger in
> case
> of error or non-local return in unwind - in [4]
> 
> 6. inconsistent semantics of unwinding protected blocks during active vs.
> suspended process termination 





-----
^[^ Jaromir
--
Sent from: http://forum.world.st/Squeak-Dev-f45488.html


More information about the Squeak-dev mailing list