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;
From:   Chuck Lever III <chuck.lever@oracle.com>
To:     David Howells <dhowells@redhat.com>
CC:     Matthew Wilcox <willy@infradead.org>,
        "David S. Miller" <davem@davemloft.net>,
        Eric Dumazet <edumazet@google.com>,
        Jakub Kicinski <kuba@kernel.org>,
        Paolo Abeni <pabeni@redhat.com>,
        Al Viro <viro@zeniv.linux.org.uk>,
        Christoph Hellwig <hch@infradead.org>,
        Jens Axboe <axboe@kernel.dk>, Jeff Layton <jlayton@kernel.org>,
        Christian Brauner <brauner@kernel.org>,
        Linus Torvalds <torvalds@linux-foundation.org>,
        "open list:NETWORKING [GENERAL]" <netdev@vger.kernel.org>,
        linux-fsdevel <linux-fsdevel@vger.kernel.org>,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
        Linux Memory Management List <linux-mm@kvack.org>,
        Trond Myklebust <trond.myklebust@hammerspace.com>,
        Anna Schumaker <anna@kernel.org>,
        Linux NFS Mailing List <linux-nfs@vger.kernel.org>
Subject: Re: [RFC PATCH v2 40/48] sunrpc: Use sendmsg(MSG_SPLICE_PAGES) rather
 then sendpage
Thread-Topic: [RFC PATCH v2 40/48] sunrpc: Use sendmsg(MSG_SPLICE_PAGES)
 rather then sendpage
Thread-Index: AQHZYkj+dLwZN/D8CEye9eJOITPkS68R4ZoAgAFpS4CAAAQ3AIAAAxGA
Date:   Thu, 30 Mar 2023 13:27:30 +0000
Message-ID: <3A132FA8-A764-416E-9753-08E368D6877A@oracle.com>
References: <812034.1680181285@warthog.procyon.org.uk>
 <6F2985FF-2474-4F36-BD94-5F8E97E46AC2@oracle.com>
 <20230329141354.516864-1-dhowells@redhat.com>
 <20230329141354.516864-41-dhowells@redhat.com>
 <812755.1680182190@warthog.procyon.org.uk>
