From patchwork Mon Nov 12 23:13:44 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Timofey Titovets X-Patchwork-Id: 10679437 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id ED95A13B5 for ; Mon, 12 Nov 2018 23:14:13 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 0ACEC2A2CC for ; Mon, 12 Nov 2018 23:14:12 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id F17122A2EA; Mon, 12 Nov 2018 23:14:11 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-1.4 required=2.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,RCVD_IN_SORBS_WEB autolearn=no version=3.3.1 Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id EE8462A2CC for ; Mon, 12 Nov 2018 23:14:10 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id D0CCF6B0003; Mon, 12 Nov 2018 18:14:09 -0500 (EST) Delivered-To: linux-mm-outgoing@kvack.org Received: by kanga.kvack.org (Postfix, from userid 40) id C92FD6B0005; Mon, 12 Nov 2018 18:14:09 -0500 (EST) X-Original-To: int-list-linux-mm@kvack.org X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id B36B56B0006; Mon, 12 Nov 2018 18:14:09 -0500 (EST) X-Original-To: linux-mm@kvack.org X-Delivered-To: linux-mm@kvack.org Received: from mail-lj1-f198.google.com (mail-lj1-f198.google.com [209.85.208.198]) by kanga.kvack.org (Postfix) with ESMTP id 409D66B0003 for ; Mon, 12 Nov 2018 18:14:09 -0500 (EST) Received: by mail-lj1-f198.google.com with SMTP id w5-v6so3251654ljh.13 for ; Mon, 12 Nov 2018 15:14:09 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-original-authentication-results:x-gm-message-state:from:to:cc :subject:date:message-id:mime-version:content-transfer-encoding; bh=WrLqROMLIuGmJ6mprdbQRFbDKj0DjU6n7THn44CWC1s=; b=QGKQvzSxghG3RVh78PlTt+vsOFvbVKWrJHTIU6qgDMojgVWNpR1AqMJU1+2fhUIa7i zrptw6IDYWQfv15DziT1wVLtg4Ewz48T9NOGjRT8pB0uj3xVi30ueY2WXU6G4Te0fCc9 41U3Vy8XKJtfUGTqgc/Q/ileSPO9jmBNqlh5UUuIQZBC6JGtI1IKJD1+mdv+yMv0maNt 25Ya4US1dTlKj5+pDNE6FOc3KCfzjh2hEY39jx0Q1J4Fc/CID0+phAS8jHfWlfzMqMg4 yLmTidEO1VDJxzEDQJxo+4uaETQhoEYpnZo8f6zNfumFMR/n2wWHjAUGSXqKY/CRajCW jI+g== X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of nefelim4ag@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=nefelim4ag@gmail.com X-Gm-Message-State: AGRZ1gJdsU32pbL1shmPFk/M6Nja/aniltcyZvlH7uP9tDLfEyLKeCUn TmkrVq/N+mjodrtKH8CUmie3RwYIc+hjiEwsd56tgghygGRX7lX1t2xVpxhf1EAgAHoLDztimGi Gaw0UUm9ILqHivC2vVt3SI1Z1Qtk2AGcM1LPZ6JVtbFB68Moyxcy4+HvKqKC+dww15wPwQ/2zCd 1eDeAS00yrmcEpnbnTkIaxn+40imxmmFRuQCVOURlV/sdTt22YgBQ7w/7uZiR0TxgfXT+THAnNA zQV1MTh7qAKRItAHEsOrB9iCrZpFEmRkF2oNuZSPia16q+zFfd+o8RnlnQUNGV4UOzEWHRUSs/Y AlmmO9DHQveeisb5EOHZwHoHNOEdn90k5C9bvpc6/fKMGcUj1qOHTjLVz1/pYWnSSCsMOqLGDQ= = X-Received: by 2002:a2e:9849:: with SMTP id e9-v6mr76500ljj.9.1542064448303; Mon, 12 Nov 2018 15:14:08 -0800 (PST) X-Received: by 2002:a2e:9849:: with SMTP id e9-v6mr76452ljj.9.1542064446693; Mon, 12 Nov 2018 15:14:06 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1542064446; cv=none; d=google.com; s=arc-20160816; b=c9ya6myG9wHLafxwegd3g0DhSC0Qox+fRNP8N92kxgn2BpE53ZPSxMZyfwuyiQajGX DFIjO1T04y5P0FOkkmMBD72OcIUM5YEaColc3vrfVLIha4OsJwU07X1CYl4lQRBtkyCr Sn5JkH0axFZUKBJiWfRRp3B7v6JrlFTdQNzXigBmUwH3OE43Dlujol38x8Mtg9B3JqLg Bx8RLGpu6smnql427wiflEa39rf0z9c2i9+ULaWM2p+ya1ca/MzfaMsZE6r5twhS12Xs v0CkkRr/a0qkV7WfgC7TyECQ5IJ5ggTmDZbwKFap+zh8ysdHxnzF/XBg5bI57nv1EXnz lQ5Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from; bh=WrLqROMLIuGmJ6mprdbQRFbDKj0DjU6n7THn44CWC1s=; b=RqeKnBQkcsIqC6NFvW3nhL5zb026NgT4xMnyUEiRBZNo1yO/LN8fDYOv3ulKN9KOqL +7Twctofw0JxOf79X8Uy1tXJAWDRqpRjMhA/X5JEy1l5+apwPw88i/+0uiGYVT6Pi76s 0KfnxOBi2iHOr6jbMy8mj51GFNUzGtHh4UFh5kp9iYDMet7gheBpKPrjbVTMDX5ugXlw mSEgB9J1bghzVhe+MYwv+YeEAwqZhEobsdy6TqNTR8BRTpfQB9EnlnIp29kuGfVqyusP CZ7fmA1MwKv/4KJwB5DFSwhRwOHd93XF1XgyrznVjPuqx+GaQrCUM8vNlBGfFi/KC8ci nEnQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of nefelim4ag@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=nefelim4ag@gmail.com Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65]) by mx.google.com with SMTPS id 4sor4298001lfa.29.2018.11.12.15.14.06 for (Google Transport Security); Mon, 12 Nov 2018 15:14:06 -0800 (PST) Received-SPF: pass (google.com: domain of nefelim4ag@gmail.com designates 209.85.220.65 as permitted sender) client-ip=209.85.220.65; Authentication-Results: mx.google.com; spf=pass (google.com: domain of nefelim4ag@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=nefelim4ag@gmail.com X-Google-Smtp-Source: AJdET5db+SueAPSwIr3CyyehAPiJ9BYmtzq7rRzWamyYv2IsxnqMuR92DtzRIBy1vL74b9buzzIhvA== X-Received: by 2002:a19:690d:: with SMTP id e13mr1669962lfc.84.1542064445807; Mon, 12 Nov 2018 15:14:05 -0800 (PST) Received: from localhost.localdomain ([178.121.238.12]) by smtp.gmail.com with ESMTPSA id 6sm3537368lfa.27.2018.11.12.15.14.04 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 12 Nov 2018 15:14:05 -0800 (PST) From: Timofey Titovets To: linux-kernel@vger.kernel.org Cc: Timofey Titovets , Matthew Wilcox , linux-mm@kvack.org, linux-doc@vger.kernel.org Subject: [PATCH V3] KSM: allow dedup all tasks memory Date: Tue, 13 Nov 2018 02:13:44 +0300 Message-Id: <20181112231344.7161-1-timofey.titovets@synesis.ru> X-Mailer: git-send-email 2.19.1 MIME-Version: 1.0 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: X-Virus-Scanned: ClamAV using ClamSMTP From: Timofey Titovets ksm by default working only on memory that added by madvise(). And only way get that work on other applications: * Use LD_PRELOAD and libraries * Patch kernel Lets use kernel task list and add logic to import VMAs from tasks. That behaviour controlled by new attributes: * mode: I try mimic hugepages attribute, so mode have two states: * madvise - old default behaviour * always [new] - allow ksm to get tasks vma and try working on that. * seeker_sleep_millisecs: Add pauses between imports tasks VMA For rate limiting proporses and tasklist locking time, ksm seeker thread only import VMAs from one task per loop. Some numbers from different not madvised workloads. Formulas: Percentage ratio = (pages_sharing - pages_shared)/pages_unshared Memory saved = (pages_sharing - pages_shared)*4/1024 MiB Memory used = free -h * Name: My working laptop Description: Many different chrome/electron apps + KDE Ratio: 5% Saved: ~100 MiB Used: ~2000 MiB * Name: K8s test VM Description: Some small random running docker images Ratio: 40% Saved: ~160 MiB Used: ~920 MiB * Name: Ceph test VM Description: Ceph Mon/OSD, some containers Ratio: 20% Saved: ~60 MiB Used: ~600 MiB * Name: BareMetal K8s backend server Description: Different server apps in containers C, Java, GO & etc Ratio: 72% Saved: ~5800 MiB Used: ~35.7 GiB * Name: BareMetal K8s processing server Description: Many instance of one CPU intensive application Ratio: 55% Saved: ~2600 MiB Used: ~28.0 GiB * Name: BareMetal Ceph node Description: Only OSD storage daemons running Raio: 2% Saved: ~190 MiB Used: ~11.7 GiB Changes: v1 -> v2: * Rebase on v4.19.1 (must also apply on 4.20-rc2+) v2 -> v3: * Reformat patch description * Rename mode normal to madvise * Add some memory numbers * Fix checkpatch.pl warnings * Separate ksm vma seeker to another kthread * Fix: "BUG: scheduling while atomic: ksmd" by move seeker to another thread Signed-off-by: Timofey Titovets CC: Matthew Wilcox CC: linux-mm@kvack.org CC: linux-doc@vger.kernel.org --- Documentation/admin-guide/mm/ksm.rst | 15 ++ mm/ksm.c | 215 +++++++++++++++++++++++---- 2 files changed, 198 insertions(+), 32 deletions(-) diff --git a/Documentation/admin-guide/mm/ksm.rst b/Documentation/admin-guide/mm/ksm.rst index 9303786632d1..7cffd47f9b38 100644 --- a/Documentation/admin-guide/mm/ksm.rst +++ b/Documentation/admin-guide/mm/ksm.rst @@ -116,6 +116,21 @@ run Default: 0 (must be changed to 1 to activate KSM, except if CONFIG_SYSFS is disabled) +mode + * set always to allow ksm deduplicate memory of every process + * set madvise to use only madvised memory + + Default: madvise (dedupulicate only madvised memory as in + earlier releases) + +seeker_sleep_millisecs + how many milliseconds ksmd task seeker should sleep try another + task. + e.g. ``echo 1000 > /sys/kernel/mm/ksm/seeker_sleep_millisecs`` + + Default: 1000 (chosen for rate limit purposes) + + use_zero_pages specifies whether empty pages (i.e. allocated pages that only contain zeroes) should be treated specially. When set to 1, diff --git a/mm/ksm.c b/mm/ksm.c index 5b0894b45ee5..1a03b28b6288 100644 --- a/mm/ksm.c +++ b/mm/ksm.c @@ -273,6 +273,9 @@ static unsigned int ksm_thread_pages_to_scan = 100; /* Milliseconds ksmd should sleep between batches */ static unsigned int ksm_thread_sleep_millisecs = 20; +/* Milliseconds ksmd seeker should sleep between runs */ +static unsigned int ksm_thread_seeker_sleep_millisecs = 1000; + /* Checksum of an empty (zeroed) page */ static unsigned int zero_checksum __read_mostly; @@ -295,7 +298,12 @@ static int ksm_nr_node_ids = 1; static unsigned long ksm_run = KSM_RUN_STOP; static void wait_while_offlining(void); +#define KSM_MODE_MADVISE 0 +#define KSM_MODE_ALWAYS 1 +static unsigned long ksm_mode = KSM_MODE_MADVISE; + static DECLARE_WAIT_QUEUE_HEAD(ksm_thread_wait); +static DECLARE_WAIT_QUEUE_HEAD(ksm_seeker_thread_wait); static DEFINE_MUTEX(ksm_thread_mutex); static DEFINE_SPINLOCK(ksm_mmlist_lock); @@ -303,6 +311,11 @@ static DEFINE_SPINLOCK(ksm_mmlist_lock); sizeof(struct __struct), __alignof__(struct __struct),\ (__flags), NULL) +static inline int ksm_mode_always(void) +{ + return (ksm_mode == KSM_MODE_ALWAYS); +} + static int __init ksm_slab_init(void) { rmap_item_cache = KSM_KMEM_CACHE(rmap_item, 0); @@ -2389,6 +2402,106 @@ static int ksmd_should_run(void) return (ksm_run & KSM_RUN_MERGE) && !list_empty(&ksm_mm_head.mm_list); } + +static int ksm_enter(struct mm_struct *mm, unsigned long *vm_flags) +{ + int err; + + if (*vm_flags & (VM_MERGEABLE | VM_SHARED | VM_MAYSHARE | + VM_PFNMAP | VM_IO | VM_DONTEXPAND | + VM_HUGETLB | VM_MIXEDMAP)) + return 0; + +#ifdef VM_SAO + if (*vm_flags & VM_SAO) + return 0; +#endif +#ifdef VM_SPARC_ADI + if (*vm_flags & VM_SPARC_ADI) + return 0; +#endif + if (!test_bit(MMF_VM_MERGEABLE, &mm->flags)) { + err = __ksm_enter(mm); + if (err) + return err; + } + + *vm_flags |= VM_MERGEABLE; + + return 0; +} + +/* + * Register all vmas for all processes in the system with KSM. + * Note that every call to ksm_, for a given vma, after the first + * does nothing but set flags. + */ +void ksm_import_task_vma(struct task_struct *task) +{ + struct vm_area_struct *vma; + struct mm_struct *mm; + int error; + + mm = get_task_mm(task); + if (!mm) + return; + down_write(&mm->mmap_sem); + vma = mm->mmap; + while (vma) { + error = ksm_enter(vma->vm_mm, &vma->vm_flags); + vma = vma->vm_next; + } + up_write(&mm->mmap_sem); + mmput(mm); +} + +static int ksm_seeker_thread(void *nothing) +{ + pid_t last_pid = 1; + pid_t curr_pid; + struct task_struct *task; + + set_freezable(); + set_user_nice(current, 5); + + while (!kthread_should_stop()) { + wait_while_offlining(); + + try_to_freeze(); + + if (!ksm_mode_always()) { + wait_event_freezable(ksm_seeker_thread_wait, + ksm_mode_always() || kthread_should_stop()); + continue; + } + + /* + * import one task's vma per run + */ + read_lock(&tasklist_lock); + + /* Try always get next task */ + for_each_process(task) { + curr_pid = task_pid_nr(task); + if (curr_pid == last_pid) { + task = next_task(task); + break; + } + + if (curr_pid > last_pid) + break; + } + + last_pid = task_pid_nr(task); + ksm_import_task_vma(task); + read_unlock(&tasklist_lock); + + schedule_timeout_interruptible( + msecs_to_jiffies(ksm_thread_seeker_sleep_millisecs)); + } + return 0; +} + static int ksm_scan_thread(void *nothing) { set_freezable(); @@ -2422,33 +2535,9 @@ int ksm_madvise(struct vm_area_struct *vma, unsigned long start, switch (advice) { case MADV_MERGEABLE: - /* - * Be somewhat over-protective for now! - */ - if (*vm_flags & (VM_MERGEABLE | VM_SHARED | VM_MAYSHARE | - VM_PFNMAP | VM_IO | VM_DONTEXPAND | - VM_HUGETLB | VM_MIXEDMAP)) - return 0; /* just ignore the advice */ - - if (vma_is_dax(vma)) - return 0; - -#ifdef VM_SAO - if (*vm_flags & VM_SAO) - return 0; -#endif -#ifdef VM_SPARC_ADI - if (*vm_flags & VM_SPARC_ADI) - return 0; -#endif - - if (!test_bit(MMF_VM_MERGEABLE, &mm->flags)) { - err = __ksm_enter(mm); - if (err) - return err; - } - - *vm_flags |= VM_MERGEABLE; + err = ksm_enter(mm, vm_flags); + if (err) + return err; break; case MADV_UNMERGEABLE: @@ -2829,6 +2918,29 @@ static ssize_t sleep_millisecs_store(struct kobject *kobj, } KSM_ATTR(sleep_millisecs); +static ssize_t seeker_sleep_millisecs_show(struct kobject *kobj, + struct kobj_attribute *attr, char *buf) +{ + return sprintf(buf, "%u\n", ksm_thread_seeker_sleep_millisecs); +} + +static ssize_t seeker_sleep_millisecs_store(struct kobject *kobj, + struct kobj_attribute *attr, + const char *buf, size_t count) +{ + unsigned long msecs; + int err; + + err = kstrtoul(buf, 10, &msecs); + if (err || msecs > UINT_MAX) + return -EINVAL; + + ksm_thread_seeker_sleep_millisecs = msecs; + + return count; +} +KSM_ATTR(seeker_sleep_millisecs); + static ssize_t pages_to_scan_show(struct kobject *kobj, struct kobj_attribute *attr, char *buf) { @@ -2852,6 +2964,34 @@ static ssize_t pages_to_scan_store(struct kobject *kobj, } KSM_ATTR(pages_to_scan); +static ssize_t mode_show(struct kobject *kobj, struct kobj_attribute *attr, + char *buf) +{ + switch (ksm_mode) { + case KSM_MODE_ALWAYS: + return sprintf(buf, "[always] madvise\n"); + case KSM_MODE_MADVISE: + return sprintf(buf, "always [madvise]\n"); + } + + return sprintf(buf, "always [madvise]\n"); +} + +static ssize_t mode_store(struct kobject *kobj, struct kobj_attribute *attr, + const char *buf, size_t count) +{ + if (!memcmp("always", buf, min(sizeof("always")-1, count))) { + ksm_mode = KSM_MODE_ALWAYS; + wake_up_interruptible(&ksm_seeker_thread_wait); + } else if (!memcmp("madvise", buf, min(sizeof("madvise")-1, count))) { + ksm_mode = KSM_MODE_MADVISE; + } else + return -EINVAL; + + return count; +} +KSM_ATTR(mode); + static ssize_t run_show(struct kobject *kobj, struct kobj_attribute *attr, char *buf) { @@ -3108,7 +3248,9 @@ KSM_ATTR_RO(full_scans); static struct attribute *ksm_attrs[] = { &sleep_millisecs_attr.attr, + &seeker_sleep_millisecs_attr.attr, &pages_to_scan_attr.attr, + &mode_attr.attr, &run_attr.attr, &pages_shared_attr.attr, &pages_sharing_attr.attr, @@ -3134,7 +3276,7 @@ static const struct attribute_group ksm_attr_group = { static int __init ksm_init(void) { - struct task_struct *ksm_thread; + struct task_struct *ksm_thread[2]; int err; /* The correct value depends on page size and endianness */ @@ -3146,10 +3288,18 @@ static int __init ksm_init(void) if (err) goto out; - ksm_thread = kthread_run(ksm_scan_thread, NULL, "ksmd"); - if (IS_ERR(ksm_thread)) { + ksm_thread[0] = kthread_run(ksm_scan_thread, NULL, "ksmd"); + if (IS_ERR(ksm_thread[0])) { pr_err("ksm: creating kthread failed\n"); - err = PTR_ERR(ksm_thread); + err = PTR_ERR(ksm_thread[0]); + goto out_free; + } + + ksm_thread[1] = kthread_run(ksm_seeker_thread, NULL, "ksmd_seeker"); + if (IS_ERR(ksm_thread[1])) { + pr_err("ksm: creating seeker kthread failed\n"); + err = PTR_ERR(ksm_thread[1]); + kthread_stop(ksm_thread[0]); goto out_free; } @@ -3157,7 +3307,8 @@ static int __init ksm_init(void) err = sysfs_create_group(mm_kobj, &ksm_attr_group); if (err) { pr_err("ksm: register sysfs failed\n"); - kthread_stop(ksm_thread); + kthread_stop(ksm_thread[0]); + kthread_stop(ksm_thread[1]); goto out_free; } #else