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 A398EC77B7C for ; Wed, 24 May 2023 15:32:57 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id CA36F900005; Wed, 24 May 2023 11:32:56 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id C520F900002; Wed, 24 May 2023 11:32:56 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id B18E1900005; Wed, 24 May 2023 11:32:56 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0015.hostedemail.com [216.40.44.15]) by kanga.kvack.org (Postfix) with ESMTP id A37E3900002 for ; Wed, 24 May 2023 11:32:56 -0400 (EDT) Received: from smtpin25.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay01.hostedemail.com (Postfix) with ESMTP id 692F01C7739 for ; Wed, 24 May 2023 15:32:56 +0000 (UTC) X-FDA: 80825541552.25.E53BCD4 Received: from mail-qk1-f182.google.com (mail-qk1-f182.google.com [209.85.222.182]) by imf14.hostedemail.com (Postfix) with ESMTP id 8539F10001F for ; Wed, 24 May 2023 15:32:54 +0000 (UTC) Authentication-Results: imf14.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=wlQ8v0bs; spf=pass (imf14.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.222.182 as permitted sender) smtp.mailfrom=joel@joelfernandes.org; dmarc=none ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1684942374; a=rsa-sha256; cv=none; b=S5htdsRgd+Prh1spNoxVITCTDi6ltup4vBrdtzZtFtJgJT0nuKei/gBlQvJLyYjDodY3b0 YrZuRPIRVarupcu2CNMkc+rpdXA6GukO+b6dWcttJFBl6wQZaFV00r3NvNih9D5CGTevvm Q2I1tbI/NvFGoKYfFbzJV9yt5g+ZcoQ= ARC-Authentication-Results: i=1; imf14.hostedemail.com; dkim=pass header.d=joelfernandes.org header.s=google header.b=wlQ8v0bs; spf=pass (imf14.hostedemail.com: domain of joel@joelfernandes.org designates 209.85.222.182 as permitted sender) smtp.mailfrom=joel@joelfernandes.org; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1684942374; 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-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=KHeROvIq4CSC2FMFzmeiM0i6iG6dvZWzuyFWS5s0CDs=; b=OZ+1PMLNzT8iugK6BCCOZcildS6nN0ids7KcJco0hLhLzRvFZg4S5W2l5tXrgbo2aXkYBm iR7uTqhQcQm1usS3eaXIT+PPXHhyjx/USbwH46Wj7IO8O9ATdl2qmw230OIVNNiwKBVmnS md5Dgid4yqpl62ekXls9rEeMplLDhAM= Received: by mail-qk1-f182.google.com with SMTP id af79cd13be357-75b00e5f8e4so87981185a.0 for ; Wed, 24 May 2023 08:32:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=joelfernandes.org; s=google; t=1684942373; x=1687534373; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=KHeROvIq4CSC2FMFzmeiM0i6iG6dvZWzuyFWS5s0CDs=; b=wlQ8v0bsuOA9hOIgsHnV0xzgFyBlbO7E6j9Va6zOMO1Lq54V7yVfco94su2p9uA3zT GAryTJuE/eyHkMObMXy25pmdmQHP7wJqp+4j8yOi3nIDdmPVuWoRz9/X7tM7FdDjEOMh Zp+su0joqmuWavruN1PE8gqEZA6j486QyZYcg= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684942373; x=1687534373; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=KHeROvIq4CSC2FMFzmeiM0i6iG6dvZWzuyFWS5s0CDs=; b=C1y4ksgyvLOaaK4XIvU5dCrheRcXJftlSMZWJoVVXsqIyob5I1+SjFDlUuOeErNhg/ XZ8NrTgXDfhGyUIvZP6e0Srjt6FgjVk0zommlw8ywFnDchh3W56O5fi+5f5j7BCaUE4K VUuplg7QWBeTjx2OQqoLQsaug4pQVCzWnsIX4Lazf6BJOcfBwihVJNqcii4Nbu59IiLk 9e9CZLuhCAeFSC0AKNGYi3+hDzwg7/nq4MesqLSCvjvASp4wlTpH/6Um4X8YnXgGUHO2 goSpz7kogXSQ+fFGWPsCQ1KRgl6t7McCoAJZOHHXbKayyhWpk2LSDrWCOiqUKjLZln2k J2nw== X-Gm-Message-State: AC+VfDyUxsSETK3+SvdnaI326Wp4Fl5R70zs/dTn6lthLAJdpZra3A09 86eOhimD14QBe4TyG5oiMTZ9yA== X-Google-Smtp-Source: ACHHUZ6ycnNF8Yd16rVGJYGcJx7BXDIL8yb88KqwcCKd5ph6scnPX3adlemcGYKPU680bLYJm4BkEA== X-Received: by 2002:a37:856:0:b0:75b:23a0:d9d5 with SMTP id 83-20020a370856000000b0075b23a0d9d5mr7619005qki.43.1684942373514; Wed, 24 May 2023 08:32:53 -0700 (PDT) Received: from joelboxx.c.googlers.com.com (129.239.188.35.bc.googleusercontent.com. [35.188.239.129]) by smtp.gmail.com with ESMTPSA id v18-20020a05620a123200b007590aa4b115sm3296906qkj.87.2023.05.24.08.32.52 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 24 May 2023 08:32:52 -0700 (PDT) From: "Joel Fernandes (Google)" To: linux-kernel@vger.kernel.org Cc: "Joel Fernandes (Google)" , linux-kselftest@vger.kernel.org, linux-mm@kvack.org, Shuah Khan , Vlastimil Babka , Michal Hocko , Linus Torvalds , Lorenzo Stoakes , Kirill A Shutemov , "Liam R. Howlett" , "Paul E. McKenney" , Suren Baghdasaryan , Kalesh Singh , Lokesh Gidra Subject: [PATCH v3 2/6] mm/mremap: Allow moves within the same VMA Date: Wed, 24 May 2023 15:32:35 +0000 Message-ID: <20230524153239.3036507-3-joel@joelfernandes.org> X-Mailer: git-send-email 2.40.1.698.g37aff9b760-goog In-Reply-To: <20230524153239.3036507-1-joel@joelfernandes.org> References: <20230524153239.3036507-1-joel@joelfernandes.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Rspamd-Server: rspam08 X-Rspamd-Queue-Id: 8539F10001F X-Stat-Signature: f6bw9p3aade4s1moq8fezo1pmjrpew6d X-Rspam-User: X-HE-Tag: 1684942374-534548 X-HE-Meta: U2FsdGVkX1+X2T6l/skZ0g4kxQW5X3enVs8+ZELTme/x9kixQ3nHyIVrKemsaL2j1HJlS6MEaZgVBZiSfFpsYQodfd75VayoeNIX/la5j6RxeQp+xcWnhxYDCRGYyMl0g22stc3lwH1zwCEzSwAgOR7DW1m+5X+FIkXSya80vWvQfTNriGoLmrWEjnCxUBwp609MjeCzuu6wdriXyQiJoKr+ZgzzcvFO7bnNkXkhMDqo6QtK92BhMWD2yFdJFggl/mS8qQxoY6yNgTMz+uZh8ECFikfOTm/WgzqB2YERMFFamGolnSlkvMf+ZsjRGO43aYYpjQ8dr2u4QP6ZmIbM0xcm7XIidhKz/2BzV+wU5F+PQJInsOJYYJfjbSbwCNHboPjj08W0a1znzkGsH+T37GjZPYVl9yOYA6L7bMloRixG7E1yKmj/h1EyY9vq0sKzP7StPEksz98nQU6yg91L7wmpgPX30AsyB57ZAaAy9QcwgVEKa05IM+Nmvw1IXjr1o0x28RT4k6j30wO+6kJ4mUTF92ZmdMEwCNX6MeiBoHV6Cnj6I4sz/CkIbVmEG8rwjNbR+Ws96V1tv+axnd4iDtlyzvwFVVXYrzfwzIeFXgpPNsQf7QiezXBHrBGPDRy+xPzBv1BlkNsPEnD/olGhX4a8Xz1N5sJI/8pxLQgtpYrODWtkcsdST49LuXLBEZWHrn48CkImIKKnk/yoApvmZlThdc9zhaXhABD7BO5eK1RVunzYtz36QXzUCFYZdYOEM2JqAF4B9rmnANPDM+ybLTvaomEOrxYAr5jt1DTF8aGFCsThiySrzbM3MCEmoC4Ntf97QI37VYJMkGalfGcL4ApLCggibKiVeVeisRK58/GEAmr2MRT6XJAOTwixx+54I0VszPQeRHH4c2C2oHdz2ZDTDac9/+eKcAYSJ1VP+aC+aFRMR4e6nwp5vn3/FzlNpwMeTksFjpaIuN3a/ME xjC/JOkB rEmpETy1+YkppRyRQAzzPQSOcd/+jgBlupaQBnQFu52hVrnMnrJVDT67JHDfqIywWHJ2xUtR9vYoVuhp5AQ9p6enROtYBx2/36I8BwSDvj6EPoFoa9x5WjKqDEu9EYGRyFNnNn3c2NynGsbJG0dZ2w/+vI8IF9oOAGIqEiEEAConcrWIgHtsAVaY5i6g7OhCoKdElW/w9O5DJxikvWMN5nYht4jXhdTihLySfBfPwym80MbEeqenWBcLswE8xK5gjFoE6enoyNEuLlOG0zoyx+KCLqEeZJpWV1PnS7+qakabtr5wuL5B7LO3IqjzsGr+i8lLtFHqO+1XtwWc5Ed5pO1YUwPny4ndt0UwwOg+pq0bj90gTRIRVA82aDAuLAFNTVmot2zWzXMYnmoNkKOBgpXQ8nw== 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: For the stack move happening in shift_arg_pages(), the move is happening within the same VMA which spans the old and new ranges. In case the aligned address happens to fall within that VMA, allow such moves and don't abort the optimization. In the mremap case, we cannot allow any such moves as will end up destroying some part of the mapping (either the source of the move, or part of the existing mapping). So just avoid it for mremap. Signed-off-by: Joel Fernandes (Google) --- fs/exec.c | 2 +- include/linux/mm.h | 2 +- mm/mremap.c | 40 ++++++++++++++++++++-------------------- 3 files changed, 22 insertions(+), 22 deletions(-) diff --git a/fs/exec.c b/fs/exec.c index 7c44d0c65b1b..7a7217353115 100644 --- a/fs/exec.c +++ b/fs/exec.c @@ -707,7 +707,7 @@ static int shift_arg_pages(struct vm_area_struct *vma, unsigned long shift) * process cleanup to remove whatever mess we made. */ if (length != move_page_tables(vma, old_start, - vma, new_start, length, false)) + vma, new_start, length, false, true)) return -ENOMEM; lru_add_drain(); diff --git a/include/linux/mm.h b/include/linux/mm.h index 1f79667824eb..dd415cd2493d 100644 --- a/include/linux/mm.h +++ b/include/linux/mm.h @@ -2265,7 +2265,7 @@ int get_cmdline(struct task_struct *task, char *buffer, int buflen); extern unsigned long move_page_tables(struct vm_area_struct *vma, unsigned long old_addr, struct vm_area_struct *new_vma, unsigned long new_addr, unsigned long len, - bool need_rmap_locks); + bool need_rmap_locks, bool for_stack); /* * Flags used by change_protection(). For now we make it a bitmap so diff --git a/mm/mremap.c b/mm/mremap.c index 184d52f83b19..323c3b94216f 100644 --- a/mm/mremap.c +++ b/mm/mremap.c @@ -479,18 +479,23 @@ static bool move_pgt_entry(enum pgt_entry entry, struct vm_area_struct *vma, } /* - * A helper to check if a previous mapping exists. Required for - * move_page_tables() and realign_addr() to determine if a previous mapping - * exists before we can do realignment optimizations. + * A helper to check if aligning down is OK. The aligned address should fall + * on *no mapping*. For the stack moving down, that's a special move within + * the VMA that is created to span the source and destination of the move, + * so we make an exception for it. */ static bool can_align_down(struct vm_area_struct *vma, unsigned long addr_to_align, - unsigned long mask) + unsigned long mask, bool for_stack) { unsigned long addr_masked = addr_to_align & mask; struct vm_area_struct *prev = NULL, *cur = NULL; - /* If the masked address is within vma, we cannot align the address down. */ - if (vma->vm_start <= addr_masked) + /* + * Other than for stack moves, if the alignment causes the address to be within + * its own @vma, we can't align down or we will destroy the current mapping. + * In other words for non-stack moves, the masked addr has to fall on no mapping. + */ + if (!for_stack && vma->vm_start <= addr_masked) return false; /* @@ -513,13 +518,13 @@ static bool can_align_down(struct vm_area_struct *vma, unsigned long addr_to_ali /* Opportunistically realign to specified boundary for faster copy. */ static void realign_addr(unsigned long *old_addr, struct vm_area_struct *old_vma, unsigned long *new_addr, struct vm_area_struct *new_vma, - unsigned long mask) + unsigned long mask, bool for_stack) { bool mutually_aligned = (*old_addr & ~mask) == (*new_addr & ~mask); if ((*old_addr & ~mask) && mutually_aligned - && can_align_down(old_vma, *old_addr, mask) - && can_align_down(new_vma, *new_addr, mask)) { + && can_align_down(old_vma, *old_addr, mask, for_stack) + && can_align_down(new_vma, *new_addr, mask, for_stack)) { *old_addr = *old_addr & mask; *new_addr = *new_addr & mask; } @@ -528,7 +533,7 @@ static void realign_addr(unsigned long *old_addr, struct vm_area_struct *old_vma unsigned long move_page_tables(struct vm_area_struct *vma, unsigned long old_addr, struct vm_area_struct *new_vma, unsigned long new_addr, unsigned long len, - bool need_rmap_locks) + bool need_rmap_locks, bool for_stack) { unsigned long extent, old_end; struct mmu_notifier_range range; @@ -540,14 +545,9 @@ unsigned long move_page_tables(struct vm_area_struct *vma, old_end = old_addr + len; - /* - * If possible, realign addresses to PMD boundary for faster copy. - * Don't align for intra-VMA moves as we may destroy existing mappings. - */ - if ((vma != new_vma) - && (len >= PMD_SIZE - (old_addr & ~PMD_MASK))) { - realign_addr(&old_addr, vma, &new_addr, new_vma, PMD_MASK); - } + /* If possible, realign addresses to PMD boundary for faster copy. */ + if (len >= PMD_SIZE - (old_addr & ~PMD_MASK)) + realign_addr(&old_addr, vma, &new_addr, new_vma, PMD_MASK, for_stack); if (is_vm_hugetlb_page(vma)) return move_hugetlb_page_tables(vma, new_vma, old_addr, @@ -696,7 +696,7 @@ static unsigned long move_vma(struct vm_area_struct *vma, } moved_len = move_page_tables(vma, old_addr, new_vma, new_addr, old_len, - need_rmap_locks); + need_rmap_locks, false); if (moved_len < old_len) { err = -ENOMEM; } else if (vma->vm_ops && vma->vm_ops->mremap) { @@ -710,7 +710,7 @@ static unsigned long move_vma(struct vm_area_struct *vma, * and then proceed to unmap new area instead of old. */ move_page_tables(new_vma, new_addr, vma, old_addr, moved_len, - true); + true, false); vma = new_vma; old_len = new_len; old_addr = new_addr; -- 2.40.1.698.g37aff9b760-goog