From owner-freebsd-hackers@FreeBSD.ORG  Sun Feb 27 20:54:45 2011
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id AFD3C106566C
	for <freebsd-hackers@freebsd.org>; Sun, 27 Feb 2011 20:54:45 +0000 (UTC)
	(envelope-from yuri@rawbw.com)
Received: from shell0.rawbw.com (shell0.rawbw.com [198.144.192.45])
	by mx1.freebsd.org (Postfix) with ESMTP id 9B1B98FC22
	for <freebsd-hackers@freebsd.org>; Sun, 27 Feb 2011 20:54:45 +0000 (UTC)
Received: from eagle.yuri.org (stunnel@localhost [127.0.0.1])
	(authenticated bits=0)
	by shell0.rawbw.com (8.14.4/8.14.4) with ESMTP id p1RKpqTs067497
	for <freebsd-hackers@freebsd.org>; Sun, 27 Feb 2011 12:51:53 -0800 (PST)
	(envelope-from yuri@rawbw.com)
Message-ID: <4D6ABA14.80208@rawbw.com>
Date: Sun, 27 Feb 2011 12:54:44 -0800
From: Yuri <yuri@rawbw.com>
User-Agent: Mozilla/5.0 (X11; U; FreeBSD amd64; en-US;
	rv:1.9.1.16) Gecko/20101211 Thunderbird/3.0.11
MIME-Version: 1.0
To: freebsd-hackers@freebsd.org
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Content-Filtered-By: Mailman/MimeDel 2.1.5
Subject: Is pthread_cond_signal(3) man page correct?
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 27 Feb 2011 20:54:45 -0000

On FreeBSD-8.1 this page says:
The pthread_cond_signal() function unblocks one thread waiting for the 
condition variable cond.

On Linux it says:
The /pthread_cond_signal/() function shall unblock at least one of the 
threads that are blocked on the specified condition variable /cond/ (if 
any threads are blocked on /cond/).

Also HP page 
(http://docs.hp.com/en/B2355-90130/pthread_cond_signal.3T.html) says: 
"If there are no threads blocked on /cond/, this function has no 
effect." And later it says: "It is possible that more than one thread 
can be unblocked due to a spurious wakeup."

This is quite confusing: in case nobody is waiting does it block or not? 
In case other threads are waiting it's really "any arbitrary number of 
threads are woken up"? Or on FreeBSD it's strictly 1? Shouldn't this be 
defined in one and only way by POSIX and all POSIX-compliant systems 
should work exactly the same.

I think man page should be expanded to give more comprehensive explanation.

Yuri