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;
Subject: Re: [PATCH] /dev/zero: also implement ->read
To:     Christoph Hellwig <hch@lst.de>,
        Rasmus Villemoes <linux@rasmusvillemoes.dk>
Cc:     arnd@arndb.de, gregkh@linuxfoundation.org,
        christophe.leroy@csgroup.eu, linux-kernel@vger.kernel.org
References: <20200903155922.1111551-1-hch@lst.de>
 <8d430999-b155-dbfa-e7db-f414b48014b1@rasmusvillemoes.dk>
 <20200907062026.GA19076@lst.de>
From:   Rasmus Villemoes <linux@rasmusvillemoes.dk>
Message-ID: <4a981ee8-2d57-c7ce-a1ca-43ad237471d2@rasmusvillemoes.dk>
Date:   Mon, 7 Sep 2020 08:50:53 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <20200907062026.GA19076@lst.de>
Content-Type: text/plain; charset=windows-1252
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On 07/09/2020 08.20, Christoph Hellwig wrote:
> On Mon, Sep 07, 2020 at 12:34:37AM +0200, Rasmus Villemoes wrote:
>> On 03/09/2020 17.59, Christoph Hellwig wrote:
> 
>>> +static ssize_t read_zero(struct file *file, char __user *buf,
>>> +			 size_t count, loff_t *ppos)
>>> +{
>>> +	size_t cleared = 0;
>>> +
>>> +	while (count) {
>>> +		size_t chunk = min_t(size_t, count, PAGE_SIZE);
>>> +
>>> +		if (clear_user(buf + cleared, chunk))
>>> +			return cleared ? cleared : -EFAULT;
>>
>> Probably nobody really cares, but currently doing
>>
>> read(fd, &unmapped_page - 5, 123);
>>
>> returns 5, and those five bytes do get cleared; if I'm reading the above
>> right you'd return -EFAULT for that case.
>>
>>
>>> +		cleared += chunk;
>>> +		count -= chunk;
>>> +
>>> +		if (signal_pending(current))
>>> +			return cleared ? cleared : -ERESTARTSYS;
>>
>> I can't see how we can get here without 'cleared' being positive, so
>> this can just be 'return cleared' (and if you fix the above EFAULT case
>> to more accurately track how much got cleared, there's probably no
>> longer any code to be symmetric with anyway).
> 
> Yeah, I'll fix these up and resend.
> 

Actually, while you're micro-optimizing it, AFAIK VFS already handles
count==0, so you can avoid the initial branch and the last
cond_resched() by writing it something like

  while (1) {
    size_t chunk = min_t(size_t, count, PAGE_SIZE), c;
    c = chunk - clear_user(buf + cleared, chunk);
    if (unlikely(!c))
       return cleared ?: -EFAULT;
    cleared += c;
    count -= c;
    if (!count || signal_pending())
       return cleared;
    cond_resched();
  }

For the dd test case with the default bs=512 that avoids cond_resched()
and signal_pending() altogether.

Rasmus