On Saturday 12 April 2008, Daniel Walker wrote:
Ask any software engineer, to describe what a semaphore is and
how it behaves. You'll get the full spectrum of possible semaphore
implementation options. Ask any advanced software engineer and he'll
ask "What kind of semaphore?".
So let them die ASAP!
Same here. Or figuring out what kind of semphore behavior the developer
Or have different API for using the same semaphores in different
creative ways. It might be hard to implement lockdep for that :-)
No, I'm happy that Linux has so many more advanced concurrency concepts,
that the pre-dinosaur locking mechanism (semaphore) is usually
the last on your list.