From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757313Ab2IJOCq (ORCPT ); Mon, 10 Sep 2012 10:02:46 -0400 Received: from mail-ee0-f46.google.com ([74.125.83.46]:46334 "EHLO mail-ee0-f46.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1757068Ab2IJOCo (ORCPT ); Mon, 10 Sep 2012 10:02:44 -0400 Subject: Re: [PATCH v2 10/10] thp: implement refcounting for huge zero page From: Eric Dumazet To: "Kirill A. Shutemov" Cc: Andrew Morton , Andrea Arcangeli , linux-mm@kvack.org, Andi Kleen , "H. Peter Anvin" , linux-kernel@vger.kernel.org, "Kirill A. Shutemov" In-Reply-To: <1347282813-21935-11-git-send-email-kirill.shutemov@linux.intel.com> References: <1347282813-21935-1-git-send-email-kirill.shutemov@linux.intel.com> <1347282813-21935-11-git-send-email-kirill.shutemov@linux.intel.com> Content-Type: text/plain; charset="UTF-8" Date: Mon, 10 Sep 2012 16:02:39 +0200 Message-ID: <1347285759.1234.1645.camel@edumazet-glaptop> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, 2012-09-10 at 16:13 +0300, Kirill A. Shutemov wrote: > From: "Kirill A. Shutemov" > > H. Peter Anvin doesn't like huge zero page which sticks in memory forever > after the first allocation. Here's implementation of lockless refcounting > for huge zero page. > ... > +static unsigned long get_huge_zero_page(void) > +{ > + struct page *zero_page; > +retry: > + if (likely(atomic_inc_not_zero(&huge_zero_refcount))) > + return ACCESS_ONCE(huge_zero_pfn); > + > + zero_page = alloc_pages(GFP_TRANSHUGE | __GFP_ZERO, HPAGE_PMD_ORDER); > + if (!zero_page) > + return 0; > + if (cmpxchg(&huge_zero_pfn, 0, page_to_pfn(zero_page))) { > + __free_page(zero_page); > + goto retry; > + } This might break if preemption can happen here ? The second thread might loop forever because huge_zero_refcount is 0, and huge_zero_pfn not zero. If preemption already disabled, a comment would be nice. > + > + /* We take additional reference here. It will be put back by shinker */ typo : shrinker > + atomic_set(&huge_zero_refcount, 2); > + return ACCESS_ONCE(huge_zero_pfn); > +} > +