Received-SPF: pass (google.com: domain of linux-kernel+bounces-62450-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Date: Mon, 12 Feb 2024 14:04:00 -0800
From: Dan Williams <dan.j.williams@intel.com>
To: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>, Dan Williams
	<dan.j.williams@intel.com>, Arnd Bergmann <arnd@arndb.de>, Dave Chinner
	<david@fromorbit.com>
CC: <linux-kernel@vger.kernel.org>, Mathieu Desnoyers
	<mathieu.desnoyers@efficios.com>, Andrew Morton <akpm@linux-foundation.org>,
	Linus Torvalds <torvalds@linux-foundation.org>, Vishal Verma
	<vishal.l.verma@intel.com>, Dave Jiang <dave.jiang@intel.com>, Matthew Wilcox
	<willy@infradead.org>, Russell King <linux@armlinux.org.uk>,
	<linux-arch@vger.kernel.org>, <linux-cxl@vger.kernel.org>,
	<linux-fsdevel@vger.kernel.org>, <linux-mm@kvack.org>,
	<linux-xfs@vger.kernel.org>, <dm-devel@lists.linux.dev>,
	<nvdimm@lists.linux.dev>, <linux-s390@vger.kernel.org>, Alasdair Kergon
	<agk@redhat.com>, Mike Snitzer <snitzer@kernel.org>, Mikulas Patocka
	<mpatocka@redhat.com>
Subject: RE: [PATCH v5 5/8] virtio: Treat alloc_dax() -EOPNOTSUPP failure as
 non-fatal
Message-ID: <65ca95d086dfd_d2d429470@dwillia2-xfh.jf.intel.com.notmuch>
References: <20240212163101.19614-1-mathieu.desnoyers@efficios.com>
 <20240212163101.19614-6-mathieu.desnoyers@efficios.com>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <20240212163101.19614-6-mathieu.desnoyers@efficios.com>
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?1ddJQdIs12P07B519/NThz9BKHR9mzL0yDu22aewE/zFuaoBDF/z3WPUU8ve?=
 =?us-ascii?Q?NZoJtWJP9DfE9oERDeyOtT9oeyjxLyB/MSxOx1eyA6QJcyy+mHmEM8cfkpT3?=
 =?us-ascii?Q?C+RCkz6rVLl0V7a4J+IIBJo+OpwQjb7l5Y9LWDdIkZ769tEidrfngY7vBvYf?=
 =?us-ascii?Q?XoaR/jFqHV8dBSzrCK/tXRCsZt79IlYOWoNr4EzZQ/j1M4FVIeJrBfZckVed?=
 =?us-ascii?Q?6N3L90XqCq4IJnuA4Q0G1srJfhbYLhD2RvXtyl5irwlAf1l/ZNH6NpeIGbEq?=
 =?us-ascii?Q?zr8hTOnPRmwV40wLKz/8uPPLbA9L5xoQaj8UqQ7jA7RUNYfG0gGe4sWUcDUY?=
 =?us-ascii?Q?giNpyzEDtPGCyv9K8/QXCe1dJwp4Jx5zwpdhEz1pxe7mCz75QtX7UeMsmbCx?=
 =?us-ascii?Q?DKXY9TiSPw/hOSoSWnmBDFwvIYxOwbFsvtxsuYC/ztzHYDutcBgMED6bNa6g?=
 =?us-ascii?Q?fi0dhFSr8zE0pFeoPqw0BHfq1HXkBANAGkbqHVysz5ndb9W4mJbjNdPG7ulL?=
 =?us-ascii?Q?DY3zhMwITtYIvRBW9BrMimCEs1z7zi2kLNfyiUfW8555ZB9HuXme7BG7MTnD?=
 =?us-ascii?Q?Kxwqz6c4cDJq89bt5pS25QdNzVjN3z++lp2kx2HrhMkblWE6BrzOrY0k/GRH?=
 =?us-ascii?Q?judI61JTqV5j7hga/jnePGM1hD8J8KYZH+mHxe9VRlqo+7RZFTpexN72f9q7?=
 =?us-ascii?Q?iyns0UJRig71f+vfmlM6T9t2SPgkEnSQaClwjpQWYpDfbCTjtWViMtxb75XD?=
 =?us-ascii?Q?LxKlQhCDT9Ag/uJ8q2DYNkYMa3TSCjwBPR0ZqI8y7U1ctlk3Aq/6TOPOytR3?=
 =?us-ascii?Q?H2DlutvuTONC/STw/0iPLw3AXftFE6VDFMDh5ulp+blj7/VwhdPz0e8zqK1C?=
 =?us-ascii?Q?4TIfGNhj9hrWbVso7SeevmHpnWSjM34nrvHFl5YMCuQeAYbXlHOeXrvNwLbH?=
 =?us-ascii?Q?8cU8MCXnZY5MgBI2aUIZO5mgn76RhxTS8QSvDqZDy21kj70pQKVWiZveG8Qs?=
 =?us-ascii?Q?dB7sal68osCLlMgB0daJb/OXmhQqCyfD3pbrCt8maNAcL2NtX1K9rD7vp/jj?=
 =?us-ascii?Q?Y8RsDsNr/LpTOTh2qfIatMkeTBKDAcbSLhDkLvzzh0ItW659R0EtHN+RC6HC?=
 =?us-ascii?Q?HZdbqYvx4p26nutTaqruiDx2aWbf2gWaUtLMbf03pvenaCtm8fdgYhOD0WPp?=
 =?us-ascii?Q?3O98VgeriU5JsIxL9rAWuhcZB0dgLqE04k94fBczlXXITqRBcSS0wnm/msPE?=
 =?us-ascii?Q?jKgAsDF/xCXUA8r3Rcjjm+lX4cRNTVjvh5Z4VjsZp4ezwBvb6TE1EMV0/CFy?=
 =?us-ascii?Q?FSte+17P+35ZhPToRvr7uyZdENa4TlkDy2zMz9jOjAwdG/d6gSvQzXiFV/FJ?=
 =?us-ascii?Q?fPvPLPtJpsH+qh8VOeqvBOqNin6dT5AWjUaNi6VfyjdFuZ+m/6Af54cbH8gz?=
 =?us-ascii?Q?LOHQpz4aGJEO7fet852tAJeXZg1KeMZMeO6tgVJf3jqjr43n3YQjGh4u7ST8?=
 =?us-ascii?Q?9xfsLLqX1U753vxhYJba+1hKs2dbKaMnuL8VhtQOnX9VPjFi/216poBpLufj?=
 =?us-ascii?Q?9c66MJVUiAIqXymbetU46Innj96cDy3tqoF+4rvLVehatXqNuGz8gw1jkhv3?=
 =?us-ascii?Q?Og=3D=3D?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 1be25b9f-3e83-411c-42d7-08dc2c16866e
X-MS-Exchange-CrossTenant-AuthSource: PH8PR11MB8107.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Feb 2024 22:04:03.8666
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: LSwCuhc300UhzBpkpV+yuW+BiADZHXHaDs766jYvZnwxnoljLYbv2wNVkZXc8Nhd+b4Jx1RyL9wrUASRBaBhP4JtWrVb+L37EIyoWtHdMk8=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH0PR11MB5281
X-OriginatorOrg: intel.com

Mathieu Desnoyers wrote:
> In preparation for checking whether the architecture has data cache
> aliasing within alloc_dax(), modify the error handling of virtio
> virtio_fs_setup_dax() to treat alloc_dax() -EOPNOTSUPP failure as
> non-fatal.
> 
> Co-developed-by: Dan Williams <dan.j.williams@intel.com>
> Signed-off-by: Dan Williams <dan.j.williams@intel.com>
> Fixes: d92576f1167c ("dax: does not work correctly with virtual aliasing caches")
> Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
> Cc: Alasdair Kergon <agk@redhat.com>
> Cc: Mike Snitzer <snitzer@kernel.org>
> Cc: Mikulas Patocka <mpatocka@redhat.com>
> Cc: Andrew Morton <akpm@linux-foundation.org>
> Cc: Linus Torvalds <torvalds@linux-foundation.org>
> Cc: Dan Williams <dan.j.williams@intel.com>
> Cc: Vishal Verma <vishal.l.verma@intel.com>
> Cc: Dave Jiang <dave.jiang@intel.com>
> Cc: Matthew Wilcox <willy@infradead.org>
> Cc: Arnd Bergmann <arnd@arndb.de>
> Cc: Russell King <linux@armlinux.org.uk>
> Cc: linux-arch@vger.kernel.org
> Cc: linux-cxl@vger.kernel.org
> Cc: linux-fsdevel@vger.kernel.org
> Cc: linux-mm@kvack.org
> Cc: linux-xfs@vger.kernel.org
> Cc: dm-devel@lists.linux.dev
> Cc: nvdimm@lists.linux.dev
> ---
>  fs/fuse/virtio_fs.c | 15 +++++++++++----
>  1 file changed, 11 insertions(+), 4 deletions(-)
> 
> diff --git a/fs/fuse/virtio_fs.c b/fs/fuse/virtio_fs.c
> index 5f1be1da92ce..f9acd9972af2 100644
> --- a/fs/fuse/virtio_fs.c
> +++ b/fs/fuse/virtio_fs.c
> @@ -16,6 +16,7 @@
>  #include <linux/fs_context.h>
>  #include <linux/fs_parser.h>
>  #include <linux/highmem.h>
> +#include <linux/cleanup.h>
>  #include <linux/uio.h>
>  #include "fuse_i.h"
>  
> @@ -795,8 +796,11 @@ static void virtio_fs_cleanup_dax(void *data)
>  	put_dax(dax_dev);
>  }
>  
> +DEFINE_FREE(cleanup_dax, struct dax_dev *, if (!IS_ERR(_T)) virtio_fs_cleanup_dax(_T))
> +
>  static int virtio_fs_setup_dax(struct virtio_device *vdev, struct virtio_fs *fs)
>  {
> +	struct dax_device *dax_dev __free(cleanup_dax) = ERR_PTR(-EOPNOTSUPP);
>  	struct virtio_shm_region cache_reg;
>  	struct dev_pagemap *pgmap;
>  	bool have_cache;
> @@ -804,6 +808,12 @@ static int virtio_fs_setup_dax(struct virtio_device *vdev, struct virtio_fs *fs)
>  	if (!IS_ENABLED(CONFIG_FUSE_DAX))
>  		return 0;
>  
> +	dax_dev = alloc_dax(fs, &virtio_fs_dax_ops);
> +	if (IS_ERR(dax_dev)) {
> +		int rc = PTR_ERR(dax_dev);
> +		return rc == -EOPNOTSUPP ? 0 : rc;
> +	}
> +
>  	/* Get cache region */
>  	have_cache = virtio_get_shm_region(vdev, &cache_reg,
>  					   (u8)VIRTIO_FS_SHMCAP_ID_CACHE);
> @@ -849,10 +859,7 @@ static int virtio_fs_setup_dax(struct virtio_device *vdev, struct virtio_fs *fs)
>  	dev_dbg(&vdev->dev, "%s: window kaddr 0x%px phys_addr 0x%llx len 0x%llx\n",
>  		__func__, fs->window_kaddr, cache_reg.addr, cache_reg.len);
>  
> -	fs->dax_dev = alloc_dax(fs, &virtio_fs_dax_ops);
> -	if (IS_ERR(fs->dax_dev))
> -		return PTR_ERR(fs->dax_dev);
> -
> +	fs->dax_dev = no_free_ptr(dax_dev);

This works because the internals of virtio_fs_cleanup_dax(), "kill_dax()
and put_dax()", know how to handle a NULL @dax_dev. It is still early
days with the "cleanup" helpers, but I wonder if anyone else cares that
the DEFINE_FREE() above does not check for NULL?

I think it is ok, but wanted to point that out for the virtiofs folks
and wonder what the style should be for things like this going forward.

Other growing pains with "cleanup.h" and ERR_PTR is happening over here:

http://lore.kernel.org/r/65ca861e14779_5a7f2949e@dwillia2-xfh.jf.intel.com.notmuch

..and that arrived at a similar style as is being used in this patch.
In both cases the cleanup function is called on exit with a NULL
argument.