In-Reply-To: <812755.1680182190@warthog.procyon.org.uk>
Accept-Language: en-US
Content-Language: en-US
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?1yMYFA1tQVIPgV1u80yNwrc54fZVh/oz8N91cVPbwsq37gWz0jsWlapPvmkw?=
 =?us-ascii?Q?cOGiQ/my5SSFI2FX+LXUnhQvx7Rn0ofRHLHeDzh7zGS6gEHuqRgiyMPkbM3e?=
 =?us-ascii?Q?NzjzPiaN6evmtjqsGPHgpbxZOTWH6UEFb8xEi0VayGUDACtm9eKWCuAs+7Lx?=
 =?us-ascii?Q?ajm0cCHIZCNXcuX2+fErQ+M6sO04qwnLtFpMUYboIHcK3dojXd5D8EO5OSNw?=
 =?us-ascii?Q?Xe3XBsOJhjOjUvFqzAF4vMlwOqQ/KC8AQXsbtc+yLyDMNwWom03IEDNfqsW5?=
 =?us-ascii?Q?8nR0ciRKKxusVB7nWFTZmANi+1/O9Vork9asgD77a3XMPZb2Zp8TYGrjZmtg?=
 =?us-ascii?Q?6SVsWEzTTZCHSoyuqF1rF3c+cApFVeGZo74twyBNrtgkXiKvjd8cpbKM48r0?=
 =?us-ascii?Q?AwUX5CXk1kDnR8JZlhDuLVCTAZ2rkBehStklN6OfO5TdkhPmvQQl9DFFEmRT?=
 =?us-ascii?Q?Lg7YeMoEtN96WpkxcPzqjwIxy4vvfioFd9OERZ2l8Cq6YgOkw9nn5yRzrtOa?=
 =?us-ascii?Q?HWBACr0IZFCHLAg9iuDr+4oKrI3n/TgUVUZwf5od34Gtxzr2O0WNu7d6Cd3u?=
 =?us-ascii?Q?1cqz2du6jZYMtXg43yzSIvwskKX26oW0nVoy6rjRlLpd6O4WQ38DCd8AFHkn?=
 =?us-ascii?Q?npkDQj05nGGxkOPLpMt1F5BqFOvH+p5TQKCyy4FbotpUUPn+dwYPHgpO9E/P?=
 =?us-ascii?Q?mD/DtU1Eja2MISCH9VgFH1Yhb5bjCWxH+itEoTpupvbIxtW4wgLVyiS7U+XC?=
 =?us-ascii?Q?ZMHsEXxcbkpke59957myuT0rzetKhVFWhQqOEhKAR4wHo36qPjm4uXNCvU16?=
 =?us-ascii?Q?7M2Hd7Ulqd+HtdCyFgTmlgaHYiE+5iZwi1R6VkDJ4ZopyL0NJmvZq1C0iWC2?=
 =?us-ascii?Q?kEmvb/UUEJAF+JIH/aPfxh84lj20djgu03klj73bKARoyoMaUkp+QYpwwNq7?=
 =?us-ascii?Q?LrLDy9rm3RGYFBdGmLwyI6CwVQLgizRoOQsYYLsvOoZZZaJicL/Ne1qsxEFm?=
 =?us-ascii?Q?yUQDx4rAXMrhANg6pCVTeGlNElDN1ZFdyfZEYNMTFSpt8TUsr3183Dyr3fmj?=
 =?us-ascii?Q?lp+bpCGr6GY4xscwM53PuPC5QDu4LumsQ8fHCGpOrzwlRkwrojuUHYr2WNyx?=
 =?us-ascii?Q?BOHN8GvEAS/7nWZJd7eVX59Cqh54+5c4PJxqOWWVIWtYbY+D9hwIkfd1FgZV?=
 =?us-ascii?Q?OP1KiIjP2SyKta//va/3n76mA5Fngo/ygam5wFIHEwhwm8yHnOq1nsiHOUrK?=
 =?us-ascii?Q?9ILltgcUX+SctQqM4VB3Z07yzpk0Iuj4Dqb7pCheJkRq5545yX9fJMziDfKh?=
 =?us-ascii?Q?bh7gt4IXnNcwoON9OJnGqD6QhGtLkeiE+UsJwxE2U7mIKDVPg95l2CNm0uSd?=
 =?us-ascii?Q?2wK/71tbJDkmvfvNep19NbX9cAm7GXokQToxOrRLVkB+EwFOz36I0jNr+NlW?=
 =?us-ascii?Q?PkA5/I7g3WONY8ZhEsRn4H+vsrJv3YUnAdQFF9+LUcDkJ1zw3ZHEgWfEoaZf?=
 =?us-ascii?Q?h9RmcQti7xFjh5Y5AqofwX6FjjoeIG1ubIn/yGSWHEaGnz1z8g8H3AuQ4SQN?=
 =?us-ascii?Q?5jshBf97Erkl4Lx4oTJz39DY5u0V783YZHK9pjO1nDcrVSy5UaYqiEdqQRpI?=
 =?us-ascii?Q?DQ=3D=3D?=
Content-Type: text/plain; charset="us-ascii"
Content-ID: <73F49870D6A00B49A1716882E34272E5@namprd10.prod.outlook.com>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?us-ascii?Q?ZzNmNctZiVRYAsO0jD6nwepcqmwuRVj6vDxfsdxctqRUoZgQZfm0psboFw/B?=
 =?us-ascii?Q?nD+QPxRcQQhn11LXvJtDAfGc0bo1NQxTMST7cVmu97GcSZZLckaz4aw4gS00?=
 =?us-ascii?Q?+C5/+QbSzX8Ua2RJRQZ53Rm0jg2c9EHBHZ5QtQhhlD3AnF/1K+bEb4n3kwDp?=
 =?us-ascii?Q?ZlonkmK2ElG7YpPGM1n3LDgdX6EAAKvZ2Q3ma2iD0SndMedTclrq6+oFBaC/?=
 =?us-ascii?Q?TA0hYhw6gCd0ivbRP3toz/F/t/oJAUIievCNvqfauIXoY/ebQrYCOhylXEJr?=
 =?us-ascii?Q?YxqzIS8lN+P1WwUMbt+qy1RWXBhbe7mxbbIPsal5/vvnTXESn5R0wKSLWbHB?=
 =?us-ascii?Q?v5Rhxo0OORyhmIleR+AUb4SyqvUEZ8f31Om7VYDPMY3G9Bp/zEQmKpr8XcRu?=
 =?us-ascii?Q?ExednjDTKRL/OHwVDMPMD3VLcJjhevWfzIQlhN+DgWAnNnrnMW16ElC3wbKw?=
 =?us-ascii?Q?+AIB51JiBvxYx3jS87hegW74EPNco21qovMIUhct0sMOaAy8SflY1kqkcUTJ?=
 =?us-ascii?Q?1TmVY3KWNKwRdnwSIBFJHBycO/vPyIE/7APvAnrYrVXX2MzLJDjIZ5KXqmtv?=
 =?us-ascii?Q?zrgmbGncQonIfDNi+o51vtCCi3a1wLyO3ptSUK8tmNj0JjgY2s6KOO3VmwJI?=
 =?us-ascii?Q?mrvfqfiIaa8WFyxTIY3tFj7uF2L8P4nersrBx0uIe2EUqHiaQUBE7NNQ/CJ1?=
 =?us-ascii?Q?Sh9jDNbxiPn8m/hwFSr6UQgtotEMuyLSAHF8yUdgILNtYVko/M09nUKZkiml?=
 =?us-ascii?Q?IFkJZQrfa3rtMIFlg/OQvM7Qw3uO9e+ch9Jv5Sr/upXNP4vPSw+vXqh+FFRy?=
 =?us-ascii?Q?X14MzDxb0hIGDYBwHam09fFj+h6u6l7+JvMM/HlsqL810Z69tN49lpAu+ZvM?=
 =?us-ascii?Q?56Jo5MZUgaF5iR0gfLwnTsvfuX54sZ8MSUpICbf4f82EnFFRd0JxEP41EFyE?=
 =?us-ascii?Q?C9QfZj7v0z/YuKCGwk2L1wLm8/KvDdUhyVuOAp4ya9bv6pXRW1MhSf2BgKt+?=
 =?us-ascii?Q?TgfOYKZ/EYxGFc8zItSdbC78XtW16yHMagrUjp3JmsNhMKD0C1cCAqvw4CoH?=
 =?us-ascii?Q?YeEtMgwv+E76Gm46elD6WQF7bmoE2Ez3v+UtfD5KFdQSXEYM3xKR0oOzc8HF?=
 =?us-ascii?Q?k35k1ltEOLd3?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: BN0PR10MB5128.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 35e60ebe-865d-40b7-ea07-08db3122836e
