diff mbox series

Documentation: add initial iomap kdoc

Message ID 20230518144037.3149361-1-mcgrof@kernel.org (mailing list archive)
State New, archived
Headers show
Series Documentation: add initial iomap kdoc | expand

Commit Message

Luis Chamberlain May 18, 2023, 2:40 p.m. UTC
To help with iomap adoption / porting I set out the goal to try to
help improve the iomap documentation and get general guidance for
filesystem conversions over from buffer-head in time for this year's
LSFMM. The end results thanks to the review of Darrick, Christoph and
others is on the kernelnewbies wiki [0].

This brings this forward a relevant subset of that documentation to
the kernel in kdoc format and also kdoc'ifies the existing documentation
on iomap.h.

Tested with:

make htmldocs SPHINXDIRS="filesystems"

Then looking at the docs produced on:

Documentation/output/filesystems/iomap.html

[0] https://kernelnewbies.org/KernelProjects/iomap

Signed-off-by: Luis Chamberlain <mcgrof@kernel.org>
---
 Documentation/filesystems/index.rst |   1 +
 Documentation/filesystems/iomap.rst | 234 ++++++++++++++++++++
 include/linux/iomap.h               | 324 +++++++++++++++++-----------
 3 files changed, 437 insertions(+), 122 deletions(-)
 create mode 100644 Documentation/filesystems/iomap.rst

Comments

Christoph Hellwig May 18, 2023, 2:48 p.m. UTC | #1
> +**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
> +mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally

Without fixing your line length I can't even read this mess..
Luis Chamberlain May 18, 2023, 2:50 p.m. UTC | #2
On Thu, May 18, 2023 at 07:48:54AM -0700, Christoph Hellwig wrote:
> > +**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
> > +mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally
> 
> Without fixing your line length I can't even read this mess..

I thought we are at 100?

  Luis
Christoph Hellwig May 18, 2023, 2:51 p.m. UTC | #3
On Thu, May 18, 2023 at 07:50:03AM -0700, Luis Chamberlain wrote:
> On Thu, May 18, 2023 at 07:48:54AM -0700, Christoph Hellwig wrote:
> > > +**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
> > > +mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally
> > 
> > Without fixing your line length I can't even read this mess..
> 
> I thought we are at 100?

Ony for individual lines and when it improves readability (whatever
that means).  But multiple to long lines, especially full of text
are completely unreadable in a terminal.
Jonathan Corbet May 18, 2023, 2:54 p.m. UTC | #4
Christoph Hellwig <hch@infradead.org> writes:

> On Thu, May 18, 2023 at 07:50:03AM -0700, Luis Chamberlain wrote:
>> On Thu, May 18, 2023 at 07:48:54AM -0700, Christoph Hellwig wrote:
>> > > +**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
>> > > +mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally
>> > 
>> > Without fixing your line length I can't even read this mess..
>> 
>> I thought we are at 100?
>
> Ony for individual lines and when it improves readability (whatever
> that means).  But multiple to long lines, especially full of text
> are completely unreadable in a terminal.

Long text lines are definitely unfriendly to readers in general, so I
think we should absolutely avoid them in text - where they are
unnecessary to begin with.  Something to fix for the next iteration.

I'm glad to see this document, though; it's definitely a big gap in our
current coverage.

Thanks,

jon
Theodore Ts'o May 19, 2023, 3:15 a.m. UTC | #5
On Thu, May 18, 2023 at 07:51:22AM -0700, Christoph Hellwig wrote:
> On Thu, May 18, 2023 at 07:50:03AM -0700, Luis Chamberlain wrote:
> > On Thu, May 18, 2023 at 07:48:54AM -0700, Christoph Hellwig wrote:
> > > > +**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
> > > > +mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally
> > > 
> > > Without fixing your line length I can't even read this mess..
> > 
> > I thought we are at 100?
> 
> Ony for individual lines and when it improves readability (whatever
> that means).  But multiple to long lines, especially full of text
> are completely unreadable in a terminal.

For C code, if you have really deeply nested code, sometimes it's
better to have some lines which are longer than to have gratuitous
line break just to keep everything under 72-76 characters.

But if you are writing a block of text, and you are expecting people
to read it in a terminal window, I think it is adviseable to wrap at
72 characters.  In fact, some will advise wrapping earlier than that,
to better aid comprehension.  For example:

   "Optimal line length or column width for body text is 40–70
   characters.  When people read, their eyes jump across a line of
   text, pausing momentarily to take in groups of three or four
   words. Studies have shown that readers can make only three or four
   of these jumps (or saccades) per line before reading becomes
   tiring.

   Too long lines with too many words also make it harder for the eyes
   to find the correct spot when they sweep back to the left to pick
   up the next line of text. To maintain readability, it is imperative
   to use moderate line lengths within the range of 40–70 characters.

   Do not set normally sized body text in a single column across a 8.5
   by 11 inch page. If you do that, the result will greatly exceed 70
   characters, reading efficiency will be significantly reduced, and
   your readers’ attention will be easily lost.

   Two column layouts are the best solution for achieving optimal body
   text column widths on American letter size paper. If that is not
   practical and using only one column is necessary, then be sure to
   use large side margins in order to bring the line length as close
   as possible to 70 characters or less."

   -- https://winterpm.com/

Cheers,

						- Ted
Bagas Sanjaya May 19, 2023, 9:28 a.m. UTC | #6
On Thu, May 18, 2023 at 07:40:37AM -0700, Luis Chamberlain wrote:
> +..
> +        Mapping of heading styles within this document:
> +        Heading 1 uses "====" above and below
> +        Heading 2 uses "===="
> +        Heading 3 uses "----"
> +        Heading 4 uses "````"
> +        Heading 5 uses "^^^^"
> +        Heading 6 uses "~~~~"
> +        Heading 7 uses "...."

Everyone can distinguished those heading levels without telling them.

> +
> +        Sections are manually numbered because apparently that's what everyone
> +        does in the kernel.

I don't see any section numbering here (forget to add one?).

> +.. contents:: Table of Contents
> +   :local:

I see the toctree before actual doc title. Maybe move down toctree below
it?

> +You can call into **iomap** for reading, ie, dealing with the filesystems's
> +``struct file_operations``:
> +
> + * ``struct file_operations.read_iter()``: note that depending on the type of read your filesystem
> +   might use ``iomap_dio_rw()`` for direct IO, generic_file_read_iter() for buffered IO and

Try to be consistent on inlining code keywords (identifiers, function names, etc).

> +Testing Direct IO
> +=================
> +
> +Other than fstests you can use LTP's dio, however this tests is limited as it does not test stale
> +data.
> +
> +{{{
> +./runltp -f dio -d /mnt1/scratch/tmp/
> +}}}

Use literal code block for above shell snippet:

