Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
From:   Jorgen Hansen <jhansen@vmware.com>
To:     Arseny Krasnov <arseny.krasnov@kaspersky.com>
CC:     Stefan Hajnoczi <stefanha@redhat.com>,
        Stefano Garzarella <sgarzare@redhat.com>,
        "Michael S. Tsirkin" <mst@redhat.com>,
        Jason Wang <jasowang@redhat.com>,
        "David S. Miller" <davem@davemloft.net>,
        Jakub Kicinski <kuba@kernel.org>,
        Andra Paraschiv <andraprs@amazon.com>,
        Colin Ian King <colin.king@canonical.com>,
        Norbert Slusarek <nslusarek@gmx.net>,
        "kvm@vger.kernel.org" <kvm@vger.kernel.org>,
        "virtualization@lists.linux-foundation.org" 
        <virtualization@lists.linux-foundation.org>,
        "netdev@vger.kernel.org" <netdev@vger.kernel.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "stsp2@yandex.ru" <stsp2@yandex.ru>,
        "oxffffaa@gmail.com" <oxffffaa@gmail.com>
Subject: Re: [RFC PATCH v5 02/19] af_vsock: separate wait data loop
Thread-Topic: [RFC PATCH v5 02/19] af_vsock: separate wait data loop
Thread-Index: AQHXBbgT8xYZjtD2jUmP/0PaXiKqaKpo9yOA
Date:   Thu, 25 Feb 2021 14:24:17 +0000
Message-ID: <E5526501-3A87-4349-8D7F-61782AA1F513@vmware.com>
References: <20210218053347.1066159-1-arseny.krasnov@kaspersky.com>
 <20210218053637.1066959-1-arseny.krasnov@kaspersky.com>
In-Reply-To: <20210218053637.1066959-1-arseny.krasnov@kaspersky.com>
Accept-Language: en-US
Content-Language: en-US
Content-Type: text/plain; charset="us-ascii"
Content-ID: <E2DA3715B3C2C74A87E35C2975B4238E@namprd05.prod.outlook.com>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 864d0d56-5c6f-4850-3a25-08d8d9990933
X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Feb 2021 14:24:17.9071
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: b39138ca-3cee-4b4a-a4d6-cd83d9dd62f0
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: ZnSOm+YiRDzpzUDUhKMVTXqBIhoZuOfLDKxCML+JZOmhu0D2VPdkkBhhJZ2Prs9KMPApMtjv5QADgDIsqeKZhA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR05MB4764
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