X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Mar 2023 13:27:30.6753
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: nskeAQ9JLm1sD5lQ1c00EeHZA9rXBrcuTlyiaPrXkB1GUueHdk9ts66oNwr7FILKDrjp0i4luLayius00wtuMw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB5892
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22
 definitions=2023-03-30_08,2023-03-30_03,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0
 phishscore=0 suspectscore=0 malwarescore=0 spamscore=0 mlxscore=0
 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2303200000 definitions=main-2303300106
X-Proofpoint-GUID: HjcaDIeBTD7QhJfj7vt8qBMXwFoLGHPT
X-Proofpoint-ORIG-GUID: HjcaDIeBTD7QhJfj7vt8qBMXwFoLGHPT
X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
        DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,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: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


> On Mar 30, 2023, at 9:16 AM, David Howells <dhowells@redhat.com> wrote:
>=20
> David Howells <dhowells@redhat.com> wrote:
>=20
>> Chuck Lever III <chuck.lever@oracle.com> wrote:
>>=20
>>> Simply replacing the kernel_sendpage() loop would be a
>>> straightforward change and easy to evaluate and test, and
>>> I'd welcome that without hesitation.
>>=20
>> How about the attached for a first phase?
>>=20
>> It does three sendmsgs, one for the marker + header, one for the body an=
d one
>> for the tail.
>=20
> ... And this as a second phase.
>=20
> David
> ---
> sunrpc: Allow xdr->bvec[] to be extended to do a single sendmsg
>=20
> Allow xdr->bvec[] to be extended and insert the marker, the header and th=
e
> tail into it so that a single sendmsg() can be used to transmit the messa=
ge.

Don't. Just change svc_tcp_send_kvec() to use sock_sendmsg, and
leave the marker alone for now, please.

Let's focus on replacing kernel_sendpage() in this series and
leave the deeper clean-ups for another time.


> I wonder if it would be possible to insert the marker at the beginning of=
 the
> head buffer.

That's the way it used to work. The reason we don't do that is
because each transport has its own record marking mechanism.

UDP has nothing, since each RPC message is encapsulated in a
single datagram. RDMA has a full XDR-encoded header which
contains the location of data chunks to be moved via RDMA.


