This is no longer needed as thread unlocks its spinlock before calling Process::exit() on terminating signal