> On 18 Feb 2021, at 06:36, Arseny Krasnov <arseny.krasnov@kaspersky.com> w=
rote:
>=20
> This moves wait loop for data to dedicated function, because later
> it will be used by SEQPACKET data receive loop.
>=20
> Signed-off-by: Arseny Krasnov <arseny.krasnov@kaspersky.com>
> ---
> net/vmw_vsock/af_vsock.c | 155 +++++++++++++++++++++------------------
> 1 file changed, 83 insertions(+), 72 deletions(-)
>=20
> diff --git a/net/vmw_vsock/af_vsock.c b/net/vmw_vsock/af_vsock.c
> index 656370e11707..6cf7bb977aa1 100644
> --- a/net/vmw_vsock/af_vsock.c
> +++ b/net/vmw_vsock/af_vsock.c
> @@ -1832,6 +1832,68 @@ static int vsock_connectible_sendmsg(struct socket=
 *sock, struct msghdr *msg,
> 	return err;
> }
>=20
> +static int vsock_wait_data(struct sock *sk, struct wait_queue_entry *wai=
t,
> +			   long timeout,
> +			   struct vsock_transport_recv_notify_data *recv_data,
> +			   size_t target)
> +{
> +	const struct vsock_transport *transport;
> +	struct vsock_sock *vsk;
> +	s64 data;
> +	int err;
> +
> +	vsk =3D vsock_sk(sk);
> +	err =3D 0;
> +	transport =3D vsk->transport;
> +	prepare_to_wait(sk_sleep(sk), wait, TASK_INTERRUPTIBLE);
> +
> +	while ((data =3D vsock_stream_has_data(vsk)) =3D=3D 0) {

In the original code, the prepare_to_wait() is called for each iteration of=
 the while loop. In this
version, it is only called once. So if we do multiple iterations, the threa=
d would be in the
TASK_RUNNING state, and subsequent schedule_timeout() will return immediate=
ly. So
looks like the prepare_to_wait() should be move here, in case we have a spu=
rious wake_up.

> +		if (sk->sk_err !=3D 0 ||
> +		    (sk->sk_shutdown & RCV_SHUTDOWN) ||
> +		    (vsk->peer_shutdown & SEND_SHUTDOWN)) {
> +			break;
> +		}
> +
> +		/* Don't wait for non-blocking sockets. */
> +		if (timeout =3D=3D 0) {
> +			err =3D -EAGAIN;
> +			break;
> +		}
> +
> +		if (recv_data) {
> +			err =3D transport->notify_recv_pre_block(vsk, target, recv_data);
> +			if (err < 0)
> +				break;
> +		}
> +
> +		release_sock(sk);
> +		timeout =3D schedule_timeout(timeout);
> +		lock_sock(sk);
> +
> +		if (signal_pending(current)) {
> +			err =3D sock_intr_errno(timeout);
> +			break;
> +		} else if (timeout =3D=3D 0) {
> +			err =3D -EAGAIN;
> +			break;
> +		}
> +	}
> +
> +	finish_wait(sk_sleep(sk), wait);
> +
> +	if (err)
> +		return err;
> +
> +	/* Internal transport error when checking for available
> +	 * data. XXX This should be changed to a connection
> +	 * reset in a later change.
> +	 */
> +	if (data < 0)
> +		return -ENOMEM;
> +
> +	return data;
> +}
> +
> static int
> vsock_connectible_recvmsg(struct socket *sock, struct msghdr *msg, size_t=
 len,
> 			  int flags)
> @@ -1911,85 +1973,34 @@ vsock_connectible_recvmsg(struct socket *sock, st=
ruct msghdr *msg, size_t len,
>=20
>=20
> 	while (1) {
> -		s64 ready;
> -
> -		prepare_to_wait(sk_sleep(sk), &wait, TASK_INTERRUPTIBLE);
> -		ready =3D vsock_stream_has_data(vsk);
> -
> -		if (ready =3D=3D 0) {
> -			if (sk->sk_err !=3D 0 ||
> -			    (sk->sk_shutdown & RCV_SHUTDOWN) ||
> -			    (vsk->peer_shutdown & SEND_SHUTDOWN)) {
> -				finish_wait(sk_sleep(sk), &wait);
> -				break;
> -			}
> -			/* Don't wait for non-blocking sockets. */
> -			if (timeout =3D=3D 0) {
> -				err =3D -EAGAIN;
> -				finish_wait(sk_sleep(sk), &wait);
> -				break;
> -			}
> +		ssize_t read;
>=20
> -			err =3D transport->notify_recv_pre_block(
> -					vsk, target, &recv_data);
> -			if (err < 0) {
> -				finish_wait(sk_sleep(sk), &wait);
> -				break;
> -			}
> -			release_sock(sk);
> -			timeout =3D schedule_timeout(timeout);
> -			lock_sock(sk);
> +		err =3D vsock_wait_data(sk, &wait, timeout, &recv_data, target);
> +		if (err <=3D 0)
> +			break;
>=20
> -			if (signal_pending(current)) {
> -				err =3D sock_intr_errno(timeout);
> -				finish_wait(sk_sleep(sk), &wait);
> -				break;
> -			} else if (timeout =3D=3D 0) {
> -				err =3D -EAGAIN;
> -				finish_wait(sk_sleep(sk), &wait);
> -				break;
> -			}
> -		} else {
> -			ssize_t read;
> -
> -			finish_wait(sk_sleep(sk), &wait);
> -
> -			if (ready < 0) {
> -				/* Invalid queue pair content. XXX This should
> -				* be changed to a connection reset in a later
> -				* change.
> -				*/
> -
> -				err =3D -ENOMEM;
> -				goto out;
> -			}
> -
> -			err =3D transport->notify_recv_pre_dequeue(
> -					vsk, target, &recv_data);
> -			if (err < 0)
> -				break;
> +		err =3D transport->notify_recv_pre_dequeue(vsk, target,
> +							 &recv_data);
> +		if (err < 0)
> +			break;
>=20
> -			read =3D transport->stream_dequeue(
> -					vsk, msg,
> -					len - copied, flags);
> -			if (read < 0) {
> -				err =3D -ENOMEM;
> -				break;
> -			}
> +		read =3D transport->stream_dequeue(vsk, msg, len - copied, flags);
> +		if (read < 0) {
> +			err =3D -ENOMEM;
> +			break;
> +		}
>=20
> -			copied +=3D read;
> +		copied +=3D read;
>=20
> -			err =3D transport->notify_recv_post_dequeue(
> -					vsk, target, read,
> -					!(flags & MSG_PEEK), &recv_data);
> -			if (err < 0)
> -				goto out;
> +		err =3D transport->notify_recv_post_dequeue(vsk, target, read,
> +						!(flags & MSG_PEEK), &recv_data);
> +		if (err < 0)
> +			goto out;
>=20
> -			if (read >=3D target || flags & MSG_PEEK)
> -				break;
> +		if (read >=3D target || flags & MSG_PEEK)
> +			break;
>=20
> -			target -=3D read;
> -		}
> +		target -=3D read;
> 	}
>=20
> 	if (sk->sk_err)
> --=20
> 2.25.1
>=20