From owner-cvs-src@FreeBSD.ORG Thu Oct 25 05:20:53 2007 Return-Path: Delivered-To: cvs-src@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 6F47616A417 for ; Thu, 25 Oct 2007 05:20:53 +0000 (UTC) (envelope-from julian@elischer.org) Received: from outA.internet-mail-service.net (outA.internet-mail-service.net [216.240.47.224]) by mx1.freebsd.org (Postfix) with ESMTP id 465B913C4A7 for ; Thu, 25 Oct 2007 05:20:53 +0000 (UTC) (envelope-from julian@elischer.org) Received: from mx0.idiom.com (HELO idiom.com) (216.240.32.160) by out.internet-mail-service.net (qpsmtpd/0.40) with ESMTP; Wed, 24 Oct 2007 22:20:52 -0700 X-Client-Authorized: MaGic Cook1e X-Client-Authorized: MaGic Cook1e X-Client-Authorized: MaGic Cook1e X-Client-Authorized: MaGic Cook1e X-Client-Authorized: MaGic Cook1e X-Client-Authorized: MaGic Cook1e Received: from julian-mac.elischer.org (home.elischer.org [216.240.48.38]) by idiom.com (Postfix) with ESMTP id 9F9521267D4; Wed, 24 Oct 2007 22:20:50 -0700 (PDT) Message-ID: <472027CD.3020507@elischer.org> Date: Wed, 24 Oct 2007 22:21:17 -0700 From: Julian Elischer User-Agent: Thunderbird 2.0.0.6 (Macintosh/20070728) MIME-Version: 1.0 To: Alfred Perlstein References: <200710231754.l9NHsGLH090312@repoman.freebsd.org> <471FF2BE.9000204@freebsd.org> <20071025022607.GQ33488@elvis.mu.org> <47200064.9050403@freebsd.org> <20071025023418.GR33488@elvis.mu.org> In-Reply-To: <20071025023418.GR33488@elvis.mu.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: cvs-src@FreeBSD.org, src-committers@FreeBSD.org, Julian Elischer , David Xu , cvs-all@FreeBSD.org Subject: Re: cvs commit: src/sys/kern kern_fork.c 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, 25 Oct 2007 05:20:53 -0000 Alfred Perlstein wrote: > * David Xu [071024 19:32] wrote: >> Alfred Perlstein wrote: >>> * David Xu [071024 18:34] wrote: >>> >>>> Julian Elischer wrote: >>>> >>>>> julian 2007-10-23 17:54:16 UTC >>>>> >>>>> FreeBSD src repository >>>>> >>>>> Modified files: >>>>> sys/kern kern_fork.c >>>>> Log: >>>>> Take out the single-threading code in fork. >>>>> After discussions with jeff, alc, (various Ironport people), david Xu, >>>>> and mostly Alfred (who found the problem) it has been demonstrated that >>>>> this >>>>> is not needed for our implementations of threads and represents a real >>>>> (as in we've seen it happen a lot) deadlock danger. >>>>> ... >>>> I think if process is forking a thread, that says flag RFPROC is not >>>> set and flags RFCFDG or RFCFDG is set, you still need to call >>>> thread_single(SINGLE_BOUNDARY), otherwise, for a threaded process, >>>> the memory pointed by p_fd is freed while other threads are using it, >>>> it will cause kernel to panic. >>> >>> This is unlikely to be fixed by SINGLE_BOUNDARY and will likely require >>> refcounting to fix. SINGLE_BOUNDARY will not fix the locations where >>> this happens: >>> >>> p = td->td_proc; >>> fdp = p->p_fd; >>> do something that blocks... >>> re-use fdp. >>> >> thread_suspend_check() with SINGLE_BOUNDARY is used is only called >> in userret() where I don't think any code is still using the p_fd. > > This is not an acceptable solution as it will deadlock unless all > threads exit the kernel. > > filedescs can be refcounted per thread I think. you are both right I think.. David about the theoretical SINGLE_BOUNDARY idea, and Alfred about how it's implememted right now. At the 'boundary' single threading should be safe, if things are at the boundary, but there is no guarantee that it will get there in finite time. I'm not convinced from reading the code that the BOUNDARY version of thread_single is implemented correctly at this time as I think it may have suffered from bit-rot over the years. >