Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752758AbdIVV5e (ORCPT ); Fri, 22 Sep 2017 17:57:34 -0400 Received: from userp1040.oracle.com ([156.151.31.81]:26693 "EHLO userp1040.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752521AbdIVV5a (ORCPT ); Fri, 22 Sep 2017 17:57:30 -0400 Subject: Re: [PATCH v4 09/13] xen/pvcalls: implement sendmsg To: Stefano Stabellini , xen-devel@lists.xen.org References: <1505516440-11111-1-git-send-email-sstabellini@kernel.org> <1505516440-11111-9-git-send-email-sstabellini@kernel.org> Cc: linux-kernel@vger.kernel.org, jgross@suse.com, Stefano Stabellini From: Boris Ostrovsky Message-ID: <692d6ac1-ef81-be8d-c77b-96d3bfe0b3b9@oracle.com> Date: Fri, 22 Sep 2017 17:57:08 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <1505516440-11111-9-git-send-email-sstabellini@kernel.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Source-IP: aserv0021.oracle.com [141.146.126.233] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2713 Lines: 99 > +static bool pvcalls_front_write_todo(struct sock_mapping *map) > +{ > + struct pvcalls_data_intf *intf = map->active.ring; > + RING_IDX cons, prod, size = XEN_FLEX_RING_SIZE(PVCALLS_RING_ORDER); > + int32_t error; > + > + cons = intf->out_cons; > + prod = intf->out_prod; > + error = intf->out_error; > + if (error == -ENOTCONN) > + return false; > + if (error != 0) > + return true; Just like below, error processing can be moved up. > + return !!(size - pvcalls_queued(prod, cons, size)); > +} > + > static irqreturn_t pvcalls_front_event_handler(int irq, void *dev_id) > { > struct xenbus_device *dev = dev_id; > @@ -363,6 +380,108 @@ int pvcalls_front_connect(struct socket *sock, struct sockaddr *addr, > return ret; > } > > +static int __write_ring(struct pvcalls_data_intf *intf, > + struct pvcalls_data *data, > + struct iov_iter *msg_iter, > + int len) > +{ > + RING_IDX cons, prod, size, masked_prod, masked_cons; > + RING_IDX array_size = XEN_FLEX_RING_SIZE(PVCALLS_RING_ORDER); > + int32_t error; > + > + error = intf->out_error; > + if (error < 0) > + return error; > + cons = intf->out_cons; > + prod = intf->out_prod; > + /* read indexes before continuing */ > + virt_mb(); > + > + size = pvcalls_queued(prod, cons, array_size); > + if (size >= array_size) > + return 0; Is it possible to have size > array_size? > + if (len > array_size - size) > + len = array_size - size; > + > + masked_prod = pvcalls_mask(prod, array_size); > + masked_cons = pvcalls_mask(cons, array_size); > + > + if (masked_prod < masked_cons) { > + copy_from_iter(data->out + masked_prod, len, msg_iter); > + } else { > + if (len > array_size - masked_prod) { > + copy_from_iter(data->out + masked_prod, > + array_size - masked_prod, msg_iter); > + copy_from_iter(data->out, > + len - (array_size - masked_prod), > + msg_iter); > + } else { > + copy_from_iter(data->out + masked_prod, len, msg_iter); > + } > + } > + /* write to ring before updating pointer */ > + virt_wmb(); > + intf->out_prod += len; > + > + return len; I know that you said you'd be changing len's type to int but now that I am looking at it I wonder whether you could pass len as a 'size_t *' and have this routine return error code (i.e. <=0). OTOH, we'd be mixing up types again since RING_IDX is an unsigned int. So I'll leave it to you (or anyone else reviewing this) to decide which way is better. > +} > + > +int pvcalls_front_sendmsg(struct socket *sock, struct msghdr *msg, > + size_t len) Also, the signature here looks suspicious --- you are trying to send 'size_t len' bytes but returning an int, which is how many bytes you've actually sent. Right? -boris