Received: by 2002:a05:6358:16cc:b0:ea:6187:17c9 with SMTP id r12csp6927080rwl; Mon, 9 Jan 2023 15:12:30 -0800 (PST) X-Google-Smtp-Source: AMrXdXtdJ5EKVn0vs3U07G/s8+wSnfMGZGYL0YcTidhIoM9UlVjrO2TXzhBZ13w/FFLO93WPnAIL X-Received: by 2002:a17:90a:5649:b0:226:f291:a27e with SMTP id d9-20020a17090a564900b00226f291a27emr9912247pji.3.1673305950469; Mon, 09 Jan 2023 15:12:30 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1673305950; cv=none; d=google.com; s=arc-20160816; b=ELXbixeGmRUEhspoBM1jCqmAx8V7LewE6611+XFZxWbK2Xp5HV2a78c+jl5EESznri G/v9x0Xs2wzfZl8jTyRUL+13jO03AiD265rGGa+1UQeP+76CBEnt3ft9JuttgtCscqf4 BGMpBHY7z6WUy57SENvwnGHk2Yx8YV9wuK2TZAFxzA4AJIX7BB2l+98mzIQTzfV2zymn mtl7/pRIcYQNWHvL3yUYHUby2Ta4RZk8A9Tr4xBcEsTnN+WGyOh2SOItUnMenVWhWJuB VA0eAkuDRETEK8/ImQW6HSilmMiK5If+awx0y4OTUGlrwuWmR4Eal6lCt+ettE6EttwG +miA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:message-id:date:content-transfer-encoding :content-id:mime-version:subject:cc:to:references:in-reply-to:from :organization:dkim-signature; bh=GgiboeYkvIe2GRHXMolVdzhyJfIsJ3v5wqSotBQmt0I=; b=wU4ego6pRYDziSBYHRU6+51opgz3Y4SGCEUHc5oZ+vsAicl88l8m+86BXSXIY7HaJU +dA59zmaAO02vp1kno3pgXl4x+wCG59Ki4+BswbxA1cBq2xhKM0acsuQy6ZwsXhbalha ISXf3r8sude1z07gvtaKrhomcbRhXQhVnGEHrrlcR7i2dXy3gLJE6qyftMiK3kPPUDHr Pk9ZbHIFQoIOORWND0zyHKNL5QGtU1Z4QSWeD+odn0rGvd7303eoSYM/WqvOrxAGKxZa yyVB8BFVlpam+vcaRGKfqTUPSnJ0yphkcjfFQqMbWlGZKOujkfkYri2Kxv1XwVzDoZkZ 62cA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=KtLAe057; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id li16-20020a17090b48d000b002199a16366csi9710829pjb.173.2023.01.09.15.12.24; Mon, 09 Jan 2023 15:12:30 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=KtLAe057; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S237209AbjAIWZF (ORCPT + 53 others); Mon, 9 Jan 2023 17:25:05 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:48416 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230032AbjAIWZA (ORCPT ); Mon, 9 Jan 2023 17:25:00 -0500 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 4AC7B12A96 for ; Mon, 9 Jan 2023 14:24:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1673303052; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=GgiboeYkvIe2GRHXMolVdzhyJfIsJ3v5wqSotBQmt0I=; b=KtLAe057cFsbBf/V5ornyRYtp+bgEziVdnp/jOcfGz/hzpXH6QEn+muVlL75VXfg/L5M2U 2Mg2vhtzY6CYp+93Nduo2korqUA8V5jKw88usqAXHByILBHjVPSPMTmTDmM+fqjKqrnX1s hplimqV/MB3O0jWzZxFIRS/zczTCQWI= Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-184-ndBcVny2OPuBzEHSaQi-AQ-1; Mon, 09 Jan 2023 17:24:08 -0500 X-MC-Unique: ndBcVny2OPuBzEHSaQi-AQ-1 Received: from smtp.corp.redhat.com (int-mx07.intmail.prod.int.rdu2.redhat.com [10.11.54.7]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 2973C18E6204; Mon, 9 Jan 2023 22:24:08 +0000 (UTC) Received: from warthog.procyon.org.uk (unknown [10.33.36.87]) by smtp.corp.redhat.com (Postfix) with ESMTP id BB0E6140EBF5; Mon, 9 Jan 2023 22:24:06 +0000 (UTC) Organization: Red Hat UK Ltd. Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SI4 1TE, United Kingdom. Registered in England and Wales under Company Registration No. 3798903 From: David Howells In-Reply-To: References: <20230109173513.htfqbkrtqm52pnye@quack3> <167305160937.1521586.133299343565358971.stgit@warthog.procyon.org.uk> <167305166150.1521586.10220949115402059720.stgit@warthog.procyon.org.uk> <2008444.1673300255@warthog.procyon.org.uk> To: Jens Axboe Cc: dhowells@redhat.com, Jan Kara , Al Viro , Christoph Hellwig , Matthew Wilcox , Logan Gunthorpe , Christoph Hellwig , Jeff Layton , linux-fsdevel@vger.kernel.org, linux-block@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v4 7/7] iov_iter, block: Make bio structs pin pages rather than ref'ing if appropriate MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <2084838.1673303046.1@warthog.procyon.org.uk> Content-Transfer-Encoding: quoted-printable Date: Mon, 09 Jan 2023 22:24:06 +0000 Message-ID: <2084839.1673303046@warthog.procyon.org.uk> X-Scanned-By: MIMEDefang 3.1 on 10.11.54.7 X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Would you be okay with me flipping the logic of BIO_NO_PAGE_REF, so I end = up with: static void bio_release_page(struct bio *bio, struct page *page) { if (bio_flagged(bio, BIO_PAGE_PINNED)) unpin_user_page(page); if (bio_flagged(bio, BIO_PAGE_REFFED)) put_page(page); } See attached patch. David --- iov_iter, block: Make bio structs pin pages rather than ref'ing if appropr= iate Convert the block layer's bio code to use iov_iter_extract_pages() instead of iov_iter_get_pages(). This will pin pages or leave them unaltered rather than getting a ref on them as appropriate to the source iterator. The pages need to be pinned for DIO-read rather than having refs taken on them to prevent VM copy-on-write from malfunctioning during a concurrent fork() (the result of the I/O would otherwise end up only visible to the child process and not the parent). To implement this: (1) The BIO_NO_PAGE_REF flag is renamed to BIO_PAGE_REFFED and has it's logic inverted. If set, this causes attached pages to be passed to put_page() during cleanup. (2) A BIO_PAGE_PINNED flag is provided as well. If set, this causes attached pages to be passed to unpin_user_page() during cleanup. (3) BIO_PAGE_REFFED is set by default and BIO_PAGE_PINNED is cleared by default when the bio is (re-)initialised. (4) If iov_iter_extract_pages() indicates FOLL_GET, this causes BIO_PAGE_REFFED to be set and if FOLL_PIN is indicated, this causes BIO_PAGE_PINNED to be set. If it returns neither FOLL_* flag, then both BIO_PAGE_* flags will be cleared. Mixed sets are not supported. (5) Cloned bio structs have both flags cleared. (6) bio_release_pages() will do the release if either BIO_PAGE_* flag is set. [!] Note that this is tested a bit with ext4, but nothing else. Signed-off-by: David Howells cc: Al Viro cc: Jens Axboe cc: Christoph Hellwig cc: Matthew Wilcox cc: Logan Gunthorpe --- block/bio.c | 60 ++++++++++++++++++++++++++++++++++------= ------ include/linux/bio.h | 3 +- include/linux/blk_types.h | 3 +- 3 files changed, 49 insertions(+), 17 deletions(-) diff --git a/block/bio.c b/block/bio.c index 5f96fcae3f75..5b9f9fc62345 100644 --- a/block/bio.c +++ b/block/bio.c @@ -243,6 +243,11 @@ static void bio_free(struct bio *bio) * Users of this function have their own bio allocation. Subsequently, * they must remember to pair any call to bio_init() with bio_uninit() * when IO has completed, or when the bio is released. + * + * We set the initial assumption that pages attached to the bio will be + * released with put_page() by setting BIO_PAGE_REFFED, but this should b= e set + * to BIO_PAGE_PINNED if the page should be unpinned instead; if the page= s + * should not be put or unpinned, these flags should be cleared. */ void bio_init(struct bio *bio, struct block_device *bdev, struct bio_vec = *table, unsigned short max_vecs, blk_opf_t opf) @@ -274,6 +279,7 @@ void bio_init(struct bio *bio, struct block_device *bd= ev, struct bio_vec *table, #ifdef CONFIG_BLK_DEV_INTEGRITY bio->bi_integrity =3D NULL; #endif + bio_set_flag(bio, BIO_PAGE_REFFED); bio->bi_vcnt =3D 0; = atomic_set(&bio->__bi_remaining, 1); @@ -302,6 +308,8 @@ void bio_reset(struct bio *bio, struct block_device *b= dev, blk_opf_t opf) { bio_uninit(bio); memset(bio, 0, BIO_RESET_BYTES); + bio_set_flag(bio, BIO_PAGE_REFFED); + bio_clear_flag(bio, BIO_PAGE_PINNED); atomic_set(&bio->__bi_remaining, 1); bio->bi_bdev =3D bdev; if (bio->bi_bdev) @@ -814,6 +822,8 @@ static int __bio_clone(struct bio *bio, struct bio *bi= o_src, gfp_t gfp) bio_set_flag(bio, BIO_CLONED); bio->bi_ioprio =3D bio_src->bi_ioprio; bio->bi_iter =3D bio_src->bi_iter; + bio_clear_flag(bio, BIO_PAGE_REFFED); + bio_clear_flag(bio, BIO_PAGE_PINNED); = if (bio->bi_bdev) { if (bio->bi_bdev =3D=3D bio_src->bi_bdev && @@ -1168,6 +1178,18 @@ bool bio_add_folio(struct bio *bio, struct folio *f= olio, size_t len, return bio_add_page(bio, &folio->page, len, off) > 0; } = +/* + * Clean up a page according to the mode indicated by iov_iter_extract_pa= ges(), + * where the page is may be pinned or may have a ref taken on it. + */ +static void bio_release_page(struct bio *bio, struct page *page) +{ + if (bio_flagged(bio, BIO_PAGE_PINNED)) + unpin_user_page(page); + if (bio_flagged(bio, BIO_PAGE_REFFED)) + put_page(page); +} + void __bio_release_pages(struct bio *bio, bool mark_dirty) { struct bvec_iter_all iter_all; @@ -1176,7 +1198,7 @@ void __bio_release_pages(struct bio *bio, bool mark_= dirty) bio_for_each_segment_all(bvec, bio, iter_all) { if (mark_dirty && !PageCompound(bvec->bv_page)) set_page_dirty_lock(bvec->bv_page); - put_page(bvec->bv_page); + bio_release_page(bio, bvec->bv_page); } } EXPORT_SYMBOL_GPL(__bio_release_pages); @@ -1198,7 +1220,7 @@ void bio_iov_bvec_set(struct bio *bio, struct iov_it= er *iter) bio->bi_io_vec =3D (struct bio_vec *)iter->bvec; bio->bi_iter.bi_bvec_done =3D iter->iov_offset; bio->bi_iter.bi_size =3D size; - bio_set_flag(bio, BIO_NO_PAGE_REF); + bio_clear_flag(bio, BIO_PAGE_REFFED); bio_set_flag(bio, BIO_CLONED); } = @@ -1213,7 +1235,7 @@ static int bio_iov_add_page(struct bio *bio, struct = page *page, } = if (same_page) - put_page(page); + bio_release_page(bio, page); return 0; } = @@ -1227,7 +1249,7 @@ static int bio_iov_add_zone_append_page(struct bio *= bio, struct page *page, queue_max_zone_append_sectors(q), &same_page) !=3D len) return -EINVAL; if (same_page) - put_page(page); + bio_release_page(bio, page); return 0; } = @@ -1238,10 +1260,10 @@ static int bio_iov_add_zone_append_page(struct bio= *bio, struct page *page, * @bio: bio to add pages to * @iter: iov iterator describing the region to be mapped * - * Pins pages from *iter and appends them to @bio's bvec array. The - * pages will have to be released using put_page() when done. - * For multi-segment *iter, this function only adds pages from the - * next non-empty segment of the iov iterator. + * Pins pages from *iter and appends them to @bio's bvec array. The page= s will + * have to be released using put_page() or unpin_user_page() when done as + * according to bi_cleanup_mode. For multi-segment *iter, this function = only + * adds pages from the next non-empty segment of the iov iterator. */ static int __bio_iov_iter_get_pages(struct bio *bio, struct iov_iter *ite= r) { @@ -1249,7 +1271,7 @@ static int __bio_iov_iter_get_pages(struct bio *bio,= struct iov_iter *iter) unsigned short entries_left =3D bio->bi_max_vecs - bio->bi_vcnt; struct bio_vec *bv =3D bio->bi_io_vec + bio->bi_vcnt; struct page **pages =3D (struct page **)bv; - unsigned int gup_flags =3D 0; + unsigned int gup_flags =3D 0, cleanup_mode; ssize_t size, left; unsigned len, i =3D 0; size_t offset, trim; @@ -1273,12 +1295,20 @@ static int __bio_iov_iter_get_pages(struct bio *bi= o, struct iov_iter *iter) * result to ensure the bio's total size is correct. The remainder of * the iov data will be picked up in the next bio iteration. */ - size =3D iov_iter_get_pages(iter, pages, - UINT_MAX - bio->bi_iter.bi_size, - nr_pages, &offset, gup_flags); + size =3D iov_iter_extract_pages(iter, &pages, + UINT_MAX - bio->bi_iter.bi_size, + nr_pages, gup_flags, + &offset, &cleanup_mode); if (unlikely(size <=3D 0)) return size ? size : -EFAULT; = + bio_clear_flag(bio, BIO_PAGE_REFFED); + bio_clear_flag(bio, BIO_PAGE_PINNED); + if (cleanup_mode & FOLL_GET) + bio_set_flag(bio, BIO_PAGE_REFFED); + if (cleanup_mode & FOLL_PIN) + bio_set_flag(bio, BIO_PAGE_PINNED); + nr_pages =3D DIV_ROUND_UP(offset + size, PAGE_SIZE); = trim =3D size & (bdev_logical_block_size(bio->bi_bdev) - 1); @@ -1308,7 +1338,7 @@ static int __bio_iov_iter_get_pages(struct bio *bio,= struct iov_iter *iter) iov_iter_revert(iter, left); out: while (i < nr_pages) - put_page(pages[i++]); + bio_release_page(bio, pages[i++]); = return ret; } @@ -1489,8 +1519,8 @@ void bio_set_pages_dirty(struct bio *bio) * the BIO and re-dirty the pages in process context. * * It is expected that bio_check_pages_dirty() will wholly own the BIO fr= om - * here on. It will run one put_page() against each page and will run on= e - * bio_put() against the BIO. + * here on. It will run one put_page() or unpin_user_page() against each= page + * and will run one bio_put() against the BIO. */ = static void bio_dirty_fn(struct work_struct *work); diff --git a/include/linux/bio.h b/include/linux/bio.h index 22078a28d7cb..1c6f051f6ff2 100644 --- a/include/linux/bio.h +++ b/include/linux/bio.h @@ -482,7 +482,8 @@ void zero_fill_bio(struct bio *bio); = static inline void bio_release_pages(struct bio *bio, bool mark_dirty) { - if (!bio_flagged(bio, BIO_NO_PAGE_REF)) + if (bio_flagged(bio, BIO_PAGE_REFFED) || + bio_flagged(bio, BIO_PAGE_PINNED)) __bio_release_pages(bio, mark_dirty); } = diff --git a/include/linux/blk_types.h b/include/linux/blk_types.h index 99be590f952f..7a2d2b2cf3a0 100644 --- a/include/linux/blk_types.h +++ b/include/linux/blk_types.h @@ -318,7 +318,8 @@ struct bio { * bio flags */ enum { - BIO_NO_PAGE_REF, /* don't put release vec pages */ + BIO_PAGE_REFFED, /* Pages need refs putting (see FOLL_GET) */ + BIO_PAGE_PINNED, /* Pages need pins unpinning (see FOLL_PIN) */ BIO_CLONED, /* doesn't own data */ BIO_BOUNCED, /* bio is a bounce bio */ BIO_QUIET, /* Make BIO Quiet */