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 1D6C9C433FE for ; Mon, 7 Nov 2022 22:41:37 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 60EE26B0071; Mon, 7 Nov 2022 17:41:36 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 5BF016B0073; Mon, 7 Nov 2022 17:41:36 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 486496B0074; Mon, 7 Nov 2022 17:41:36 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) by kanga.kvack.org (Postfix) with ESMTP id 3606E6B0071 for ; Mon, 7 Nov 2022 17:41:36 -0500 (EST) Received: from smtpin01.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id E8472AB5B3 for ; Mon, 7 Nov 2022 22:41:35 +0000 (UTC) X-FDA: 80108119350.01.5B76584 Received: from mx0b-00082601.pphosted.com (mx0b-00082601.pphosted.com [67.231.153.30]) by imf30.hostedemail.com (Postfix) with ESMTP id 972A480004 for ; Mon, 7 Nov 2022 22:41:35 +0000 (UTC) Received: from pps.filterd (m0109332.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2A7LKml0022479 for ; Mon, 7 Nov 2022 14:41:34 -0800 Received: from mail.thefacebook.com ([163.114.132.120]) by mx0a-00082601.pphosted.com (PPS) with ESMTPS id 3kq6kk2rpy-2 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 07 Nov 2022 14:41:34 -0800 Received: from twshared21592.39.frc1.facebook.com (2620:10d:c085:208::11) by mail.thefacebook.com (2620:10d:c085:11d::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.31; Mon, 7 Nov 2022 14:41:32 -0800 Received: by devbig932.frc1.facebook.com (Postfix, from userid 4523) id 2D606F6B36C5; Mon, 7 Nov 2022 14:39:24 -0800 (PST) From: Song Liu To: , CC: , , , , , , , , Song Liu Subject: [PATCH bpf-next v2 0/5] execmem_alloc for BPF programs Date: Mon, 7 Nov 2022 14:39:16 -0800 Message-ID: <20221107223921.3451913-1-song@kernel.org> X-Mailer: git-send-email 2.30.2 X-FB-Internal: Safe Content-Type: text/plain X-Proofpoint-ORIG-GUID: n1MxwuIh7gY0Yg6Uvcvsn6qVyyUtUjK7 X-Proofpoint-GUID: n1MxwuIh7gY0Yg6Uvcvsn6qVyyUtUjK7 Content-Transfer-Encoding: quoted-printable X-Proofpoint-UnRewURL: 0 URL was un-rewritten MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-07_11,2022-11-07_02,2022-06-22_01 ARC-Authentication-Results: i=1; imf30.hostedemail.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=kernel.org (policy=none); spf=pass (imf30.hostedemail.com: domain of "prvs=2310266901=songliubraving@meta.com" designates 67.231.153.30 as permitted sender) smtp.mailfrom="prvs=2310266901=songliubraving@meta.com" ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1667860895; a=rsa-sha256; cv=none; b=kQbMDM0XKbdopTtKJ/5uXWTIYA50u8s4TIRgcWZZCrrnTvp9MvRDAnjOC2U/yA6y4qTjfn 4XcTd6tYdN76sYMfxihNEvAb/sprfuKGts0wj+xNf7IESwNg5gJBSTSi3hZsJBzQDHdGG5 Yc1CMXVYI6KZOLZNBhAPwM3tmSeiNn0= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1667860895; 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: references; bh=ezYpPaHFr68etI2zzCA7XtdGIoj66aAWYCAjK5iQw4U=; b=I92ka47QG2JHrce3PxQnI4yFMqTVDG9e5i0k+8vdo67C58WIXt8aUvt6dCaaqb++vqP6Nf AosWmz0Ut7VY9a1DF+/8N073imSwq8uPCmrn73P9cbnbXt4VkQx8qFi0EFDPsNPq5+Hhbw i4zj706eQafcmaxQx3uLH7k5X2Vs8YA= X-Stat-Signature: 3pf5rdyww8zpp356dj3g14darqkqt635 X-Rspamd-Queue-Id: 972A480004 Authentication-Results: imf30.hostedemail.com; dkim=none; dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=kernel.org (policy=none); spf=pass (imf30.hostedemail.com: domain of "prvs=2310266901=songliubraving@meta.com" designates 67.231.153.30 as permitted sender) smtp.mailfrom="prvs=2310266901=songliubraving@meta.com" X-Rspam-User: X-Rspamd-Server: rspam06 X-HE-Tag: 1667860895-405680 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: This patchset tries to address the following issues: 1. Direct map fragmentation On x86, STRICT_*_RWX requires the direct map of any RO+X memory to be also RO+X. These set_memory_* calls cause 1GB page table entries to be split into 2MB and 4kB ones. This fragmentation in direct map results in bigger and slower page table, and pressure for both instruction and data TLB. Our previous work in bpf_prog_pack tries to address this issue from BPF program side. Based on the experiments by Aaron Lu [4], bpf_prog_pack has greatly reduced direct map fragmentation from BPF programs. 2. iTLB pressure from BPF program Dynamic kernel text such as modules and BPF programs (even with current bpf_prog_pack) use 4kB pages on x86, when the total size of modules and BPF program is big, we can see visible performance drop caused by high iTLB miss rate. 3. TLB shootdown for short-living BPF programs Before bpf_prog_pack loading and unloading BPF programs requires global TLB shootdown. This patchset (and bpf_prog_pack) replaces it with a local TLB flush. 4. Reduce memory usage by BPF programs (in some cases) Most BPF programs and various trampolines are small, and they often occupies a whole page. From a random server in our fleet, 50% of the loaded BPF programs are less than 500 byte in size, and 75% of them are less than 2kB in size. Allowing these BPF programs to share 2MB pages would yield some memory saving for systems with many BPF programs. For systems with only small number of BPF programs, this patch may waste a little memory by allocating one 2MB page, but using only part of it. Based on our experiments [5], we measured 0.5% performance improvement from bpf_prog_pack. This patchset further boosts the improvement to 0.7%. The difference is because bpf_prog_pack uses 512x 4kB pages instead of 1x 2MB page, bpf_prog_pack as-is doesn't resolve #2 above. This patchset replaces bpf_prog_pack with a better API and makes it available for other dynamic kernel text, such as modules, ftrace, kprobe. This set enables bpf programs and bpf dispatchers to share huge pages with new API: execmem_alloc() execmem_alloc() execmem_fill() The idea is similar to Peter's suggestion in [1]. execmem_alloc() manages a set of PMD_SIZE RO+X memory, and allocates these memory to its users. execmem_alloc() is used to free memory allocated by execmem_alloc(). execmem_fill() is used to update memory allocated by execmem_alloc(). Memory allocated by execmem_alloc() is RO+X, so this doesnot violate W^X. The caller has to update the content with text_poke like mechanism. Specifically, execmem_fill() is provided to update memory allocated by execmem_alloc(). execmem_fill() also makes sure the update stays in the boundary of one chunk allocated by execmem_alloc(). Please refer to patch 1/5 for more details of Patch 3/5 uses these new APIs in bpf program and bpf dispatcher. Patch 4/5 and 5/5 allows static kernel text (_stext to _etext) to share PMD_SIZE pages with dynamic kernel text on x86_64. This is achieved by allocating PMD_SIZE pages to roundup(_etext, PMD_SIZE), and then use _etext to roundup(_etext, PMD_SIZE) for dynamic kernel text. [1] https://lore.kernel.org/bpf/Ys6cWUMHO8XwyYgr@hirez.programming.kicks-as= s.net/ [2] RFC v1: https://lore.kernel.org/linux-mm/20220818224218.2399791-3-song@= kernel.org/T/ [3] v1: https://lore.kernel.org/bpf/20221031222541.1773452-1-song@kernel.or= g/ [4] https://lore.kernel.org/bpf/Y2ioTodn+mBXdIqp@ziqianlu-desk2/ [5] https://lore.kernel.org/bpf/20220707223546.4124919-1-song@kernel.org/ Changes PATCH v1 =3D> v2: 1. Rename the APIs as execmem_* (Christoph Hellwig) 2. Add more information about the motivation of this work (and follow up works in for kernel modules, various trampolines, etc). (Luis Chamberlain, Rick Edgecombe, Mike Rapoport, Aaron Lu) 3. Include expermential results from previous bpf_prog_pack and the community. (Aaron Lu, Luis Chamberlain, Rick Edgecombe) Changes RFC v2 =3D> PATCH v1: 1. Add vcopy_exec(), which updates memory allocated by vmalloc_exec(). It also ensures vcopy_exec() is only used to update memory from one single vmalloc_exec() call. (Christoph Hellwig) 2. Add arch_vcopy_exec() and arch_invalidate_exec() as wrapper for the text_poke() like logic. 3. Drop changes for kernel modules and focus on BPF side changes. Changes RFC v1 =3D> RFC v2: 1. Major rewrite of the logic of vmalloc_exec and vfree_exec. They now work fine with BPF programs (patch 1, 2, 4). But module side (patch 3) still need some work. Song Liu (5): vmalloc: introduce execmem_alloc, execmem_free, and execmem_fill x86/alternative: support execmem_alloc() and execmem_free() bpf: use execmem_alloc for bpf program and bpf dispatcher vmalloc: introduce register_text_tail_vm() x86: use register_text_tail_vm arch/x86/include/asm/pgtable_64_types.h | 1 + arch/x86/kernel/alternative.c | 12 + arch/x86/mm/init_64.c | 4 +- arch/x86/net/bpf_jit_comp.c | 23 +- include/linux/bpf.h | 3 - include/linux/filter.h | 5 - include/linux/vmalloc.h | 9 + kernel/bpf/core.c | 180 +----------- kernel/bpf/dispatcher.c | 11 +- mm/nommu.c | 12 + mm/vmalloc.c | 354 ++++++++++++++++++++++++ 11 files changed, 412 insertions(+), 202 deletions(-) -- 2.30.2