This should be OK when it happens (other than starving out the readers, but
that was the decision made by doing a ticket lock in the first place).
Even if we wrap around 255 back to zero on the tickets, the ticket queue
will work correctly. The key is not to need more than 256 concurrent write
lock waiters, which we don't.
--
Chris Metcalf, Tilera Corp.
http://www.tilera.com
--