On Thu, Oct 26, 2017 at 04:07:47PM +0200, Martijn Coenen wrote: > By raising the priority of a thread selected for > a transaction *before* we wake it up. > > Delay restoring the priority when doing a reply > until after we wake-up the process receiving > the reply.
What happens if a thread dies?
