Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:6 as permitted sender) client-ip=2620:137:e000::3:6;
Date:   Fri, 29 Sep 2023 10:41:23 -0400
From:   "Liam R. Howlett" <Liam.Howlett@Oracle.com>
To:     Vlastimil Babka <vbabka@suse.cz>
Cc:     Andrew Morton <akpm@linux-foundation.org>,
        maple-tree@lists.infradead.org, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org, Jann Horn <jannh@google.com>,
        Lorenzo Stoakes <lstoakes@gmail.com>,
        Suren Baghdasaryan <surenb@google.com>,
        Matthew Wilcox <willy@infradead.org>, stable@vger.kernel.org
Subject: Re: [PATCH 1/3] mmap: Fix vma_iterator in error path of vma_merge()
Message-ID: <20230929144123.66mkl5thj5ofounk@revolver>
Mail-Followup-To: "Liam R. Howlett" <Liam.Howlett@Oracle.com>,
        Vlastimil Babka <vbabka@suse.cz>,
        Andrew Morton <akpm@linux-foundation.org>,
        maple-tree@lists.infradead.org, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org, Jann Horn <jannh@google.com>,
        Lorenzo Stoakes <lstoakes@gmail.com>,
        Suren Baghdasaryan <surenb@google.com>,
        Matthew Wilcox <willy@infradead.org>, stable@vger.kernel.org
References: <20230927160746.1928098-1-Liam.Howlett@oracle.com>
 <20230927160746.1928098-2-Liam.Howlett@oracle.com>
 <1c8488e1-1776-f21e-bafd-3892f0894392@suse.cz>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <1c8488e1-1776-f21e-bafd-3892f0894392@suse.cz>
