Re: [PATCH 03/34] teach move_mount(2) to work with OPEN_TREE_CLONE [ver #12]

From: Alan Jenkins
Date: Wed Oct 17 2018 - 13:45:59 EST


Hi David. I think there's an outstanding point below, have you been thinking about it?

On 07/10/2018 11:48, Alan Jenkins wrote:
On 05/10/2018 19:24, Alan Jenkins wrote:
On 21/09/2018 17:30, David Howells wrote:
From: Al Viro <viro@xxxxxxxxxxxxxxxxxx>

Allow a detached tree created by open_tree(..., OPEN_TREE_CLONE) to be
attached by move_mount(2).

If by the time of final fput() of OPEN_TREE_CLONE-opened file its tree is
not detached anymore, it won't be dissolved. move_mount(2) is adjusted
to handle detached source.

That gives us equivalents of mount --bind and mount --rbind.

Signed-off-by: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
Signed-off-by: David Howells <dhowells@xxxxxxxxxx>
---

 fs/namespace.c | 26 ++++++++++++++++++++------
 1 file changed, 20 insertions(+), 6 deletions(-)

diff --git a/fs/namespace.c b/fs/namespace.c
index dd38141b1723..caf5c55ef555 100644
--- a/fs/namespace.c
+++ b/fs/namespace.c
@@ -1785,8 +1785,10 @@ void dissolve_on_fput(struct vfsmount *mnt)
 {
ÂÂÂÂÂ namespace_lock();
ÂÂÂÂÂ lock_mount_hash();
-ÂÂÂ mntget(mnt);
-ÂÂÂ umount_tree(real_mount(mnt), UMOUNT_CONNECTED);
+ÂÂÂ if (!real_mount(mnt)->mnt_ns) {
+ÂÂÂÂÂÂÂ mntget(mnt);
+ÂÂÂÂÂÂÂ umount_tree(real_mount(mnt), UMOUNT_CONNECTED);
+ÂÂÂ }
ÂÂÂÂÂ unlock_mount_hash();
ÂÂÂÂÂ namespace_unlock();
 }
@@ -2393,6 +2395,7 @@ static int do_move_mount(struct path *old_path, struct path *new_path)
ÂÂÂÂÂ struct mount *old;
ÂÂÂÂÂ struct mountpoint *mp;
ÂÂÂÂÂ int err;
+ÂÂÂ bool attached;
 Â mp = lock_mount(new_path);
ÂÂÂÂÂ err = PTR_ERR(mp);
@@ -2403,10 +2406,19 @@ static int do_move_mount(struct path *old_path, struct path *new_path)
ÂÂÂÂÂ p = real_mount(new_path->mnt);
 Â err = -EINVAL;
-ÂÂÂ if (!check_mnt(p) || !check_mnt(old))
+ÂÂÂ /* The mountpoint must be in our namespace. */
+ÂÂÂ if (!check_mnt(p))
+ÂÂÂÂÂÂÂ goto out1;
+ÂÂÂ /* The thing moved should be either ours or completely unattached. */
+ÂÂÂ if (old->mnt_ns && !check_mnt(old))
ÂÂÂÂÂÂÂÂÂ goto out1;
 - if (!mnt_has_parent(old))
+ÂÂÂ attached = mnt_has_parent(old);
+ÂÂÂ /*
+ÂÂÂÂ * We need to allow open_tree(OPEN_TREE_CLONE) followed by
+ÂÂÂÂ * move_mount(), but mustn't allow "/" to be moved.
+ÂÂÂÂ */
+ÂÂÂ if (old->mnt_ns && !attached)
ÂÂÂÂÂÂÂÂÂ goto out1;
 Â if (old->mnt.mnt_flags & MNT_LOCKED)

Hi

I replied last time to wonder about the MNT_UMOUNT mnt_flag. So I've tested it now :-), on David's current tree (commit 5581f4935add).

The modified do_move_mount() allows re-attaching something that was lazy-unmounted. But the lazy unmount sets MNT_UMOUNT. And this flag is not cleared when the mount is re-attached.

I wasn't sure what effect this would have. Luckily it showed up straight away, when I tried to unmount again. It causes a soft lockup.

Debug printk:

diff --git a/fs/namespace.c b/fs/namespace.c
index 4dfe7e23b7ee..ac8de9191cfe 100644
--- a/fs/namespace.c
+++ b/fs/namespace.c
@@ -2472,6 +2472,10 @@ static int do_move_mount(struct path *old_path, struct path *new_path)
ÂÂÂÂ if (old->mnt.mnt_flags & MNT_LOCKED)
ÂÂÂÂÂÂÂÂ goto out1;

+ÂÂÂ pr_info("mnt_flags=%x umount=%x\n",
+ÂÂÂÂÂÂÂÂÂÂÂ (unsigned) old->mnt.mnt_flags,
+ÂÂÂÂÂÂÂÂÂÂÂ (unsigned) !!(old->mnt.mnt_flags & MNT_UMOUNT);
+
ÂÂÂÂ if (old_path->dentry != old_path->mnt->mnt_root)
ÂÂÂÂÂÂÂÂ goto out1;

The lockup seems to be a general problem with the cleanup code. Even if I use this as advertised, i.e. for a simple bind mount.

(I was suspicious that being able to pass around detached trees as an FD, and re-attach them in any namespace, allows leaking memory by creating a namespace loop. I.e. maybe it gives you enough rope to skip the test in mnt_ns_loop(). But I didn't get that far).

I converted test-fsmount.c for my own purposes:

diff --git a/samples/vfs/test-fsmount.c b/samples/vfs/test-fsmount.c
index 74124025ade0..da6e3fbf0513 100644
--- a/samples/vfs/test-fsmount.c
+++ b/samples/vfs/test-fsmount.c
@@ -83,6 +83,11 @@ static inline int move_mount(int from_dfd, const char *from_pathname,
ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ to_dfd, to_pathname, flags);
Â}

+static inline int open_tree(int dfd, const char *pathname, unsigned flags)
+{
+ÂÂÂ return syscall(__NR_open_tree, dfd, pathname, flags);
+}
+
Â#define E_fsconfig(fd, cmd, key, val, aux)ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ \
ÂÂÂÂ do {ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ \
ÂÂÂÂÂÂÂÂ if (fsconfig(fd, cmd, key, val, aux) == -1)ÂÂÂÂÂÂÂ \
@@ -93,6 +98,7 @@ int main(int argc, char *argv[])
Â{
ÂÂÂÂ int fsfd, mfd;

+#if 0
ÂÂÂÂ /* Mount a publically available AFS filesystem */
ÂÂÂÂ fsfd = fsopen("afs", 0);
ÂÂÂÂ if (fsfd == -1) {
@@ -115,4 +121,9 @@ int main(int argc, char *argv[])

ÂÂÂÂ E(close(mfd));
ÂÂÂÂ exit(0);
+#endif
+
+ÂÂÂ E( mfd = open_tree(-1, "/mnt", OPEN_TREE_CLONE) );
+ÂÂÂ E( fchdir(mfd) );
+ÂÂÂ E( execl("/bin/bash", "/bin/bash", NULL) );
Â}

If I close() the mount FD "mfd", and then do "mount --move . /mnt", my printk() shows MNT_UMOUNT has been set. ( I guess fchdir() works more like openat(... , O_PATH) than dup() ). Then unmounting /mnt hangs, as I would expect from my previous test.


^ You posted a diff that would solve this problem




If I instead do the mount+unmount first, and close the FD as a second step, I think there's a lockup in the close(). The lockup happens in the same place as the unmount lockup from before.


^ but I don't think you have addressed this problem in your replies so far.

Thanks

Alan


(Except there's a line "Code: Bad RIP value", I don't know why that happens).

# unshare --mount
# test-fsmount
# mount --move . /mnt
[Â 270.859542] umount=0 mnt_flags=20

Check the flags are still the same:

# mount --move /mnt /mnt
[Â 305./mnt: mount(2) system call failed: Too many levels of symbolic links.
[Â 313.737030] umount=0 mnt_flags=20

Clean up the bind mount, and then the inherited mount FD.

# cd
# umount /mnt
# exit

[Â 351.898629] watchdog: BUG: soft lockup - CPU#0 stuck for 22s! [bash:1483]
[Â 351.899841] Modules linked in: xt_CHECKSUM(E) ipt_MASQUERADE(E) tun(E) bridge(E) stp(E) llc(E) ip6t_rpfilter(E) ip6t_REJECT(E) nf_reject_ipv6(E) xt_conntrack(E) ip6table_nat(E) nf_nat_ipv6(E) devlink(E) ip6table_mangle(E) ip6table_raw(E) ip6table_security(E) iptable_nat(E) nf_nat_ipv4(E) nf_nat(E) nf_conntrack(E) nf_defrag_ipv6(E) libcrc32c(E) nf_defrag_ipv4(E) iptable_mangle(E) iptable_raw(E) iptable_security(E) ip6table_filter(E) ip6_tables(E) snd_hda_codec_generic(E) snd_hda_intel(E) snd_hda_codec(E) snd_hwdep(E) snd_hda_core(E) snd_seq(E) snd_seq_device(E) snd_pcm(E) joydev(E) crc32_pclmul(E) snd_timer(E) ghash_clmulni_intel(E) snd(E) crct10dif_pclmul(E) virtio_balloon(E) serio_raw(E) soundcore(E) crc32c_intel(E) qxl(E) drm_kms_helper(E) virtio_console(E) ttm(E) virtio_net(E) net_failover(E)
[Â 351.912077]Â failover(E) drm(E) qemu_fw_cfg(E) pata_acpi(E) ata_generic(E)
[Â 351.912888] CPU: 0 PID: 1483 Comm: bash Tainted: G EÂÂÂÂ 4.19.0-rc3+ #7
[Â 351.914221] Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS ?-20180531_142017-buildhw-08.phx2.fedoraproject.org-1.fc28 04/01/2014
[Â 351.916582] RIP: 0010:pin_kill+0x128/0x140
[Â 351.917369] Code: f2 5a 00 48 8b 44 24 20 48 39 c5 0f 84 6f ff ff ff 48 89 df e8 e9 4a 5b 00 8b 43 18 85 c0 7e b3 c6 03 00 fb 66 0f 1f 44 00 00 <e9> 51 ff ff ff e8 be 11 dd ff 0f 1f 40 00 66 2e 0f 1f 84 00 00 00
[Â 351.920729] RSP: 0018:ffffa1b381be3d88 EFLAGS: 00000202 ORIG_RAX: ffffffffffffff13
[Â 351.921801] RAX: 0000000000000000 RBX: ffff909cf2ea68b0 RCX: dead000000000200
[Â 351.922807] RDX: 0000000000000001 RSI: ffffa1b381be3d28 RDI: ffff909cf2ea68b0
[Â 351.923811] RBP: ffffa1b381be3da8 R08: ffff909d59621760 R09: 0000000000000000
[Â 351.924813] R10: 0000000000000000 R11: 0000000000000000 R12: 0000000010000000
[Â 351.925818] R13: ffff909cf5db9a38 R14: ffff909cf2ea67a0 R15: ffff909cedc07300
[Â 351.926824] FS:Â 00007f1eb90ac740(0000) GS:ffff909d59600000(0000) knlGS:0000000000000000
[Â 351.927957] CS:Â 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[Â 351.928772] CR2: 00007f1eabedb180 CR3: 000000000f20a003 CR4: 00000000003606f0
[Â 351.929779] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
[Â 351.930785] DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
[Â 351.931791] Call Trace:
[Â 351.932160]Â ? finish_wait+0x80/0x80
[Â 351.932684]Â group_pin_kill+0x1a/0x30
[Â 351.933207]Â namespace_unlock+0x6f/0x80
[Â 351.933766]Â __fput+0x239/0x240
[Â 351.934217]Â task_work_run+0x84/0xa0
[Â 351.934743]Â do_exit+0x2d3/0xae0
[Â 351.935206]Â ? __do_page_fault+0x263/0x4e0
[Â 351.935799]Â do_group_exit+0x3a/0xa0
[Â 351.936307]Â __x64_sys_exit_group+0x14/0x20
[Â 351.936911]Â do_syscall_64+0x5b/0x160
[Â 351.937436]Â entry_SYSCALL_64_after_hwframe+0x44/0xa9
[Â 351.938164] RIP: 0033:0x7f1eb877adb6
[Â 351.938688] Code: Bad RIP value.
[Â 351.939149] RSP: 002b:00007ffd56e019d8 EFLAGS: 00000246 ORIG_RAX: 00000000000000e7
[Â 351.940216] RAX: ffffffffffffffda RBX: 00007f1eb8a69740 RCX: 00007f1eb877adb6
[Â 351.941222] RDX: 0000000000000000 RSI: 000000000000003c RDI: 0000000000000000
[Â 351.942229] RBP: 0000000000000000 R08: 00000000000000e7 R09: ffffffffffffff80
[Â 351.943236] R10: 00007ffd56e0188a R11: 0000000000000246 R12: 00007f1eb8a69740
[Â 351.944242] R13: 0000000000000001 R14: 00007f1eb8a72708 R15: 0000000000000000