[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1334865448.2429.35.camel@falcor>
Date: Thu, 19 Apr 2012 15:57:28 -0400
From: Mimi Zohar <zohar@...ux.vnet.ibm.com>
To: Al Viro <viro@...IV.linux.org.uk>
Cc: James Morris <jmorris@...ei.org>,
linux-security-module@...r.kernel.org,
linux-kernel@...r.kernel.org, linux-fsdevel@...r.kernel.org,
David Safford <safford@...ux.vnet.ibm.com>,
Dmitry Kasatkin <dmitry.kasatkin@...el.com>
Subject: Re: [PULL REQUEST] : ima-appraisal patches
On Wed, 2012-04-18 at 19:39 +0100, Al Viro wrote:
> On Wed, Apr 18, 2012 at 02:07:52PM -0400, Mimi Zohar wrote:
> NAKed at least until you come up with formal proof that there's no other
> lock where fput() would be possible and ->i_mutex was not allowed.
Has the discussion here moved from deferring the __fput() for the
mmap_sem/i_mutex lockdep side case, to taking the i_mutex in __fput() in
general? Lockdep has not reported any problems, other than for the
mmap_sem/i_mutex scenario.
> This
> is not a way to go; that kind of kludges leads to locking code that is
> impossible to reason about.
Are you referring to defering the __fput() or taking the i_mutex in
__fput() in general?
The i_mutex is currently used to protect file data and metadata (eg.
chown, chmod, xattrs). After the last file data change, the file
metadata needs to be updated to reflect the file data changes. As
i_mutex is used for protecting both the file data and file metadata, why
would taking the i_mutex in __fput() be kludgie.
I'd really appreciate any help, suggestions.
thanks,
Mimi
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists