Received: by 2002:ac0:8c8e:0:0:0:0:0 with SMTP id r14csp1074011ima; Wed, 6 Feb 2019 13:16:00 -0800 (PST) X-Google-Smtp-Source: AHgI3IYxaZPT25FvxEYHVkugfxVCNBSXDdw8xZK1KEHlZpf0otaWOQM962owTGeKJ8dH7668ynYg X-Received: by 2002:a17:902:8607:: with SMTP id f7mr12511666plo.123.1549487760312; Wed, 06 Feb 2019 13:16:00 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1549487760; cv=none; d=google.com; s=arc-20160816; b=o2KxwFDvd/wy6lhfb0uFFMHffueW0bdx1kcVhh+m83BHR+k/3KB0jPKsFJo9p+7TGZ 6MqXmrGd4dMEb7pqn0glDEwVI9He8mXY9UEDEkgWg5PUJB4c3EOh4GVuZDKDMkOhvHOi +zXW89xJrp4oylSY7RyCxhAoijsM9AsdrB+FP9sqsyh8zBr7gd/hReC2sEy41FpS75lI vvOrTxiSFOl58U1fPuV9c4j/LA+5w0n855/r9vuKETctkDXYCwMb4f+GL1Wlv631x9G4 Uwv5N3znaYl+eedgAkM6GXu44HnkoBR2rXyOjvj6w4Bh0n4tyWvElCaiSYxg6eIPRAx2 IPRg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:cc:to:subject :message-id:date:from:mime-version:dkim-signature; bh=0PgXjthxkZk3Ufdb1fh03uEwdbvqWjN/wnRUmZtQl2Q=; b=z8hde0G9dNDkBKovs6rAYB+oOivCuLG7yy/DY0y3Hyg4J+9qdFkL6/+FeJgNWnsjpE cjd+RN0vr+wNy4oxOD+NgQBTNpCT4Ie0ynBNnMMfa25/LLPA5jB/rBt79XMk9ouo7jBT zt+i6YMgwuittj7OUAN6/4gsj+ku5pwBSJw4+Js1BivQR3Eejb7qqoPsw097BZQNZ7xU frSoucTCEUU0oyEmJ/o/1IaIOtDbAQrQiGRQI/gqdfdQa/MTHjyHv3VEF2amM5Jagsuy UNMfkngwmND74uOX+4I7r7i91NQKw+s4q+Mo2FzZV1i24luDG3lN6jhN24S4cYWf7L6x OYRw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@intel-com.20150623.gappssmtp.com header.s=20150623 header.b=bv1fUhnZ; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id p12si6719340pgl.106.2019.02.06.13.15.36; Wed, 06 Feb 2019 13:16:00 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@intel-com.20150623.gappssmtp.com header.s=20150623 header.b=bv1fUhnZ; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727074AbfBFVNM (ORCPT + 99 others); Wed, 6 Feb 2019 16:13:12 -0500 Received: from mail-ot1-f41.google.com ([209.85.210.41]:35978 "EHLO mail-ot1-f41.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726596AbfBFVNL (ORCPT ); Wed, 6 Feb 2019 16:13:11 -0500 Received: by mail-ot1-f41.google.com with SMTP id k98so14596434otk.3 for ; Wed, 06 Feb 2019 13:13:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=intel-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=0PgXjthxkZk3Ufdb1fh03uEwdbvqWjN/wnRUmZtQl2Q=; b=bv1fUhnZ6zhqHtJBG3t3vgVmkWWEleksggAv0l465s06NrRJRJxmwK6OzpJbKWtgK9 zosOcAO+4CSMhASgfiulrdwiL9eoLhrGjP5AR7iyhR+brbB2PInE2bItnPtVQQA/VrZ+ b9bHWosmKfHyvqDn0hyxXGjPsqbfhOCLtyfu2U/6MQz6G+ysDbF9D+RoSEBMPEOlgbdb gDn0YfgQQte/KuQipm6TqT47N/8MV6+49wHHJxN2UK0F9MUyY4KIOrhj/6yf+HmFkxG8 n25jeLFpPhkb/Dsr+7BwFClbUjXPt6ogLCt1lw6uTTxbicdo+XxUHsvG+UT0zO34tIxz wHtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=0PgXjthxkZk3Ufdb1fh03uEwdbvqWjN/wnRUmZtQl2Q=; b=VgdrsRAyBuivSzYsRptoqr00szEZNY9Z0Bn0OklyYqZwTYO6FpAzmc4+aILfQjIsfy ThL4L6hA38VzHQIg6tJBN03/j/PFz7scibs0iqGteJBgNL/u1FV/Fnn0pzs4k26Mt11X 61UrQhiebnquad9ZCvAAHVM+q0uTkgE4PuN1sjNgMULNXuZnoj6I2MxtTJ+aUsegDkWC XP+kMdhgSTz0ueSwnTvsNhoeXVa5nFE21HKPp3kyMv6jexLIXNiDJOSKFHMyprHSAIPZ SEVjdjVHo2zU3/wOzCJyKvmwXnCBghINEk6AcU9DzFEfNzCyRwT7IL+NazgKyo1Za14M wdkg== X-Gm-Message-State: AHQUAuYSrw+Rk039orjH9trK6SB+6+uaalyBpdwCGZoX9bPI7w7GZ7bX j6EYuIb1Ay3rk+gjPpTxJe7Y0jsFRNDUtYCYJi70bUhkk8A= X-Received: by 2002:aca:240a:: with SMTP id n10mr665334oic.73.1549487590099; Wed, 06 Feb 2019 13:13:10 -0800 (PST) MIME-Version: 1.0 From: Dan Williams Date: Wed, 6 Feb 2019 13:12:59 -0800 Message-ID: Subject: [LSF/MM TOPIC] The end of the DAX experiment To: lsf-pc@lists.linux-foundation.org Cc: linux-nvdimm , linux-xfs , Linux Kernel Mailing List , linux-fsdevel , linux-ext4 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Before people get too excited this isn't a proposal to kill DAX. The topic proposal is a discussion to resolve lingering open questions that currently motivate ext4 and xfs to scream "EXPERIMENTAL" when the current DAX facilities are enabled. The are 2 primary concerns to resolve. Enumerate the remaining features/fixes, and identify a path to implement it all without regressing any existing application use cases. An enumeration of remaining projects follows, please expand this list if I missed something: * "DAX" has no specific meaning by itself, users have 2 use cases for "DAX" capabilities: userspace cache management via MAP_SYNC, and page cache avoidance where the latter aspect of DAX has no current api to discover / use it. The project is to supplement MAP_SYNC with a MAP_DIRECT facility and MADV_SYNC / MADV_DIRECT to indicate the same dynamically via madvise. Similar to O_DIRECT, MAP_DIRECT would be an application hint to avoid / minimiize page cache usage, but no strict guarantee like what MAP_SYNC provides. * Resolve all "if (dax) goto fail;" patterns in the kernel. Outside of longterm-GUP (a topic in its own right) the projects here are XFS-reflink and XFS-realtime-device support. DAX+reflink effectively requires a given physical page to be mapped into two different inodes at different (page->index) offsets. The challenge is to support DAX-reflink without violating any existing application visible semantics, the operating assumption / strawman to debate is that experimental status is not blanket permission to go change existing semantics in backwards incompatible ways. * Deprecate, but not remove, the DAX mount option. Too many flows depend on the option so it will never go away, but the facility is too coarse. Provide an option to enable MAP_SYNC and more-likely-to-do-something-useful-MAP_DIRECT on a per-directory basis. The current proposal is to allow this property to only be toggled while the directory is empty to avoid the complications of racing page invalidation with new DAX mappings. Secondary projects, i.e. important but I would submit are not in the critical path to removing the "experimental" designation: * Filesystem-integrated badblock management. Hook up the media error notifications from libnvdimm to the filesystem to allow for operations like "list files with media errors" and "enumerate bad file offsets on a granulatiy smaller than a page". Another consideration along these lines is to integrate machine-check-handling and dynamic error notification into a filesystem interface. I've heard complaints that the sigaction() based mechanism to receive BUS_MCEERR_* information, while sufficient for the "System RAM" use case, is not precise enough for the "Persistent Memory / DAX" use case where errors are repairable and sub-page error information is useful. * Userfaultfd for file-backed mappings and DAX Ideally all the usual DAX, persistent memory, and GUP suspects could be in the room to discuss this: * Jan Kara * Dave Chinner * Christoph Hellwig * Jeff Moyer * Johannes Thumshirn * Matthew Wilcox * John Hubbard * J=C3=A9r=C3=B4me Glisse * MM folks for the reflink vs 'struct page' vs Xarray considerations