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 2D538C021AD for ; Tue, 18 Feb 2025 17:14:13 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id B9FFF28015F; Tue, 18 Feb 2025 12:14:12 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id B4F7328015D; Tue, 18 Feb 2025 12:14:12 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 9CACC28015F; Tue, 18 Feb 2025 12:14:12 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0010.hostedemail.com [216.40.44.10]) by kanga.kvack.org (Postfix) with ESMTP id 7EF5528015D for ; Tue, 18 Feb 2025 12:14:12 -0500 (EST) Received: from smtpin23.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay02.hostedemail.com (Postfix) with ESMTP id F41C9120315 for ; Tue, 18 Feb 2025 17:14:11 +0000 (UTC) X-FDA: 83133713544.23.92A58D6 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by imf10.hostedemail.com (Postfix) with ESMTP id 901F9C0006 for ; Tue, 18 Feb 2025 17:14:09 +0000 (UTC) Authentication-Results: imf10.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=YU6ms3SM; spf=pass (imf10.hostedemail.com: domain of david@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=none) header.from=redhat.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1739898849; 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=L3NuFt+4Dnd+neKbQ+jbC6ujGzOMAwlD8ogbRoP62Oo=; b=oCvjjbssHjZrS1pIg+Tm86TRiqFbXJFfbe9pqnvGYq8+4Ga6GDQCHrlkXrkaz1k5UbhtXD 09qnNKtOiemyMJvMzyBnlUL0mh+vK1BpA0c0LR7hjaMh7GbFL6aqDmpLzt5InqgTsRgD37 8O6khFZrlwo2jxQx9xmAp2kGuZW/A5c= ARC-Authentication-Results: i=1; imf10.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=YU6ms3SM; spf=pass (imf10.hostedemail.com: domain of david@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=none) header.from=redhat.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1739898849; a=rsa-sha256; cv=none; b=IG2WAeNR7clkF7CmFH54Q4T16ups4e9oCGzdD1VwHLSU8mw1FMkTs8cBBYfUUT6cs4EOuA OHhqB6T6A4BZ4Q+d7KVtDmNWNCjVkHJzXCxET+vTSzJUZMRYT2M29HYWZGfJKaazW6YJ2b a/+DHdAz4em8xFTmGF51G9GWusrgQBc= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1739898848; h=from:from: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:autocrypt:autocrypt; bh=L3NuFt+4Dnd+neKbQ+jbC6ujGzOMAwlD8ogbRoP62Oo=; b=YU6ms3SMlB87KBfVsFxsJ5DSA9LHAGzQoQxWdERESfLLjtjfs2W4bqtmzi6I09lmIPrOWo sRLTQXQt7eCqKIBWD4hqPllzo8XpECqwn6LpJV9hkHcZ6QrT0daiAUkf63NhW1lqFEkTNM hfILbtsGiGLUaN6wqW5LOcua4fMAtcY= Received: from mail-wr1-f72.google.com (mail-wr1-f72.google.com [209.85.221.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-629-8FHWkrmVOQ6PRev2uT98Kg-1; Tue, 18 Feb 2025 12:14:07 -0500 X-MC-Unique: 8FHWkrmVOQ6PRev2uT98Kg-1 X-Mimecast-MFC-AGG-ID: 8FHWkrmVOQ6PRev2uT98Kg_1739898846 Received: by mail-wr1-f72.google.com with SMTP id ffacd0b85a97d-38f28a4647eso3146476f8f.1 for ; Tue, 18 Feb 2025 09:14:07 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739898846; x=1740503646; h=content-transfer-encoding:in-reply-to:organization:autocrypt :content-language:from:references:cc:to:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=L3NuFt+4Dnd+neKbQ+jbC6ujGzOMAwlD8ogbRoP62Oo=; b=VePyNZ3b8kt386xck9PttuWqyuyDbU9cZ3jSSj6J+siZGA3W4A60LECeCXjRH4LhO1 TVMq5I/foaC2tFW5wGN0Vne9knzmdCVxqvnDrEJU3pIwRtqSE5hi5AuqKGz/vUyYcnZZ 7GcNh7uGl2C8i6yGiUTNUWc8aXFgQJAvX7/DFz9Ni3qqNbm1rAD3zjeLCiSUFBNDVbFo zLbopgd3NJH7LOryNjI0JNulCag7DYp94ifVdRjPq9lTOgrpKdgH3UUNh3rYSxr6hDnz ls3L1CMJdmR+eLagq1Pmdm+SK5ObFnNSYYpQPgSDO/8PMnTAUOV3V/+4khUioUqsIvhw 2BgA== X-Forwarded-Encrypted: i=1; AJvYcCVFd27rIQC1wpi+Wxa8RSZIZed/fSVX1XuAH6AL6pnY9Upoj6qGyjjeuBqgUUnwMXgyBrgl4xZKpQ==@kvack.org X-Gm-Message-State: AOJu0YxK4vzICMtPE+vzZprnaxH2stBs55JF+roMCt5KMj5jMxktMa7E wy/t4DmvbzZH6hLx1mgbEiTt/XWrR6j9VbXw5vRS8tqOEbcRZITuRqNiCNGz0rQ/4+MS3YNNDIy L/7vGVWcQxQOMgpfdrQsyTEzz4fGlWk9YfkUwYq/xLbvOBgET X-Gm-Gg: ASbGnct0r8kBNzEmk+1teN+9Wv6ABHKDb6BkNvam03qqlgB4vDga+m2aPL1ksEBD/Mm qu1MkOvLch4/jJZXhwhqfKToLu3mdzPv1GUdWOTqRPq7Kevj4Ca22EgCdmdSiw33HVZUp1/fWQp g/7O1LBLT5cE94maPGIM4Abp2d4kU+CbNXRBgwengSkcdiRhQ/kuaSEnRwm9GK4Nqm0Uqn8roS9 EXclNC2W00nB1My0+DdBW6McHfGPEWhiW0N55tGY1lM9uLwOl68LMCUXO0ejczbu0ZeKgXVelz+ TWUKeDq21BNbx1w3j/4pFPDU308ZDSPrx0jAP/z2NOYPYct9MDWqhPol9XeGODuvqVUcHoFRKKL 7V4RnRSbC//aRU5lZ3L45thczdLI8lTXU X-Received: by 2002:adf:fec1:0:b0:38f:2352:4314 with SMTP id ffacd0b85a97d-38f33f52ffemr13435399f8f.38.1739898845226; Tue, 18 Feb 2025 09:14:05 -0800 (PST) X-Google-Smtp-Source: AGHT+IFTSOAxcqXOCNJjH/JhnX+PVn0iy4O2Qkn73Uck2K2Adk4fk0DrrR0lhowJOKrHxnoP5yBnqQ== X-Received: by 2002:adf:fec1:0:b0:38f:2352:4314 with SMTP id ffacd0b85a97d-38f33f52ffemr13435285f8f.38.1739898843296; Tue, 18 Feb 2025 09:14:03 -0800 (PST) Received: from ?IPV6:2003:cb:c70d:fb00:d3ed:5f44:1b2d:12af? (p200300cbc70dfb00d3ed5f441b2d12af.dip0.t-ipconnect.de. [2003:cb:c70d:fb00:d3ed:5f44:1b2d:12af]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-38f259d5923sm15666137f8f.74.2025.02.18.09.14.01 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 18 Feb 2025 09:14:02 -0800 (PST) Message-ID: Date: Tue, 18 Feb 2025 18:14:00 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH 0/4] mm: permit guard regions for file-backed/shmem mappings To: Lorenzo Stoakes Cc: Vlastimil Babka , Andrew Morton , Suren Baghdasaryan , "Liam R . Howlett" , Matthew Wilcox , "Paul E . McKenney" , Jann Horn , linux-mm@kvack.org, linux-kernel@vger.kernel.org, Shuah Khan , linux-kselftest@vger.kernel.org, linux-api@vger.kernel.org, John Hubbard , Juan Yescas , Kalesh Singh References: <8d643393-ddc0-490d-8fad-ad0b2720afb1@lucifer.local> <37b606be-f1ef-4abf-83ff-c1f34567568e@redhat.com> <0db666da-10d3-4b2c-9b33-781fb265343f@redhat.com> <62c0ba1c-7724-4033-b1de-d62a59751ca5@lucifer.local> From: David Hildenbrand Autocrypt: addr=david@redhat.com; keydata= xsFNBFXLn5EBEAC+zYvAFJxCBY9Tr1xZgcESmxVNI/0ffzE/ZQOiHJl6mGkmA1R7/uUpiCjJ dBrn+lhhOYjjNefFQou6478faXE6o2AhmebqT4KiQoUQFV4R7y1KMEKoSyy8hQaK1umALTdL QZLQMzNE74ap+GDK0wnacPQFpcG1AE9RMq3aeErY5tujekBS32jfC/7AnH7I0v1v1TbbK3Gp XNeiN4QroO+5qaSr0ID2sz5jtBLRb15RMre27E1ImpaIv2Jw8NJgW0k/D1RyKCwaTsgRdwuK Kx/Y91XuSBdz0uOyU/S8kM1+ag0wvsGlpBVxRR/xw/E8M7TEwuCZQArqqTCmkG6HGcXFT0V9 PXFNNgV5jXMQRwU0O/ztJIQqsE5LsUomE//bLwzj9IVsaQpKDqW6TAPjcdBDPLHvriq7kGjt WhVhdl0qEYB8lkBEU7V2Yb+SYhmhpDrti9Fq1EsmhiHSkxJcGREoMK/63r9WLZYI3+4W2rAc UucZa4OT27U5ZISjNg3Ev0rxU5UH2/pT4wJCfxwocmqaRr6UYmrtZmND89X0KigoFD/XSeVv jwBRNjPAubK9/k5NoRrYqztM9W6sJqrH8+UWZ1Idd/DdmogJh0gNC0+N42Za9yBRURfIdKSb B3JfpUqcWwE7vUaYrHG1nw54pLUoPG6sAA7Mehl3nd4pZUALHwARAQABzSREYXZpZCBIaWxk ZW5icmFuZCA8ZGF2aWRAcmVkaGF0LmNvbT7CwZgEEwEIAEICGwMGCwkIBwMCBhUIAgkKCwQW AgMBAh4BAheAAhkBFiEEG9nKrXNcTDpGDfzKTd4Q9wD/g1oFAl8Ox4kFCRKpKXgACgkQTd4Q 9wD/g1oHcA//a6Tj7SBNjFNM1iNhWUo1lxAja0lpSodSnB2g4FCZ4R61SBR4l/psBL73xktp rDHrx4aSpwkRP6Epu6mLvhlfjmkRG4OynJ5HG1gfv7RJJfnUdUM1z5kdS8JBrOhMJS2c/gPf wv1TGRq2XdMPnfY2o0CxRqpcLkx4vBODvJGl2mQyJF/gPepdDfcT8/PY9BJ7FL6Hrq1gnAo4 3Iv9qV0JiT2wmZciNyYQhmA1V6dyTRiQ4YAc31zOo2IM+xisPzeSHgw3ONY/XhYvfZ9r7W1l pNQdc2G+o4Di9NPFHQQhDw3YTRR1opJaTlRDzxYxzU6ZnUUBghxt9cwUWTpfCktkMZiPSDGd KgQBjnweV2jw9UOTxjb4LXqDjmSNkjDdQUOU69jGMUXgihvo4zhYcMX8F5gWdRtMR7DzW/YE BgVcyxNkMIXoY1aYj6npHYiNQesQlqjU6azjbH70/SXKM5tNRplgW8TNprMDuntdvV9wNkFs 9TyM02V5aWxFfI42+aivc4KEw69SE9KXwC7FSf5wXzuTot97N9Phj/Z3+jx443jo2NR34XgF 89cct7wJMjOF7bBefo0fPPZQuIma0Zym71cP61OP/i11ahNye6HGKfxGCOcs5wW9kRQEk8P9 M/k2wt3mt/fCQnuP/mWutNPt95w9wSsUyATLmtNrwccz63XOwU0EVcufkQEQAOfX3n0g0fZz Bgm/S2zF/kxQKCEKP8ID+Vz8sy2GpDvveBq4H2Y34XWsT1zLJdvqPI4af4ZSMxuerWjXbVWb T6d4odQIG0fKx4F8NccDqbgHeZRNajXeeJ3R7gAzvWvQNLz4piHrO/B4tf8svmRBL0ZB5P5A 2uhdwLU3NZuK22zpNn4is87BPWF8HhY0L5fafgDMOqnf4guJVJPYNPhUFzXUbPqOKOkL8ojk CXxkOFHAbjstSK5Ca3fKquY3rdX3DNo+EL7FvAiw1mUtS+5GeYE+RMnDCsVFm/C7kY8c2d0G NWkB9pJM5+mnIoFNxy7YBcldYATVeOHoY4LyaUWNnAvFYWp08dHWfZo9WCiJMuTfgtH9tc75 7QanMVdPt6fDK8UUXIBLQ2TWr/sQKE9xtFuEmoQGlE1l6bGaDnnMLcYu+Asp3kDT0w4zYGsx 5r6XQVRH4+5N6eHZiaeYtFOujp5n+pjBaQK7wUUjDilPQ5QMzIuCL4YjVoylWiBNknvQWBXS lQCWmavOT9sttGQXdPCC5ynI+1ymZC1ORZKANLnRAb0NH/UCzcsstw2TAkFnMEbo9Zu9w7Kv AxBQXWeXhJI9XQssfrf4Gusdqx8nPEpfOqCtbbwJMATbHyqLt7/oz/5deGuwxgb65pWIzufa N7eop7uh+6bezi+rugUI+w6DABEBAAHCwXwEGAEIACYCGwwWIQQb2cqtc1xMOkYN/MpN3hD3 AP+DWgUCXw7HsgUJEqkpoQAKCRBN3hD3AP+DWrrpD/4qS3dyVRxDcDHIlmguXjC1Q5tZTwNB boaBTPHSy/Nksu0eY7x6HfQJ3xajVH32Ms6t1trDQmPx2iP5+7iDsb7OKAb5eOS8h+BEBDeq 3ecsQDv0fFJOA9ag5O3LLNk+3x3q7e0uo06XMaY7UHS341ozXUUI7wC7iKfoUTv03iO9El5f XpNMx/YrIMduZ2+nd9Di7o5+KIwlb2mAB9sTNHdMrXesX8eBL6T9b+MZJk+mZuPxKNVfEQMQ a5SxUEADIPQTPNvBewdeI80yeOCrN+Zzwy/Mrx9EPeu59Y5vSJOx/z6OUImD/GhX7Xvkt3kq Er5KTrJz3++B6SH9pum9PuoE/k+nntJkNMmQpR4MCBaV/J9gIOPGodDKnjdng+mXliF3Ptu6 3oxc2RCyGzTlxyMwuc2U5Q7KtUNTdDe8T0uE+9b8BLMVQDDfJjqY0VVqSUwImzTDLX9S4g/8 kC4HRcclk8hpyhY2jKGluZO0awwTIMgVEzmTyBphDg/Gx7dZU1Xf8HFuE+UZ5UDHDTnwgv7E th6RC9+WrhDNspZ9fJjKWRbveQgUFCpe1sa77LAw+XFrKmBHXp9ZVIe90RMe2tRL06BGiRZr jPrnvUsUUsjRoRNJjKKA/REq+sAnhkNPPZ/NNMjaZ5b8Tovi8C0tmxiCHaQYqj7G2rgnT0kt WNyWQQ== Organization: Red Hat In-Reply-To: <62c0ba1c-7724-4033-b1de-d62a59751ca5@lucifer.local> X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: dOFAAlPsZZuFL9rkZrhO0WoXBhft2Pp4JhT7RcR2Dts_1739898846 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Rspam-User: X-Rspamd-Server: rspam09 X-Rspamd-Queue-Id: 901F9C0006 X-Stat-Signature: a1jpc96sp3zb83qip1ggu8tk5xyg1fc5 X-HE-Tag: 1739898849-892972 X-HE-Meta: U2FsdGVkX18f5AOTq/G+CHf7kwXF32IQjBSSzPbwqbquqRpxMVyNlt+363yBS7iaW0tsOoUIRXYzZmcGHzTfvXOU31TIew4OdaA9WGYNs3SSdNzWuuzCoIQsoOHHzlFCOtA+vxVHGcJ1HbVCbAVLvXG80q8i/dYGLwJI32XtW7Rq4t3MwZhfkVZaiuBzvTkVWhIJFOxh5BRXl9HDec6xJ/cJrxHLgD6tWjWvi9lv3DDTGTjE0CLjU9+54dtUQ5lF2vptuK9eAkSrP8RD71kVm8Qr24UvB7F1YKvtOMUQrGLP3BPGgGaCwC0yXKKOrV3gTrRcZMofYAAeEH2SvrKDnv8bEVGOKYSYX1WUL4xGDHTl5jX894bEE3Io3nBjig60TMSw/hA83VHywjexMn33Ab93+pRwnGa766yEzS8zI48MUcUPPk1BPUBsj0rkquWafSRPweYQDbxqZR8ADmwfQ3XFeSu4JIP/hI9tUMc2dwBgSCumrY0wRBMR5W3O/XNc4seZQQkUcWPmd7br3eetRAWJMV30wAhfleGMwgJbO5USr/FU/HzrQfd4fhr7vqfWdgtlqbxCLh+xE99pyeKSBaW9AWf7QpfnctRG+giFLFkAgnA7GekURtfbuzO5UpSFVJyk9nE7CEM08FjoYYjo63lFHpjkABw6rfsxPbfmQPXQhgbmzP2WTvcT5nJWZttDLiP7BlYbF0F3S5IBLTAdgDOsG1JwfOiN4J8aZqcYW5v8ct/zss6A3fjWXLvb4nSfhMXcF/erpUiuLSdmhFVem2itRTwGuOJfArvwCaNIUMLzchBt6SAd5wBFurBggZKBIl5HpSit3fCmXsFnQ3dUx8U9EPYWo8/t6gSLaeQ4FGgL4UPc/JrA8D4HukVLZ8+hzj0T7yiCPBrup5V+uBwhXLUggbC1ub7tMf+/llraU6+pfuXBAZDcmkiINYdJihjPeMrCO5hvMVQDxcKojtw IaTGYuwn ppivqhT5hEa6BuO9yLoKl+DDtJiD0C8Dwuv0dGQY4IGwMOPTOLWZelV4CNVEy52w9iJ9xZmYxCULrXQwDjPNf2fQO+eGQZj46gqoZLPmBz6xWR34x7kETjG14+a7QKH9U/lO2f4UVQF8SD4GrtLR6hThk8hWtQ2madGo3vhXyNpzdJJbI+TA4vUTPhBnAZaZB7pvZFXUtoEUrmXaWdEHU4MOXZKwgkxI+8aK/JTAwKZ5UgS2q3JSadG6D3+p35x8NhEZnzqhnBgmE639WwmpBg+y9K5mXow23zyisav52DHbjUrUbitiBek693zM+YL4ZOkFpmxE1YjssX/CFr8/iX2DVFqWM1iNhGcb3IzRFwkvXFZXh1+uuCJrL9hQFVqcXh+qMoADGsR4t4BoXT/yK6WdNzjR4NyDOGlGZJh2YtwRW6thhRasdOvElUwS6w/HYDd4irVZ7moBOJmc5ewzbTlno+o6LMwYOJSK2fa0AAi32qg4bu+Z2m6RicndEED9kQWwF5ocKP30a3EFL4Peg7glI68OX+8Xqv+X8 X-Bogosity: Ham, tests=bogofilter, spamicity=0.234701, 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 18.02.25 17:43, Lorenzo Stoakes wrote: > On Tue, Feb 18, 2025 at 04:20:18PM +0100, David Hildenbrand wrote: >>> Right yeah that'd be super weird. And I don't want to add that logic. >>> >>>> Also not sure what happens if one does an mlock()/mlockall() after >>>> already installing PTE markers. >>> >>> The existing logic already handles non-present cases by skipping them, in >>> mlock_pte_range(): >>> >>> for (pte = start_pte; addr != end; pte++, addr += PAGE_SIZE) { >>> ptent = ptep_get(pte); >>> if (!pte_present(ptent)) >>> continue; >>> >>> ... >>> } >> >> I *think* that code only updates already-mapped folios, to properly call >> mlock_folio()/munlock_folio(). > > Guard regions _are_ 'already mapped' :) so it leaves them in place. "mapped folios" -- there is no folio mapped. Yes, the VMA is in place. > > do_mlock() -> apply_vma_lock_flags() -> mlock_fixup() -> mlock_vma_pages_range() > implies this will be invoked. Yes, to process any already mapped folios, to then continue population later. > >> >> It is not the code that populates pages on mlock()/mlockall(). I think all >> that goes via mm_populate()/__mm_populate(), where "ordinary GUP" should >> apply. > > OK I want to correct what I said earlier. > > Installing a guard region then attempting mlock() will result in an error. The > populate will -EFAULT and stop at the guard region, which causes mlock() to > error out. Right, that's my expectation. > > This is a partial failure, so the VMA is split and has VM_LOCKED applied, but > the populate halts at the guard region. > > This is ok as per previous discussion on aggregate operation failure, there can > be no expectation of 'unwinding' of partially successful operations that form > part of a requested aggregate one. > > However, given there's stuff to clean up, and on error a user _may_ wish to then > remove guard regions and try again, I guess there's no harm in keeping the code > as it is where we allow MADV_GUARD_REMOVE even if VM_LOCKED is in place. Likely yes; it's all weird code. > >> >> See populate_vma_page_range(), especially also the VM_LOCKONFAULT handling. > > Yeah that code is horrible, you just reminded me of it... 'rightly or wrongly' > yeah wrongly, very wrongly... > >> >>> >>> Which covers off guard regions. Removing the guard regions after this will >>> leave you in a weird situation where these entries will be zapped... maybe >>> we need a patch to make MADV_GUARD_REMOVE check VM_LOCKED and in this case >>> also populate? >> >> Maybe? Or we say that it behaves like MADV_DONTNEED_LOCKED. > > See above, no we should not :P this is only good for cleanup after mlock() > failure, although no sane program should really be trying to do this, a sane > program would give up here (and it's a _programmatic error_ to try to mlock() a > range with guard regions). >>>> Somme apps use mlockall(), and it might be nice to just be able to use guard >> pages as if "Nothing happened". > > Sadly I think not given above :P QEMU, for example, will issue an mlockall(MCL_CURRENT | MCL_FUTURE); when requested to then exit(); if it fails. Assume glibc or any lib uses it, QEMU would have no real way of figuring that out or instructing offending libraries to disabled that, at least for now ... ... turning RT VMs less usable if any library uses guard regions. :( There is upcoming support for MCL_ONFAULT in QEMU [1] (see below). [1] https://lkml.kernel.org/r/20250212173823.214429-3-peterx@redhat.com > >> >> E.g., QEMU has the option to use mlockall(). >> >>> >>> Then again we're currently asymmetric as you can add them _before_ >>> mlock()'ing... >> >> Right. >> >> -- >> Cheers, >> >> David / dhildenb >> > > I think the _LOCKED idea is therefore kaput, because it just won't work > properly because populating guard regions fails. Right, I think basic VM_LOCKED is out of the picture. VM_LOCKONFAULT might be interesting, because we are skipping the population stage. > > It fails because it tries to 'touch' the memory, but 'touching' guard > region memory causes a segfault. This kind of breaks the idea of > mlock()'ing guard regions. > > I think adding workarounds to make this possible in any way is not really > worth it (and would probably be pretty gross). > > We already document that 'mlock()ing lightweight guard regions will fail' > as per man page so this is all in line with that. Right, and I claim that supporting VM_LOCKONFAULT might likely be as easy as allowing install/remove of guard regions when that flag is set. -- Cheers, David / dhildenb