[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <E1MCVKj-0007O3-Rp@pomaz-ex.szeredi.hu>
Date: Fri, 05 Jun 2009 11:03:29 +0200
From: Miklos Szeredi <miklos@...redi.hu>
To: ebiederm@...ssion.com
CC: viro@...IV.linux.org.uk, linux-kernel@...r.kernel.org,
linux-pci@...r.kernel.org, linux-mm@...ck.org,
linux-fsdevel@...r.kernel.org, hugh@...itas.com, tj@...nel.org,
adobriyan@...il.com, torvalds@...ux-foundation.org,
alan@...rguk.ukuu.org.uk, gregkh@...e.de, npiggin@...e.de,
akpm@...ux-foundation.org, hch@...radead.org,
ebiederm@...ssion.com, ebiederm@...stanetworks.com
Subject: Re: [PATCH 04/23] vfs: Introduce infrastructure for revoking a file
Hi Eric,
Very interesting work.
On Mon, 1 Jun 2009, Eric W. Biederman wrote:
> The file_hotplug_lock has a very unique implementation necessitated by
> the need to have no performance impact on existing code. Classic locking
> primitives and reference counting cause pipeline stalls, except for rcu
> which provides no ability to preventing reading a data structure while
> it is being updated.
Well, the simple solution to that is to add another level of indirection:
old:
fdtable -> file
new:
fdtable -> persistent_file -> file
Then it is possible to replace persistent_file->file with a revoked
one under RCU. This has the added advantage that it supports
arbitrary file replacements, not just ones which return EIO.
Another advantage is that dereferencing can normally be done "under
the hood" in fget()/fget_light(). Only code which wants to
permanently store a file pointer (like the SCM_RIGHTS thing) would
need to be aware of the extra complexity.
Would that work, do you think?
Thanks,
Miklos
--
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