From patchwork Tue Jun 11 02:11:31 2013 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: John Stultz X-Patchwork-Id: 17770 Return-Path: X-Original-To: linaro@patches.linaro.org Delivered-To: linaro@patches.linaro.org Received: from mail-vb0-f70.google.com (mail-vb0-f70.google.com [209.85.212.70]) by ip-10-151-82-157.ec2.internal (Postfix) with ESMTPS id 9B3852397B for ; Tue, 11 Jun 2013 02:13:21 +0000 (UTC) Received: by mail-vb0-f70.google.com with SMTP id q12sf3036756vbe.1 for ; Mon, 10 Jun 2013 19:13:21 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-beenthere:x-forwarded-to:x-forwarded-for :delivered-to:from:to:cc:subject:date:message-id:x-mailer :in-reply-to:references:x-gm-message-state:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-google-group-id:list-post:list-help:list-archive:list-unsubscribe; bh=epC897XDf0KPxRKzrUAE4nWIcoVkwzcDih2+sF3dYmY=; b=kBqMUpVyj+xIBv8DuH5Pc8xmCQ9Poh4mH/I3JbXhozphHwoCQ6TFGFITe7H3KYKDq4 jJNALN4+lpBZ6Ewx1HXG0xNM+2efLo53Dl2bJ75tJHAcBIDBzH1mJMMdPvX5UwqThVDE EnUN5L6mela/4VZ3xgNnCnqOVakdZZk30lkJE0O0+pYYNcp0wR7VPxbw1hlP0qep9Hvp cS7NdMmhcB4Nw3jdJxDxJSAwTcmui2gw50LcDVeGtpe+5TINRMnLNihaj/imsqTEKyMw mNQWgjZOVCoAkBuwiJMN/VMJiny1UyHSv1kFta2Rygt1Zxz1gvox5z6qho2eaYMkkuzp 9iYg== X-Received: by 10.224.205.138 with SMTP id fq10mr9862275qab.1.1370916801233; Mon, 10 Jun 2013 19:13:21 -0700 (PDT) MIME-Version: 1.0 X-BeenThere: patchwork-forward@linaro.org Received: by 10.49.12.169 with SMTP id z9ls1079148qeb.20.gmail; Mon, 10 Jun 2013 19:13:20 -0700 (PDT) X-Received: by 10.52.70.20 with SMTP id i20mr6127846vdu.69.1370916800920; Mon, 10 Jun 2013 19:13:20 -0700 (PDT) Received: from mail-vc0-f175.google.com (mail-vc0-f175.google.com [209.85.220.175]) by mx.google.com with ESMTPS id zt2si6205037vdb.102.2013.06.10.19.13.20 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 10 Jun 2013 19:13:20 -0700 (PDT) Received-SPF: neutral (google.com: 209.85.220.175 is neither permitted nor denied by best guess record for domain of patch+caf_=patchwork-forward=linaro.org@linaro.org) client-ip=209.85.220.175; Received: by mail-vc0-f175.google.com with SMTP id hr11so4977775vcb.34 for ; Mon, 10 Jun 2013 19:13:20 -0700 (PDT) X-Received: by 10.58.116.211 with SMTP id jy19mr7188453veb.7.1370916800576; Mon, 10 Jun 2013 19:13:20 -0700 (PDT) X-Forwarded-To: patchwork-forward@linaro.org X-Forwarded-For: patch@linaro.org patchwork-forward@linaro.org Delivered-To: patches@linaro.org Received: by 10.221.10.206 with SMTP id pb14csp90930vcb; Mon, 10 Jun 2013 19:13:19 -0700 (PDT) X-Received: by 10.68.182.33 with SMTP id eb1mr12494841pbc.186.1370916799174; Mon, 10 Jun 2013 19:13:19 -0700 (PDT) Received: from mail-pb0-x230.google.com (mail-pb0-x230.google.com [2607:f8b0:400e:c01::230]) by mx.google.com with ESMTPS id wu4si5896302pbc.288.2013.06.10.19.13.18 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 10 Jun 2013 19:13:19 -0700 (PDT) Received-SPF: neutral (google.com: 2607:f8b0:400e:c01::230 is neither permitted nor denied by best guess record for domain of john.stultz@linaro.org) client-ip=2607:f8b0:400e:c01::230; Received: by mail-pb0-f48.google.com with SMTP id ma3so2442318pbc.7 for ; Mon, 10 Jun 2013 19:13:18 -0700 (PDT) X-Received: by 10.66.171.231 with SMTP id ax7mr16816664pac.32.1370916798791; Mon, 10 Jun 2013 19:13:18 -0700 (PDT) Received: from localhost.localdomain (c-67-170-153-23.hsd1.or.comcast.net. [67.170.153.23]) by mx.google.com with ESMTPSA id nt2sm12427175pbc.17.2013.06.10.19.13.17 for (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 10 Jun 2013 19:13:18 -0700 (PDT) From: John Stultz To: minchan.kim@lge.com Cc: John Stultz Subject: [PATCH 12/13] vrange: Enable purging of file backed volatile ranges Date: Mon, 10 Jun 2013 19:11:31 -0700 Message-Id: <1370916692-9576-13-git-send-email-john.stultz@linaro.org> X-Mailer: git-send-email 1.8.1.2 In-Reply-To: <1370916692-9576-1-git-send-email-john.stultz@linaro.org> References: <1370916692-9576-1-git-send-email-john.stultz@linaro.org> X-Gm-Message-State: ALoCoQlcer7nyZYpSmPeOJ+iw9TyWhKsu9l4OUNPFvHIP9EyAXze+n4B9UY84FZpVf3qamFt9kND X-Original-Sender: john.stultz@linaro.org X-Original-Authentication-Results: mx.google.com; spf=neutral (google.com: 209.85.220.175 is neither permitted nor denied by best guess record for domain of patch+caf_=patchwork-forward=linaro.org@linaro.org) smtp.mail=patch+caf_=patchwork-forward=linaro.org@linaro.org Precedence: list Mailing-list: list patchwork-forward@linaro.org; contact patchwork-forward+owners@linaro.org List-ID: X-Google-Group-Id: 836684582541 List-Post: , List-Help: , List-Archive: List-Unsubscribe: , Rework the victim range selection to also support file backed volatile ranges. Signed-off-by: John Stultz --- include/linux/vrange.h | 10 +++++ mm/vrange.c | 112 ++++++++++++++++++++++++++++++++++++------------- 2 files changed, 92 insertions(+), 30 deletions(-) diff --git a/include/linux/vrange.h b/include/linux/vrange.h index b6e8b99..bd36d67 100644 --- a/include/linux/vrange.h +++ b/include/linux/vrange.h @@ -3,6 +3,7 @@ #include #include +#include #define vrange_entry(ptr) \ container_of(ptr, struct vrange, node.rb) @@ -38,6 +39,15 @@ static inline struct mm_struct *vrange_get_owner_mm(struct vrange *vrange) return container_of(vrange->owner, struct mm_struct, vroot); } +static inline +struct address_space *vrange_get_owner_mapping(struct vrange *vrange) +{ + if (vrange_type(vrange) != VRANGE_FILE) + return NULL; + return container_of(vrange->owner, struct address_space, vroot); +} + + void vrange_init(void); extern int vrange_clear(struct vrange_root *vroot, unsigned long start, unsigned long end); diff --git a/mm/vrange.c b/mm/vrange.c index e9ea728..84e9b91 100644 --- a/mm/vrange.c +++ b/mm/vrange.c @@ -757,8 +757,9 @@ unsigned int discard_vma_pages(struct zone *zone, struct mm_struct *mm, return ret; } -unsigned int discard_vrange(struct zone *zone, struct vrange *vrange, - int nr_to_discard) +static unsigned int discard_anon_vrange(struct zone *zone, + struct vrange *vrange, + int nr_to_discard) { struct mm_struct *mm; unsigned long start = vrange->node.start; @@ -799,46 +800,91 @@ out: return nr_discarded; } +static unsigned int discard_file_vrange(struct zone *zone, + struct vrange *vrange, + int nr_to_discard) +{ + struct address_space *mapping; + unsigned long start = vrange->node.start; + unsigned long end = vrange->node.last; + unsigned long count = ((end-start) >> PAGE_CACHE_SHIFT); + + mapping = vrange_get_owner_mapping(vrange); + + truncate_inode_pages_range(mapping, start, end); + vrange->purged = true; + + return count; +} + +unsigned int discard_vrange(struct zone *zone, struct vrange *vrange, + int nr_to_discard) +{ + if (vrange_type(vrange) == VRANGE_MM) + return discard_anon_vrange(zone, vrange, nr_to_discard); + return discard_file_vrange(zone, vrange, nr_to_discard); +} + + +/* Take a vrange refcount and depending on the type + * the vrange->owner's mm refcount or inode refcount + */ +static int hold_victim_vrange(struct vrange *vrange) +{ + if (vrange_type(vrange) == VRANGE_MM) { + struct mm_struct *mm = vrange_get_owner_mm(vrange); + + + if (atomic_read(&mm->mm_users) == 0) + return -1; + + + if (!atomic_inc_not_zero(&vrange->refcount)) + return -1; + /* + * we need to access mmap_sem further routine so + * need to get a refcount of mm. + * NOTE: We guarantee mm_count isn't zero in here because + * if we found vrange from LRU list, it means we are + * before exit_vrange or remove_vrange. + */ + atomic_inc(&mm->mm_count); + } else { + struct address_space *mapping; + mapping = vrange_get_owner_mapping(vrange); + + if (!atomic_inc_not_zero(&vrange->refcount)) + return -1; + __iget(mapping->host); + } + + return 0; +} + + + /* - * Get next victim vrange from LRU and hold a vrange refcount - * and vrange->mm's refcount. + * Get next victim vrange from LRU and hold needed refcounts. */ struct vrange *get_victim_vrange(void) { - struct mm_struct *mm; struct vrange *vrange = NULL; struct list_head *cur, *tmp; spin_lock(&lru_lock); list_for_each_prev_safe(cur, tmp, &lru_vrange) { vrange = list_entry(cur, struct vrange, lru); - mm = vrange_get_owner_mm(vrange); - /* the process is exiting so pass it */ - if (atomic_read(&mm->mm_users) == 0) { - list_del_init(&vrange->lru); - vrange = NULL; - continue; - } - /* vrange is freeing so continue to loop */ - if (!atomic_inc_not_zero(&vrange->refcount)) { + if (hold_victim_vrange(vrange)) { list_del_init(&vrange->lru); vrange = NULL; continue; } - /* - * we need to access mmap_sem further routine so - * need to get a refcount of mm. - * NOTE: We guarantee mm_count isn't zero in here because - * if we found vrange from LRU list, it means we are - * before exit_vrange or remove_vrange. - */ - atomic_inc(&mm->mm_count); - /* Isolate vrange */ list_del_init(&vrange->lru); break; + } spin_unlock(&lru_lock); @@ -847,9 +893,18 @@ struct vrange *get_victim_vrange(void) void put_victim_range(struct vrange *vrange) { - struct mm_struct *mm = vrange_get_owner_mm(vrange); put_vrange(vrange); - mmdrop(mm); + + if (vrange_type(vrange) == VRANGE_MM) { + struct mm_struct *mm = vrange_get_owner_mm(vrange); + + mmdrop(mm); + } else { + struct address_space *mapping; + + mapping = vrange_get_owner_mapping(vrange); + iput(mapping->host); + } } unsigned int discard_vrange_pages(struct zone *zone, int nr_to_discard) @@ -858,11 +913,8 @@ unsigned int discard_vrange_pages(struct zone *zone, int nr_to_discard) unsigned int nr_discarded = 0; start_vrange = vrange = get_victim_vrange(); - if (start_vrange) { - struct mm_struct *mm = vrange_get_owner_mm(start_vrange); - atomic_inc(&start_vrange->refcount); - atomic_inc(&mm->mm_count); - } + if (start_vrange) + hold_victim_vrange(start_vrange); while (vrange) { nr_discarded += discard_vrange(zone, vrange, nr_to_discard);