Subject: Keeping track of semphores..

(This message is being sent to all CPSC 822/6 students)

The release() file operation turns out not to
be a safe way to track who is allocated or bound
to a semaphore.

flush() works much better!!

see page 63 in the drivers book for details.