Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758702AbZDQACX (ORCPT ); Thu, 16 Apr 2009 20:02:23 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1758466AbZDQACJ (ORCPT ); Thu, 16 Apr 2009 20:02:09 -0400 Received: from mx3.mail.elte.hu ([157.181.1.138]:39907 "EHLO mx3.mail.elte.hu" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1758027AbZDQACI (ORCPT ); Thu, 16 Apr 2009 20:02:08 -0400 Date: Fri, 17 Apr 2009 02:01:42 +0200 From: Ingo Molnar To: Al Viro Cc: Alessio Igor Bogani , Alexander Viro , Frederic Weisbecker , Peter Zijlstra , LKML , Jonathan Corbet Subject: Re: [PATCH -tip] remove the BKL: Replace BKL in mount/umount syscalls with a mutex Message-ID: <20090417000142.GF21405@elte.hu> References: <1239892078-6039-1-git-send-email-abogani@texware.it> <20090416160645.GB17804@elte.hu> <20090416235649.GF26366@ZenIV.linux.org.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20090416235649.GF26366@ZenIV.linux.org.uk> User-Agent: Mutt/1.5.18 (2008-05-17) X-ELTE-VirusStatus: clean X-ELTE-SpamScore: -1.5 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-1.5 required=5.9 tests=BAYES_00 autolearn=no SpamAssassin version=3.2.3 -1.5 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1097 Lines: 27 * Al Viro wrote: > remount is potentially nastier, but then it *is* nasty. Again, > it's only per-fs stuff, so the obvious first step is taking BKL > down into the instances. It doesn't protect anything in VFS; all > uses are fs internal, so that'll take review of individual > filesystems. > > NOTE: do not assume that code in fs/foo/* is correct; "it doesn't > take BKL elsewhere" does _not_ mean that we don't have races. > IOW, the same review ought to look for such beasts and deal with > them. Mere "oh, no BKL anywhere in that fs" is not enough to > discard the ->remount_fs() instance. what kind of races do you mean? Timing sensitive ones that are there just are not easy to trigger with the BKL held? Or actual locking interaction between that body of BKL code and all other BKL using code? Ingo -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/