That's what I meant by a ticket. I was assuming you were referring to the count of a counting semaphore. In this case, you need both. And you still need to search...
And no, 1000 threads isn't too many. Many server architectures support that many, and some have ten times more. It's a bit out of the embedded league though.