User-Agent: NeoMutt/20220429
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?gyhoOkuH8IaypO4w50ZPB1pTFvp9aQcPx+QDybgiPEijQ+/oOJW9FimNfcRx?=
 =?us-ascii?Q?699y7F4y9Mp3kSXu0oWWP2XZ2cYKLOPD5J5+2jEH/rJt7cruSUEPZRe+Y3Zw?=
 =?us-ascii?Q?EMN2HeWuu+jkDcSAeDKjcM3yJcZS7zaMadBpTfdTfP0TQza0lu8+EJOt2iGa?=
 =?us-ascii?Q?/9W2bEEU0IC4ZtLpJE6ulcTtjCNwcaY7nmui4HppYYjF8wlk9MumUfK6Dufu?=
 =?us-ascii?Q?GhMYeZfpn4ehXuEolb9U5e//WZWH+Is3b+gdowTMLatKdoCxrnEy8iuzdi5h?=
 =?us-ascii?Q?dtivW9t+7FohO1OmLXnlTQ/xgIvx0S5XQPDJbyN1+lFdKOslI8Q1t37CTM/x?=
 =?us-ascii?Q?dvEsHLJi1ejDI6xV3kJNUzcQbkd9AiDXF86XyP00SdFJ7Z43Pim1auofxT57?=
 =?us-ascii?Q?RfFkiQGuub20pWpiY/QIdCDlPidfCzdVdAyXiMBZRpykO57ILn4gClKDf6hZ?=
 =?us-ascii?Q?eetkbEWyeM9YlDf5FzlvORSBXWUTI7MNzbTmeeC839/qpapHPxi5aGrS3UC7?=
 =?us-ascii?Q?6KQb0OBK5j2Dcnov+WLsh360mq2NoIKACyIYdj2itZ7VZkK31Mqdo+/PLj76?=
 =?us-ascii?Q?daXxEYN3x8VTLw5EG5JawCl49H4AQ4xMttSTv1qSvd6hyZ2FtqeX/FAVbenj?=
 =?us-ascii?Q?HkO9k8C2Ci9pqxt15I1CM+Vx+Os9SytTx7WZLoVkxeGGf0ponHXB6TeNGPdr?=
 =?us-ascii?Q?iAYw/yY6+XyAX1TNi2ci0JUUgvcc8iQRzyigLUrSCZ/eNDtDQRSPXR+2aQag?=
 =?us-ascii?Q?jYtu/vl4rZ6s1Oi2h/oth6IL4SatdESrP773Jaa5YKrpJiK/rrHD7aUzqZfX?=
 =?us-ascii?Q?r5pnc0Pzs0qqDHBdzZGXX3LtTmpTW3fB/ofoARmsbs1E716y19feaF/+4q+U?=
 =?us-ascii?Q?2I+Rd4UNw4OUTgoJ2xA2pp22PViI4FsyWEozMq8MROKHDu5UO0v0i5HSTXVA?=
 =?us-ascii?Q?F0UmoFfimoqTOvE3Uf9OUuAohdFaAWEfe78vFKNo0uPs4HKiIgSozKCPGjfP?=
 =?us-ascii?Q?ScHgKHBrNVjBS5s09tg+TpdfVePItgZrOwfF3xLPOzCVZDY8uJYcTlVXupYE?=
 =?us-ascii?Q?+XHSEymkr0cP8gOeR8ilq61mZCloc0/fcPx7A66jS7BRXwsO1j6YDl59Tu3h?=
 =?us-ascii?Q?aj1D3w50L6H37xPJ+Sz1/sFajyWed+eM9Trb9Gdb2VXM0lc44TdOFZq52WNG?=
 =?us-ascii?Q?YwB8Fb7L1aaD2fmy6pBpHeYu/xhFJYBtTVV2qW/1JQo9EjDedPu7QStq7pgE?=
 =?us-ascii?Q?FG35qSQ//f83n0XGFB3fz/8elh9Vb3DcOlcbzLZWAihowKvCWqVPrQcQr23P?=
 =?us-ascii?Q?nVzZjucJGAJsEs+iLV1S1fYmHs/8f1fIm8STpGr7qXaejlYwKhYMXvvD375D?=
 =?us-ascii?Q?gvW+vNTdRu19d31VWjfJ76W11hpW++ycxVu7thZWcXQnUKdrdigCzPDVTym2?=
 =?us-ascii?Q?pf8t0L4SM53mKXGjbXfA3HkbzwmZLcsV852fspCwU6dcyymL+fMsgR3F+s3L?=
 =?us-ascii?Q?EQspWqD96zFN1dY1fWis53LXR51wdzMXNGgXa4C8DXuoW9gAsFbI16CmUj4q?=
 =?us-ascii?Q?hHAOaQ9s2GS22YpnmJPf77DAJh8rmD4HEwctu0qU?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?us-ascii?Q?Zj5rWlbu1aqbtWKGjsHe6fKYulLRwQl0GoTu+muZD/NzppIxTCuK9eI8VJgc?=
 =?us-ascii?Q?iOPBZgbkD+2/HlV2u9CYfwN/k/fnyihReQXDah/u+Zeh+fFAY/xmA/dK+DYf?=
 =?us-ascii?Q?hb7PwG4Xid6sNSNqs5g1NaMCG53Lca501WchkWCuS3XQwONB0M1lGnoxvr8i?=
 =?us-ascii?Q?YqvHPwfEGK8q9cJktgovSkJ3L26O5Z9XtlAKzeF7/xW3bsoK5ZJPuYOugSt4?=
 =?us-ascii?Q?CxdN9YxYMlKsjvgHjMzGG8UawYV5D5a+TT3O26O7bGvUOwYKhaUYa4IMs/bn?=
 =?us-ascii?Q?VL+zRM5/LMjcgvE/mQlcnfrFIkoZnckbpKzBZ2bg1CmiKg6QkhDg9u1nXT0u?=
 =?us-ascii?Q?mTGYMMiw84a5z2ziaLBejfMCem7FNpy4iKxTYen1ZtNMzUizxKl1UxxxjMoq?=
 =?us-ascii?Q?ELIeLK3bAv1shxxfsMF/uEskQ9/lYHeIAoSHZQknsy87lfEOPdOSejlR/Kwe?=
 =?us-ascii?Q?kaEpCVss72X2e7Bk28ONe3X6YYMFLvlYBc369eMum1T6pgqwgKTxFab6gH+T?=
 =?us-ascii?Q?PGf+rDuVr8coc2yq26nV5haVxn/1vAyKdlUhh1249rDAvcXvyGLxCRMSPt2F?=
 =?us-ascii?Q?nqz4J8lRpSnozooZgbttUVYnDJbUsdyhlq5tHEdPkiVkdAe072078NXobZgl?=
 =?us-ascii?Q?uSKFtmp4sOWAdIVNIsphFebO8ZGhITeycyvgJif1YIMnTGg08o+eWi+wO+e0?=
 =?us-ascii?Q?dHgKjbIUipd/74osUsfoses0W8z6zsa012kVDDTLvalkZoagFXEohWT8Cumo?=
 =?us-ascii?Q?9nr5aEuMRsf87CWN968fM1dqPOyx3PPQTZtaroUGMXAM8AiHd9vVs16RcVyq?=
 =?us-ascii?Q?py0W8M4zauXfxLC4vqwfzlseuocIvqAW+urUOugp+uRLV4Na+i3OdsuMmtQY?=
 =?us-ascii?Q?JgmPcfwiMPv5A/9Elk6EdFXwyj3E3RuDZuyBhsbxoUVzcaWfG7C0Gtinptm3?=
 =?us-ascii?Q?VyNedQqnZAbSIIXPy1FID2sKD+jxsNvTymiOI+E2aqujOOcVZdaekVn+NNcQ?=
 =?us-ascii?Q?uWci?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 7e753198-9f20-488d-4dcd-08dbc0fa28dd
