> I don’t have an example of fully non-cooperative cancellation available off the top of my head.

That would be Erlang.