I've been using pkg/semaphore, but maybe I'll have a look at pkg/lock, thanks for reminding me about it!
On 7/27/05, Christian Helmuth ch12@os.inf.tu-dresden.de wrote:
Hi,
On Wed, Jul 27, 2005 at 09:16:48AM +0200, Bert van Leeuwen wrote:
Perhaps the different thread scheduling exposes a bug in my program somewhere, or perhaps the semaphores are not working as expected (in linux I get to use the pthread mutexes, no such luxury in drops/oskit)
Huh? Maybe I'm overlooking sth. but in L4Env we have locks and semaphores
- pkg/lock resp. pkg/semaphore. From my experience, these do their work.
The client library of the DOpE GUI also has a simple wrapping layer in pkg/dope/lib/dope/include/sync.h and pkg/dope/lib/dope/{l4,linux}/sync.c.
If you were aware of the locking libraries just ignore this email ;)