From patchwork Thu Jun 30 01:47:15 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Feng Tang X-Patchwork-Id: 12900965 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 2FBC4C433EF for ; Thu, 30 Jun 2022 01:47:23 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 70A426B0072; Wed, 29 Jun 2022 21:47:22 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 6BAA28E0002; Wed, 29 Jun 2022 21:47:22 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 581DC8E0001; Wed, 29 Jun 2022 21:47:22 -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 48B836B0072 for ; Wed, 29 Jun 2022 21:47:22 -0400 (EDT) Received: from smtpin25.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay10.hostedemail.com (Postfix) with ESMTP id 16B547AF for ; Thu, 30 Jun 2022 01:47:22 +0000 (UTC) X-FDA: 79633214724.25.01697CA Received: from mga14.intel.com (mga14.intel.com [192.55.52.115]) by imf16.hostedemail.com (Postfix) with ESMTP id 97042180031 for ; Thu, 30 Jun 2022 01:47:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1656553640; x=1688089640; h=from:to:cc:subject:date:message-id:mime-version: content-transfer-encoding; bh=ktEzYM7gOXEphMeF6ne4J0tXKAEQus31E5ByUxO6DNg=; b=jYL5XZtdWpJnDhaoCKa1847Tr6n9weA0truqVk2YQaovpHL9etm0g414 2U17WFGqG3aPBV3nosw5w7cCK0Neu34Dt+wfNL60wyoGvRQlktUVLwi2M fBp7yfPOyqeCz2RwpZBZdmtImEjBNlm2Bn45f04Lwg0jsT8jdncF1cn67 xiPbSd7J8G4q1jhQ3RQ+WWNOylYwNK2M3JXs7l4soYE0QiNfbyj+jRD8y dgQI6qYT9nSoVfuZkzZR4Xj/l5JzLtgxt4CfKGU8x6p3CqzKQmqrGkefD w5bkM1p3P2RKL4IrB4XU4q6efR9b+fZ9UQZHfkLyIOpgRXk8oJcrCrzgx Q==; X-IronPort-AV: E=McAfee;i="6400,9594,10393"; a="282247420" X-IronPort-AV: E=Sophos;i="5.92,232,1650956400"; d="scan'208";a="282247420" Received: from fmsmga008.fm.intel.com ([10.253.24.58]) by fmsmga103.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Jun 2022 18:47:19 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.92,232,1650956400"; d="scan'208";a="647665789" Received: from shbuild999.sh.intel.com ([10.239.146.138]) by fmsmga008.fm.intel.com with ESMTP; 29 Jun 2022 18:47:16 -0700 From: Feng Tang To: Andrew Morton , Christoph Lameter , Pekka Enberg , David Rientjes , Joonsoo Kim , Vlastimil Babka , Roman Gushchin , Hyeonggon Yoo <42.hyeyoo@gmail.com>, linux-mm@kvack.org, linux-kernel@vger.kernel.org Cc: dave.hansen@intel.com, Feng Tang Subject: [RFC PATCH] mm/slub: enable debugging memory wasting of kmalloc Date: Thu, 30 Jun 2022 09:47:15 +0800 Message-Id: <20220630014715.73330-1-feng.tang@intel.com> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1656553641; a=rsa-sha256; cv=none; b=LeMhfc2EmSqriWYZVdhnAQOtvXIqtTMxP8iOrZr7OTIMzZ7nccIl4Rbefp6uu9nXOeGAFO 2UuucTQi9fzZakCIN+mK2H5WIPX7YDF+4XxyEhDL2v/AKCpOLxD071iW5vfxK6U9pskstg 11Cjh1moSuVM+moLfpq8IgnVsFBCSog= ARC-Authentication-Results: i=1; imf16.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=jYL5XZtd; dmarc=pass (policy=none) header.from=intel.com; spf=none (imf16.hostedemail.com: domain of feng.tang@intel.com has no SPF policy when checking 192.55.52.115) smtp.mailfrom=feng.tang@intel.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1656553641; 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:references:dkim-signature; bh=kIpF7SAX2bL2izpC7kbNRcPDQVns91m6PdFkQrokzXw=; b=doKbrt5gHfKFfHeqWFN9qrUkyorY4UZPcjl0lJtnF+LdrwuISvHX0qkxVtBg+2UDS8/Mrm ODNytlBz+auAHa/RBj7axwMitkYi9rh0WllNZNgiAzuaLIjJR477pusqK1F+ZLg49O2ZVq VlvjLsdS0z3cr2Nf3CzweizoeKMIMQs= X-Rspamd-Server: rspam07 X-Rspamd-Queue-Id: 97042180031 Authentication-Results: imf16.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=jYL5XZtd; dmarc=pass (policy=none) header.from=intel.com; spf=none (imf16.hostedemail.com: domain of feng.tang@intel.com has no SPF policy when checking 192.55.52.115) smtp.mailfrom=feng.tang@intel.com X-Rspam-User: X-Stat-Signature: fk7ikgcxe316sb35f97qz5rfaofr6akn X-HE-Tag: 1656553640-379584 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: kmalloc's API family is critical for mm, with one shortcoming that its object size is fixed to be power of 2. When user requests memory for '2^n + 1' bytes, actually 2^(n+1) bytes will be allocated, so in worst case, there is around 50% memory space waste. We've met a kernel boot OOM panic, and from the dumped slab info: [ 26.062145] kmalloc-2k 814056KB 814056KB From debug we found there are huge number of 'struct iova_magazine', whose size is 1032 bytes (1024 + 8), so each allocation will waste 1016 bytes. Though the issue is solved by giving the right(bigger) size of RAM, it is still better to optimize the size (either use a kmalloc friendly size or create a dedicated slab for it). And from lkml archive, there was another crash kernel OOM case [1] back in 2019, which seems to be related with the similar slab waste situation, as the log is similar: [ 4.332648] iommu: Adding device 0000:20:02.0 to group 16 [ 4.338946] swapper/0 invoked oom-killer: gfp_mask=0x6040c0(GFP_KERNEL|__GFP_COMP), nodemask=(null), order=0, oom_score_adj=0 ... [ 4.857565] kmalloc-2048 59164KB 59164KB The crash kernel only has 256M memory, and 59M is pretty big here. So add an way to track each kmalloc's memory waste info, and leverage the existing SLUB debug framework to show its call stack info, so that user can evaluate the waste situation, identify some hot spots and optimize accordingly, for a better utilization of memory. The waste info is integrated into existing interface: /sys/kernel/debug/slab/kmalloc-xx/alloc_traces, one example of 'kmalloc-4k' after boot is: 126 ixgbe_alloc_q_vector+0xa5/0x4a0 [ixgbe] waste: 233856/1856 age=1493302/1493830/1494358 pid=1284 cpus=32 nodes=1 __slab_alloc.isra.86+0x52/0x80 __kmalloc_node+0x143/0x350 ixgbe_alloc_q_vector+0xa5/0x4a0 [ixgbe] ixgbe_init_interrupt_scheme+0x1a6/0x730 [ixgbe] ixgbe_probe+0xc8e/0x10d0 [ixgbe] local_pci_probe+0x42/0x80 work_for_cpu_fn+0x13/0x20 process_one_work+0x1c5/0x390 worker_thread+0x1b9/0x360 kthread+0xe6/0x110 ret_from_fork+0x1f/0x30 which means in 'kmalloc-4k' slab, there are 126 requests of 2240 bytes which got a 4KB space (wasting 1856 bytes each and 233856 bytes in total). And when system starts some real workload like multiple docker instances, there are more severe waste. [1]. https://lkml.org/lkml/2019/8/12/266 Signed-off-by: Feng Tang --- Note: * this is based on linux-next tree with tag next-20220628 mm/slub.c | 45 ++++++++++++++++++++++++++++++--------------- 1 file changed, 30 insertions(+), 15 deletions(-) diff --git a/mm/slub.c b/mm/slub.c index 26b00951aad1..bc4f9d4fb1e2 100644 --- a/mm/slub.c +++ b/mm/slub.c @@ -271,6 +271,7 @@ struct track { #endif int cpu; /* Was running on cpu */ int pid; /* Pid context */ + unsigned long waste; /* memory waste for a kmalloc-ed object */ unsigned long when; /* When did the operation occur */ }; @@ -747,6 +748,7 @@ static inline depot_stack_handle_t set_track_prepare(void) static void set_track_update(struct kmem_cache *s, void *object, enum track_item alloc, unsigned long addr, + unsigned long waste, depot_stack_handle_t handle) { struct track *p = get_track(s, object, alloc); @@ -758,14 +760,16 @@ static void set_track_update(struct kmem_cache *s, void *object, p->cpu = smp_processor_id(); p->pid = current->pid; p->when = jiffies; + p->waste = waste; } static __always_inline void set_track(struct kmem_cache *s, void *object, - enum track_item alloc, unsigned long addr) + enum track_item alloc, unsigned long addr, + unsigned long waste) { depot_stack_handle_t handle = set_track_prepare(); - set_track_update(s, object, alloc, addr, handle); + set_track_update(s, object, alloc, addr, waste, handle); } static void init_tracking(struct kmem_cache *s, void *object) @@ -1325,7 +1329,9 @@ static inline int alloc_consistency_checks(struct kmem_cache *s, static noinline int alloc_debug_processing(struct kmem_cache *s, struct slab *slab, - void *object, unsigned long addr) + void *object, unsigned long addr, + unsigned long waste + ) { if (s->flags & SLAB_CONSISTENCY_CHECKS) { if (!alloc_consistency_checks(s, slab, object)) @@ -1334,7 +1340,7 @@ static noinline int alloc_debug_processing(struct kmem_cache *s, /* Success perform special debug activities for allocs */ if (s->flags & SLAB_STORE_USER) - set_track(s, object, TRACK_ALLOC, addr); + set_track(s, object, TRACK_ALLOC, addr, waste); trace(s, slab, object, 1); init_object(s, object, SLUB_RED_ACTIVE); return 1; @@ -1398,6 +1404,7 @@ static noinline int free_debug_processing( int ret = 0; depot_stack_handle_t handle = 0; + /* TODO: feng: we can slab->waste -= track?) or in set_track */ if (s->flags & SLAB_STORE_USER) handle = set_track_prepare(); @@ -1418,7 +1425,7 @@ static noinline int free_debug_processing( } if (s->flags & SLAB_STORE_USER) - set_track_update(s, object, TRACK_FREE, addr, handle); + set_track_update(s, object, TRACK_FREE, addr, 0, handle); trace(s, slab, object, 0); /* Freepointer not overwritten by init_object(), SLAB_POISON moved it */ init_object(s, object, SLUB_RED_INACTIVE); @@ -2905,7 +2912,7 @@ static inline void *get_freelist(struct kmem_cache *s, struct slab *slab) * already disabled (which is the case for bulk allocation). */ static void *___slab_alloc(struct kmem_cache *s, gfp_t gfpflags, int node, - unsigned long addr, struct kmem_cache_cpu *c) + unsigned long addr, struct kmem_cache_cpu *c, unsigned int orig_size) { void *freelist; struct slab *slab; @@ -3048,7 +3055,7 @@ static void *___slab_alloc(struct kmem_cache *s, gfp_t gfpflags, int node, check_new_slab: if (kmem_cache_debug(s)) { - if (!alloc_debug_processing(s, slab, freelist, addr)) { + if (!alloc_debug_processing(s, slab, freelist, addr, s->object_size - orig_size)) { /* Slab failed checks. Next slab needed */ goto new_slab; } else { @@ -3102,7 +3109,7 @@ static void *___slab_alloc(struct kmem_cache *s, gfp_t gfpflags, int node, * pointer. */ static void *__slab_alloc(struct kmem_cache *s, gfp_t gfpflags, int node, - unsigned long addr, struct kmem_cache_cpu *c) + unsigned long addr, struct kmem_cache_cpu *c, unsigned int orig_size) { void *p; @@ -3115,7 +3122,7 @@ static void *__slab_alloc(struct kmem_cache *s, gfp_t gfpflags, int node, c = slub_get_cpu_ptr(s->cpu_slab); #endif - p = ___slab_alloc(s, gfpflags, node, addr, c); + p = ___slab_alloc(s, gfpflags, node, addr, c, orig_size); #ifdef CONFIG_PREEMPT_COUNT slub_put_cpu_ptr(s->cpu_slab); #endif @@ -3206,7 +3213,7 @@ static __always_inline void *slab_alloc_node(struct kmem_cache *s, struct list_l */ if (IS_ENABLED(CONFIG_PREEMPT_RT) || unlikely(!object || !slab || !node_match(slab, node))) { - object = __slab_alloc(s, gfpflags, node, addr, c); + object = __slab_alloc(s, gfpflags, node, addr, c, orig_size); } else { void *next_object = get_freepointer_safe(s, object); @@ -3709,7 +3716,7 @@ int kmem_cache_alloc_bulk(struct kmem_cache *s, gfp_t flags, size_t size, * of re-populating per CPU c->freelist */ p[i] = ___slab_alloc(s, flags, NUMA_NO_NODE, - _RET_IP_, c); + _RET_IP_, c, size); if (unlikely(!p[i])) goto error; @@ -5068,6 +5075,7 @@ struct location { depot_stack_handle_t handle; unsigned long count; unsigned long addr; + unsigned long waste; long long sum_time; long min_time; long max_time; @@ -5138,11 +5146,12 @@ static int add_location(struct loc_track *t, struct kmem_cache *s, if (pos == end) break; - caddr = t->loc[pos].addr; - chandle = t->loc[pos].handle; - if ((track->addr == caddr) && (handle == chandle)) { + l = &t->loc[pos]; + caddr = l->addr; + chandle = l->handle; + if ((track->addr == caddr) && (handle == chandle) && + (track->waste == l->waste)) { - l = &t->loc[pos]; l->count++; if (track->when) { l->sum_time += age; @@ -5190,6 +5199,7 @@ static int add_location(struct loc_track *t, struct kmem_cache *s, l->min_pid = track->pid; l->max_pid = track->pid; l->handle = handle; + l->waste = track->waste; cpumask_clear(to_cpumask(l->cpus)); cpumask_set_cpu(track->cpu, to_cpumask(l->cpus)); nodes_clear(l->nodes); @@ -6078,6 +6088,11 @@ static int slab_debugfs_show(struct seq_file *seq, void *v) else seq_puts(seq, ""); + + if (l->waste) + seq_printf(seq, " waste: %lu/%lu", + l->count * l->waste, l->waste); + if (l->sum_time != l->min_time) { seq_printf(seq, " age=%ld/%llu/%ld", l->min_time, div_u64(l->sum_time, l->count),