From owner-freebsd-hackers@FreeBSD.ORG Wed Jun 1 00:18:34 2005 Return-Path: X-Original-To: hackers@freebsd.org Delivered-To: freebsd-hackers@FreeBSD.ORG Received: from green.homeunix.org (freefall.freebsd.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id 35FD216A41C; Wed, 1 Jun 2005 00:18:34 +0000 (GMT) (envelope-from green@green.homeunix.org) Received: from green.homeunix.org (green@localhost [127.0.0.1]) by green.homeunix.org (8.13.3/8.13.1) with ESMTP id j510IXTg021703; Tue, 31 May 2005 20:18:33 -0400 (EDT) (envelope-from green@green.homeunix.org) Received: (from green@localhost) by green.homeunix.org (8.13.3/8.13.1/Submit) id j510IXp5021702; Tue, 31 May 2005 20:18:33 -0400 (EDT) (envelope-from green) Date: Tue, 31 May 2005 20:18:33 -0400 From: Brian Fundakowski Feldman To: Andrew Thompson Message-ID: <20050601001833.GB975@green.homeunix.org> References: <20050530232554.GA8674@heff.fud.org.nz> <20050531234816.GA975@green.homeunix.org> <20050531235849.GA13258@heff.fud.org.nz> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20050531235849.GA13258@heff.fud.org.nz> User-Agent: Mutt/1.5.6i Cc: pf@freebsd.org, hackers@freebsd.org, net@freebsd.org Subject: Re: RFC: if_bridge X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 01 Jun 2005 00:18:34 -0000 On Wed, Jun 01, 2005 at 11:58:49AM +1200, Andrew Thompson wrote: > On Tue, May 31, 2005 at 07:48:16PM -0400, Brian Fundakowski Feldman wrote: > > On Tue, May 31, 2005 at 11:25:54AM +1200, Andrew Thompson wrote: > > > Hi, > > > > > > I am looking for testers and code review for if_bridge, the bridge > > > implementation from NetBSD (and OpenBSD). > > > > > > The patch and instructions can be found at: > > > > > > http://people.freebsd.org/~thompsa/ > > > > > > > Some of these have since been fixed by you or I, but the most serious > > is the deadlock caused by not having consistency in data access > > between the input/output interfaces attached to the bridge and the > > bridge interface itself. It was quite simple to reproduce using IPFW > > dynamic rules and two fxp(4). The situation that occurs is the input > > path having locked the bridge, then the interface, and the output path > > locking the real interface and then trying to lock the bridge. It > > can be fixed by deferring the if_start(9), but having not run it with > > WITNESS I'm not certain that is the only big problem. > > > > Ideally, there should be a global bridge-list shared/exclusive lock > > and per-bridge shared/exclusive locks. This will require a fair bit > > of code churn... but the current state is largely not productionable > > on FreeBSD thanks to a locking versus IPL model being used in the > > kernel versus the if_bridge(4) code having been structured for IPL. > > > > Have you looked at the patch above, I have been using bridge-list and > per-bridge locks for about a week now. There have been a couple of > changes from the original patch you have, are you able to re-test? I only skimmed it enough to see you had fixed one of the issues (bridge_rtable_fini() asserting a lock it did not own) but not the issue where you simply cannot call or be called from both directions with regard to a bridged interface. Unfortunately, I don't think there's a 100% reliable way to defer if_start() calls :-/ -- Brian Fundakowski Feldman \'[ FreeBSD ]''''''''''\ <> green@FreeBSD.org \ The Power to Serve! \ Opinions expressed are my own. \,,,,,,,,,,,,,,,,,,,,,,\