Linux Device Mapper development
 help / color / mirror / Atom feed
From: sashiko-bot@kernel.org
To: "Drif Abdelmalek Mohamed Said"
	<drifabdelmalekmohamedsaid@gmail.com>,
	"Alasdair Kergon" <agk@redhat.com>,
	"Mike Snitzer" <snitzer@kernel.org>,
	"Mikulas Patocka" <mpatocka@redhat.com>,
	"Benjamin Marzinski" <bmarzins@redhat.com>,
	dm-devel@lists.linux.dev
Cc: syzbot+3e16980543e238b95bd1@syzkaller.appspotmail.com
Subject: Re: [PATCH] dm cache: fix divide error in too_many_discard_blocks()
Date: Fri, 06 Nov 2026 18:18:57 +0000	[thread overview]
Message-ID: <sashiko-outbox-202008@kernel.org> (raw)
In-Reply-To: <20261106180809.1419-1-drifabdelmalekmohamedsaid@gmail.com>

Thank you for your contribution! Sashiko AI review found 2 potential
issues to consider:
- [Medium] dm cache: 32-bit truncation and divide error in
  cache_create()
- [Low] dm cache: line-wrapped Fixes: trailer in commit message
--

commit 1daf5e2259576307a337e1dd87d8c7878f108ae2
Author: Drif Abdelmalek Mohamed Said <drifabdelmalekmohamedsaid@gmail.com>

> dm cache: fix divide error in too_many_discard_blocks()
> 
> too_many_discard_blocks() uses sector_div(), whose divisor is a u32.
> discard_block_size is a 64-bit sector_t that calculate_discard_block_size()
> keeps doubling, so once it reaches a multiple of 2^32 the divisor is
> truncated to 0 and the division traps with a divide error. Smaller values
> above 2^32 are also silently truncated, giving a wrong quotient.
> 
> This needs an origin of more than 2^45 sectors, which is unrealistic (this
> is a thing still in 2026!!) for a real device but reachable with a fuzzer.
> 
> Use div64_u64 so the full 64-bit divisor is used.
> 
> Reported-by: syzbot+3e16980543e238b95bd1@syzkaller.appspotmail.com
> Closes: https://syzkaller.appspot.com/bug?extid=3e16980543e238b95bd1
> Fixes: 08b184514f65d ("dm cache: revert "prevent corruption caused by
>                                 discard_block_size > cache_block_size"")
> Cc: stable@vger.kernel.org
> Signed-off-by: Drif Abdelmalek Mohamed Said <drifabdelmalekmohamedsaid@gmail.com>

[Severity: Low]
The Fixes: trailer is wrapped across two lines with a 13-character SHA,
which should be on a single unwrapped line with a 12-character SHA:

Fixes: 08b184514f65 ("dm cache: revert "prevent corruption caused by discard_block_size > cache_block_size"")

> diff --git a/drivers/md/dm-cache-target.c b/drivers/md/dm-cache-target.c
> index 1a5072425c4a1..2d40d6047ef11 100644
> --- a/drivers/md/dm-cache-target.c
> +++ b/drivers/md/dm-cache-target.c
> @@ -2383,9 +2383,7 @@ static int create_cache_policy(struct cache *cache, struct cache_args *ca,
>  static bool too_many_discard_blocks(sector_t discard_block_size,
>  				    sector_t origin_size)
>  {
> -	(void) sector_div(origin_size, discard_block_size);
> -
> -	return origin_size > MAX_DISCARD_BLOCKS;
> +	return div64_u64(origin_size, discard_block_size) > MAX_DISCARD_BLOCKS;
>  }
>  
>  static sector_t calculate_discard_block_size(sector_t cache_block_size,

[Severity: Medium]
Does allowing calculate_discard_block_size() to return values >= 2^32 just
move the 32-bit truncation and divide-by-zero into cache_create()?

struct cache declares discard_block_size as uint32_t, and cache_create()
immediately passes it to dm_sector_div_up(), which uses sector_div():

drivers/md/dm-cache-target.c:cache_create() {
	...
	cache->discard_block_size =
		calculate_discard_block_size(cache->sectors_per_block,
					     cache->origin_sectors);
	cache->discard_nr_blocks = to_dblock(dm_sector_div_up(cache->origin_sectors,
							      cache->discard_block_size));
	...
}

When origin_sectors > 2^45 and calculate_discard_block_size() returns a
multiple of 2^32, assigning it to cache->discard_block_size truncates it to
0 and dm_sector_div_up() traps with a divide error.  For non-power-of-two
cache->sectors_per_block where the truncated lower 32 bits are non-zero,
cache->discard_block_size is no longer a multiple of
cache->sectors_per_block, so oblock_to_dblock() can produce dblock indices
>= cache->discard_nr_blocks and hit the BUG_ON() in set_discard() or access
cache->discard_bitset out of bounds.  The other uses of
cache->discard_block_size in oblock_to_dblock(),
calc_discard_block_range(), set_discard_range(), and set_discard_limits()
also use 32-bit division helpers or shifts.

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/20261106180809.1419-1-drifabdelmalekmohamedsaid@gmail.com?part=1

      reply	other threads:[~2026-11-06 18:18 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-11-06 18:08 [PATCH] dm cache: fix divide error in too_many_discard_blocks() Drif Abdelmalek Mohamed Said
2026-11-06 18:18 ` sashiko-bot [this message]

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=sashiko-outbox-202008@kernel.org \
    --to=sashiko-bot@kernel.org \
    --cc=agk@redhat.com \
    --cc=bmarzins@redhat.com \
    --cc=dm-devel@lists.linux.dev \
    --cc=drifabdelmalekmohamedsaid@gmail.com \
    --cc=mpatocka@redhat.com \
    --cc=sashiko-reviews@lists.linux.dev \
    --cc=snitzer@kernel.org \
    --cc=syzbot+3e16980543e238b95bd1@syzkaller.appspotmail.com \
    /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