From: Louis Rilling <Louis.Rilling@kerlabs.com>
To: Joel Becker <Joel.Becker@oracle.com>
Cc: linux-kernel@vger.kernel.org, ocfs2-devel@oss.oracle.com
Subject: [Ocfs2-devel] [BUGFIX][PATCH 3/3] configfs: Fix failing symlink() making rmdir() fail
Date: Wed, 18 Jun 2008 13:40:43 +0200 [thread overview]
Message-ID: <20080618114043.GB30804@localhost> (raw)
In-Reply-To: <20080617221528.GA29091@mail.oracle.com>
On Tue, Jun 17, 2008 at 03:15:28PM -0700, Joel Becker wrote:
> On Tue, Jun 17, 2008 at 07:37:23PM +0200, Louis Rilling wrote:
> > For the parent's rmdir() case, we can use the same solution as with mkdir() vs
> > rmdir(). For the target's rmdir() case, we cannot, since we do not and cannot
> > lock the target's inode while in symlink(). Fortunately, once create_link()
> > terminates, no further operation can fail in symlink(). So we first reorder the
> > operations in create_link() to attach the new symlink to its target in last
> > place, and second handle symlink creation failure the same way as a new item
> > creation failure.
>
> Oh, no, ugh. We don't want to create vfs objects first and ask
> questions later. Otherwise we wouldn't need ATTACHING - we'd just
> create the symlink, then check dropping.
> If you have ATTACHING set, the rmdir cannot continue - you can
> check dropping at that time. That is, you keep the DROPPING check where
> it is - if it is already set, you know that rmdir() is going to complete
> successfully. You can bail before even calling configfs_create_link().
> If, however, it isn't set, your ATTACHING protects you from rmdir
> throughout.
The problem is rmdir() of the target item (see below). ATTACHING only protects
us from rmdir() of the parent. This is the exact reason why I attach the link to
the target in last place, where we know that we won't have to rollback.
And AFAICS, creating a VFS object can not hurt as long as we hold the
parent i_mutex, right? Otherwise there already is a problem in
configfs_attach_item() where a failure in populate_attrs() leads to rollback the
creation of the VFS object already created for the item.
>
> sl = kmalloc(sizeof(struct configfs_symlink), GFP_KERNEL);
> if (sl) {
> sl->sl_target = config_item_get(item);
> spin_lock(&configfs_dirent_lock);
> if (target_sd->s_type & CONFIGFS_USET_DROPPING) {
> spin_unlock(&configfs_dirent_lock);
> config_item_put(item);
> kfree(sl);
> return -ENOENT;
> /*
> * Force rmdir() of parent_item to wait until we know
> * if we succeed.
> */
> parent_sd->s_type |= CONFIGFS_USET_ATTACHING;
> }
> list_add(&sl->sl_list, &target_sd->s_links);
> spin_unlock(&configfs_dirent_lock);
> ret = configfs_create_link(sl, parent_item->ci_dentry,
> dentry);
> spin_lock(&configfs_dirent_lock);
> parent_sd->s_type &= ~CONFIGFS_USET_ATTACHING;
> if (ret) {
Here, if detach_prep() of the target failed because of the link attached above,
it had no means to retry. rmdir() of the target fails because of this
temporary link, which results in a failing symlink() making rmdir() of the
target fail.
> list_del_init(&sl->sl_list);
> spin_unlock(&configfs_dirent_lock);
> config_item_put(item);
> kfree(sl);
> } else
> spin_unlock(&configfs_dirent_lock);
> }
>
> return ret;
>
--
Dr Louis Rilling Kerlabs
Skype: louis.rilling Batiment Germanium
Phone: (+33|0) 6 80 89 08 23 80 avenue des Buttes de Coesmes
http://www.kerlabs.com/ 35700 Rennes
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://oss.oracle.com/pipermail/ocfs2-devel/attachments/20080618/a5fe5a67/attachment-0001.bin
WARNING: multiple messages have this Message-ID (diff)
From: Louis Rilling <Louis.Rilling@kerlabs.com>
To: Joel Becker <Joel.Becker@oracle.com>
Cc: linux-kernel@vger.kernel.org, ocfs2-devel@oss.oracle.com
Subject: Re: [BUGFIX][PATCH 3/3] configfs: Fix failing symlink() making rmdir() fail
Date: Wed, 18 Jun 2008 13:40:43 +0200 [thread overview]
Message-ID: <20080618114043.GB30804@localhost> (raw)
In-Reply-To: <20080617221528.GA29091@mail.oracle.com>
[-- Attachment #1: Type: text/plain, Size: 3143 bytes --]
On Tue, Jun 17, 2008 at 03:15:28PM -0700, Joel Becker wrote:
> On Tue, Jun 17, 2008 at 07:37:23PM +0200, Louis Rilling wrote:
> > For the parent's rmdir() case, we can use the same solution as with mkdir() vs
> > rmdir(). For the target's rmdir() case, we cannot, since we do not and cannot
> > lock the target's inode while in symlink(). Fortunately, once create_link()
> > terminates, no further operation can fail in symlink(). So we first reorder the
> > operations in create_link() to attach the new symlink to its target in last
> > place, and second handle symlink creation failure the same way as a new item
> > creation failure.
>
> Oh, no, ugh. We don't want to create vfs objects first and ask
> questions later. Otherwise we wouldn't need ATTACHING - we'd just
> create the symlink, then check dropping.
> If you have ATTACHING set, the rmdir cannot continue - you can
> check dropping at that time. That is, you keep the DROPPING check where
> it is - if it is already set, you know that rmdir() is going to complete
> successfully. You can bail before even calling configfs_create_link().
> If, however, it isn't set, your ATTACHING protects you from rmdir
> throughout.
The problem is rmdir() of the target item (see below). ATTACHING only protects
us from rmdir() of the parent. This is the exact reason why I attach the link to
the target in last place, where we know that we won't have to rollback.
And AFAICS, creating a VFS object can not hurt as long as we hold the
parent i_mutex, right? Otherwise there already is a problem in
configfs_attach_item() where a failure in populate_attrs() leads to rollback the
creation of the VFS object already created for the item.
>
> sl = kmalloc(sizeof(struct configfs_symlink), GFP_KERNEL);
> if (sl) {
> sl->sl_target = config_item_get(item);
> spin_lock(&configfs_dirent_lock);
> if (target_sd->s_type & CONFIGFS_USET_DROPPING) {
> spin_unlock(&configfs_dirent_lock);
> config_item_put(item);
> kfree(sl);
> return -ENOENT;
> /*
> * Force rmdir() of parent_item to wait until we know
> * if we succeed.
> */
> parent_sd->s_type |= CONFIGFS_USET_ATTACHING;
> }
> list_add(&sl->sl_list, &target_sd->s_links);
> spin_unlock(&configfs_dirent_lock);
> ret = configfs_create_link(sl, parent_item->ci_dentry,
> dentry);
> spin_lock(&configfs_dirent_lock);
> parent_sd->s_type &= ~CONFIGFS_USET_ATTACHING;
> if (ret) {
Here, if detach_prep() of the target failed because of the link attached above,
it had no means to retry. rmdir() of the target fails because of this
temporary link, which results in a failing symlink() making rmdir() of the
target fail.
> list_del_init(&sl->sl_list);
> spin_unlock(&configfs_dirent_lock);
> config_item_put(item);
> kfree(sl);
> } else
> spin_unlock(&configfs_dirent_lock);
> }
>
> return ret;
>
--
Dr Louis Rilling Kerlabs
Skype: louis.rilling Batiment Germanium
Phone: (+33|0) 6 80 89 08 23 80 avenue des Buttes de Coesmes
http://www.kerlabs.com/ 35700 Rennes
[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 189 bytes --]
next prev parent reply other threads:[~2008-06-18 11:40 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-17 17:37 [Ocfs2-devel] [BUGFIX][PATCH 0/3] configfs: symlink() fixes Louis Rilling
2008-06-17 17:37 ` Louis Rilling
2008-06-17 17:37 ` [Ocfs2-devel] [BUGFIX][PATCH 1/3] configfs: Fix symlink() to a removing item Louis Rilling
2008-06-17 17:37 ` Louis Rilling
2008-06-17 22:17 ` [Ocfs2-devel] " Joel Becker
2008-06-17 22:17 ` Joel Becker
2008-06-17 17:37 ` [Ocfs2-devel] [BUGFIX][PATCH 2/3] configfs: Rename CONFIGFS_USET_IN_MKDIR to CONFIGFS_USET_ATTACHING Louis Rilling
2008-06-17 17:37 ` Louis Rilling
2008-06-17 17:37 ` [Ocfs2-devel] [BUGFIX][PATCH 3/3] configfs: Fix failing symlink() making rmdir() fail Louis Rilling
2008-06-17 17:37 ` Louis Rilling
2008-06-17 22:15 ` [Ocfs2-devel] " Joel Becker
2008-06-17 22:15 ` Joel Becker
2008-06-18 11:40 ` Louis Rilling [this message]
2008-06-18 11:40 ` Louis Rilling
2008-06-18 20:11 ` [Ocfs2-devel] " Joel Becker
2008-06-18 20:11 ` Joel Becker
2008-06-19 9:28 ` [Ocfs2-devel] " Louis Rilling
2008-06-19 9:28 ` Louis Rilling
2008-06-19 22:03 ` [Ocfs2-devel] " Joel Becker
2008-06-19 22:03 ` Joel Becker
2008-06-19 22:16 ` [Ocfs2-devel] " Joel Becker
2008-06-19 22:16 ` Joel Becker
2008-06-20 12:09 ` [Ocfs2-devel] [PATCH] " Louis Rilling
2008-06-20 12:09 ` Louis Rilling
2008-06-20 22:42 ` [Ocfs2-devel] " Joel Becker
2008-06-20 22:42 ` Joel Becker
2008-06-20 22:44 ` [Ocfs2-devel] " Joel Becker
2008-06-20 22:44 ` Joel Becker
2008-06-23 12:05 ` [Ocfs2-devel] " Louis Rilling
2008-06-23 12:05 ` Louis Rilling
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080618114043.GB30804@localhost \
--to=louis.rilling@kerlabs.com \
--cc=Joel.Becker@oracle.com \
--cc=linux-kernel@vger.kernel.org \
--cc=ocfs2-devel@oss.oracle.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.