Received: by 2002:a05:7412:b10a:b0:f3:1519:9f41 with SMTP id az10csp878019rdb; Fri, 1 Dec 2023 00:28:09 -0800 (PST) X-Google-Smtp-Source: AGHT+IGOIr3zOS1bnoQ8d47sSFG29y3arJdgcGstFeBpA5AYtGPuD08fOIC8uxfxqpH4y+uGAs+q X-Received: by 2002:a05:6359:4a48:b0:170:8db:96a with SMTP id nb8-20020a0563594a4800b0017008db096amr1674946rwb.16.1701419289371; Fri, 01 Dec 2023 00:28:09 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1701419289; cv=none; d=google.com; s=arc-20160816; b=n2L/XhieemJ8UuHrZvwowfqlhVjiYqOwj4mrIpbzqz6duZ92fHAdqQ+5r5Tj2wcPUH /J6oeIqX0hYDjOYQ/04BYY+sxUNNtvTVA93uBdA6fa6v90Qu1jq7yYXdgymGPSyFnCPw y7M7WpxInYAXpahINBccYLwPgrfAqJjB9R+CoZg4LRPr7tvoq8lDRSPZmYf3NZT0MXHv V40bJJp2Oa/sWen/Vhrm8uBPBWUkMAIcA2eP1GQ9GQwKPsu1GTmLjefnriBKgq4MIrEA a2Jpp1H0FRinpEElbUvi7hb7PFF5PHYCBbdAH1MYywC2JS+n8sHwqM5uCP7GQDRTp6qn td+A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=TXlehmG2X8bR464lQdsPhRNIsLgCTWHUZUf/l+hBZHs=; fh=AWAEBjxV9MSSH99nsLdjgic8U9JBie1bMezqoUmfb2w=; b=bbUA5tkIgcUDPm5aAVfKZC3a7xFn0xCWHaFZbGtrghTPpMKvgwRG51wqASPICund/t BRCwksJb/al6Fu2WsxDWBhOaWVivaf4TNrn10Ws/hznX/zDNk22BAJXs5M4Uj8YQutVM E8F4lXviN8ObLFTM8jvHNjr57blHlJcgo4qAgKfKjUT5nqWnMF/RRJLxpZDoidARHZFa RT90GRH+r+LjsohbjFmyFyopwGbkFnmA0B4uAdBjlqYM8kbi0deOhbagGDTh+ErFzWKW p3+vk8ilN1hQUOvpUy0zohcY7J62xPrv1Je5LVea4noD6pHlYxX/lw+4UAUbtqtienGG 5Adg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=bEGxHlyd; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.33 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 lipwig.vger.email (lipwig.vger.email. [23.128.96.33]) by mx.google.com with ESMTPS id g64-20020a636b43000000b005bd043711cbsi3028666pgc.216.2023.12.01.00.28.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Dec 2023 00:28:09 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.33 as permitted sender) client-ip=23.128.96.33; Authentication-Results: mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=bEGxHlyd; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.33 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by lipwig.vger.email (Postfix) with ESMTP id 2A9FA81489D9; Fri, 1 Dec 2023 00:28:06 -0800 (PST) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.11 at lipwig.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1377754AbjLAI1v (ORCPT + 99 others); Fri, 1 Dec 2023 03:27:51 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:53478 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235234AbjLAI1u (ORCPT ); Fri, 1 Dec 2023 03:27:50 -0500 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id AED8B1712 for ; Fri, 1 Dec 2023 00:27:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1701419274; 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: in-reply-to:in-reply-to:references:references; bh=TXlehmG2X8bR464lQdsPhRNIsLgCTWHUZUf/l+hBZHs=; b=bEGxHlydsGQvpoP0dKv+bg+i8q+l8Ikcv3Fmsqic9+e6O0FS36Hah486uz2h0Xstl69q5D MPyDc9dMCdioMvYhr8dueQB9mXlFtfTW39O1t29/Ay6ErSyEUExSjfsdZEZvEcW0foIvFg 0EILgPpftF83hqEMn+QwI4gaWfyomTs= Received: from mail-ed1-f70.google.com (mail-ed1-f70.google.com [209.85.208.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-557-c_kRdytONJyfNQbx0f47aQ-1; Fri, 01 Dec 2023 03:27:53 -0500 X-MC-Unique: c_kRdytONJyfNQbx0f47aQ-1 Received: by mail-ed1-f70.google.com with SMTP id 4fb4d7f45d1cf-54c56bfb960so218490a12.3 for ; Fri, 01 Dec 2023 00:27:53 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701419272; x=1702024072; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=TXlehmG2X8bR464lQdsPhRNIsLgCTWHUZUf/l+hBZHs=; b=JVWer+JY3ustlnD2GwHYVIlELdL6Vru7R3KC3/yWjU+tKWkcFUG+POYo+5IQCGS27o 08Wfc21w62jD3eCpjUiktddy2eDFRSnKqwfOh4R0bUr20Jl/XjcxZCP3B6vj+iSyExBk bvTYT/rdMGDRJJo2uaEfnzVUnqDZCj/u+EHv4h40SQKJsI19QZlffwwWN3UYTKLlQn6z Tunr5jYMNutWAZFLNfIC8q/84G2SLJ2z3xEPdnuVa4yQqpRrEop0N2U8P9DSt1lUyZJj 3BZP9IKvAvUyI89dEhs8lRXNE0mejF6futLC1T1+X2A1H/FluSwoZXX/PldGOvxIE+NE /Y3w== X-Gm-Message-State: AOJu0Yx9ZqJ5j0E2Z6mqy80P9KKyFrgXRfXTyOsChaIU8kAzJB7OUPtp K7TiLKwyvnLjIXIw1z0iF0Vs2Gk7hfYxFFmfnm5yiybJ3EoOyTv+QAy4BypaE4MPBvon7++6RBs 6EH8Y/6uZXKDI8M54je6Y8g8r X-Received: by 2002:a50:8e42:0:b0:54a:e87c:4951 with SMTP id 2-20020a508e42000000b0054ae87c4951mr622237edx.41.1701419272336; Fri, 01 Dec 2023 00:27:52 -0800 (PST) X-Received: by 2002:a50:8e42:0:b0:54a:e87c:4951 with SMTP id 2-20020a508e42000000b0054ae87c4951mr622226edx.41.1701419271994; Fri, 01 Dec 2023 00:27:51 -0800 (PST) Received: from sgarzare-redhat (host-79-46-200-199.retail.telecomitalia.it. [79.46.200.199]) by smtp.gmail.com with ESMTPSA id bt15-20020a0564020a4f00b0054c63ebfa15sm125308edb.83.2023.12.01.00.27.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Dec 2023 00:27:51 -0800 (PST) Date: Fri, 1 Dec 2023 09:27:47 +0100 From: Stefano Garzarella To: "Michael S. Tsirkin" Cc: Arseniy Krasnov , Stefan Hajnoczi , "David S. Miller" , Eric Dumazet , Jakub Kicinski , Paolo Abeni , Jason Wang , Bobby Eshleman , kvm@vger.kernel.org, virtualization@lists.linux-foundation.org, netdev@vger.kernel.org, linux-kernel@vger.kernel.org, kernel@sberdevices.ru, oxffffaa@gmail.com Subject: Re: [PATCH net-next v5 2/3] virtio/vsock: send credit update during setting SO_RCVLOWAT Message-ID: References: <20231130130840.253733-1-avkrasnov@salutedevices.com> <20231130130840.253733-3-avkrasnov@salutedevices.com> <20231130084044-mutt-send-email-mst@kernel.org> <02de8982-ec4a-b3b2-e8e5-1bca28cfc01b@salutedevices.com> <20231130085445-mutt-send-email-mst@kernel.org> <20231130123815-mutt-send-email-mst@kernel.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Disposition: inline In-Reply-To: <20231130123815-mutt-send-email-mst@kernel.org> X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lipwig.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (lipwig.vger.email [0.0.0.0]); Fri, 01 Dec 2023 00:28:06 -0800 (PST) On Thu, Nov 30, 2023 at 12:40:43PM -0500, Michael S. Tsirkin wrote: >On Thu, Nov 30, 2023 at 03:11:19PM +0100, Stefano Garzarella wrote: >> On Thu, Nov 30, 2023 at 08:58:58AM -0500, Michael S. Tsirkin wrote: >> > On Thu, Nov 30, 2023 at 04:43:34PM +0300, Arseniy Krasnov wrote: >> > > >> > > >> > > On 30.11.2023 16:42, Michael S. Tsirkin wrote: >> > > > On Thu, Nov 30, 2023 at 04:08:39PM +0300, Arseniy Krasnov wrote: >> > > >> Send credit update message when SO_RCVLOWAT is updated and it is bigger >> > > >> than number of bytes in rx queue. It is needed, because 'poll()' will >> > > >> wait until number of bytes in rx queue will be not smaller than >> > > >> SO_RCVLOWAT, so kick sender to send more data. Otherwise mutual hungup >> > > >> for tx/rx is possible: sender waits for free space and receiver is >> > > >> waiting data in 'poll()'. >> > > >> >> > > >> Signed-off-by: Arseniy Krasnov >> > > >> --- >> > > >> Changelog: >> > > >> v1 -> v2: >> > > >> * Update commit message by removing 'This patch adds XXX' manner. >> > > >> * Do not initialize 'send_update' variable - set it directly during >> > > >> first usage. >> > > >> v3 -> v4: >> > > >> * Fit comment in 'virtio_transport_notify_set_rcvlowat()' to 80 chars. >> > > >> v4 -> v5: >> > > >> * Do not change callbacks order in transport structures. >> > > >> >> > > >> drivers/vhost/vsock.c | 1 + >> > > >> include/linux/virtio_vsock.h | 1 + >> > > >> net/vmw_vsock/virtio_transport.c | 1 + >> > > >> net/vmw_vsock/virtio_transport_common.c | 27 +++++++++++++++++++++++++ >> > > >> net/vmw_vsock/vsock_loopback.c | 1 + >> > > >> 5 files changed, 31 insertions(+) >> > > >> >> > > >> diff --git a/drivers/vhost/vsock.c b/drivers/vhost/vsock.c >> > > >> index f75731396b7e..4146f80db8ac 100644 >> > > >> --- a/drivers/vhost/vsock.c >> > > >> +++ b/drivers/vhost/vsock.c >> > > >> @@ -451,6 +451,7 @@ static struct virtio_transport vhost_transport = { >> > > >> .notify_buffer_size = virtio_transport_notify_buffer_size, >> > > >> >> > > >> .read_skb = virtio_transport_read_skb, >> > > >> + .notify_set_rcvlowat = virtio_transport_notify_set_rcvlowat >> > > >> }, >> > > >> >> > > >> .send_pkt = vhost_transport_send_pkt, >> > > >> diff --git a/include/linux/virtio_vsock.h b/include/linux/virtio_vsock.h >> > > >> index ebb3ce63d64d..c82089dee0c8 100644 >> > > >> --- a/include/linux/virtio_vsock.h >> > > >> +++ b/include/linux/virtio_vsock.h >> > > >> @@ -256,4 +256,5 @@ void virtio_transport_put_credit(struct virtio_vsock_sock *vvs, u32 credit); >> > > >> void virtio_transport_deliver_tap_pkt(struct sk_buff *skb); >> > > >> int virtio_transport_purge_skbs(void *vsk, struct sk_buff_head *list); >> > > >> int virtio_transport_read_skb(struct vsock_sock *vsk, skb_read_actor_t read_actor); >> > > >> +int virtio_transport_notify_set_rcvlowat(struct vsock_sock *vsk, int val); >> > > >> #endif /* _LINUX_VIRTIO_VSOCK_H */ >> > > >> diff --git a/net/vmw_vsock/virtio_transport.c b/net/vmw_vsock/virtio_transport.c >> > > >> index af5bab1acee1..8007593a3a93 100644 >> > > >> --- a/net/vmw_vsock/virtio_transport.c >> > > >> +++ b/net/vmw_vsock/virtio_transport.c >> > > >> @@ -539,6 +539,7 @@ static struct virtio_transport virtio_transport = { >> > > >> .notify_buffer_size = virtio_transport_notify_buffer_size, >> > > >> >> > > >> .read_skb = virtio_transport_read_skb, >> > > >> + .notify_set_rcvlowat = virtio_transport_notify_set_rcvlowat >> > > >> }, >> > > >> >> > > >> .send_pkt = virtio_transport_send_pkt, >> > > >> diff --git a/net/vmw_vsock/virtio_transport_common.c b/net/vmw_vsock/virtio_transport_common.c >> > > >> index f6dc896bf44c..1cb556ad4597 100644 >> > > >> --- a/net/vmw_vsock/virtio_transport_common.c >> > > >> +++ b/net/vmw_vsock/virtio_transport_common.c >> > > >> @@ -1684,6 +1684,33 @@ int virtio_transport_read_skb(struct vsock_sock *vsk, skb_read_actor_t recv_acto >> > > >> } >> > > >> EXPORT_SYMBOL_GPL(virtio_transport_read_skb); >> > > >> >> > > >> +int virtio_transport_notify_set_rcvlowat(struct vsock_sock *vsk, >> > > >> int val) >> > > >> +{ >> > > >> + struct virtio_vsock_sock *vvs = vsk->trans; >> > > >> + bool send_update; >> > > >> + >> > > >> + spin_lock_bh(&vvs->rx_lock); >> > > >> + >> > > >> + /* If number of available bytes is less than new SO_RCVLOWAT value, >> > > >> + * kick sender to send more data, because sender may sleep in >> > > >> its >> > > >> + * 'send()' syscall waiting for enough space at our side. >> > > >> + */ >> > > >> + send_update = vvs->rx_bytes < val; >> > > >> + >> > > >> + spin_unlock_bh(&vvs->rx_lock); >> > > >> + >> > > >> + if (send_update) { >> > > >> + int err; >> > > >> + >> > > >> + err = virtio_transport_send_credit_update(vsk); >> > > >> + if (err < 0) >> > > >> + return err; >> > > >> + } >> > > >> + >> > > >> + return 0; >> > > >> +} >> > > > >> > > > >> > > > I find it strange that this will send a credit update >> > > > even if nothing changed since this was called previously. >> > > > I'm not sure whether this is a problem protocol-wise, >> > > > but it certainly was not envisioned when the protocol was >> > > > built. WDYT? >> > > >> > > >From virtio spec I found: >> > > >> > > It is also valid to send a VIRTIO_VSOCK_OP_CREDIT_UPDATE packet without previously receiving a >> > > VIRTIO_VSOCK_OP_CREDIT_REQUEST packet. This allows communicating updates any time a change >> > > in buffer space occurs. >> > > So I guess there is no limitations to send such type of packet, e.g. it is not >> > > required to be a reply for some another packet. Please, correct me if im wrong. >> > > >> > > Thanks, Arseniy >> > >> > >> > Absolutely. My point was different - with this patch it is possible >> > that you are not adding any credits at all since the previous >> > VIRTIO_VSOCK_OP_CREDIT_UPDATE. >> >> I think the problem we're solving here is that since as an optimization we >> avoid sending the update for every byte we consume, but we put a threshold, >> then we make sure we update the peer. >> >> A credit update contains a snapshot and sending it the same as the previous >> one should not create any problem. > >Well it consumes a buffer on the other side. Sure, but we are already speculating by not updating the other side when we consume bytes before a certain threshold. This already avoids to consume many buffers. Here we're only sending it once, when the user sets RCVLOWAT, so basically I expect it won't affect performance. > >> My doubt now is that we only do this when we set RCVLOWAT , should we >> also >> do something when we consume bytes to avoid the optimization we have? >> >> Stefano > >Isn't this why we have credit request? Yep, but in practice we never use it. It would also consume 2 buffers, one at the transmitter and one at the receiver. However I agree that maybe we should start using it before we decide not to send any more data. To be compatible with older devices, though, I think for now we also need to send a credit update when the bytes in the receive queue are less than RCVLOWAT, as Arseniy proposed in the other series. Thanks, Stefano