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
next prev parent 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