Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755254AbYGaSNm (ORCPT ); Thu, 31 Jul 2008 14:13:42 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1752919AbYGaSNa (ORCPT ); Thu, 31 Jul 2008 14:13:30 -0400 Received: from fxip-0047f.externet.hu ([88.209.222.127]:42376 "EHLO pomaz-ex.szeredi.hu" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753315AbYGaSN3 (ORCPT ); Thu, 31 Jul 2008 14:13:29 -0400 To: torvalds@linux-foundation.org CC: nickpiggin@yahoo.com.au, miklos@szeredi.hu, jens.axboe@oracle.com, akpm@linux-foundation.org, linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org In-reply-to: (message from Linus Torvalds on Thu, 31 Jul 2008 10:00:17 -0700 (PDT)) Subject: Re: [patch v3] splice: fix race with page invalidation References: <200807312259.43402.nickpiggin@yahoo.com.au> Message-Id: From: Miklos Szeredi Date: Thu, 31 Jul 2008 20:13:09 +0200 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1325 Lines: 28 On Thu, 31 Jul 2008, Linus Torvalds wrote: > On Thu, 31 Jul 2008, Nick Piggin wrote: > > > > It seems like the right way to fix this would be to allow the splicing > > process to be notified of a short read, in which case it could try to > > refill the pipe with the unread bytes... > > Hmm. That should certainly work with the splice model. The users of the > data wouldn't eat (or ignore) the invalid data, they'd just say "invalid > data", and stop. And it would be up to the other side to handle it (it > can see the state of the pipe, we can make it both wake up POLL_ERR _and_ > return an error if somebody tries to write to a "blocked" pipe). > > So yes, that's very possible, but it obviously requires splice() users to > be able to handle more cases. I'm not sure it's realistic to expect users > to be that advanced. Worse, it's not guaranteed to make any progress. E.g. on NFS server with data being continually updated, cache on the client will basically always be invalid, so the above scheme might just repeat the splices forever without success. Miklos -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/