From owner-freebsd-stable@FreeBSD.ORG  Fri May 27 13:44:44 2005
Return-Path: <owner-freebsd-stable@FreeBSD.ORG>
X-Original-To: freebsd-stable@freebsd.org
Delivered-To: freebsd-stable@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id F08F416A41C;
	Fri, 27 May 2005 13:44:44 +0000 (GMT)
	(envelope-from marcolz@stack.nl)
Received: from mailhost.stack.nl (vaak.stack.nl [131.155.140.140])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 65F9F43D49;
	Fri, 27 May 2005 13:44:42 +0000 (GMT)
	(envelope-from marcolz@stack.nl)
Received: from hammer.stack.nl (hammer.stack.nl [IPv6:2001:610:1108:5010::153])
	by mailhost.stack.nl (Postfix) with ESMTP id 9DC291F1BC;
	Fri, 27 May 2005 15:44:41 +0200 (CEST)
Received: by hammer.stack.nl (Postfix, from userid 333)
	id 740EC655D; Fri, 27 May 2005 15:44:41 +0200 (CEST)
Date: Fri, 27 May 2005 15:44:41 +0200
From: Marc Olzheim <marcolz@stack.nl>
To: Robert Watson <rwatson@FreeBSD.org>
Message-ID: <20050527134441.GA94234@stack.nl>
References: <20050503150014.GG17096@stack.nl> <20050510131005.GA4083@stack.nl>
	<20050527124531.U727@fledge.watson.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20050527124531.U727@fledge.watson.org>
X-Operating-System: FreeBSD hammer.stack.nl 5.4-STABLE FreeBSD 5.4-STABLE
X-URL: http://www.stack.nl/~marcolz/
User-Agent: Mutt/1.5.9i
Cc: Marc Olzheim <marcolz@stack.nl>, freebsd-stable@freebsd.org,
	bug-followup@FreeBSD.org
Subject: Re: kern/78824: race condition close()ing and read()ing the same
	socketpair on SMP.
X-BeenThere: freebsd-stable@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Production branch of FreeBSD source code <freebsd-stable.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>, 
	<mailto:freebsd-stable-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-stable>
List-Post: <mailto:freebsd-stable@freebsd.org>
List-Help: <mailto:freebsd-stable-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>,
	<mailto:freebsd-stable-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 27 May 2005 13:44:45 -0000

On Fri, May 27, 2005 at 12:47:28PM +0100, Robert Watson wrote:
> Hmm.  I'm unable to reproduce this on local SMP hardware, although I can 
> see at least one way that the race could occur.  Could you try the 
> attached patch and see if it helps matters?  This is a slight shot in the 
> dark but closes at least two races in the transition of socket state with 
> respect to socket buffer state.

I'll cvsup back to 2005.05.03 (where I can reproduce it easily) and
apply your patch and see what happens.

Race conditions and reproducability are not terms that go together
well. :-(

Marc