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 ;)