---- >8 ----
diff --git a/Documentation/filesystems/iomap.rst b/Documentation/filesystems/iomap.rst
index 51be574b5fe32a..6918a4cc5e3b9b 100644
--- a/Documentation/filesystems/iomap.rst
+++ b/Documentation/filesystems/iomap.rst
@@ -213,9 +213,9 @@ Testing Direct IO
 Other than fstests you can use LTP's dio, however this tests is limited as it does not test stale
 data.
 
-{{{
-./runltp -f dio -d /mnt1/scratch/tmp/
-}}}
+::
+
+    ./runltp -f dio -d /mnt1/scratch/tmp/
 
 Known issues and future improvements
 ====================================

> +References
> +==========
> +
> +  *  `Presentation on iomap evolution`<https://docs.google.com/presentation/d/e/2PACX-1vSN4TmhiTu1c6HNv6_gJZFqbFZpbF7GkABllSwJw5iLnSYKkkO-etQJ3AySYEbgJA/pub?start=true&loop=false&delayms=3000&slide=id.g189cfd05063_0_185>`
> +  * `LWN review on deprecating buffer-heads <https://lwn.net/Articles/930173/>`

I don't see clickable hyperlinks on above external references, so I have to
fix them up:

---- >8 ----
diff --git a/Documentation/filesystems/iomap.rst b/Documentation/filesystems/iomap.rst
index 75716d4e2f4537..51be574b5fe32a 100644
--- a/Documentation/filesystems/iomap.rst
+++ b/Documentation/filesystems/iomap.rst
@@ -230,5 +230,5 @@ We try to document known issues that folks should be aware of with **iomap** her
 References
 ==========
 
-  *  `Presentation on iomap evolution`<https://docs.google.com/presentation/d/e/2PACX-1vSN4TmhiTu1c6HNv6_gJZFqbFZpbF7GkABllSwJw5iLnSYKkkO-etQJ3AySYEbgJA/pub?start=true&loop=false&delayms=3000&slide=id.g189cfd05063_0_185>`
-  * `LWN review on deprecating buffer-heads <https://lwn.net/Articles/930173/>`
+  *  `Presentation on iomap evolution <https://docs.google.com/presentation/d/e/2PACX-1vSN4TmhiTu1c6HNv6_gJZFqbFZpbF7GkABllSwJw5iLnSYKkkO-etQJ3AySYEbgJA/pub?start=true&loop=false&delayms=3000&slide=id.g189cfd05063_0_185>`_
+  * `LWN review on deprecating buffer-heads <https://lwn.net/Articles/930173/>`_
diff --git a/include/linux/iomap.h b/include/linux/iomap.h
index cfb724a4c65280..af5e6c0e84923f 100644
--- a/include/linux/iomap.h
+++ b/include/linux/iomap.h
@@ -25,7 +25,7 @@
  *
  * Block mapping provides a mapping between data cached in memory and the location on persistent
  * storage where that data lives. `LWN has an great review of the old buffer-heads block-mapping and
- * why they are inefficient <https://lwn.net/Articles/930173/>`, since the inception of Linux.
+ * why they are inefficient <https://lwn.net/Articles/930173/>`_, since the inception of Linux.
  * Since **buffer-heads** work on a 512-byte block based paradigm, it creates an overhead for modern
  * storage media which no longer necessarily works only on 512-blocks. iomap is flexible
  * providing block ranges in *bytes*. iomap, with the support of folios, provides a modern

> -/*
> - * Flags reported by the file system from iomap_begin:
> +/**
> + * DOC:  Flags reported by the file system from iomap_begin
>   *
> - * IOMAP_F_NEW indicates that the blocks have been newly allocated and need
> - * zeroing for areas that no data is copied to.
> + * * IOMAP_F_NEW: indicates that the blocks have been newly allocated and need
> + *	zeroing for areas that no data is copied to.
>   *
> - * IOMAP_F_DIRTY indicates the inode has uncommitted metadata needed to access
> - * written data and requires fdatasync to commit them to persistent storage.
> - * This needs to take into account metadata changes that *may* be made at IO
> - * completion, such as file size updates from direct IO.
> + * * IOMAP_F_DIRTY: indicates the inode has uncommitted metadata needed to access
> + *	written data and requires fdatasync to commit them to persistent storage.
> + *	This needs to take into account metadata changes that *may* be made at IO
> + *	completion, such as file size updates from direct IO.
>   *
> - * IOMAP_F_SHARED indicates that the blocks are shared, and will need to be
> - * unshared as part a write.
> + * * IOMAP_F_SHARED: indicates that the blocks are shared, and will need to be
> + *	unshared as part a write.
>   *
> - * IOMAP_F_MERGED indicates that the iomap contains the merge of multiple block
> - * mappings.
> + * * IOMAP_F_MERGED: indicates that the iomap contains the merge of multiple block
> + *	mappings.
>   *
> - * IOMAP_F_BUFFER_HEAD indicates that the file system requires the use of
> - * buffer heads for this mapping.
> + * * IOMAP_F_BUFFER_HEAD: indicates that the file system requires the use of
> + *	buffer heads for this mapping.
>   *
> - * IOMAP_F_XATTR indicates that the iomap is for an extended attribute extent
> - * rather than a file data extent.
> + * * IOMAP_F_XATTR: indicates that the iomap is for an extended attribute extent
> + *	rather than a file data extent.
>   */

Why don't use kernel-doc comments to describe flags?

