From owner-cvs-src@FreeBSD.ORG Thu May 3 17:08:17 2007 Return-Path: X-Original-To: cvs-src@FreeBSD.org Delivered-To: cvs-src@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 4B6EC16A407; Thu, 3 May 2007 17:08:17 +0000 (UTC) (envelope-from rwatson@FreeBSD.org) Received: from cyrus.watson.org (cyrus.watson.org [209.31.154.42]) by mx1.freebsd.org (Postfix) with ESMTP id 0A8B913C480; Thu, 3 May 2007 17:08:17 +0000 (UTC) (envelope-from rwatson@FreeBSD.org) Received: from fledge.watson.org (fledge.watson.org [209.31.154.41]) by cyrus.watson.org (Postfix) with ESMTP id 7AE4347534; Thu, 3 May 2007 13:08:16 -0400 (EDT) Date: Thu, 3 May 2007 18:08:16 +0100 (BST) From: Robert Watson X-X-Sender: robert@fledge.watson.org To: Alfred Perlstein In-Reply-To: <20070503160413.GL67243@elvis.mu.org> Message-ID: <20070503180707.D30997@fledge.watson.org> References: <200705031442.l43Egggi064069@repoman.freebsd.org> <463A0198.3040507@cisco.com> <20070503160413.GL67243@elvis.mu.org> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Cc: cvs-src@FreeBSD.org, Randall Stewart , src-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: src/sys/kern uipc_debug.c uipc_sockbuf.c uipc_socket.c uipc_syscalls.c src/sys/netinet sctputil.c src/sys/sys socketvar.h X-BeenThere: cvs-src@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the src tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 03 May 2007 17:08:17 -0000 On Thu, 3 May 2007, Alfred Perlstein wrote: > * Randall Stewart [070503 08:35] wrote: >> Robert Watson wrote: >>> rwatson 2007-05-03 14:42:42 UTC >>> >>> FreeBSD src repository >>> >>> Modified files: >>> sys/kern uipc_debug.c uipc_sockbuf.c uipc_socket.c >>> uipc_syscalls.c >>> sys/netinet sctputil.c >>> sys/sys socketvar.h >>> Log: >>> sblock() implements a sleep lock by interlocking SB_WANT and SB_LOCK >>> flags >>> on each socket buffer with the socket buffer's mutex. This sleep lock is >>> used to serialize I/O on sockets in order to prevent I/O interlacing. > > I'm looking at the diff... it looks like you dropped signal handling from > sblock? Is that true and if so was that intentional? > > I'm worried that the following situation can happen: > > process A: init large write to socket. > process A: gets sblock > process A: fills socketbuffer > process A: waits for space. > process B: tries to write to socket > > Now process B is in an uninterruptable wait until the remote side drains the > pipe. > > The same problem might happen (even easier to reproduce) when there are > multiple readers. > > Of course this all depends on me missing something. > > Can you explain? You are entirely right -- I'm not sure how I missed the SB_NOINTR flag semantics in sb_lock(), but apparently I did. I'm talking to Attilio right now about adding an interruptible version of the sleeping exclusive lock acquire and will follow up on this shortly. Thanks for pointing this out! Robert N M Watson Computer Laboratory University of Cambridge