From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932541AbcILIFX (ORCPT ); Mon, 12 Sep 2016 04:05:23 -0400 Received: from mail-pf0-f195.google.com ([209.85.192.195]:33938 "EHLO mail-pf0-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932094AbcILIFU (ORCPT ); Mon, 12 Sep 2016 04:05:20 -0400 Date: Mon, 12 Sep 2016 18:05:07 +1000 From: Nicholas Piggin To: Christoph Hellwig Cc: "Oliver O'Halloran" , Yumei Huang , Michal Hocko , Xiao Guangrong , Andrew Morton , KVM list , Linux MM , Gleb Natapov , "linux-nvdimm@lists.01.org" , mtosatti@redhat.com, "linux-kernel@vger.kernel.org" , Dave Hansen , Stefan Hajnoczi , linux-fsdevel , Paolo Bonzini Subject: Re: DAX mapping detection (was: Re: [PATCH] Fix region lost in /proc/self/smaps) Message-ID: <20160912180507.533b3549@roar.ozlabs.ibm.com> In-Reply-To: <20160912075128.GB21474@infradead.org> References: <20160908225636.GB15167@linux.intel.com> <20160912052703.GA1897@infradead.org> <20160912075128.GB21474@infradead.org> Organization: IBM X-Mailer: Claws Mail 3.14.0 (GTK+ 2.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, 12 Sep 2016 00:51:28 -0700 Christoph Hellwig wrote: > On Mon, Sep 12, 2016 at 05:25:15PM +1000, Oliver O'Halloran wrote: > > What are the problems here? Is this a matter of existing filesystems > > being unable/unwilling to support this or is it just fundamentally > > broken? > > It's a fundamentally broken model. See Dave's post that actually was > sent slightly earlier then mine for the list of required items, which > is fairly unrealistic. You could probably try to architect a file > system for it, but I doubt it would gain much traction. It's not fundamentally broken, it just doesn't fit well existing filesystems. Dave's post of requirements is also wrong. A filesystem does not have to guarantee all that, it only has to guarantee that is the case for a given block after it has a mapping and page fault returns, other operations can be supported by invalidating mappings, etc.