X-MS-Exchange-CrossTenant-AuthSource: SN6PR10MB3022.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Sep 2023 14:41:26.5218
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: xr6i7pRQxbzHC+TnBRvaDP9siKsI8pY3bx1k+THOmatHtsbclies3sKQ3XUv1001VD1PKG+J7BAepBT3KDLyug==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR10MB7766
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.267,Aquarius:18.0.980,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2023-09-29_13,2023-09-28_03,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 bulkscore=0 mlxscore=0
 mlxlogscore=655 suspectscore=0 phishscore=0 adultscore=0 malwarescore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2309180000
 definitions=main-2309290125
X-Proofpoint-ORIG-GUID: f149YFhLJwsQnj2b4_yYVSy7ADRrBIhD
X-Proofpoint-GUID: f149YFhLJwsQnj2b4_yYVSy7ADRrBIhD
X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,
	SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no
	version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on pete.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (pete.vger.email [0.0.0.0]); Fri, 29 Sep 2023 07:42:21 -0700 (PDT)

* Vlastimil Babka <vbabka@suse.cz> [230929 05:52]:
> On 9/27/23 18:07, Liam R. Howlett wrote:
> > When merging of the previous VMA fails after the vma iterator has been
> > moved to the previous entry, the vma iterator must be advanced to ensure
> > the caller takes the correct action on the next vma iterator event.  Fix
> > this by adding a vma_next() call to the error path.
> > 
> > Users may experience higher CPU usage, most likely in very low memory
> > situations.
> 
> Maybe we could say explicitly that before this fix, vma_merge will be called
> twice on the same vma, which to the best of our knowledge does not cause
> anything worse than some wasted cycles because vma == prev, but it's fragile?

I will modify this statement again in v3.

