From owner-freebsd-hackers Tue May 22 14:39:16 2001 Delivered-To: freebsd-hackers@freebsd.org Received: from earth.backplane.com (earth-nat-cw.backplane.com [208.161.114.67]) by hub.freebsd.org (Postfix) with ESMTP id 738F637B424; Tue, 22 May 2001 14:39:13 -0700 (PDT) (envelope-from dillon@earth.backplane.com) Received: (from dillon@localhost) by earth.backplane.com (8.11.3/8.11.2) id f4MLdDs11003; Tue, 22 May 2001 14:39:13 -0700 (PDT) (envelope-from dillon) Date: Tue, 22 May 2001 14:39:13 -0700 (PDT) From: Matt Dillon Message-Id: <200105222139.f4MLdDs11003@earth.backplane.com> To: John Baldwin Cc: "Brian F. Feldman" , hackers@FreeBSD.org Subject: Re: RE: vmspace leak (+ tentative fix) References: Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG :>: :>:John Baldwin -- http://www.FreeBSD.org/~jhb/ :> :> Huh? It doesn't look like the same algorithm to me. : :In exit1() we attempt to free resources early if we can. If we lose the race, :we still clean it up in vmspace_free() called from cpu_wait(). If you check :the shm pointer and do shmexit() in vmspace_free() just as is done in :vmspace_free(), then you will catch any cases that fall through with the shm :not being free'd using the same technique currently employed in releasing the :vmspace and with a minimal amount of change to the code. : :-- : :John Baldwin -- http://www.FreeBSD.org/~jhb/ The whole point is to release resources as early as possible. Why would you ever want to intentionally introduce a race that will 'sometimes' be lost and thus cause a late resource release when you can just as easily completely guarentee that the resource will be released early, and thus never have to worry about it. That makes no sense at all. From the point of view of algorithm design, it's much better to know what *will* happen rather then what *might* happen. -Matt To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message