Linux filesystem development
 help / color / mirror / Atom feed
From: "Darrick J. Wong" <djwong@kernel.org>
To: John Groves <john@groves.net>
Cc: Richard Cheng <icheng@nvidia.com>,
	John Groves <john@jagalactic.com>,
	Miklos Szeredi <miklos@szeredi.hu>,
	Dan Williams <djbw@kernel.org>,
	Bernd Schubert <bschubert@ddn.com>,
	Alison Schofield <alison.schofield@intel.com>,
	John Groves <jgroves@micron.com>,
	Jonathan Corbet <corbet@lwn.net>, Jake Edge <jake@lwn.net>,
	Shuah Khan <skhan@linuxfoundation.org>,
	Vishal Verma <vishal.l.verma@intel.com>,
	Dave Jiang <dave.jiang@intel.com>,
	Matthew Wilcox <willy@infradead.org>, Jan Kara <jack@suse.cz>,
	Alexander Viro <viro@zeniv.linux.org.uk>,
	David Hildenbrand <david@kernel.org>,
	Christian Brauner <brauner@kernel.org>,
	Randy Dunlap <rdunlap@infradead.org>,
	Jeff Layton <jlayton@kernel.org>,
	Amir Goldstein <amir73il@gmail.com>,
	Jonathan Cameron <jic23@kernel.org>,
	Stefan Hajnoczi <shajnocz@redhat.com>,
	Joanne Koong <joannelkoong@gmail.com>,
	Josef Bacik <josef@toxicpanda.com>,
	Bagas Sanjaya <bagasdotme@gmail.com>,
	Chen Linxuan <chenlinxuan@uniontech.com>,
	James Morse <james.morse@arm.com>, Fuad Tabba <tabba@google.com>,
	Sean Christopherson <seanjc@google.com>,
	Shivank Garg <shivankg@amd.com>,
	Ackerley Tng <ackerleytng@google.com>,
	Gregory Price <gourry@gourry.net>,
	Andrew Morton <akpm@linux-foundation.org>,
	Namjae Jeon <linkinjeon@kernel.org>,
	Lorenzo Stoakes <ljs@kernel.org>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Ira Weiny <iweiny@kernel.org>,
	Pasha Tatashin <pasha.tatashin@soleen.com>,
	Haren Myneni <haren@linux.ibm.com>,
	Pratyush Yadav <pratyush@kernel.org>,
	Giovanni Cabiddu <giovanni.cabiddu@intel.com>,
	Jiri Slaby <jirislaby@kernel.org>,
	Ethan Nelson-Moore <enelsonmoore@gmail.com>,
	Gabriel Whigham <gabewhigham@gmail.com>,
	Aravind Ramesh <arramesh@micron.com>,
	Ajay Joshi <ajayjoshi@micron.com>,
	"venkataravis@micron.com" <venkataravis@micron.com>,
	"linux-doc@vger.kernel.org" <linux-doc@vger.kernel.org>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"nvdimm@lists.linux.dev" <nvdimm@lists.linux.dev>,
	"linux-cxl@vger.kernel.org" <linux-cxl@vger.kernel.org>,
	"linux-fsdevel@vger.kernel.org" <linux-fsdevel@vger.kernel.org>,
	"fuse-devel@lists.linux.dev" <fuse-devel@lists.linux.dev>
Subject: Re: [PATCH v13 07/12] famfs: MAP_CREATE ioctl and fmap ingest (ABI 44)
Date: Fri, 21 Aug 2026 17:17:23 -0700	[thread overview]
Message-ID: <20260822001723.GC6047@frogsfrogsfrogs> (raw)
In-Reply-To: <ant9osbVPJyUPdWB@groves.net>

On Tue, Aug 11, 2026 at 05:17:50PM -0500, John Groves wrote:

<snip>

