On Freitag, 8. Januar 2010, Erik Faye-Lund wrote: > On Fri, Jan 8, 2010 at 4:32 AM, Dmitry Potapov <dpotapov@xxxxxxxxx> wrote: > > AFAIK, Win32 API assumes that reading LONG is always atomic, so > > the critical section is not really necesary here, but you need > > to declare 'waiters' as 'volatile': > > "Simple reads and writes to properly-aligned 32-bit variables are > atomic operations." > http://msdn.microsoft.com/en-us/library/ms684122(VS.85).aspx But then the next sentence is: "However, access is not guaranteed to be synchronized. If two threads are reading and writing from the same variable, you cannot determine if one thread will perform its read operation before the other performs its write operation." This goes without saying, IOW, those Microsofties don't know what they write, which makes the documentation a bit less trustworthy. Nevertheless, I rewrote the code to use Interlocked* functions, and then read the documentation again. InterlockedIncrement reads, for example: "... This function is atomic with respect to calls to other interlocked functions." In particular, it doesn't say that it is atomic WRT reads such as we have here: > >> + /* we're done waiting, so make sure we decrease waiters count */ > >> + EnterCriticalSection(&cond->waiters_lock); > >> + --cond->waiters; > >> + LeaveCriticalSection(&cond->waiters_lock); I've no assembly-fu, but I could imagine that it does not matter, but I really would have confirmation from an x86 guru. -- Hannes -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html