This is a note to let you know that I've just added the patch titled

    dm-integrity: don't modify bio's immutable bio_vec in integrity_metadata()

to the 5.4-stable tree which can be found at:
    
http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary

The filename of the patch is:
     dm-integrity-don-t-modify-bio-s-immutable-bio_vec-in.patch
and it can be found in the queue-5.4 subdirectory.

If you, or anyone else, feels it should not be added to the stable tree,
please let <sta...@vger.kernel.org> know about it.



commit a786824d93478146b4fd965e4c4a3a05732e0cdd
Author: Mikulas Patocka <mpato...@redhat.com>
Date:   Tue Dec 5 16:39:16 2023 +0100

    dm-integrity: don't modify bio's immutable bio_vec in integrity_metadata()
    
    commit b86f4b790c998afdbc88fe1aa55cfe89c4068726 upstream.
    
    __bio_for_each_segment assumes that the first struct bio_vec argument
    doesn't change - it calls "bio_advance_iter_single((bio), &(iter),
    (bvl).bv_len)" to advance the iterator. Unfortunately, the dm-integrity
    code changes the bio_vec with "bv.bv_len -= pos". When this code path
    is taken, the iterator would be out of sync and dm-integrity would
    report errors. This happens if the machine is out of memory and
    "kmalloc" fails.
    
    Fix this bug by making a copy of "bv" and changing the copy instead.
    
    Fixes: 7eada909bfd7 ("dm: add integrity target")
    Cc: sta...@vger.kernel.org      # v4.12+
    Signed-off-by: Mikulas Patocka <mpato...@redhat.com>
    Signed-off-by: Mike Snitzer <snit...@kernel.org>
    Signed-off-by: Greg Kroah-Hartman <gre...@linuxfoundation.org>
    Signed-off-by: Sasha Levin <sas...@kernel.org>

diff --git a/drivers/md/dm-integrity.c b/drivers/md/dm-integrity.c
index 81157801a3dc6..f3246f7407d61 100644
--- a/drivers/md/dm-integrity.c
+++ b/drivers/md/dm-integrity.c
@@ -1582,11 +1582,12 @@ static void integrity_metadata(struct work_struct *w)
                }
 
                __bio_for_each_segment(bv, bio, iter, dio->bio_details.bi_iter) 
{
+                       struct bio_vec bv_copy = bv;
                        unsigned pos;
                        char *mem, *checksums_ptr;
 
 again:
-                       mem = (char *)kmap_atomic(bv.bv_page) + bv.bv_offset;
+                       mem = (char *)kmap_atomic(bv_copy.bv_page) + 
bv_copy.bv_offset;
                        pos = 0;
                        checksums_ptr = checksums;
                        do {
@@ -1595,7 +1596,7 @@ static void integrity_metadata(struct work_struct *w)
                                sectors_to_process -= ic->sectors_per_block;
                                pos += ic->sectors_per_block << SECTOR_SHIFT;
                                sector += ic->sectors_per_block;
-                       } while (pos < bv.bv_len && sectors_to_process && 
checksums != checksums_onstack);
+                       } while (pos < bv_copy.bv_len && sectors_to_process && 
checksums != checksums_onstack);
                        kunmap_atomic(mem);
 
                        r = dm_integrity_rw_tag(ic, checksums, 
&dio->metadata_block, &dio->metadata_offset,
@@ -1615,9 +1616,9 @@ static void integrity_metadata(struct work_struct *w)
                        if (!sectors_to_process)
                                break;
 
-                       if (unlikely(pos < bv.bv_len)) {
-                               bv.bv_offset += pos;
-                               bv.bv_len -= pos;
+                       if (unlikely(pos < bv_copy.bv_len)) {
+                               bv_copy.bv_offset += pos;
+                               bv_copy.bv_len -= pos;
                                goto again;
                        }
                }

Reply via email to