Swank KILL-THREAD crashes/hangs CCL

[Robert Brown]

KILL-THREAD in swank-ccl.lisp calls the internal CCL function
CCL::PROCESS-INITIAL-FORM-EXITED. When running tests on my swank-crew package,
this function causes the x86 Linux version of CCL to crash and the ARM version
to hang. I reported the problem to the CCL maintainers and was informed that
calling CCL::PROCESS-INITIAL-FORM-EXITED is dangerous and should not be done by
user code, since it kills a thread without executing cleanup forms that do
essential things, such as releasing locks. I was told to use CCL:PROCESS-KILL
instead.

If I replace the call to CCL::PROCESS-INITIAL-FORM-EXITED in KILL-THREAD with a
call to CCL:PROCESS-KILL, then my swank-crew tests successfully run to
completion. Unfortunately, I don't know if the change has other unwanted side
effects.

bob

[Stas Boukarev (stassats)]

One difference I noticed is that I noticed is in the thread status:
(defparameter *thread* (ccl:process-run-function :k (lambda () (sleep 60))))
After killing it with process-kill:
*thread* => #<PROCESS K(42) [Reset] #x302000D6C61D>
and with process-initial-form-exited:
*thread* => #<PROCESS K(49) [Dead] #x302000E7C16D>
I'm not sure what's the significance of this.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.