Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756054Ab1FFRFh (ORCPT ); Mon, 6 Jun 2011 13:05:37 -0400 Received: from casper.infradead.org ([85.118.1.10]:38934 "EHLO casper.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1755494Ab1FFRFg convert rfc822-to-8bit (ORCPT ); Mon, 6 Jun 2011 13:05:36 -0400 Subject: Re: Change in functionality of futex() system call. From: Peter Zijlstra To: Eric Dumazet Cc: David Oliver , linux-kernel@vger.kernel.org, Shawn Bohrer , Zachary Vonler , KOSAKI Motohiro , Hugh Dickins , Thomas Gleixner , Darren Hart , Ingo Molnar In-Reply-To: <1307378564.3098.67.camel@edumazet-laptop> References: <1307373819.3098.40.camel@edumazet-laptop> <1307376672.2322.167.camel@twins> <1307376989.2322.171.camel@twins> <1307377349.3098.65.camel@edumazet-laptop> <1307377782.2322.183.camel@twins> <1307378564.3098.67.camel@edumazet-laptop> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8BIT Date: Mon, 06 Jun 2011 19:05:26 +0200 Message-ID: <1307379926.2322.219.camel@twins> Mime-Version: 1.0 X-Mailer: Evolution 2.30.3 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1723 Lines: 41 On Mon, 2011-06-06 at 18:42 +0200, Eric Dumazet wrote: > Le lundi 06 juin 2011 à 18:29 +0200, Peter Zijlstra a écrit : > > On Mon, 2011-06-06 at 18:22 +0200, Eric Dumazet wrote: > > > Le lundi 06 juin 2011 à 18:16 +0200, Peter Zijlstra a écrit : > > > > > > > Hmm, wouldn't that still be susceptible to the zero-page thing if: we > > > > create a writable private file map of a sparse file, touch a page and > > > > then remap the thing RO? > > > > > > > > > > > > > > > > > > Also I am not sure how MAP_PRIVATE could be affected. If we still try a > > > RW gup()... It will allocate a page for us, instead of still pointing to > > > shared one. > > > > > > On previous kernel, the application using read-only mapping could use > > > MAP_PRIVATE or MAP_SHARED with same 'behavior' > > > > But by not forcing the COW you get different behaviour depending on when > > you call FUTEX_WAIT, surely that's not correct either? > > > As long as the current process never writes to the page holding the > futex, the page stay shared. Behavior should be same with PRIVATE or > SHARED ? Dunno, using futexes on private file maps is stupid imo, its just asking for trouble, ro private file maps are even worse. Forcing the COW is the only sane answer in that it gives consistent results and 'breaks' silly expectations early instead of sometimes. Anyway, that's not really the issue here, as David uses MAP_SHARED (as one should if one is interested in the shared value). -- 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/