| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-Id: <20230428085020.2283981-7-linan666@huaweicloud.com>
Date: Fri, 28 Apr 2023 16:50:16 +0800
From: linan666@...weicloud.com
To: axboe@...nel.dk, vishal.l.verma@...el.com, dan.j.williams@...el.com
Cc: linux-block@...r.kernel.org, linux-kernel@...r.kernel.org,
linan122@...wei.com, yukuai3@...wei.com, yi.zhang@...wei.com,
houtao1@...wei.com, yangerkun@...wei.com
Subject: [PATCH 06/10] block/badblocks: check bb->count instead of 'hi > lo'
From: Li Nan <linan122@...wei.com>
'hi > lo' only holds when bb->count is 0. Check it is complicated after
dichotomy. Check bb->count instead. And this will make future fix more
convenient.
No functional change intended.
Signed-off-by: Li Nan <linan122@...wei.com>
---
block/badblocks.c | 155 +++++++++++++++++++++++-----------------------
1 file changed, 79 insertions(+), 76 deletions(-)
diff --git a/block/badblocks.c b/block/badblocks.c
index c11eb869f2f3..3cb8513cbd7f 100644
--- a/block/badblocks.c
+++ b/block/badblocks.c
@@ -187,28 +187,32 @@ int badblocks_set(struct badblocks *bb, sector_t s, int sectors,
p = bb->page;
lo = 0;
hi = bb->count;
- /* Find the last range that starts at-or-before 's' */
- while (hi - lo > 1) {
- int mid = (lo + hi) / 2;
- sector_t a = BB_OFFSET(p[mid]);
-
- if (a <= s)
- lo = mid;
- else
- hi = mid;
- }
- if (hi > lo && BB_OFFSET(p[lo]) > s)
- hi = lo;
+ if (bb->count) {
+ sector_t a;
+ sector_t e;
+ int ack;
+
+ /* Find the last range that starts at-or-before 's' */
+ while (hi - lo > 1) {
+ int mid = (lo + hi) / 2;
+
+ a = BB_OFFSET(p[mid]);
+ if (a <= s)
+ lo = mid;
+ else
+ hi = mid;
+ }
- if (hi > lo) {
/* we found a range that might merge with the start
* of our new range
*/
- sector_t a = BB_OFFSET(p[lo]);
- sector_t e = a + BB_LEN(p[lo]);
- int ack = BB_ACK(p[lo]);
+ a = BB_OFFSET(p[lo]);
+ e = a + BB_LEN(p[lo]);
+ ack = BB_ACK(p[lo]);
- if (e >= s) {
+ if (a > s) {
+ hi = lo;
+ } else if (e >= s) {
/* Yes, we can merge with a previous range */
if (s == a && s + sectors >= e)
/* new range covers old */
@@ -232,72 +236,71 @@ int badblocks_set(struct badblocks *bb, sector_t s, int sectors,
}
sectors = e - s;
}
- }
- if (sectors && hi < bb->count) {
- /* 'hi' points to the first range that starts after 's'.
- * Maybe we can merge with the start of that range
- */
- sector_t a = BB_OFFSET(p[hi]);
- sector_t e = a + BB_LEN(p[hi]);
- int ack = BB_ACK(p[hi]);
-
- if (a <= s + sectors) {
- /* merging is possible */
- if (e <= s + sectors) {
- /* full overlap */
-
- e = s + sectors;
- ack = acknowledged;
- } else
- ack = ack && acknowledged;
-
- a = s;
- if (e - a <= BB_MAX_LEN) {
- p[hi] = BB_MAKE(a, e-a, ack);
- s = e;
- } else {
- p[hi] = BB_MAKE(a, BB_MAX_LEN, ack);
- s = a + BB_MAX_LEN;
+ if (sectors && hi < bb->count) {
+ /* 'hi' points to the first range that starts after 's'.
+ * Maybe we can merge with the start of that range
+ */
+ a = BB_OFFSET(p[hi]);
+ e = a + BB_LEN(p[hi]);
+ ack = BB_ACK(p[hi]);
+
+ if (a <= s + sectors) {
+ /* merging is possible */
+ if (e <= s + sectors) {
+ /* full overlap */
+ e = s + sectors;
+ ack = acknowledged;
+ } else
+ ack = ack && acknowledged;
+
+ a = s;
+ if (e - a <= BB_MAX_LEN) {
+ p[hi] = BB_MAKE(a, e-a, ack);
+ s = e;
+ } else {
+ p[hi] = BB_MAKE(a, BB_MAX_LEN, ack);
+ s = a + BB_MAX_LEN;
+ }
+ sectors = e - s;
+ lo = hi;
+ hi++;
+ changed = true;
}
- sectors = e - s;
- lo = hi;
- hi++;
- changed = true;
}
- }
- if (sectors == 0 && hi < bb->count) {
- /* we might be able to combine lo and hi */
- /* Note: 's' is at the end of 'lo' */
- sector_t loa = BB_OFFSET(p[lo]), hia = BB_OFFSET(p[hi]);
- sector_t hie = hia + BB_LEN(p[hi]);
- int newlen = max(s, hie) - loa;
- int ack = BB_ACK(p[lo]) && BB_ACK(p[hi]);
-
- if (s >= hia) {
- while (s >= hie) {
- /* lo contains hi, just remove hi */
- memmove(p + hi, p + hi + 1,
- (bb->count - hi - 1) * 8);
- bb->count--;
- if (hi >= bb->count)
- break;
- hia = BB_OFFSET(p[hi]);
- hie = hia + BB_LEN(p[hi]);
- }
- if (s >= hia && hi < bb->count) {
- if (newlen > BB_MAX_LEN) {
- p[lo] = BB_MAKE(loa, BB_MAX_LEN, ack);
- p[hi] = BB_MAKE(loa + BB_MAX_LEN,
- newlen - BB_MAX_LEN,
- BB_ACK(p[hi]));
- } else {
- p[lo] = BB_MAKE(loa, newlen, ack);
+ if (sectors == 0 && hi < bb->count) {
+ /* we might be able to combine lo and hi */
+ /* Note: 's' is at the end of 'lo' */
+ sector_t loa = BB_OFFSET(p[lo]), hia = BB_OFFSET(p[hi]);
+ sector_t hie = hia + BB_LEN(p[hi]);
+ int newlen = max(s, hie) - loa;
+
+ ack = BB_ACK(p[lo]) && BB_ACK(p[hi]);
+ if (s >= hia) {
+ while (s >= hie) {
+ /* lo contains hi, just remove hi */
memmove(p + hi, p + hi + 1,
(bb->count - hi - 1) * 8);
bb->count--;
+ if (hi >= bb->count)
+ break;
+ hia = BB_OFFSET(p[hi]);
+ hie = hia + BB_LEN(p[hi]);
+ }
+ if (s >= hia && hi < bb->count) {
+ if (newlen > BB_MAX_LEN) {
+ p[lo] = BB_MAKE(loa, BB_MAX_LEN, ack);
+ p[hi] = BB_MAKE(loa + BB_MAX_LEN,
+ newlen - BB_MAX_LEN,
+ BB_ACK(p[hi]));
+ } else {
+ p[lo] = BB_MAKE(loa, newlen, ack);
+ memmove(p + hi, p + hi + 1,
+ (bb->count - hi - 1) * 8);
+ bb->count--;
+ }
}
+ changed = true;
}
- changed = true;
}
}
while (sectors) {
--
2.31.1
Powered by blists - more mailing lists