Date: Mon, 28 Feb 2011 16:39:39 +0100 From: Pieter de Goeje <pieter@degoeje.nl> To: freebsd-hackers@freebsd.org Cc: Yuri <yuri@rawbw.com> Subject: Re: Is pthread_cond_signal(3) man page correct? Message-ID: <201102281639.40151.pieter@degoeje.nl> In-Reply-To: <4D6BBA70.8010503@rawbw.com> References: <4D6ABA14.80208@rawbw.com> <201102280309.56631.pieter@degoeje.nl> <4D6BBA70.8010503@rawbw.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Monday 28 February 2011 16:08:32 Yuri wrote: > On 28.02.11 2:41, Pieter de Goeje wrote: > > pthread_cond_signal() can indeed wake up more than one thread. That's why > > you should always wrap pthread_cond_wait() in a loop. For example a > > blocking > > > queue could be implemented like this (pseudo code): > Thank you. Now its clear that POSIX allows multiple wake ups. > > But my question is: why would the standard define it this way? Why would > it allow essentially arbitrary number of waiting threads to be woken up > by one event? I can't think of any practical app that would need "some > threads to be woken up". It would be natural to expect it to wake > exactly one thread. So the users won't need to have any special cycles > like you suggested in your previous post. > > What is the underlying reason for POSIX to define it this way and for > OSes to implement it this way? Well you need the extra cycles anyway because pthread_cond_wait() can wakeup for no apparent reason. As David Xu explained, in FreeBSD this can for instance happen because a signal is delivered to the process or the process called fork(). For pthread library implementors its probably easier (faster) to guarantee that at least one thread will be woken by pthread_cond_signal() instead of exactly one. Because the application needs to check the condition's predicate anyway it's logical to allow for a more relaxed specification. In that sense, pthread_cond_signal() is only here because it is a lot faster than calling pthread_cond_broadcast() all the time (because of the thundering herd problem). - Pieter
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201102281639.40151.pieter>