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: Thu, 19 Jun 2008 11:28:42 +0200 [thread overview]
Message-ID: <20080619092842.GK30804@localhost> (raw)
In-Reply-To: <20080618201107.GF16780@ca-server1.us.oracle.com>
On Wed, Jun 18, 2008 at 01:11:07PM -0700, Joel Becker wrote:
> On Wed, Jun 18, 2008 at 01:40:43PM +0200, Louis Rilling wrote:
> > 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.
>
> Why wouldn't it protect the target, given that detach_prep()
> will be called against the target if it's being rmdir'd?
Because
1/ setting and clearing ATTACHING could badly interact with mkdir()/symlink()
inside the target item (for instance clear the flag before mkdir() has finished
attaching a new item); to avoid this we could use a different flag, but
2/ rmdir() of the target cannot lock the inode of the new symlink's parent like
it does for mkdir(), otherwise we would risk a deadlock with other symlink() and
sys_rename(). This means that rmdir() should retry aggressively, in a busy
waiting loop, or replacing mutex_lock()/mutex_unlock() with yield().
>
> > 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.
>
> We *can* do that, but we try to isolate it - hand-building VFS
> objects is complex and error prone, and I try to isolate that to
> specific cases. I'd rather avoid it when not necessary.
In the case of symlink(), building a new inode is what all filesystems must do.
The only "bad" side-effect I can figure out of having to rollback is that the
new entry will be visible for a short time until it is removed.
Anyway, do you think that the "solutions" above are more acceptable?
>
> > > 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.
>
> How so? It sees ATTACHING, it gets -EAGAIN, it tries again,
> just like before. What's different?
See above the reasons for not using ATTACHING on the target.
Louis
--
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/20080619/c0ac9aab/attachment.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: Thu, 19 Jun 2008 11:28:42 +0200 [thread overview]
Message-ID: <20080619092842.GK30804@localhost> (raw)
In-Reply-To: <20080618201107.GF16780@ca-server1.us.oracle.com>
[-- Attachment #1: Type: text/plain, Size: 2605 bytes --]
On Wed, Jun 18, 2008 at 01:11:07PM -0700, Joel Becker wrote:
> On Wed, Jun 18, 2008 at 01:40:43PM +0200, Louis Rilling wrote:
> > 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.
>
> Why wouldn't it protect the target, given that detach_prep()
> will be called against the target if it's being rmdir'd?
Because
1/ setting and clearing ATTACHING could badly interact with mkdir()/symlink()
inside the target item (for instance clear the flag before mkdir() has finished
attaching a new item); to avoid this we could use a different flag, but
2/ rmdir() of the target cannot lock the inode of the new symlink's parent like
it does for mkdir(), otherwise we would risk a deadlock with other symlink() and
sys_rename(). This means that rmdir() should retry aggressively, in a busy
waiting loop, or replacing mutex_lock()/mutex_unlock() with yield().
>
> > 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.
>
> We *can* do that, but we try to isolate it - hand-building VFS
> objects is complex and error prone, and I try to isolate that to
> specific cases. I'd rather avoid it when not necessary.
In the case of symlink(), building a new inode is what all filesystems must do.
The only "bad" side-effect I can figure out of having to rollback is that the
new entry will be visible for a short time until it is removed.
Anyway, do you think that the "solutions" above are more acceptable?
>
> > > 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.
>
> How so? It sees ATTACHING, it gets -EAGAIN, it tries again,
> just like before. What's different?
See above the reasons for not using ATTACHING on the target.
Louis
--
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-19 9:28 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 ` [Ocfs2-devel] " Louis Rilling
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 ` Louis Rilling [this message]
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=20080619092842.GK30804@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.