> Signed-off-by: David Howells <dhowells@redhat.com>
> cc: Trond Myklebust <trond.myklebust@hammerspace.com>
> cc: Anna Schumaker <anna@kernel.org>
> cc: Chuck Lever <chuck.lever@oracle.com>
> cc: Jeff Layton <jlayton@kernel.org>
> cc: "David S. Miller" <davem@davemloft.net>
> cc: Eric Dumazet <edumazet@google.com>
> cc: Jakub Kicinski <kuba@kernel.org>
> cc: Paolo Abeni <pabeni@redhat.com>
> cc: Jens Axboe <axboe@kernel.dk>
> cc: Matthew Wilcox <willy@infradead.org>
> cc: linux-nfs@vger.kernel.org
> cc: netdev@vger.kernel.org
> ---
> include/linux/sunrpc/xdr.h |    2 -
> net/sunrpc/svcsock.c       |   46 ++++++++++++++-------------------------=
------
> net/sunrpc/xdr.c           |   19 ++++++++++--------
> net/sunrpc/xprtsock.c      |    6 ++---
> 4 files changed, 30 insertions(+), 43 deletions(-)
>=20
> diff --git a/include/linux/sunrpc/xdr.h b/include/linux/sunrpc/xdr.h
> index 72014c9216fc..c74ea483228b 100644
> --- a/include/linux/sunrpc/xdr.h
> +++ b/include/linux/sunrpc/xdr.h
> @@ -137,7 +137,7 @@ void	xdr_inline_pages(struct xdr_buf *, unsigned int,
> 			 struct page **, unsigned int, unsigned int);
> void	xdr_terminate_string(const struct xdr_buf *, const u32);
> size_t	xdr_buf_pagecount(const struct xdr_buf *buf);
> -int	xdr_alloc_bvec(struct xdr_buf *buf, gfp_t gfp);
> +int	xdr_alloc_bvec(struct xdr_buf *buf, gfp_t gfp, unsigned int head, un=
signed int tail);
> void	xdr_free_bvec(struct xdr_buf *buf);
>=20
> static inline __be32 *xdr_encode_array(__be32 *p, const void *s, unsigned=
 int len)
