From mboxrd@z Thu Jan 1 00:00:00 1970 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 mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id B7A48C433F5 for ; Mon, 27 Sep 2021 18:13:24 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 5760A60F58 for ; Mon, 27 Sep 2021 18:13:24 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.1 mail.kernel.org 5760A60F58 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=infradead.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvack.org Received: by kanga.kvack.org (Postfix) id D736D6B006C; Mon, 27 Sep 2021 14:13:23 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id D2266900002; Mon, 27 Sep 2021 14:13:23 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id BC36F6B0072; Mon, 27 Sep 2021 14:13:23 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0119.hostedemail.com [216.40.44.119]) by kanga.kvack.org (Postfix) with ESMTP id A93556B006C for ; Mon, 27 Sep 2021 14:13:23 -0400 (EDT) Received: from smtpin31.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay05.hostedemail.com (Postfix) with ESMTP id 61B90181AF5FA for ; Mon, 27 Sep 2021 18:13:23 +0000 (UTC) X-FDA: 78634150686.31.0096154 Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf23.hostedemail.com (Postfix) with ESMTP id 23E1E900009B for ; Mon, 27 Sep 2021 18:13:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=U3qCCDeIwDW91WNL/c36o7RQhwW5iX+T6EJcSbAQMfc=; b=a/BD8FrgoFDefLIiwWUMmYngZ8 8ggNJ42uZ34GpUiyq3ghb6jxatovwy+o87XPUppEJQ0aGBS6A1MabDY/NrRUES7HOMb8M5YG05cuL KlHPqcWSCdY1lZKAgynpKBmLcjnwE9RGzyDqsURg0wWt5ED8KwvvnoMUpKXfqr8kB5WwIdix25KpU F1n7aaLeQn76DDa5BQ+7ySzDriON+iguMkktSnIkJdT/QLQ48BlmAdeJkqhHFFiGCMN6cD65J7sfx aFU0x/cYtwWj1ieCm+WUfj3T46rEGXXybBfcElqwEIAbItVO+zsiG8WihyVfvqCGyPI2s5EGBJYRo 4AeJRfHA==; Received: from willy by casper.infradead.org with local (Exim 4.94.2 #2 (Red Hat Linux)) id 1mUv6x-00A466-UE; Mon, 27 Sep 2021 18:12:31 +0000 Date: Mon, 27 Sep 2021 19:12:19 +0100 From: Matthew Wilcox To: Kent Overstreet Cc: Vlastimil Babka , linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, Johannes Weiner , Linus Torvalds , Andrew Morton , "Darrick J. Wong" , Christoph Hellwig , David Howells Subject: Re: Struct page proposal Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Authentication-Results: imf23.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b="a/BD8Frg"; spf=none (imf23.hostedemail.com: domain of willy@infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=willy@infradead.org; dmarc=none X-Rspamd-Server: rspam04 X-Rspamd-Queue-Id: 23E1E900009B X-Stat-Signature: kefxh5yo49gdhcafi3ty7cuc7f364171 X-HE-Tag: 1632766403-614799 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: On Mon, Sep 27, 2021 at 02:09:49PM -0400, Kent Overstreet wrote: > On Mon, Sep 27, 2021 at 07:05:26PM +0100, Matthew Wilcox wrote: > > On Mon, Sep 27, 2021 at 07:48:15PM +0200, Vlastimil Babka wrote: > > > On 9/23/21 03:21, Kent Overstreet wrote: > > > > So if we have this: > > > > > > > > struct page { > > > > unsigned long allocator; > > > > unsigned long allocatee; > > > > }; > > > > > > > > The allocator field would be used for either a pointer to slab/slub's state, if > > > > it's a slab page, or if it's a buddy allocator page it'd encode the order of the > > > > allocation - like compound order today, and probably whether or not the > > > > (compound group of) pages is free. > > > > > > The "free page in buddy allocator" case will be interesting to implement. > > > What the buddy allocator uses today is: > > > > > > - PageBuddy - determine if page is free; a page_type (part of mapcount > > > field) today, could be a bit in "allocator" field that would have to be 0 in > > > all other "page is allocated" contexts. > > > - nid/zid - to prevent merging accross node/zone boundaries, now part of > > > page flags > > > - buddy order > > > - a list_head (reusing the "lru") to hold the struct page on the appropriate > > > free list, which has to be double-linked so page can be taken from the > > > middle of the list instantly > > > > > > Won't be easy to cram all that into two unsigned long's, or even a single > > > one. We should avoid storing anything in the free page itself. Allocating > > > some external structures to track free pages is going to have funny > > > bootstrap problems. Probably a major redesign would be needed... > > > > Wait, why do we want to avoid using the memory that we're allocating? > > The issue is where to stick the state for free pages. If that doesn't fit in two > ulongs, then we'd need a separate allocation, which means slab needs to be up > and running before free pages are initialized. But the thing we're allocating is at least PAGE_SIZE bytes in size. Why is "We should avoid storing anything in the free page itself" true?