Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752793AbbHTXgq (ORCPT ); Thu, 20 Aug 2015 19:36:46 -0400 Received: from mail.linuxfoundation.org ([140.211.169.12]:58783 "EHLO mail.linuxfoundation.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751699AbbHTXgo (ORCPT ); Thu, 20 Aug 2015 19:36:44 -0400 Date: Thu, 20 Aug 2015 16:36:43 -0700 From: Andrew Morton To: "Kirill A. Shutemov" Cc: Hugh Dickins , Andrea Arcangeli , Dave Hansen , Vlastimil Babka , Johannes Weiner , Michal Hocko , David Rientjes , linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [PATCHv3 4/5] mm: make compound_head() robust Message-Id: <20150820163643.dd87de0c1a73cb63866b2914@linux-foundation.org> In-Reply-To: <1439976106-137226-5-git-send-email-kirill.shutemov@linux.intel.com> References: <1439976106-137226-1-git-send-email-kirill.shutemov@linux.intel.com> <1439976106-137226-5-git-send-email-kirill.shutemov@linux.intel.com> X-Mailer: Sylpheed 3.4.1 (GTK+ 2.24.23; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2726 Lines: 85 On Wed, 19 Aug 2015 12:21:45 +0300 "Kirill A. Shutemov" wrote: > Hugh has pointed that compound_head() call can be unsafe in some > context. There's one example: > > CPU0 CPU1 > > isolate_migratepages_block() > page_count() > compound_head() > !!PageTail() == true > put_page() > tail->first_page = NULL > head = tail->first_page > alloc_pages(__GFP_COMP) > prep_compound_page() > tail->first_page = head > __SetPageTail(p); > !!PageTail() == true > > > The race is pure theoretical. I don't it's possible to trigger it in > practice. But who knows. > > We can fix the race by changing how encode PageTail() and compound_head() > within struct page to be able to update them in one shot. > > The patch introduces page->compound_head into third double word block in > front of compound_dtor and compound_order. That means it shares storage > space with: > > - page->lru.next; > - page->next; > - page->rcu_head.next; > - page->pmd_huge_pte; > > That's too long list to be absolutely sure, but looks like nobody uses > bit 0 of the word. It can be used to encode PageTail(). And if the bit > set, rest of the word is pointer to head page. So nothing else which participates in the union in the "Third double word block" is allowed to use bit zero of the first word. Is this really true? For example if it's a slab page, will that page ever be inspected by code which is looking for the PageTail bit? Anyway, this is quite subtle and there's a risk that people will accidentally break it later on. I don't think the patch puts sufficient documentation in place to prevent this. And even documentation might not be enough to prevent accidents. > > ... > > --- a/include/linux/mm_types.h > +++ b/include/linux/mm_types.h > @@ -120,7 +120,12 @@ struct page { > }; > }; > > - /* Third double word block */ > + /* > + * Third double word block > + * > + * WARNING: bit 0 of the first word encode PageTail and *must* be 0 > + * for non-tail pages. > + */ > union { > struct list_head lru; /* Pageout list, eg. active_list > * protected by zone->lru_lock ! > @@ -143,6 +148,7 @@ struct page { > */ > /* First tail page of compound page */ > struct { > + unsigned long compound_head; /* If bit zero is set */ I think the comments around here should have more details and should be louder! -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/