> +/**
> + * struct iomap_folio_ops - buffered writes folio folio reference count helpers
> + *
> + * A filesystem can optionally set folio_ops in a &struct iomap mapping it returns to
> + * override the default get_folio and put_folio for each folio written to.  This only applies
> + * to buffered writes as unbuffered writes will not typically have folios associated with them.
> + *
> + * @get_folio: iomap defaults to iomap_get_folio() (which calls __filemap_get_folio()) if the
> + * 	filesystem did not provide a get folio op.
> + *
> + * @put_folio: when get_folio succeeds, put_folio will always be called to do any cleanup work
> + * 	necessary. put_folio is responsible for unlocking and putting @folio.
> + *
> + * @iomap_valid: check that the cached iomap still maps correctly to the filesystem's internal
> + * 	extent map. FS internal extent maps can change while iomap is iterating a cached iomap, so
> + * 	this hook allows iomap to detect that the iomap needs to be refreshed during a long running
> + * 	write operation.
> + *
> + *	The filesystem can store internal state (e.g. a sequence number) in iomap->validity_cookie
> + *	when the iomap is first mapped to be able to detect changes between mapping time and whenever
> + *	.iomap_valid() is called.
> + *
> + *	This is called with the folio over the specified file position held locked by the iomap code.
> + *	This is useful for filesystems that have dynamic mappings (e.g. anything other than zonefs).
> + *	An example reason as to why this is necessary is writeback doesn't take the vfs locks.

Nice, this one has kernel-doc.

Thanks for review.
Randy Dunlap May 19, 2023, 3:13 p.m. UTC | #7
On 5/19/23 02:28, Bagas Sanjaya wrote:
>> +/**
>> + * DOC:  Flags reported by the file system from iomap_begin
>>   *
>> - * IOMAP_F_NEW indicates that the blocks have been newly allocated and need
>> - * zeroing for areas that no data is copied to.
>> + * * IOMAP_F_NEW: indicates that the blocks have been newly allocated and need
>> + *	zeroing for areas that no data is copied to.
>>   *
>> - * IOMAP_F_DIRTY indicates the inode has uncommitted metadata needed to access
>> - * written data and requires fdatasync to commit them to persistent storage.
>> - * This needs to take into account metadata changes that *may* be made at IO
>> - * completion, such as file size updates from direct IO.
>> + * * IOMAP_F_DIRTY: indicates the inode has uncommitted metadata needed to access
>> + *	written data and requires fdatasync to commit them to persistent storage.
>> + *	This needs to take into account metadata changes that *may* be made at IO
>> + *	completion, such as file size updates from direct IO.
>>   *
>> - * IOMAP_F_SHARED indicates that the blocks are shared, and will need to be
>> - * unshared as part a write.
>> + * * IOMAP_F_SHARED: indicates that the blocks are shared, and will need to be
>> + *	unshared as part a write.
>>   *
>> - * IOMAP_F_MERGED indicates that the iomap contains the merge of multiple block
>> - * mappings.
>> + * * IOMAP_F_MERGED: indicates that the iomap contains the merge of multiple block
>> + *	mappings.
>>   *
>> - * IOMAP_F_BUFFER_HEAD indicates that the file system requires the use of
>> - * buffer heads for this mapping.
>> + * * IOMAP_F_BUFFER_HEAD: indicates that the file system requires the use of
>> + *	buffer heads for this mapping.
>>   *
>> - * IOMAP_F_XATTR indicates that the iomap is for an extended attribute extent
>> - * rather than a file data extent.
>> + * * IOMAP_F_XATTR: indicates that the iomap is for an extended attribute extent
>> + *	rather than a file data extent.
>>   */
> Why don't use kernel-doc comments to describe flags?
> 

Because kernel-doc handles functions, structs, unions, and enums.
Not defines.
Dave Chinner May 19, 2023, 11:25 p.m. UTC | #8
On Fri, May 19, 2023 at 08:13:50AM -0700, Randy Dunlap wrote:
> 
> 
> On 5/19/23 02:28, Bagas Sanjaya wrote:
> >> +/**
> >> + * DOC:  Flags reported by the file system from iomap_begin
> >>   *
> >> - * IOMAP_F_NEW indicates that the blocks have been newly allocated and need
> >> - * zeroing for areas that no data is copied to.
> >> + * * IOMAP_F_NEW: indicates that the blocks have been newly allocated and need
> >> + *	zeroing for areas that no data is copied to.
> >>   *
> >> - * IOMAP_F_DIRTY indicates the inode has uncommitted metadata needed to access
> >> - * written data and requires fdatasync to commit them to persistent storage.
> >> - * This needs to take into account metadata changes that *may* be made at IO
> >> - * completion, such as file size updates from direct IO.
> >> + * * IOMAP_F_DIRTY: indicates the inode has uncommitted metadata needed to access
> >> + *	written data and requires fdatasync to commit them to persistent storage.
> >> + *	This needs to take into account metadata changes that *may* be made at IO
> >> + *	completion, such as file size updates from direct IO.
> >>   *
> >> - * IOMAP_F_SHARED indicates that the blocks are shared, and will need to be
> >> - * unshared as part a write.
> >> + * * IOMAP_F_SHARED: indicates that the blocks are shared, and will need to be
> >> + *	unshared as part a write.
> >>   *
> >> - * IOMAP_F_MERGED indicates that the iomap contains the merge of multiple block
> >> - * mappings.
> >> + * * IOMAP_F_MERGED: indicates that the iomap contains the merge of multiple block
> >> + *	mappings.
> >>   *
> >> - * IOMAP_F_BUFFER_HEAD indicates that the file system requires the use of
> >> - * buffer heads for this mapping.
> >> + * * IOMAP_F_BUFFER_HEAD: indicates that the file system requires the use of
> >> + *	buffer heads for this mapping.
> >>   *
> >> - * IOMAP_F_XATTR indicates that the iomap is for an extended attribute extent
> >> - * rather than a file data extent.
> >> + * * IOMAP_F_XATTR: indicates that the iomap is for an extended attribute extent
> >> + *	rather than a file data extent.
> >>   */
> > Why don't use kernel-doc comments to describe flags?
> > 
> 
> Because kernel-doc handles functions, structs, unions, and enums.
> Not defines.

So perhaps that should be fixed first?

I seriously dislike the implication here that we should accept
poorly/inconsistently written comments and code just to work around
deficiencies in documentation tooling.

