X-Recipient: archive-cygwin AT delorie DOT com
X-SWARE-Spam-Status: No, hits=-3.5 required=5.0	tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_HOSTKARMA_W,RCVD_IN_HOSTKARMA_WL,RP_MATCHES_RCVD,SPF_HELO_PASS
X-Spam-Check-By: sourceware.org
X-IronPortListener: Outbound_SMTP
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am8KAGiZr1CcKEer/2dsb2JhbABEhie5G3MWbAeCHgEBAQMBEhERSgsCAQgNDQIGIAICAh0TFRABAQQbGodlBqI4igeSTYEijkMyYQONNY5ZgzYOhnGCb4Id
From: "Lavrentiev, Anton (NIH/NLM/NCBI) [C]" <lavr AT ncbi DOT nlm DOT nih DOT gov>
To: "cygwin AT cygwin DOT com" <cygwin AT cygwin DOT com>
Subject: RE: SYSV semaphore bug (testcase attached)
Date: Fri, 23 Nov 2012 15:47:20 +0000
Message-ID: <5F8AAC04F9616747BC4CC0E803D5907D016216@MLBXv04.nih.gov>
References: <5F8AAC04F9616747BC4CC0E803D5907D012656 AT MLBXV09 DOT nih DOT gov> <20121123121942 DOT GP17347 AT calimero DOT vinschen DOT de>
In-Reply-To: <20121123121942.GP17347@calimero.vinschen.de>
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
X-IsSubscribed: yes
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from base64 to 8bit by delorie.com id qANFlWS8018534

> This is original FreeBSD code, so I have a hard time to follow the
> idea
> that it might be wrong.  I stared a long while into the source now,
> and
> I compared that with the latest version of the upstream code.

I noticed that the source is taken from FreeBSD and the test crashes
just the same there (I checked), so I also submitted a bug report
with them.  BTW, Apple's implementation (also derived from the
same code, IIRC) works correctly (presumably, they fixed the bug).

Anton Lavrentiev
Contractor NIH/NLM/NCBI