From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id E2A26C47DA9 for ; Tue, 30 Jan 2024 00:28:51 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 616486B006E; Mon, 29 Jan 2024 19:28:51 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 5ECA36B0085; Mon, 29 Jan 2024 19:28:51 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 48D9E6B0087; Mon, 29 Jan 2024 19:28:51 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0016.hostedemail.com [216.40.44.16]) by kanga.kvack.org (Postfix) with ESMTP id 32A486B006E for ; Mon, 29 Jan 2024 19:28:51 -0500 (EST) Received: from smtpin20.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay03.hostedemail.com (Postfix) with ESMTP id D60B1A03EE for ; Tue, 30 Jan 2024 00:28:50 +0000 (UTC) X-FDA: 81734092020.20.8773353 Received: from mail-wm1-f50.google.com (mail-wm1-f50.google.com [209.85.128.50]) by imf01.hostedemail.com (Postfix) with ESMTP id E554640004 for ; Tue, 30 Jan 2024 00:28:48 +0000 (UTC) Authentication-Results: imf01.hostedemail.com; dkim=pass header.d=google.com header.s=20230601 header.b=Z5PK90lJ; spf=pass (imf01.hostedemail.com: domain of lokeshgidra@google.com designates 209.85.128.50 as permitted sender) smtp.mailfrom=lokeshgidra@google.com; dmarc=pass (policy=reject) header.from=google.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1706574529; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=l6wMAF7cwgtsfKbJYWyc+tWcNHqVIqoQNMitYFNxzFc=; b=P1tg0wR476aK2/LJFELVaW1aUCuAHR0K0JP5e22I3ZqVI3Pk/9abx5au/vb3ZxQ8rvQUxT OiHqCJ6ws8TQ9Dhrkp3FzDjit8Kj4tLfNci2VXr4cDDD68D/FBM2OTbDmcitve6fjcMYe6 2gblITOq03DYLb1fiS98AQxg614MIvo= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1706574529; a=rsa-sha256; cv=none; b=upXxRvJh06Be/pwXBDO9W0+caah4ebfVvhMgGg8QN/D3XwVbOiYmCd+PsH8+Nf+Z47wwJm 5XoYZqTp9TaNTs5zy0frtKAho2KicbU0CgLVV+6Yl26RkhQx/9QJqbjOWxgkeiy7IbvRTz TOWaj0pT0xyyfJVst+biGoZAw5SsW7A= ARC-Authentication-Results: i=1; imf01.hostedemail.com; dkim=pass header.d=google.com header.s=20230601 header.b=Z5PK90lJ; spf=pass (imf01.hostedemail.com: domain of lokeshgidra@google.com designates 209.85.128.50 as permitted sender) smtp.mailfrom=lokeshgidra@google.com; dmarc=pass (policy=reject) header.from=google.com Received: by mail-wm1-f50.google.com with SMTP id 5b1f17b1804b1-40e913e3f03so39469715e9.3 for ; Mon, 29 Jan 2024 16:28:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1706574527; x=1707179327; darn=kvack.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=l6wMAF7cwgtsfKbJYWyc+tWcNHqVIqoQNMitYFNxzFc=; b=Z5PK90lJaONMR9josQgCPTXcSysuM4Yws1u1YswrDDQHgNgHTKYtI5vDw1qXCKk3x4 vold0TgAskD72/7Bkcg1RzFM0hSl27DVvKWVCl+PLX6ddzAWEF/72Dv/Uy+SH8Wp8pgz ITBmUIb6omxZltKpf/DwXuU13Xp5I/oh3KfGfBFLQe2t7nIC5NY0mO/37254Ya4gzCGq vk9N6wfwGmmamKJ91dL6uoO0OItut/voQJ3IXUKkUWtF6EVgPwRKnvl8WX93bExAoiQY l7vYnf0Q7dLHU/pmoN/VErvAmY4N0C5dR6iLwYyEpu1E/UBvYH2rVaOsPOGAYS9KTsjB 59qw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706574527; x=1707179327; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=l6wMAF7cwgtsfKbJYWyc+tWcNHqVIqoQNMitYFNxzFc=; b=KobE3So7T7rp78D8QCR+gzwb8xcgW0aBybOEiymhQA1m9y7U7cDWwaGGvLF5ufB745 Z7fKX8mH3GEULZL9eC/JHmnbRQt/rjWM+PBMHs4EN3daF0kKADZw24UmaUdxknvx6+Jf oaLnerWfJHF1Rg7atfwCyvmhIDGdDiP88gcyhylrlLZmVCY8mYM7obJzHA8vdAHvPR0n 7mDgf+144RGcHbP6Ip1ouxkO2owKaPhhGzEJgKIt8V24IbKoDELk1bf+Yp3i0foT40Nu 5Xkp+4G//uTtJ8J56EId4JOjelRnWNjHJkauYsckmdPKtY55f2+rFU5+LJUedrzWdhcr EgKQ== X-Gm-Message-State: AOJu0YyqNCYEBzH7KIvtrZX7c8MePyonvdDiwAoADMZGPadJ+yRh7ghh UwSpbP4qE5seVeySTYdMFdSl7fPFCrOoNEBvCHmTjjoMn1Mqpw1qzLyrOuvMK/zfrrqXNLUH0/Y St55TEqehfMmFL3pdDTlt5QIOyE9oCdhggEFk X-Google-Smtp-Source: AGHT+IELrPy/rIHOUSfntbeOaeQ347euO668r+7Si4IrYW8OwwoadmazH+U2fD3WUcZqKT8uYArVDiwGag+v430oiVE= X-Received: by 2002:a5d:5225:0:b0:336:6d62:7647 with SMTP id i5-20020a5d5225000000b003366d627647mr3791991wra.5.1706574526945; Mon, 29 Jan 2024 16:28:46 -0800 (PST) MIME-Version: 1.0 References: <20240129193512.123145-1-lokeshgidra@google.com> <20240129193512.123145-4-lokeshgidra@google.com> <20240129203626.uq5tdic4z5qua5qy@revolver> In-Reply-To: From: Lokesh Gidra Date: Mon, 29 Jan 2024 16:28:32 -0800 Message-ID: Subject: Re: [PATCH v2 3/3] userfaultfd: use per-vma locks in userfaultfd operations To: Suren Baghdasaryan Cc: "Liam R. Howlett" , akpm@linux-foundation.org, linux-fsdevel@vger.kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, selinux@vger.kernel.org, kernel-team@android.com, aarcange@redhat.com, peterx@redhat.com, david@redhat.com, axelrasmussen@google.com, bgeffon@google.com, willy@infradead.org, jannh@google.com, kaleshsingh@google.com, ngeoffray@google.com, timmurray@google.com, rppt@kernel.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Stat-Signature: rxfdhb4qgi1cap3nyba794hx7idksaas X-Rspamd-Server: rspam10 X-Rspamd-Queue-Id: E554640004 X-Rspam-User: X-HE-Tag: 1706574528-795760 X-HE-Meta: U2FsdGVkX19YHjtniO5jOj9AOxCxS2xiDsonuXwiQA+SjnMtrL2wYYNaQaoIe9wwwHRgUeXvYlKx8mGZmEZbizpTNRScrQEU6l1QmVnfdp7xYrm/psdxpc4v7WwOxDtWv9jw02KIl3R0CfxN+KDFi2ydw9V1zps4EM890RL7JaYA9ijX1U8wX3Anatu9c0iaWDM5rYZAppTi5t2zKjXObbpGp4TSH3n5ACG7MvRkEJ/6d4+gxoeq5arx0nwB2V/jj73ZlNB7himfsFxNvGJ95gOH2zrAW10VIKbxSE71KcgQP0Md24AnVYl+an3Vs4DNNp+HPraW9MkD+7RlCnBfBCOucigRZLPDW6zmv6/z7J6q1/ll8jiqUH1lNeoQUQf4bGVghIZgkCcPtpw4WHBG/0A/96FD+tKWzILmRyF3OauR7os1sHn3f2RhsVwBGiotkJD8y6qy2aOQKkm2VcmB8sVzDmuEFYYBeunPvxNwAfzRk/nbOXHLMxG+bA0iRhDm4dOpNc4R2P7vumtYHIEp24Lb1szje3ckqXvrL2aK+sqVvAmu7BGj59m68RoxDuyJrB08BxOXSzaJhXCOjS69dKYRwR4FJHRQkNyPt+dsFvtSCymDuf/aZsQbpNwnX7vLfThccl+n1SGeZg8qS3CmQZQap/0V1QkvrGkdal72Q5XlKeHUydetVu4VX/uJnzldqQ4uNREM6ML20Nd1Axu1e7VWzmHR85vNfLRZzItIltxjCX2g3PUCtaG5MEAcKPwHg3pzm+WaHEYDApTaK3CIqnb1RfxBFQv4qAEkffwcbJTnUzvVeworKw6MhJEykTXQDB4YqYJEp1bZG6GolU7q2xSY2lgShxOdphQ3lPi4kJlDGETHOZWZNoH432UbpztWehBJ49okVi/jf2Vxud34y2lg8Yt1RyJhWq7UzrX4ivNi7tlSrByOMYpgBA37nUmPxfpc9UsW7REokhi1UU+ /RZ+dtkE 6OPo+sALiw1AW44oGmrSvkQXyfRufRVUrDUoob37AQwfO8tH3s7bbv0iWIWVzx228rgxFleagf7KZsYdJtHJcmZ9zbfW1ycvGWks9Ep0/npg/tTgRUadDrTs+hlxma8alvxA8/53hOkCyFKHCLNH3d8hOuyHE4CWeZIlfyeMtacT953eBKbemTFrkBtlKWgqm5OZq220E+yX8/xGcFWY9RMnf8t4ZyjSi5VjHbQHeVibhVgHQoTrf+X5D4WhZxQRkYpH5bYpQeAehGXwqD45WNcLOJw== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: On Mon, Jan 29, 2024 at 12:53=E2=80=AFPM Suren Baghdasaryan wrote: > > On Mon, Jan 29, 2024 at 12:36=E2=80=AFPM Liam R. Howlett > wrote: > > > > * Lokesh Gidra [240129 14:35]: > > > All userfaultfd operations, except write-protect, opportunistically u= se > > > per-vma locks to lock vmas. If we fail then fall back to locking > > > mmap-lock in read-mode. > > > > > > Write-protect operation requires mmap_lock as it iterates over multip= le vmas. > > > > > > Signed-off-by: Lokesh Gidra > > > --- > > > fs/userfaultfd.c | 13 +-- > > > include/linux/userfaultfd_k.h | 5 +- > > > mm/userfaultfd.c | 175 +++++++++++++++++++++++---------= -- > > > 3 files changed, 122 insertions(+), 71 deletions(-) > > > > > > diff --git a/fs/userfaultfd.c b/fs/userfaultfd.c > > > index c00a021bcce4..60dcfafdc11a 100644 > > > --- a/fs/userfaultfd.c > > > +++ b/fs/userfaultfd.c > > > @@ -2005,17 +2005,8 @@ static int userfaultfd_move(struct userfaultfd= _ctx *ctx, > > > return -EINVAL; > > > > > > if (mmget_not_zero(mm)) { > > > - mmap_read_lock(mm); > > > - > > > - /* Re-check after taking map_changing_lock */ > > > - down_read(&ctx->map_changing_lock); > > > - if (likely(!atomic_read(&ctx->mmap_changing))) > > > - ret =3D move_pages(ctx, mm, uffdio_move.dst, uf= fdio_move.src, > > > - uffdio_move.len, uffdio_move.m= ode); > > > - else > > > - ret =3D -EAGAIN; > > > - up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(mm); > > > + ret =3D move_pages(ctx, uffdio_move.dst, uffdio_move.sr= c, > > > + uffdio_move.len, uffdio_move.mode); > > > mmput(mm); > > > } else { > > > return -ESRCH; > > > diff --git a/include/linux/userfaultfd_k.h b/include/linux/userfaultf= d_k.h > > > index 3210c3552976..05d59f74fc88 100644 > > > --- a/include/linux/userfaultfd_k.h > > > +++ b/include/linux/userfaultfd_k.h > > > @@ -138,9 +138,8 @@ extern long uffd_wp_range(struct vm_area_struct *= vma, > > > /* move_pages */ > > > void double_pt_lock(spinlock_t *ptl1, spinlock_t *ptl2); > > > void double_pt_unlock(spinlock_t *ptl1, spinlock_t *ptl2); > > > -ssize_t move_pages(struct userfaultfd_ctx *ctx, struct mm_struct *mm= , > > > - unsigned long dst_start, unsigned long src_start, > > > - unsigned long len, __u64 flags); > > > +ssize_t move_pages(struct userfaultfd_ctx *ctx, unsigned long dst_st= art, > > > + unsigned long src_start, unsigned long len, __u64 fl= ags); > > > int move_pages_huge_pmd(struct mm_struct *mm, pmd_t *dst_pmd, pmd_t = *src_pmd, pmd_t dst_pmdval, > > > struct vm_area_struct *dst_vma, > > > struct vm_area_struct *src_vma, > > > diff --git a/mm/userfaultfd.c b/mm/userfaultfd.c > > > index 6e2ca04ab04d..d55bf18b80db 100644 > > > --- a/mm/userfaultfd.c > > > +++ b/mm/userfaultfd.c > > > @@ -19,20 +19,39 @@ > > > #include > > > #include "internal.h" > > > > > > -static __always_inline > > > -struct vm_area_struct *find_dst_vma(struct mm_struct *dst_mm, > > > - unsigned long dst_start, > > > - unsigned long len) > > > +void unpin_vma(struct mm_struct *mm, struct vm_area_struct *vma, boo= l *mmap_locked) > > > +{ > > > + BUG_ON(!vma && !*mmap_locked); > > > + > > > + if (*mmap_locked) { > > > + mmap_read_unlock(mm); > > > + *mmap_locked =3D false; > > > + } else > > > + vma_end_read(vma); > > > > You are missing braces here. > > > > This function is small so it could be inline, although I hope the > > compiler would get that right for us. > > > > I don't think this small helper is worth it, considering you are > > altering a pointer in here, which makes things harder to follow (not to > > mention the locking). The only code that depends on this update is a > > single place, which already assigns a custom variable after the functio= n > > return. > > Sure. I'll replace unpin_vma() calls with inlined unlocking. > > > +} > > > + > > > +/* > > > + * Search for VMA and make sure it is stable either by locking it or= taking > > > + * mmap_lock. > > > > This function returns something that isn't documented and also sets a > > boolean which is passed in as a pointer which also is lacking from the > > documentation. > > I'll fix the comment in next version. > > > + */ > > > +struct vm_area_struct *find_and_pin_dst_vma(struct mm_struct *dst_mm= , > > > + unsigned long dst_start, > > > + unsigned long len, > > > + bool *mmap_locked) > > > { > > > + struct vm_area_struct *dst_vma =3D lock_vma_under_rcu(dst_mm, d= st_start); > > > > lock_vma_under_rcu() calls mas_walk(), which goes to dst_start for the > > VMA. It is not possible for dst_start to be outside the range. > > > > > + if (!dst_vma) { > > > > BUG_ON(mmap_locked) ? > > > > > + mmap_read_lock(dst_mm); > > > + *mmap_locked =3D true; > > > + dst_vma =3D find_vma(dst_mm, dst_start); > > > > find_vma() walks to dst_start and searches upwards from that address. > > This is functionally different than what you have asked for above. You > > will not see an issue as you have coded it - but it may be suboptimal > > since a start address lower than the VMA you are looking for can be > > found... however, later you check the range falls between the dst_start > > and dst_start + len. > > > > If you expect the dst_start to always be within the VMA range and not > > lower, then you should use vma_lookup(). > > Thanks for informing. So vma_lookup() returns the vma for any address within [vma->vm_start, vma->vm_end)? > > If you want to search upwards from dst_start for a VMA then you should > > move the range check below into this brace. > > > > > + } > > > + > > > /* > > > * Make sure that the dst range is both valid and fully within = a > > > * single existing vma. > > > */ > > > - struct vm_area_struct *dst_vma; > > > - > > > - dst_vma =3D find_vma(dst_mm, dst_start); > > > if (!range_in_vma(dst_vma, dst_start, dst_start + len)) > > > - return NULL; > > > + goto unpin; > > > > > > /* > > > * Check the vma is registered in uffd, this is required to > > > @@ -40,9 +59,13 @@ struct vm_area_struct *find_dst_vma(struct mm_stru= ct *dst_mm, > > > * time. > > > */ > > > if (!dst_vma->vm_userfaultfd_ctx.ctx) > > > - return NULL; > > > + goto unpin; > > > > > > return dst_vma; > > > + > > > +unpin: > > > + unpin_vma(dst_mm, dst_vma, mmap_locked); > > > + return NULL; > > > } > > > > > > /* Check if dst_addr is outside of file's size. Must be called with = ptl held. */ > > > @@ -350,7 +373,8 @@ static pmd_t *mm_alloc_pmd(struct mm_struct *mm, = unsigned long address) > > > #ifdef CONFIG_HUGETLB_PAGE > > > /* > > > * mfill_atomic processing for HUGETLB vmas. Note that this routine= is > > > - * called with mmap_lock held, it will release mmap_lock before retu= rning. > > > + * called with either vma-lock or mmap_lock held, it will release th= e lock > > > + * before returning. > > > */ > > > static __always_inline ssize_t mfill_atomic_hugetlb( > > > struct userfaultfd_ctx *c= tx, > > > @@ -358,7 +382,8 @@ static __always_inline ssize_t mfill_atomic_huget= lb( > > > unsigned long dst_start, > > > unsigned long src_start, > > > unsigned long len, > > > - uffd_flags_t flags) > > > + uffd_flags_t flags, > > > + bool *mmap_locked) > > > { > > > struct mm_struct *dst_mm =3D dst_vma->vm_mm; > > > int vm_shared =3D dst_vma->vm_flags & VM_SHARED; > > > @@ -380,7 +405,7 @@ static __always_inline ssize_t mfill_atomic_huget= lb( > > > */ > > > if (uffd_flags_mode_is(flags, MFILL_ATOMIC_ZEROPAGE)) { > > > up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(dst_mm); > > > + unpin_vma(dst_mm, dst_vma, mmap_locked); > > > return -EINVAL; > > > } > > > > > > @@ -404,12 +429,25 @@ static __always_inline ssize_t mfill_atomic_hug= etlb( > > > */ > > > if (!dst_vma) { > > > err =3D -ENOENT; > > > - dst_vma =3D find_dst_vma(dst_mm, dst_start, len); > > > - if (!dst_vma || !is_vm_hugetlb_page(dst_vma)) > > > - goto out_unlock; > > > + dst_vma =3D find_and_pin_dst_vma(dst_mm, dst_start, > > > + len, mmap_locked); > > > + if (!dst_vma) > > > + goto out; > > > + if (!is_vm_hugetlb_page(dst_vma)) > > > + goto out_unlock_vma; > > > > > > err =3D -EINVAL; > > > if (vma_hpagesize !=3D vma_kernel_pagesize(dst_vma)) > > > + goto out_unlock_vma; > > > + > > > + /* > > > + * If memory mappings are changing because of non-coope= rative > > > + * operation (e.g. mremap) running in parallel, bail ou= t and > > > + * request the user to retry later > > > + */ > > > + down_read(&ctx->map_changing_lock); > > > + err =3D -EAGAIN; > > > + if (atomic_read(&ctx->mmap_changing)) > > > goto out_unlock; > > > > > > vm_shared =3D dst_vma->vm_flags & VM_SHARED; > > > @@ -465,7 +503,7 @@ static __always_inline ssize_t mfill_atomic_huget= lb( > > > > > > if (unlikely(err =3D=3D -ENOENT)) { > > > up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(dst_mm); > > > + unpin_vma(dst_mm, dst_vma, mmap_locked); > > > BUG_ON(!folio); > > > > > > err =3D copy_folio_from_user(folio, > > > @@ -474,17 +512,6 @@ static __always_inline ssize_t mfill_atomic_huge= tlb( > > > err =3D -EFAULT; > > > goto out; > > > } > > > - mmap_read_lock(dst_mm); > > > - down_read(&ctx->map_changing_lock); > > > - /* > > > - * If memory mappings are changing because of n= on-cooperative > > > - * operation (e.g. mremap) running in parallel,= bail out and > > > - * request the user to retry later > > > - */ > > > - if (atomic_read(ctx->mmap_changing)) { > > > - err =3D -EAGAIN; > > > - break; > > > - } > > > > ... Okay, this is where things get confusing. > > > > How about this: Don't do this locking/boolean dance. > > > > Instead, do something like this: > > In mm/memory.c, below lock_vma_under_rcu(), but something like this > > > > struct vm_area_struct *lock_vma(struct mm_struct *mm, > > unsigned long addr)) /* or some better name.. */ > > { > > struct vm_area_struct *vma; > > > > vma =3D lock_vma_under_rcu(mm, addr); > > > > if (vma) > > return vma; > > > > mmap_read_lock(mm); > > vma =3D lookup_vma(mm, addr); > > if (vma) > > vma_start_read(vma); /* Won't fail */ > > Please don't assume vma_start_read() won't fail even when you have > mmap_read_lock(). See the comment in vma_start_read() about the > possibility of an overflow producing false negatives. > > > > > mmap_read_unlock(mm); > > return vma; > > } > > > > Now, we know we have a vma that's vma locked if there is a vma. The vm= a > > won't go away - you have it locked. The mmap lock is held for even > > less time for your worse case, and the code gets easier to follow. Your suggestion is definitely simpler and easier to follow, but due to the overflow situation that Suren pointed out, I would still need to keep the locking/boolean dance, no? IIUC, even if I were to return EAGAIN to the userspace, there is no guarantee that subsequent ioctls on the same vma will succeed due to the same overflow, until someone acquires and releases mmap_lock in write-mode. Also, sometimes it seems insufficient whether we managed to lock vma or not. For instance, lock_vma_under_rcu() checks if anon_vma (for anonymous vma) exists. If not then it bails out. So it seems to me that we have to provide some fall back in userfaultfd operations which executes with mmap_lock in read-mode. > > > > Once you are done with the vma do a vma_end_read(vma). Don't forget to > > do this! > > > > Now the comment above such a function should state that the vma needs t= o > > be vma_end_read(vma), or that could go undetected.. It might be worth > > adding a unlock_vma() counterpart to vma_end_read(vma) even. > > Locking VMA while holding mmap_read_lock is an interesting usage > pattern I haven't seen yet. I think this should work quite well! > > > > > > > > > > > dst_vma =3D NULL; > > > goto retry; > > > @@ -505,7 +532,8 @@ static __always_inline ssize_t mfill_atomic_huget= lb( > > > > > > out_unlock: > > > up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(dst_mm); > > > +out_unlock_vma: > > > + unpin_vma(dst_mm, dst_vma, mmap_locked); > > > out: > > > if (folio) > > > folio_put(folio); > > > @@ -521,7 +549,8 @@ extern ssize_t mfill_atomic_hugetlb(struct userfa= ultfd_ctx *ctx, > > > unsigned long dst_start, > > > unsigned long src_start, > > > unsigned long len, > > > - uffd_flags_t flags); > > > + uffd_flags_t flags, > > > + bool *mmap_locked); > > > > Just a thought, tabbing in twice for each argument would make this more > > compact. > > > > > > > #endif /* CONFIG_HUGETLB_PAGE */ > > > > > > static __always_inline ssize_t mfill_atomic_pte(pmd_t *dst_pmd, > > > @@ -581,6 +610,7 @@ static __always_inline ssize_t mfill_atomic(struc= t userfaultfd_ctx *ctx, > > > unsigned long src_addr, dst_addr; > > > long copied; > > > struct folio *folio; > > > + bool mmap_locked =3D false; > > > > > > /* > > > * Sanitize the command parameters: > > > @@ -597,7 +627,14 @@ static __always_inline ssize_t mfill_atomic(stru= ct userfaultfd_ctx *ctx, > > > copied =3D 0; > > > folio =3D NULL; > > > retry: > > > - mmap_read_lock(dst_mm); > > > + /* > > > + * Make sure the vma is not shared, that the dst range is > > > + * both valid and fully within a single existing vma. > > > + */ > > > + err =3D -ENOENT; > > > + dst_vma =3D find_and_pin_dst_vma(dst_mm, dst_start, len, &mmap_= locked); > > > + if (!dst_vma) > > > + goto out; > > > > > > /* > > > * If memory mappings are changing because of non-cooperative > > > @@ -609,15 +646,6 @@ static __always_inline ssize_t mfill_atomic(stru= ct userfaultfd_ctx *ctx, > > > if (atomic_read(&ctx->mmap_changing)) > > > goto out_unlock; > > > > > > - /* > > > - * Make sure the vma is not shared, that the dst range is > > > - * both valid and fully within a single existing vma. > > > - */ > > > - err =3D -ENOENT; > > > - dst_vma =3D find_dst_vma(dst_mm, dst_start, len); > > > - if (!dst_vma) > > > - goto out_unlock; > > > - > > > err =3D -EINVAL; > > > /* > > > * shmem_zero_setup is invoked in mmap for MAP_ANONYMOUS|MAP_SH= ARED but > > > @@ -638,8 +666,8 @@ static __always_inline ssize_t mfill_atomic(struc= t userfaultfd_ctx *ctx, > > > * If this is a HUGETLB vma, pass off to appropriate routine > > > */ > > > if (is_vm_hugetlb_page(dst_vma)) > > > - return mfill_atomic_hugetlb(ctx, dst_vma, dst_start, > > > - src_start, len, flags); > > > + return mfill_atomic_hugetlb(ctx, dst_vma, dst_start, s= rc_start > > > + len, flags, &mmap_locked); > > > > > > if (!vma_is_anonymous(dst_vma) && !vma_is_shmem(dst_vma)) > > > goto out_unlock; > > > @@ -699,7 +727,8 @@ static __always_inline ssize_t mfill_atomic(struc= t userfaultfd_ctx *ctx, > > > void *kaddr; > > > > > > up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(dst_mm); > > > + unpin_vma(dst_mm, dst_vma, &mmap_locked); > > > + > > > BUG_ON(!folio); > > > > > > kaddr =3D kmap_local_folio(folio, 0); > > > @@ -730,7 +759,7 @@ static __always_inline ssize_t mfill_atomic(struc= t userfaultfd_ctx *ctx, > > > > > > out_unlock: > > > up_read(&ctx->map_changing_lock); > > > - mmap_read_unlock(dst_mm); > > > + unpin_vma(dst_mm, dst_vma, &mmap_locked); > > > out: > > > if (folio) > > > folio_put(folio); > > > @@ -1285,8 +1314,6 @@ static int validate_move_areas(struct userfault= fd_ctx *ctx, > > > * @len: length of the virtual memory range > > > * @mode: flags from uffdio_move.mode > > > * > > > - * Must be called with mmap_lock held for read. > > > - * > > > * move_pages() remaps arbitrary anonymous pages atomically in zero > > > * copy. It only works on non shared anonymous pages because those c= an > > > * be relocated without generating non linear anon_vmas in the rmap > > > @@ -1353,15 +1380,16 @@ static int validate_move_areas(struct userfau= ltfd_ctx *ctx, > > > * could be obtained. This is the only additional complexity added t= o > > > * the rmap code to provide this anonymous page remapping functional= ity. > > > */ > > > -ssize_t move_pages(struct userfaultfd_ctx *ctx, struct mm_struct *mm= , > > > - unsigned long dst_start, unsigned long src_start, > > > - unsigned long len, __u64 mode) > > > +ssize_t move_pages(struct userfaultfd_ctx *ctx, unsigned long dst_st= art, > > > + unsigned long src_start, unsigned long len, __u64 mo= de) > > > { > > > + struct mm_struct *mm =3D ctx->mm; > > > struct vm_area_struct *src_vma, *dst_vma; > > > unsigned long src_addr, dst_addr; > > > pmd_t *src_pmd, *dst_pmd; > > > long err =3D -EINVAL; > > > ssize_t moved =3D 0; > > > + bool mmap_locked =3D false; > > > > > > /* Sanitize the command parameters. */ > > > if (WARN_ON_ONCE(src_start & ~PAGE_MASK) || > > > @@ -1374,28 +1402,52 @@ ssize_t move_pages(struct userfaultfd_ctx *ct= x, struct mm_struct *mm, > > > WARN_ON_ONCE(dst_start + len <=3D dst_start)) > > > goto out; > > > > Ah, is this safe for rmap? I think you need to leave this read lock. > > I didn't fully understand you here. > > > > > > + dst_vma =3D NULL; > > > + src_vma =3D lock_vma_under_rcu(mm, src_start); > > > + if (src_vma) { > > > + dst_vma =3D lock_vma_under_rcu(mm, dst_start); > > > + if (!dst_vma) > > > + vma_end_read(src_vma); > > > + } > > > + > > > + /* If we failed to lock both VMAs, fall back to mmap_lock */ > > > + if (!dst_vma) { > > > + mmap_read_lock(mm); > > > + mmap_locked =3D true; > > > + src_vma =3D find_vma(mm, src_start); > > > + if (!src_vma) > > > + goto out_unlock_mmap; > > > + dst_vma =3D find_vma(mm, dst_start); > > > > Again, there is a difference in how find_vma and lock_vam_under_rcu > > works. Sure, I'll use vma_lookup() instead of find_vma(). > > > > > + if (!dst_vma) > > > + goto out_unlock_mmap; > > > + } > > > + > > > + /* Re-check after taking map_changing_lock */ > > > + down_read(&ctx->map_changing_lock); > > > + if (likely(atomic_read(&ctx->mmap_changing))) { > > > + err =3D -EAGAIN; > > > + goto out_unlock; > > > + } > > > /* > > > * Make sure the vma is not shared, that the src and dst remap > > > * ranges are both valid and fully within a single existing > > > * vma. > > > */ > > > - src_vma =3D find_vma(mm, src_start); > > > - if (!src_vma || (src_vma->vm_flags & VM_SHARED)) > > > - goto out; > > > + if (src_vma->vm_flags & VM_SHARED) > > > + goto out_unlock; > > > if (src_start < src_vma->vm_start || > > > src_start + len > src_vma->vm_end) > > > - goto out; > > > + goto out_unlock; > > > > > > - dst_vma =3D find_vma(mm, dst_start); > > > - if (!dst_vma || (dst_vma->vm_flags & VM_SHARED)) > > > - goto out; > > > + if (dst_vma->vm_flags & VM_SHARED) > > > + goto out_unlock; > > > if (dst_start < dst_vma->vm_start || > > > dst_start + len > dst_vma->vm_end) > > > - goto out; > > > + goto out_unlock; > > > > > > err =3D validate_move_areas(ctx, src_vma, dst_vma); > > > if (err) > > > - goto out; > > > + goto out_unlock; > > > > > > for (src_addr =3D src_start, dst_addr =3D dst_start; > > > src_addr < src_start + len;) { > > > @@ -1512,6 +1564,15 @@ ssize_t move_pages(struct userfaultfd_ctx *ctx= , struct mm_struct *mm, > > > moved +=3D step_size; > > > } > > > > > > +out_unlock: > > > + up_read(&ctx->map_changing_lock); > > > +out_unlock_mmap: > > > + if (mmap_locked) > > > + mmap_read_unlock(mm); > > > + else { > > > + vma_end_read(dst_vma); > > > + vma_end_read(src_vma); > > > + } > > > out: > > > VM_WARN_ON(moved < 0); > > > VM_WARN_ON(err > 0); > > > -- > > > 2.43.0.429.g432eaa2c6b-goog > > > > > >