Either modify the code to work cleanly and consistently with the
tooling (e.g. change the code to use enums rather than #defines), or
fix the tools that don't work with macro definitions in a way that
matches the existing code documentation standards.

Forcing developers, reviewers and maintainers to understand, accept
and then maintain inconsistent crap in the code just because some
tool they never use is deficient is pretty much my definition of an
unacceptible engineering process.

-Dave.
Randy Dunlap May 21, 2023, 4:43 p.m. UTC | #9
Hi Dave,

On 5/19/23 16:25, Dave Chinner wrote:
> On Fri, May 19, 2023 at 08:13:50AM -0700, Randy Dunlap wrote:
>>
>>
>> On 5/19/23 02:28, Bagas Sanjaya wrote:
>>>> +/**
>>>> + * DOC:  Flags reported by the file system from iomap_begin
>>>>   *
>>>> - * IOMAP_F_NEW indicates that the blocks have been newly allocated and need
>>>> - * zeroing for areas that no data is copied to.
>>>> + * * IOMAP_F_NEW: indicates that the blocks have been newly allocated and need
>>>> + *	zeroing for areas that no data is copied to.
>>>>   *
>>>> - * IOMAP_F_DIRTY indicates the inode has uncommitted metadata needed to access
>>>> - * written data and requires fdatasync to commit them to persistent storage.
>>>> - * This needs to take into account metadata changes that *may* be made at IO
>>>> - * completion, such as file size updates from direct IO.
>>>> + * * IOMAP_F_DIRTY: indicates the inode has uncommitted metadata needed to access
>>>> + *	written data and requires fdatasync to commit them to persistent storage.
>>>> + *	This needs to take into account metadata changes that *may* be made at IO
>>>> + *	completion, such as file size updates from direct IO.
>>>>   *
>>>> - * IOMAP_F_SHARED indicates that the blocks are shared, and will need to be
>>>> - * unshared as part a write.
>>>> + * * IOMAP_F_SHARED: indicates that the blocks are shared, and will need to be
>>>> + *	unshared as part a write.
>>>>   *
>>>> - * IOMAP_F_MERGED indicates that the iomap contains the merge of multiple block
>>>> - * mappings.
>>>> + * * IOMAP_F_MERGED: indicates that the iomap contains the merge of multiple block
>>>> + *	mappings.
>>>>   *
>>>> - * IOMAP_F_BUFFER_HEAD indicates that the file system requires the use of
>>>> - * buffer heads for this mapping.
>>>> + * * IOMAP_F_BUFFER_HEAD: indicates that the file system requires the use of
>>>> + *	buffer heads for this mapping.
>>>>   *
>>>> - * IOMAP_F_XATTR indicates that the iomap is for an extended attribute extent
>>>> - * rather than a file data extent.
>>>> + * * IOMAP_F_XATTR: indicates that the iomap is for an extended attribute extent
>>>> + *	rather than a file data extent.
>>>>   */
>>> Why don't use kernel-doc comments to describe flags?
>>>
>>
>> Because kernel-doc handles functions, structs, unions, and enums.
>> Not defines.
> 
> So perhaps that should be fixed first?
> 
> I seriously dislike the implication here that we should accept
> poorly/inconsistently written comments and code just to work around
> deficiencies in documentation tooling.
> 
> Either modify the code to work cleanly and consistently with the
> tooling (e.g. change the code to use enums rather than #defines), or
> fix the tools that don't work with macro definitions in a way that
> matches the existing code documentation standards.
> 
> Forcing developers, reviewers and maintainers to understand, accept
> and then maintain inconsistent crap in the code just because some
> tool they never use is deficient is pretty much my definition of an
> unacceptible engineering process.

I started looking into this. It looks like Mauro added more support
to scripts/kernel-doc for typedefs and macros while I wasn't looking.
I don't know how well it works, but it's not clear to me how we
would want this to look.

For example, take the first set of defines from <linux/iomap.h> that
Luis modified:

/*
 * Types of block ranges for iomap mappings:
 */
#define IOMAP_HOLE	0	/* no blocks allocated, need allocation */
#define IOMAP_DELALLOC	1	/* delayed allocation blocks */
#define IOMAP_MAPPED	2	/* blocks allocated at @addr */
#define IOMAP_UNWRITTEN	3	/* blocks allocated at @addr in unwritten state */
#define IOMAP_INLINE	4	/* data inline in the inode */

and Luis changed that to:

/**
 * DOC: iomap block ranges types
 *
 * * IOMAP_HOLE		- no blocks allocated, need allocation
 * * IOMAP_DELALLOC	- delayed allocation blocks
 * * IOMAP_MAPPED	- blocks allocated at @addr
 * * IOMAP_UNWRITTEN	- blocks allocated at @addr in unwritten state
 * * IOMAP_INLINE	- data inline in the inode
 */


How would we want that to look? How would we express it in kernel-doc
format?  Currently it would have to be one macro at a time I think.

/*
 * Types of block ranges for iomap mappings:
 */
/**
 * IOMAP_HOLE - no blocks allocated, need allocation
 */
#define IOMAP_HOLE	0
/**
 * IOMAP_DELALLOC - delayed allocation blocks
 */
#define IOMAP_DELALLOC	1
/**
 * IOMAP_MAPPED - blocks allocated at @addr
 */
#define IOMAP_MAPPED	2
/**
 * IOMAP_UNWRITTEN - blocks allocated at @addr in unwritten state
 */
#define IOMAP_UNWRITTEN	3
/**
 * IOMAP_INLINE - data inline in the inode
 */
#define IOMAP_INLINE	4

That's ugly to my eyes. And it doesn't collect the set of macros
together in any manner.
The modification that Luis made looks pretty good to me ATM.
diff mbox series

Patch

diff --git a/Documentation/filesystems/index.rst b/Documentation/filesystems/index.rst
index fbb2b5ada95b..6186ab7c3ea8 100644
--- a/Documentation/filesystems/index.rst
+++ b/Documentation/filesystems/index.rst
@@ -34,6 +34,7 @@  algorithms work.
    seq_file
    sharedsubtree
    idmappings
+   iomap
 
    automount-support
 
diff --git a/Documentation/filesystems/iomap.rst b/Documentation/filesystems/iomap.rst
new file mode 100644
index 000000000000..75716d4e2f45
--- /dev/null
+++ b/Documentation/filesystems/iomap.rst
@@ -0,0 +1,234 @@ 
+.. SPDX-License-Identifier: GPL-2.0
+.. _iomap:
+
+..
+        Mapping of heading styles within this document:
+        Heading 1 uses "====" above and below
+        Heading 2 uses "===="
+        Heading 3 uses "----"
+        Heading 4 uses "````"
+        Heading 5 uses "^^^^"
+        Heading 6 uses "~~~~"
+        Heading 7 uses "...."
+
+        Sections are manually numbered because apparently that's what everyone
+        does in the kernel.
+.. contents:: Table of Contents
+   :local:
+
+=====
+iomap
+=====
+
+.. kernel-doc:: include/linux/iomap.h
+
+A modern block abstraction
+==========================
+
+**iomap** allows filesystems to query storage media for data using *byte ranges*. Since block
+mapping are provided for a *byte ranges* for cache data in memory, in the page cache, naturally
+this implies operations on block ranges will also deal with *multipage* operations in the page
+cache. **Folios** are used to help provide *multipage* operations in memory for the
+*byte ranges* being worked on.
+
+
+iomap IO interfaces
+===================
+
+You call **iomap** depending on the type of filesystem operation you are working on. We detail
+some of these interactions below.
+
+iomap for bufferred IO writes
+-----------------------------
+
+You call **iomap** for buffered IO with:
+
+ * ``iomap_file_buffered_write()`` - for buffered writes
+ * ``iomap_page_mkwrite()`` - when dealing callbacks for ``struct vm_operations_struct``
+
+  * ``struct vm_operations_struct.page_mkwrite()``
+  * ``struct vm_operations_struct.fault()``
+  * ``struct vm_operations_struct.huge_fault()``
+  * ``struct vm_operations_struct`.pfn_mkwrite()``
+
+You *may* use buffered writes to also deal with ``fallocate()``:
+
+ * ``iomap_zero_range()`` on fallocate for zeroing
+ * ``iomap_truncate_page()`` on fallocate for truncation
+
+Typically you'd also happen to use these on paths when updating an inode's size.
+
+iomap for direct IO
+-------------------
+
+You call **iomap** for direct IO with:
+
+ * ``iomap_dio_rw()``
+
+You **may** use direct IO writes to also deal with ``fallocate()``:
+
+ * ``iomap_zero_range()`` on fallocate for zeroing
+ * ``iomap_truncate_page()`` on fallocate for truncation
+
+Typically you'd also happen to use these on paths when updating an inode's size.
+
+iomap for reads
+---------------
+
+You can call into **iomap** for reading, ie, dealing with the filesystems's
+``struct file_operations``:
+
+ * ``struct file_operations.read_iter()``: note that depending on the type of read your filesystem
+   might use ``iomap_dio_rw()`` for direct IO, generic_file_read_iter() for buffered IO and
+   ``dax_iomap_rw()`` for DAX.
+ * ``struct file_operations.remap_file_range()`` - currently the special
+   ``dax_remap_file_range_prep()`` helper is provided for DAX mode reads.
+
+iomap for userspace file extent mapping
+---------------------------------------
+
+The ``fiemap`` ioctl can be used to allow userspace to get a file extent mapping. The older
+``bmap()`` (aka ``FIBMAP``)  allows the VM to map logical block offset to physical block number.
+``bmap()`` is a legacy block mapping operation supported only for the ioctl and two areas in the
+kernel which likely are broken (the default swapfile implementation and odd md bitmap code).
+``bmap()`` was only useful in the days of ext2 when there were no support for delalloc or unwritten
+extents. Consequently, the interface reports nothing for those types of mappings. Because of this we
+don't want filesystems to start exporting this interface if they don't already do so.
+
+The ``fiemap`` ioctl is supported through an inode ``struct inode_operations.fiemap()`` callback.
+
+You would use ``iomap_fiemap()`` to provide the mapping. You could use two seperate ``struct iomap_ops``
+one for when requested to also map extended attributes (``FIEMAP_FLAG_XATTR``) and your another
+``struct iomap_ops`` for regular read ``struct iomap_ops`` when there is no need for extended
+attributes. In the future **iomap** may provide its own dedicated ops structure for ``fiemap``.
+
+``iomap_bmap()`` exists and should *only be used* by filesystems that **already** supported
+``FIBMAP``.  ``FIBMAP`` **should not be used** with the address_space -- we have iomap readpages and
+writepages for that.
+
+iomap for assisting the VFS
+---------------------------
+
+A filesystem also needs to call **iomap** when assisting the VFS manipulating a file into the page
+cache.
+
+iomap for VFS reading
+---------------------
+
+A filesystem can call **iomap** to deal with the VFS reading a file into folios with:
+
+ * ``iomap_bmap()`` - called to assist the VFS when manipulating page cache with
+   ``struct address_space_operations.bmap()``, to help the VFS map a logical block offset to
+   physical block number.
+ * ``iomap_read_folio()`` - called to assist the page cache with
+   ``struct address_space_operations.read_folio()``
+ * ``iomap_readahead()`` - called to assist the page cache with
+   ``struct address_space_operations.readahead()``
+
+iomap for VFS writepages
+------------------------
+
+A filesystem can call **iomap** to deal with the VFS write out of pages back to backing store,
+that is to help deal with a filesystems's ``struct address_space_operations.writepages()``. The
+special ``iomap_writepages()`` is used for this case with its own respective filestems's
+``struct iomap_ops`` for this.
+
+iomap for VFS llseek
+--------------------
+
+A filesystem ``struct address_space_operations.llseek()`` is used by the VFS when it needs to move
+the current file offset, the file offset is in ``struct file.f_pos``. **iomap** has special support
+for the ``llseek`` ``SEEK_HOLE`` or ``SEEK_DATA`` interfaces:
+
+ * ``iomap_seek_hole()``: for when the ``struct address_space_operations.llseek()`` *whence* argument
+   is ``SEEK_HOLE``, when looking for the file's next hole.
+ * ``iomap_seek_data()``: for when the ``struct address_space_operations.llseek()`` *whence* argument
+   is ``SEEK_DATA`` when looking for the file's next data area.
+
+Your own ``struct iomap_ops`` for this is encouraged.
+
+iomap for DAX
+-------------
+You can use ``dax_iomap_rw()`` when calling iomap from a DAX context, this is typically from the
+filesystems's ``struct file_operations.write_iter()`` callback.
+
+Converting filesystems from buffer-head to iomap guide
+======================================================
+
+These are generic guidelines on converting a filesystem over to **iomap** from '''buffer-heads'''.
+
+One op at at time
+-----------------
+
+You may try to convert a filesystem with different clustered set of operations at time, below are a
+generic order you may strive to target:
+
+ * direct io
+ * miscellaneous helpers (seek/fiemap/bmap)
+ * buffered io
+
+Defining a simple filesystem
+----------------------------
+
+A simple filesystem is perhaps the easiest to convert over to **iomap**, a simple filesystem is
+one which:
+
+ * does not use fsverify, fscrypt, compression
+ * has no Copy on Write support (reflinks)
+
+Converting a simple filesystem to iomap
+---------------------------------------
+
+Simple filesystems should covert to IOMAP piecemeal wise first converting over **direct IO**, then
+the miscellaneous helpers  (seek/fiemap/bmap) and last should be buffered IO.
+
+Converting shared filesystem features
+-------------------------------------
+
+Shared filesystems features such as fscrypt, compression, erasure coding, and any other data
+transformations need to be ported to **iomap** first, as none of the current **iomap** users
+require any of this functionality.
+
+Converting complex filesystems
+------------------------------
+
+If your filesystem relies on any shared filesystem features mentioned above those would need to be
+converted piecemeal wise. If reflinks are supported you need to first ensure proper locking sanity
+in order to be able to address byte ranges can be handled properly through **iomap** operations.
+An example filesystem where this work is taking place is btrfs.
+
+IOMAP_F_BUFFER_HEAD considerations
+----------------------------------
+
+``IOMAP_F_BUFFER_HEAD`` won't be removed until we have all filesystem fully converted away from
+**buffer-heads**, and this could be never.
+
+``IOMAP_F_BUFFER_HEAD`` should be avoided as a stepping stone / to port filesystems over to
+**iomap** as it's support for **buffer-heads** only apply to the buffered write path and nothing
+else including the read_folio/readahead and writepages aops.
+
+Testing Direct IO
+=================
+
+Other than fstests you can use LTP's dio, however this tests is limited as it does not test stale
+data.
+
+{{{
+./runltp -f dio -d /mnt1/scratch/tmp/
+}}}
+
+Known issues and future improvements
+====================================
+
+We try to document known issues that folks should be aware of with **iomap** here.
+
+ * write amplification on IOMAP when bs < ps: **iomap** needs improvements for large folios for
+   dirty bitmap tracking
+ * filesystems which use buffer head helpers such as ``sb_bread()`` and friends will have to
+   continue to use buffer heads as there is no generic iomap metadata read/write library yet.
+
+References
+==========
+
+  *  `Presentation on iomap evolution`<https://docs.google.com/presentation/d/e/2PACX-1vSN4TmhiTu1c6HNv6_gJZFqbFZpbF7GkABllSwJw5iLnSYKkkO-etQJ3AySYEbgJA/pub?start=true&loop=false&delayms=3000&slide=id.g189cfd05063_0_185>`
+  * `LWN review on deprecating buffer-heads <https://lwn.net/Articles/930173/>`
diff --git a/include/linux/iomap.h b/include/linux/iomap.h
index e2b836c2e119..cfb724a4c652 100644
--- a/include/linux/iomap.h
+++ b/include/linux/iomap.h
@@ -10,6 +10,28 @@ 
 #include <linux/mm_types.h>
 #include <linux/blkdev.h>
 
+/**
+ * DOC: Introduction
+ *
+ * iomap allows filesystems to sequentially iterate over byte addressable block ranges on
+ * an inode and apply operations to it.
+ *
+ * iomap grew out of the need to provide a modern block mapping abstraction for filesystems
+ * with the different IO access methods they support and assisting the VFS with manipulating
+ * files into the page cache. iomap helpers are provided for each of these mechanisms. However,
+ * block mapping is just one of the features of iomap, given iomap supports DAX IO for
+ * filesystems and also supports such the ``lseek``/``llseek`` ``SEEK_DATA``/``SEEK_HOLE``
+ * interfaces.
+ *
+ * Block mapping provides a mapping between data cached in memory and the location on persistent
+ * storage where that data lives. `LWN has an great review of the old buffer-heads block-mapping and
+ * why they are inefficient <https://lwn.net/Articles/930173/>`, since the inception of Linux.
+ * Since **buffer-heads** work on a 512-byte block based paradigm, it creates an overhead for modern
+ * storage media which no longer necessarily works only on 512-blocks. iomap is flexible
+ * providing block ranges in *bytes*. iomap, with the support of folios, provides a modern
+ * replacement for **buffer-heads**.
+ */
+
 struct address_space;
 struct fiemap_extent_info;
 struct inode;
@@ -22,37 +44,43 @@  struct page;
 struct vm_area_struct;
 struct vm_fault;
 
-/*
- * Types of block ranges for iomap mappings:
+/**
+ * DOC: iomap block ranges types
+ *
+ * * IOMAP_HOLE		- no blocks allocated, need allocation
+ * * IOMAP_DELALLOC	- delayed allocation blocks
+ * * IOMAP_MAPPED	- blocks allocated at @addr
+ * * IOMAP_UNWRITTEN	- blocks allocated at @addr in unwritten state
+ * * IOMAP_INLINE	- data inline in the inode
  */
-#define IOMAP_HOLE	0	/* no blocks allocated, need allocation */
-#define IOMAP_DELALLOC	1	/* delayed allocation blocks */
-#define IOMAP_MAPPED	2	/* blocks allocated at @addr */
-#define IOMAP_UNWRITTEN	3	/* blocks allocated at @addr in unwritten state */
-#define IOMAP_INLINE	4	/* data inline in the inode */
+#define IOMAP_HOLE	0
+#define IOMAP_DELALLOC	1
+#define IOMAP_MAPPED	2
+#define IOMAP_UNWRITTEN	3
+#define IOMAP_INLINE	4
 
-/*
- * Flags reported by the file system from iomap_begin:
+/**
+ * DOC:  Flags reported by the file system from iomap_begin
  *
- * IOMAP_F_NEW indicates that the blocks have been newly allocated and need
- * zeroing for areas that no data is copied to.
+ * * IOMAP_F_NEW: indicates that the blocks have been newly allocated and need
+ *	zeroing for areas that no data is copied to.
  *
- * IOMAP_F_DIRTY indicates the inode has uncommitted metadata needed to access
- * written data and requires fdatasync to commit them to persistent storage.
- * This needs to take into account metadata changes that *may* be made at IO
- * completion, such as file size updates from direct IO.
+ * * IOMAP_F_DIRTY: indicates the inode has uncommitted metadata needed to access
+ *	written data and requires fdatasync to commit them to persistent storage.
+ *	This needs to take into account metadata changes that *may* be made at IO
+ *	completion, such as file size updates from direct IO.
  *
- * IOMAP_F_SHARED indicates that the blocks are shared, and will need to be
- * unshared as part a write.
+ * * IOMAP_F_SHARED: indicates that the blocks are shared, and will need to be
+ *	unshared as part a write.
  *
- * IOMAP_F_MERGED indicates that the iomap contains the merge of multiple block
- * mappings.
+ * * IOMAP_F_MERGED: indicates that the iomap contains the merge of multiple block
+ *	mappings.
  *
- * IOMAP_F_BUFFER_HEAD indicates that the file system requires the use of
- * buffer heads for this mapping.
+ * * IOMAP_F_BUFFER_HEAD: indicates that the file system requires the use of
+ *	buffer heads for this mapping.
  *
- * IOMAP_F_XATTR indicates that the iomap is for an extended attribute extent
- * rather than a file data extent.
+ * * IOMAP_F_XATTR: indicates that the iomap is for an extended attribute extent
+ *	rather than a file data extent.
  */
 #define IOMAP_F_NEW		(1U << 0)
 #define IOMAP_F_DIRTY		(1U << 1)
@@ -61,22 +89,20 @@  struct vm_fault;
 #define IOMAP_F_BUFFER_HEAD	(1U << 4)
 #define IOMAP_F_XATTR		(1U << 5)
 
-/*
- * Flags set by the core iomap code during operations:
+/**
+ * DOC: Flags set by the core iomap code during operations
+ *
+ * * IOMAP_F_SIZE_CHANGED: indicates to the iomap_end method that the file size
+ *	has changed as the result of this write operation.
  *
- * IOMAP_F_SIZE_CHANGED indicates to the iomap_end method that the file size
- * has changed as the result of this write operation.
+ * * IOMAP_F_STALE: indicates that the iomap is not valid any longer and the file
+ *	range it covers needs to be remapped by the high level before the operation
+ *	can proceed.
  *
- * IOMAP_F_STALE indicates that the iomap is not valid any longer and the file
- * range it covers needs to be remapped by the high level before the operation
- * can proceed.
+ * * IOMAP_F_PRIVATE: Flags from 0x1000 up are for file system specific usage
  */
 #define IOMAP_F_SIZE_CHANGED	(1U << 8)
 #define IOMAP_F_STALE		(1U << 9)
-
-/*
- * Flags from 0x1000 up are for file system specific usage:
- */
 #define IOMAP_F_PRIVATE		(1U << 12)
 
 
@@ -124,73 +150,110 @@  static inline bool iomap_inline_data_valid(const struct iomap *iomap)
 	return iomap->length <= PAGE_SIZE - offset_in_page(iomap->inline_data);
 }
 
-/*
- * When a filesystem sets folio_ops in an iomap mapping it returns, get_folio
- * and put_folio will be called for each folio written to.  This only applies
- * to buffered writes as unbuffered writes will not typically have folios
- * associated with them.
- *
- * When get_folio succeeds, put_folio will always be called to do any
- * cleanup work necessary.  put_folio is responsible for unlocking and putting
- * @folio.
+/**
+ * struct iomap_folio_ops - buffered writes folio folio reference count helpers
+ *
+ * A filesystem can optionally set folio_ops in a &struct iomap mapping it returns to
+ * override the default get_folio and put_folio for each folio written to.  This only applies
+ * to buffered writes as unbuffered writes will not typically have folios associated with them.
+ *
+ * @get_folio: iomap defaults to iomap_get_folio() (which calls __filemap_get_folio()) if the
+ * 	filesystem did not provide a get folio op.
+ *
+ * @put_folio: when get_folio succeeds, put_folio will always be called to do any cleanup work
+ * 	necessary. put_folio is responsible for unlocking and putting @folio.
+ *
+ * @iomap_valid: check that the cached iomap still maps correctly to the filesystem's internal
+ * 	extent map. FS internal extent maps can change while iomap is iterating a cached iomap, so
+ * 	this hook allows iomap to detect that the iomap needs to be refreshed during a long running
+ * 	write operation.
+ *
+ *	The filesystem can store internal state (e.g. a sequence number) in iomap->validity_cookie
+ *	when the iomap is first mapped to be able to detect changes between mapping time and whenever
+ *	.iomap_valid() is called.
+ *
+ *	This is called with the folio over the specified file position held locked by the iomap code.
+ *	This is useful for filesystems that have dynamic mappings (e.g. anything other than zonefs).
+ *	An example reason as to why this is necessary is writeback doesn't take the vfs locks.
  */
 struct iomap_folio_ops {
 	struct folio *(*get_folio)(struct iomap_iter *iter, loff_t pos,
 			unsigned len);
 	void (*put_folio)(struct inode *inode, loff_t pos, unsigned copied,
 			struct folio *folio);
-
-	/*
-	 * Check that the cached iomap still maps correctly to the filesystem's
-	 * internal extent map. FS internal extent maps can change while iomap
-	 * is iterating a cached iomap, so this hook allows iomap to detect that
-	 * the iomap needs to be refreshed during a long running write
-	 * operation.
-	 *
-	 * The filesystem can store internal state (e.g. a sequence number) in
-	 * iomap->validity_cookie when the iomap is first mapped to be able to
-	 * detect changes between mapping time and whenever .iomap_valid() is
-	 * called.
-	 *
-	 * This is called with the folio over the specified file position held
-	 * locked by the iomap code.
-	 */
 	bool (*iomap_valid)(struct inode *inode, const struct iomap *iomap);
 };
 
-/*
- * Flags for iomap_begin / iomap_end.  No flag implies a read.
+/**
+ * DOC:  Flags for iomap_begin / iomap_end.  No flag implies a read.
+ *
+ * * IOMAP_WRITE: writing, must allocate blocks
+ * * IOMAP_ZERO: zeroing operation, may skip holes
+ * * IOMAP_REPORT: report extent status, e.g. FIEMAP
+ * * IOMAP_FAULT: mapping for page fault
+ * * IOMAP_DIRECT: direct I/O
+ * * IOMAP_NOWAIT: do not block
+ * * IOMAP_OVERWRITE_ONLY: only pure overwrites allowed
+ * * IOMAP_UNSHARE: unshare_file_range
+ * * IOMAP_DAX: DAX mapping
  */
-#define IOMAP_WRITE		(1 << 0) /* writing, must allocate blocks */
-#define IOMAP_ZERO		(1 << 1) /* zeroing operation, may skip holes */
-#define IOMAP_REPORT		(1 << 2) /* report extent status, e.g. FIEMAP */
-#define IOMAP_FAULT		(1 << 3) /* mapping for page fault */
-#define IOMAP_DIRECT		(1 << 4) /* direct I/O */
-#define IOMAP_NOWAIT		(1 << 5) /* do not block */
-#define IOMAP_OVERWRITE_ONLY	(1 << 6) /* only pure overwrites allowed */
-#define IOMAP_UNSHARE		(1 << 7) /* unshare_file_range */
+#define IOMAP_WRITE		(1 << 0)
+#define IOMAP_ZERO		(1 << 1)
+#define IOMAP_REPORT		(1 << 2)
+#define IOMAP_FAULT		(1 << 3)
+#define IOMAP_DIRECT		(1 << 4)
+#define IOMAP_NOWAIT		(1 << 5)
+#define IOMAP_OVERWRITE_ONLY	(1 << 6)
+#define IOMAP_UNSHARE		(1 << 7)
 #ifdef CONFIG_FS_DAX
-#define IOMAP_DAX		(1 << 8) /* DAX mapping */
+#define IOMAP_DAX		(1 << 8)
 #else
 #define IOMAP_DAX		0
 #endif /* CONFIG_FS_DAX */
 
+/**
+ * struct iomap_ops - IO interface specific operations
+ *
+ * A filesystem is must provide a &struct iomap_ops for to deal with the beginning an IO
+ * operation, iomap_begin(), and ending an IO operation on a block range, ``iomap_end()``. You
+ * would call iomap with a specialized iomap operation depending on its filesystem or the VFS needs.
+ *
+ * For example iomap_dio_rw() would be used for for a filesystem when doing a block range read or
+ * write operation with direct IO. In this case your filesystem's respective
+ * &struct file_operations.write_iter() would eventually call iomap_dio_rw() on
+ * the filesystem's &struct file_operations.write_iter().
+ *
+ * For buffered IO a filesystem would use iomap_file_buffered_write() on the same
+ * &struct file_operations.write_iter(). But that is not the only situation in which a filesystem
+ * would deal with buffered writes, you could also use buffered writes when a filesystem has to deal
+ * with &struct file_operations.fallocate(). However fallocate() can be used for *zeroing*
+ * or for *truncation* purposes. A special respective iomap_zero_range() would be used for
+ * *zeroing* and a iomap_truncate_page() would be used for *truncation*.
+ *
+ * Experience with adopting iomap on filesystems have shown that the filesystem implementation of
+ * these operations can be simplified considerably if one &struct iomap_ops is provided per major
+ * filesystem IO operation:
+ *
+ * * buffered io
+ * * direct io
+ * * DAX io
+ * * fiemap for with extended attributes (``FIEMAP_FLAG_XATTR``)
+ * * lseek
+ *
+ * @iomap_begin: return the existing mapping at pos, or reserve space starting at pos for up to
+ *	length, as long as we can do it as a single mapping. The actual length is returned in
+ *	iomap->length. The &struct iomap iomap must always be set. The &struct iomap srcmap
+ *	should be set if the range is CoW.
+ *
+ * @iomap_end: commit and/or unreserve space previous allocated using iomap_begin. Written indicates
+ *	the length of the successful write operation which needs to be committed, while the rest
+ *	needs to be unreserved. Written might be zero if no data was written.
+ */
 struct iomap_ops {
-	/*
-	 * Return the existing mapping at pos, or reserve space starting at
-	 * pos for up to length, as long as we can do it as a single mapping.
-	 * The actual length is returned in iomap->length.
-	 */
 	int (*iomap_begin)(struct inode *inode, loff_t pos, loff_t length,
 			unsigned flags, struct iomap *iomap,
 			struct iomap *srcmap);
 
-	/*
-	 * Commit and/or unreserve space previous allocated using iomap_begin.
-	 * Written indicates the length of the successful write operation which
-	 * needs to be commited, while the rest needs to be unreserved.
-	 * Written might be zero if no data was written.
-	 */
 	int (*iomap_end)(struct inode *inode, loff_t pos, loff_t length,
 			ssize_t written, unsigned flags, struct iomap *iomap);
 };
@@ -207,6 +270,7 @@  struct iomap_ops {
  * @flags: Zero or more of the iomap_begin flags above.
  * @iomap: Map describing the I/O iteration
  * @srcmap: Source map for COW operations
+ * @private: internal use
  */
 struct iomap_iter {
 	struct inode *inode;
@@ -241,7 +305,7 @@  static inline u64 iomap_length(const struct iomap_iter *iter)
  * @i: iteration structure
  *
  * Write operations on file systems with reflink support might require a
- * source and a destination map.  This function retourns the source map
+ * source and a destination map.  This function returns the source map
  * for a given operation, which may or may no be identical to the destination
  * map in &i->iomap.
  */
@@ -281,42 +345,52 @@  loff_t iomap_seek_data(struct inode *inode, loff_t offset,
 sector_t iomap_bmap(struct address_space *mapping, sector_t bno,
 		const struct iomap_ops *ops);
 
-/*
- * Structure for writeback I/O completions.
+/**
+ * struct iomap_ioend - for writeback I/O completions
+ *
+ * @io_list: next ioend in chain
+ * @io_type:
+ * @io_flags: IOMAP_F_*
+ * @io_folios: folios added to ioend
+ * @io_inode: file being written to
+ * @io_size: size of the extent
+ * @io_offset: offset in the file
+ * @io_sector: start sector of ioend
+ * @io_bio: bio being built
+ * @io_inline_bio: MUST BE LAST!
  */
 struct iomap_ioend {
-	struct list_head	io_list;	/* next ioend in chain */
+	struct list_head	io_list;
 	u16			io_type;
-	u16			io_flags;	/* IOMAP_F_* */
-	u32			io_folios;	/* folios added to ioend */
-	struct inode		*io_inode;	/* file being written to */
-	size_t			io_size;	/* size of the extent */
-	loff_t			io_offset;	/* offset in the file */
-	sector_t		io_sector;	/* start sector of ioend */
-	struct bio		*io_bio;	/* bio being built */
-	struct bio		io_inline_bio;	/* MUST BE LAST! */
+	u16			io_flags;
+	u32			io_folios;
+	struct inode		*io_inode;
+	size_t			io_size;
+	loff_t			io_offset
+	sector_t		io_sector;
+	struct bio		*io_bio;
+	struct bio		io_inline_bio;
 };
 
+/**
+ * struct iomap_writeback_ops - used for writeback
+ *
+ * This structure is used to support dealing with a filesystem
+ * ``struct address_space_operations.writepages()``, for writeback.
+ *
+ * @map_blocks: required, maps the blocks so that writeback can be performed on
+ *	the range starting at offset.
+ * @prepare_ioend: optional, allows the file systems to perform actions just before
+ *	submitting the bio and/or override the bio end_io handler for complex
+ *	operations like copy on write extent manipulation or unwritten extent
+ *	conversions.
+ * @discard_folio: optional, allows the file system to discard state on a page where
+ *	we failed to submit any I/O.
+ */
 struct iomap_writeback_ops {
-	/*
-	 * Required, maps the blocks so that writeback can be performed on
-	 * the range starting at offset.
-	 */
 	int (*map_blocks)(struct iomap_writepage_ctx *wpc, struct inode *inode,
 				loff_t offset);
-
-	/*
-	 * Optional, allows the file systems to perform actions just before
-	 * submitting the bio and/or override the bio end_io handler for complex
-	 * operations like copy on write extent manipulation or unwritten extent
-	 * conversions.
-	 */
 	int (*prepare_ioend)(struct iomap_ioend *ioend, int status);
-
-	/*
-	 * Optional, allows the file system to discard state on a page where
-	 * we failed to submit any I/O.
-	 */
 	void (*discard_folio)(struct folio *folio, loff_t pos);
 };
 
@@ -334,26 +408,32 @@  int iomap_writepages(struct address_space *mapping,
 		struct writeback_control *wbc, struct iomap_writepage_ctx *wpc,
 		const struct iomap_writeback_ops *ops);
 
-/*
- * Flags for direct I/O ->end_io:
+/**
+ * DOC: Flags for direct I/O ->end_io
+ *
+ * * IOMAP_DIO_UNWRITTEN: covers unwritten extent(s)
+ * * IOMAP_DIO_COW: covers COW extent(s)
  */
-#define IOMAP_DIO_UNWRITTEN	(1 << 0)	/* covers unwritten extent(s) */
-#define IOMAP_DIO_COW		(1 << 1)	/* covers COW extent(s) */
+#define IOMAP_DIO_UNWRITTEN	(1 << 0)
+#define IOMAP_DIO_COW		(1 << 1)
 
+/**
+ * struct iomap_dio_ops - used for direct IO
+ *
+ * This is used to support direct IO.
+ *
+ * @end_io:
+ * @submit_io:
+ * @bio_set: Filesystems wishing to attach private information to a direct io bio must provide a
+ *	->submit_io method that attaches the additional information to the bio and changes the
+ *	->bi_end_io callback to a custom function.  This function should, at a minimum, perform any
+ *	relevant post-processing of the bio and end with a call to iomap_dio_bio_end_io.
+ */
 struct iomap_dio_ops {
 	int (*end_io)(struct kiocb *iocb, ssize_t size, int error,
 		      unsigned flags);
 	void (*submit_io)(const struct iomap_iter *iter, struct bio *bio,
 		          loff_t file_offset);
-
-	/*
-	 * Filesystems wishing to attach private information to a direct io bio
-	 * must provide a ->submit_io method that attaches the additional
-	 * information to the bio and changes the ->bi_end_io callback to a
-	 * custom function.  This function should, at a minimum, perform any
-	 * relevant post-processing of the bio and end with a call to
-	 * iomap_dio_bio_end_io.
-	 */
 	struct bio_set *bio_set;
 };