> diff --git a/net/sunrpc/svcsock.c b/net/sunrpc/svcsock.c
> index 14efcc08c6f8..e55761fe1ccf 100644
> --- a/net/sunrpc/svcsock.c
> +++ b/net/sunrpc/svcsock.c
> @@ -569,7 +569,7 @@ static int svc_udp_sendto(struct svc_rqst *rqstp)
> 	if (svc_xprt_is_dead(xprt))
> 		goto out_notconn;
>=20
> -	err =3D xdr_alloc_bvec(xdr, GFP_KERNEL);
> +	err =3D xdr_alloc_bvec(xdr, GFP_KERNEL, 0, 0);
> 	if (err < 0)
> 		goto out_unlock;
>=20
> @@ -1073,45 +1073,29 @@ static int svc_tcp_sendmsg(struct socket *sock, s=
truct xdr_buf *xdr,
> {
> 	const struct kvec *head =3D xdr->head;
> 	const struct kvec *tail =3D xdr->tail;
> -	struct kvec kv[2];
> -	struct msghdr msg =3D { .msg_flags =3D MSG_SPLICE_PAGES | MSG_MORE, };
> -	size_t sent;
> +	struct msghdr msg =3D { .msg_flags =3D MSG_SPLICE_PAGES, };
> +	size_t n;
> 	int ret;
>=20
> 	*sentp =3D 0;
> -	ret =3D xdr_alloc_bvec(xdr, GFP_KERNEL);
> +	ret =3D xdr_alloc_bvec(xdr, GFP_KERNEL, 2, 1);
> 	if (ret < 0)
> 		return ret;
>=20
> -	kv[0].iov_base =3D &marker;
> -	kv[0].iov_len =3D sizeof(marker);
> -	kv[1] =3D *head;
> -	iov_iter_kvec(&msg.msg_iter, ITER_SOURCE, kv, 2, sizeof(marker) + head-=
>iov_len);
> +	n =3D 2 + xdr_buf_pagecount(xdr);
> +	bvec_set_virt(&xdr->bvec[0], &marker, sizeof(marker));
> +	bvec_set_virt(&xdr->bvec[1], head->iov_base, head->iov_len);
> +	bvec_set_virt(&xdr->bvec[n], tail->iov_base, tail->iov_len);
> +	if (tail->iov_len)
> +		n++;
> +	iov_iter_bvec(&msg.msg_iter, ITER_SOURCE, xdr->bvec, n,
> +		      sizeof(marker) + xdr->len);
> 	ret =3D sock_sendmsg(sock, &msg);
> 	if (ret < 0)
> 		return ret;
> -	sent =3D ret;
> -
> -	if (!tail->iov_len)
> -		msg.msg_flags &=3D ~MSG_MORE;
> -	iov_iter_bvec(&msg.msg_iter, ITER_SOURCE, xdr->bvec,
> -		      xdr_buf_pagecount(xdr), xdr->page_len);
> -	ret =3D sock_sendmsg(sock, &msg);
> -	if (ret < 0)
> -		return ret;
> -	sent +=3D ret;
> -
> -	if (tail->iov_len) {
> -		msg.msg_flags &=3D ~MSG_MORE;
> -		iov_iter_kvec(&msg.msg_iter, ITER_SOURCE, tail, 1, tail->iov_len);
> -		ret =3D sock_sendmsg(sock, &msg);
> -		if (ret < 0)
> -			return ret;
> -		sent +=3D ret;
> -	}
> -	if (sent > 0)
> -		*sentp =3D sent;
> -	if (sent !=3D sizeof(marker) + xdr->len)
> +	if (ret > 0)
> +		*sentp =3D ret;
> +	if (ret !=3D sizeof(marker) + xdr->len)
> 		return -EAGAIN;
> 	return 0;
> }
> diff --git a/net/sunrpc/xdr.c b/net/sunrpc/xdr.c
> index 36835b2f5446..695821963849 100644
> --- a/net/sunrpc/xdr.c
> +++ b/net/sunrpc/xdr.c
> @@ -141,18 +141,21 @@ size_t xdr_buf_pagecount(const struct xdr_buf *buf)
> }
>=20
> int
> -xdr_alloc_bvec(struct xdr_buf *buf, gfp_t gfp)
> +xdr_alloc_bvec(struct xdr_buf *buf, gfp_t gfp, unsigned int head, unsign=
ed int tail)
> {
> -	size_t i, n =3D xdr_buf_pagecount(buf);
> +	size_t i, j =3D 0, n =3D xdr_buf_pagecount(buf);
>=20
> -	if (n !=3D 0 && buf->bvec =3D=3D NULL) {
> -		buf->bvec =3D kmalloc_array(n, sizeof(buf->bvec[0]), gfp);
> +	if (head + n + tail !=3D 0 && buf->bvec =3D=3D NULL) {
> +		buf->bvec =3D kmalloc_array(head + n + tail,
> +					  sizeof(buf->bvec[0]), gfp);
> 		if (!buf->bvec)
> 			return -ENOMEM;
> -		for (i =3D 0; i < n; i++) {
> -			bvec_set_page(&buf->bvec[i], buf->pages[i], PAGE_SIZE,
> -				      0);
> -		}
> +		for (i =3D 0; i < head; i++)
> +			bvec_set_page(&buf->bvec[j++], NULL, 0, 0);
> +		for (i =3D 0; i < n; i++)
> +			bvec_set_page(&buf->bvec[j++], buf->pages[i], PAGE_SIZE, 0);
> +		for (i =3D 0; i < tail; i++)
> +			bvec_set_page(&buf->bvec[j++], NULL, 0, 0);
> 	}
> 	return 0;
> }
> diff --git a/net/sunrpc/xprtsock.c b/net/sunrpc/xprtsock.c
> index adcbedc244d6..fdf67e84b1c7 100644
> --- a/net/sunrpc/xprtsock.c
> +++ b/net/sunrpc/xprtsock.c
> @@ -825,7 +825,7 @@ static int xs_stream_nospace(struct rpc_rqst *req, bo=
ol vm_wait)
>=20
> static int xs_stream_prepare_request(struct rpc_rqst *req, struct xdr_buf=
 *buf)
> {
> -	return xdr_alloc_bvec(buf, rpc_task_gfp_mask());
> +	return xdr_alloc_bvec(buf, rpc_task_gfp_mask(), 0, 0);
> }
>=20
> /*
> @@ -954,7 +954,7 @@ static int xs_udp_send_request(struct rpc_rqst *req)
> 	if (!xprt_request_get_cong(xprt, req))
> 		return -EBADSLT;
>=20
> -	status =3D xdr_alloc_bvec(xdr, rpc_task_gfp_mask());
> +	status =3D xdr_alloc_bvec(xdr, rpc_task_gfp_mask(), 0, 0);
> 	if (status < 0)
> 		return status;
> 	req->rq_xtime =3D ktime_get();
> @@ -2591,7 +2591,7 @@ static int bc_sendto(struct rpc_rqst *req)
> 	int err;
>=20
> 	req->rq_xtime =3D ktime_get();
> -	err =3D xdr_alloc_bvec(xdr, rpc_task_gfp_mask());
> +	err =3D xdr_alloc_bvec(xdr, rpc_task_gfp_mask(), 0, 0);
> 	if (err < 0)
> 		return err;
> 	err =3D xprt_sock_sendmsg(transport->sock, &msg, xdr, 0, marker, &sent);
>=20

--
Chuck Lever