Add semaphores
More mutex tests + better poisoning