Ticket locks work on SMP