> 
> > Link: https://urldefense.com/v3/__https://lore.kernel.org/linux-mm/CAG48ez12VN1JAOtTNMY*Y2YnsU45yL5giS-Qn=ejtiHpgJAbdQ@mail.gmail.com/__;Kw!!ACWV5N9M2RV99hQ!LhxAWtA9bZgQkMs8Egf7OLmMSj69FWYmfgxD-UoydFparflJmeHvdvKoQChX_kelOhqCP_SSnB1juSOrAg$ 
> > Closes: https://urldefense.com/v3/__https://lore.kernel.org/linux-mm/CAG48ez12VN1JAOtTNMY*Y2YnsU45yL5giS-Qn=ejtiHpgJAbdQ@mail.gmail.com/__;Kw!!ACWV5N9M2RV99hQ!LhxAWtA9bZgQkMs8Egf7OLmMSj69FWYmfgxD-UoydFparflJmeHvdvKoQChX_kelOhqCP_SSnB1juSOrAg$ 
> > Fixes: 18b098af2890 ("vma_merge: set vma iterator to correct position.")
> > Cc: stable@vger.kernel.org
> > Cc: Jann Horn <jannh@google.com>
> > Signed-off-by: Liam R. Howlett <Liam.Howlett@oracle.com>
> > ---
> >  mm/mmap.c | 12 +++++++++---
> >  1 file changed, 9 insertions(+), 3 deletions(-)
> > 
> > diff --git a/mm/mmap.c b/mm/mmap.c
> > index b56a7f0c9f85..b5bc4ca9bdc4 100644
> > --- a/mm/mmap.c
> > +++ b/mm/mmap.c
> > @@ -968,14 +968,14 @@ struct vm_area_struct *vma_merge(struct vma_iterator *vmi, struct mm_struct *mm,
> >  				vma_pgoff = curr->vm_pgoff;
> >  				vma_start_write(curr);
> >  				remove = curr;
> > -				err = dup_anon_vma(next, curr);
> > +				err = dup_anon_vma(next, curr, &anon_dup);
> >  			}
> >  		}
> >  	}
> >  
> >  	/* Error in anon_vma clone. */
> >  	if (err)
> > -		return NULL;
> > +		goto anon_vma_fail;
> >  
> >  	if (vma_start < vma->vm_start || vma_end > vma->vm_end)
> >  		vma_expanded = true;
> 
> The vma_iter_config() actions done in this part are something we don't need
> to undo?

Oh, right.  Thanks.

This made me realise that my prealloc_fail path assumes there is a
'curr' vma that will cause the vma_next() to set the correct range. We
actually may be 1 or 4, which means we are looking to add a VMA to the
gap; in this case, vma_next() would go beyond where it was at the start
of the function, and may cause issue since we do not return an error.

So the current patch fixes the problem Jann discovered (and with any
iterators), but the issue may exist in other error scenarios today or in
the future. There also may be an issue with next merging failing and
skipping a vma...

Looking through the code, there are functions that do not match the
entire vma iterator location due to trimming (mbind_range, mlock_fixup)
so using the start/end that was passed in may not accurately represent
the range passed in though the vma iterator.  Although, those ranges do
point to the correct location in the tree - they just may be smaller.

All the callers have `addr` within the range of the vma iterator, so it
would be safe to do vma_iter_set(vmi, addr); and vma_iter_load(vmi) to
restore the location and range.  Safest would be to save the vma
iterator start and end location and restore those after a re-walk, but
this seems unnecessary and would complicate backporting.

> 
> > @@ -988,7 +988,7 @@ struct vm_area_struct *vma_merge(struct vma_iterator *vmi, struct mm_struct *mm,
> >  	}
> >  
> >  	if (vma_iter_prealloc(vmi, vma))
> > -		return NULL;
> > +		goto prealloc_fail;
> 
> 
> 
> >  	init_multi_vma_prep(&vp, vma, adjust, remove, remove2);
> >  	VM_WARN_ON(vp.anon_vma && adjust && adjust->anon_vma &&
> > @@ -1016,6 +1016,12 @@ struct vm_area_struct *vma_merge(struct vma_iterator *vmi, struct mm_struct *mm,
> >  	vma_complete(&vp, vmi, mm);
> >  	khugepaged_enter_vma(res, vm_flags);
> >  	return res;
> > +
> > +prealloc_fail:
> > +anon_vma_fail:
> > +	if (merge_prev)
> > +		vma_next(vmi);
> > +	return NULL;
> >  }
> >  
> >  /*
>