> > > +	switch (fmh.ext_type) {
> > > +	case FAMFS_IOC_EXT_SIMPLE: {
> > > +		struct famfs_ioc_simple_ext *se_in = fmap_buf + next_offset;
> > > +
> > > +		next_offset += (size_t)fmh.nextents * sizeof(*se_in);
> > > +		if (next_offset > fmh.fmap_size) {
> > > +			rc = -EINVAL;
> > > +			goto out;
> > > +		}
> > > +
> > > +		meta->fm_nextents = fmh.nextents;
> > > +		meta->se = kcalloc(meta->fm_nextents, sizeof(*meta->se),
> > > +				   GFP_KERNEL);
> > > +		if (!meta->se) {
> > > +			rc = -ENOMEM;
> > > +			goto out;
> > > +		}
> > > +
> > > +		for (i = 0; i < fmh.nextents; i++) {
> > > +			meta->se[i].dev_index  = se_in[i].se_devindex;
> > > +			meta->se[i].ext_offset = se_in[i].se_offset;
> > > +			meta->se[i].ext_len    = se_in[i].se_len;
> > > +
> > > +			if (meta->se[i].dev_index >= FAMFS_MAX_DAXDEVS) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +			meta->dev_bitmap |= BIT_ULL(meta->se[i].dev_index);
> > > +			errs += famfs_check_ext_alignment(&meta->se[i]);
> > > +			extent_total += meta->se[i].ext_len;
> > 
> > offset + length + entent_total can overflow, and file_size can be larger
> > than MAX_LFS_FILESIZE. And overflow can wrap the DAX address back to 0
> > and map the wrong memory.
> > 
> > Maybe check_add_overflow() can be utilized ?
> 
> Good idea, thanks!

Yes, all those arithmetics should catch overflows.

> > 
> > 
> > > +		}
> > > +		break;
> > > +	}
> > > +
> > > +	case FAMFS_IOC_EXT_INTERLEAVE: {
> > > +		s64 size_remainder = meta->file_size;
> > > +		u32 niext = fmh.nextents;
> > > +
> > > +		meta->fm_niext = niext;
> > > +		meta->ie = kcalloc(niext, sizeof(*meta->ie), GFP_KERNEL);
> > > +		if (!meta->ie) {
> > > +			rc = -ENOMEM;
> > > +			goto out;
> > > +		}
> > > +
> > > +		/* Outer loop is over the separate interleaved extents */
> > > +		for (i = 0; i < niext; i++) {
> > > +			struct famfs_ioc_iext *ie_in = fmap_buf + next_offset;
> > > +			struct famfs_ioc_simple_ext *sie_in;
> > > +			u64 nstrips;
> > > +
> > > +			next_offset += sizeof(*ie_in);
> > > +			if (next_offset > fmh.fmap_size) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +
> > > +			/* chunk_size must be exactly one supported alloc unit */
> > > +			if (ie_in->ie_chunk_size != PAGE_SIZE &&
> > > +			    ie_in->ie_chunk_size != PMD_SIZE) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +			if (ie_in->ie_nbytes == 0) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +
> > > +			nstrips = ie_in->ie_nstrips;
> > > +			if (nstrips < 1) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +
> > > +			meta->ie[i].fie_chunk_size = ie_in->ie_chunk_size;
> > > +			meta->ie[i].fie_nstrips    = ie_in->ie_nstrips;
> > > +			meta->ie[i].fie_nbytes     = ie_in->ie_nbytes;
> > > +
> > > +			/* The strip extents follow the interleaved-ext header */
> > > +			sie_in = fmap_buf + next_offset;
> > > +			next_offset += nstrips * sizeof(*sie_in);
> > > +			if (next_offset > fmh.fmap_size) {
> > > +				rc = -EINVAL;
> > > +				goto out;
> > > +			}
> > > +
> > > +			meta->ie[i].ie_strips =
> > > +				kcalloc(nstrips,
> > > +					sizeof(meta->ie[i].ie_strips[0]),
> > > +					GFP_KERNEL);
> > > +			if (!meta->ie[i].ie_strips) {
> > > +				rc = -ENOMEM;
> > > +				goto out;
> > > +			}
> > > +
> > > +			/* Inner loop is over the strips */
> > > +			for (j = 0; j < nstrips; j++) {
> > > +				struct famfs_meta_simple_ext *so =
> > > +					&meta->ie[i].ie_strips[j];
> > > +
> > > +				so->dev_index  = sie_in[j].se_devindex;
> > > +				so->ext_offset = sie_in[j].se_offset;
> > > +				so->ext_len    = sie_in[j].se_len;
> > > +
> > > +				if (so->dev_index >= FAMFS_MAX_DAXDEVS) {
> > > +					rc = -EINVAL;
> > > +					goto out;
> > > +				}
> > > +				meta->dev_bitmap |= BIT_ULL(so->dev_index);
> > > +				errs += famfs_check_ext_alignment(so);
> > > +				extent_total += so->ext_len;
> > > +				size_remainder -= so->ext_len;
> > 
> > We use physical allocation size here to check logical file coverage,
> > it doesn't make sense to me.
> > For example, file_size can be 1MB and ie_nbytes only 4KB, but a 1MB ext_len makes this check pass, and you access the area after the first 4 KB will fail,
> > because it has no logical mapping.
> > 
> > Maybe we should make sure the sum of ie_nbytes covers file_size, and
> > separately check that each strip's ext_len is large enough for its assigned
> > chunks ?
> 
> Chapeau to you for actually studying this code. Not many have gone
> there. It's arcane, but logically not too complicated.
> 
> You're right that famfs_file_init_dax() doesn't check for pathological
> strip sizes or overflows. It does do some basic checking, but would
> not catch a short strip followed by one or more "correct" strips.
> That stuff would indicate a buggy or malicious caller, since it
> violates the fmap logic.
> 
> However, the vma fault handler for interleaved files, 
> famfs_meta_to_dax_offset_interleaved(), *does* check for strip 
> overflows. It resolves a file offset to an offset in a specific
> strip (based on strip count and chunk size), and then checks that 
> it falls within the strip and not past the end.
> 
> Here is that code:
> 
> 	/*
> 	 * MAP_CREATE only checks that the strips' combined
> 	 * length covers the file, not that each strip is large
> 	 * enough for the chunks striped onto it. Guard against a
> 	 * malformed fmap with an undersized strip so we never
> 	 * resolve to a dax offset past the strip's extent.
> 	 */
> 	if (strip_offset >= strip->ext_len)
> 		goto err_out;
> 
> 	daxdev = famfs_daxdev_from_index(fsi, strip->dev_index, &rc);
> 	if (!daxdev) {
> 		meta->error = true;
> 		return rc;
> 	}
> 
> 	iomap->addr    = strip->ext_offset + strip_offset;
> 	iomap->offset  = file_offset;
> 	iomap->length  = min_t(loff_t, len, chunk_remainder);
> 	iomap->length  = min_t(loff_t, iomap->length,
> 			       strip->ext_len - strip_offset);
> 	iomap->dax_dev = daxdev;
> 	iomap->type    = IOMAP_MAPPED;
> 
> 	return 0;
> 
> Since this condition is an error or malice on the part of the 
> MAP_CREATE caller, I'm comfortable with catching it at fault time.

I think you should reject *any* bad mapping data at MAP_CREATE time
because then you can catch application bugs early with an immediate
error being sent to the famfs server.  Don't let bad data into the
kernel.

> > > +			}
> > > +		}
> > > +
> > > +		if (size_remainder > 0) {
> > > +			/* Strips do not cover the whole file */
> > > +			rc = -EINVAL;
> > > +			goto out;
> > > +		}
> > > +		break;
> > > +	}
> > > +
> > > +	default:
> > > +		rc = -EINVAL;
> > > +		goto out;
> > > +	}
> > > +
> > > +	if (errs > 0) {
> > > +		rc = -EINVAL;
> > > +		goto out;
> > > +	}
> > > +	if (extent_total < meta->file_size) {
> > > +		rc = -EINVAL;
> > > +		goto out;
> > > +	}
> > > +
> > > +	/* Publish the famfs metadata on inode->i_private */
> > > +	inode_lock(inode);
> > > +	if (inode->i_private) {
> > > +		rc = -EEXIST; /* file already has famfs metadata */
> > > +	} else {
> > > +		inode->i_private = meta;
> > > +		i_size_write(inode, meta->file_size);
> > > +		inode->i_flags |= S_DAX;
> > > +		meta = NULL; /* owned by the inode now */
> > > +		rc = 0;
> > > +	}
> > > +	inode_unlock(inode);
> > > +
> > > +out:
> > > +	kvfree(fmap_buf);
> > > +	if (meta)
> > > +		famfs_meta_free(meta);
> > > +	return rc;
> > > +}
> > > +
> > > +/**
> > > + * famfs_file_ioctl() - Top-level famfs file ioctl handler
> > > + * @file: the file
> > > + * @cmd:  ioctl opcode
> > > + * @arg:  ioctl opcode argument (if any)
> > > + */
> > > +static long
> > > +famfs_file_ioctl(struct file *file, unsigned int cmd, unsigned long arg)
> > > +{
> > > +	struct inode *inode = file_inode(file);
> > > +	struct famfs_fs_info *fsi = inode->i_sb->s_fs_info;
> > > +	long rc;
> > > +
> > > +	if (fsi->deverror && (cmd != FAMFSIOC_NOP))
> > > +		return -ENODEV;
> > > +
> > > +	switch (cmd) {
> > > +	case FAMFSIOC_NOP:
> > > +		rc = 0;
> > > +		break;
> > > +
> > > +	case FAMFSIOC_MAP_CREATE:
> > > +		rc = famfs_file_init_dax(file, (void __user *)arg);
> > > +		break;
> > > +
> > > +	default:
> > > +		rc = -ENOTTY;
> > > +		break;
> > > +	}
> > > +
> > > +	return rc;
> > > +}
> > > +
> > >  /*********************************************************************
> > >   * vm_operations
> > >   */
> > > @@ -94,9 +400,25 @@ const struct vm_operations_struct famfs_file_vm_ops = {
> > >  static ssize_t
> > >  famfs_file_invalid(struct inode *inode)
> > >  {
> > > +	struct famfs_file_meta *meta = inode->i_private;
> > > +	size_t i_size = i_size_read(inode);
> > > +
> > > +	if (!meta) {
> > > +		pr_debug("%s: un-initialized famfs file\n", __func__);
> > > +		return -EIO;
> > > +	}
> > > +	if (meta->error) {
> > > +		pr_debug("%s: previously detected metadata errors\n", __func__);
> > > +		return -EIO;
> > > +	}
> > > +	if (i_size != meta->file_size) {
> > > +		pr_warn("%s: i_size overwritten from %ld to %ld\n",
> > > +		       __func__, meta->file_size, i_size);
> > > +		meta->error = true;
> > > +		return -ENXIO;
> > > +	}
> > >  	if (!IS_DAX(inode)) {
> > > -		pr_debug("%s: inode %llx IS_DAX is false\n",
> > > -			 __func__, (u64)inode);
> > > +		pr_debug("%s: inode %llx IS_DAX is false\n", __func__, (u64)inode);
> > >  		return -ENXIO;
> > >  	}
> > >  	return 0;
> > > @@ -233,7 +555,7 @@ const struct file_operations famfs_file_operations = {
> > >  	/* Custom famfs operations */
> > >  	.write_iter	   = famfs_dax_write_iter,
> > >  	.read_iter	   = famfs_dax_read_iter,
> > > -	.unlocked_ioctl    = NULL /*famfs_file_ioctl*/,
> > > +	.unlocked_ioctl    = famfs_file_ioctl,
> > >  	.mmap		   = famfs_file_mmap,
> > > 
> > 
> > We don't have compat_ioctl handler, a 32-bit application on a 64-bit
> > kernel will get ENOTTY, if we will have that scenario I think the handler
> > should be added.
> > 
> > Best regards,
> > Richard Cheng.
> 
> This one is simple but arcane. Here are the kconfig deps:
> 
> FAMFS -> FS_DAX -> ZONE_DEVICE -> MEMORY_HOTPLUG
> 
> And MEMORY_HOTPLUG is depends on 64BIT. So famfs is definitively 64BIT-only.
> 
> In this series I added a direct dependency on 64BIT, to make it more 
> clear...

compat_ioctl is for 32-bit programs calling into a 64-bit kernel.

Granted a 32-bit program is probably not a good contender for famfs due
to limited address space, and you could simply declare that you don't
support 32-bit programs.

--D

  reply	other threads:[~2026-08-22  0:17 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20260810202325.96202-1-john@jagalactic.com>
2026-08-10 20:23 ` [PATCH v13 00/12] famfs: the Fabric-Attached Memory File System (standalone) John Groves
2026-08-10 20:24   ` [PATCH v13 01/12] dax: replace exported dax_dev_get() with non-allocating dax_dev_find() John Groves
2026-08-10 20:24   ` [PATCH v13 02/12] famfs: Module operations, fs_context, and mount John Groves
2026-08-10 20:24   ` [PATCH v13 03/12] famfs: Add daxdev table and dax notify_failure support John Groves
2026-08-10 20:24   ` [PATCH v13 04/12] famfs: Introduce inode_operations and super_operations John Groves
2026-08-10 20:24   ` [PATCH v13 05/12] famfs: Introduce file_operations read/write John Groves
2026-08-10 20:25   ` [PATCH v13 06/12] famfs: Introduce mmap and VM fault handling John Groves
2026-08-10 20:25   ` [PATCH v13 07/12] famfs: MAP_CREATE ioctl and fmap ingest (ABI 44) John Groves
2026-08-11  8:03     ` Richard Cheng
2026-08-11 22:17       ` John Groves
2026-08-22  0:17         ` Darrick J. Wong [this message]
2026-08-22 19:23           ` John Groves
2026-08-10 20:25   ` [PATCH v13 08/12] famfs: iomap_begin and file-to-dax offset resolution John Groves
2026-08-10 20:25   ` [PATCH v13 09/12] famfs: Register secondary daxdevs by path (FAMFSIOC_DAXDEV_OPEN) John Groves
2026-08-10 20:25   ` [PATCH v13 10/12] famfs: Add runtime operation-permission (opts) framework John Groves
2026-08-22  0:07     ` Darrick J. Wong
2026-08-22  4:18       ` Gregory Price
2026-08-22 17:40         ` Darrick J. Wong
2026-08-22 21:57           ` John Groves
2026-08-23 16:43           ` Gregory Price
2026-08-23 16:57             ` Gregory Price
2026-08-10 20:25   ` [PATCH v13 11/12] famfs: Report device capacity via statfs so df works John Groves
2026-08-10 20:26   ` [PATCH v13 12/12] famfs: Add documentation John Groves
2026-08-20 12:37   ` [PATCH v13 00/12] famfs: the Fabric-Attached Memory File System (standalone) Jeff Layton
2026-08-22  0:19     ` Darrick J. Wong

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20260822001723.GC6047@frogsfrogsfrogs \
    --to=djwong@kernel.org \
    --cc=ackerleytng@google.com \
    --cc=ajayjoshi@micron.com \
    --cc=akpm@linux-foundation.org \
    --cc=alison.schofield@intel.com \
    --cc=amir73il@gmail.com \
    --cc=arramesh@micron.com \
    --cc=bagasdotme@gmail.com \
    --cc=brauner@kernel.org \
    --cc=bschubert@ddn.com \
    --cc=chenlinxuan@uniontech.com \
    --cc=corbet@lwn.net \
    --cc=dave.jiang@intel.com \
    --cc=david@kernel.org \
    --cc=djbw@kernel.org \
    --cc=enelsonmoore@gmail.com \
    --cc=fuse-devel@lists.linux.dev \
    --cc=gabewhigham@gmail.com \
    --cc=giovanni.cabiddu@intel.com \
    --cc=gourry@gourry.net \
    --cc=gregkh@linuxfoundation.org \
    --cc=haren@linux.ibm.com \
    --cc=icheng@nvidia.com \
    --cc=iweiny@kernel.org \
    --cc=jack@suse.cz \
    --cc=jake@lwn.net \
    --cc=james.morse@arm.com \
    --cc=jgroves@micron.com \
    --cc=jic23@kernel.org \
    --cc=jirislaby@kernel.org \
    --cc=jlayton@kernel.org \
    --cc=joannelkoong@gmail.com \
    --cc=john@groves.net \
    --cc=john@jagalactic.com \
    --cc=josef@toxicpanda.com \
    --cc=linkinjeon@kernel.org \
    --cc=linux-cxl@vger.kernel.org \
    --cc=linux-doc@vger.kernel.org \
    --cc=linux-fsdevel@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=ljs@kernel.org \
    --cc=miklos@szeredi.hu \
    --cc=nvdimm@lists.linux.dev \
    --cc=pasha.tatashin@soleen.com \
    --cc=pratyush@kernel.org \
    --cc=rdunlap@infradead.org \
    --cc=seanjc@google.com \
    --cc=shajnocz@redhat.com \
    --cc=shivankg@amd.com \
    --cc=skhan@linuxfoundation.org \
    --cc=tabba@google.com \
    --cc=venkataravis@micron.com \
    --cc=viro@zeniv.linux.org.uk \
    --cc=vishal.l.verma@intel.com \
    --cc=willy@infradead.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox