block/qcow2-cluster.c | 5 +++-- block/qcow2-refcount.c | 25 ++++++++++++++----------- block/qcow2.c | 3 ++- block/qcow2.h | 4 ++++ 4 files changed, 23 insertions(+), 14 deletions(-)
When an L2 table entry points to a compressed cluster the space used
by the data is specified in 512-byte sectors. This size is independent
from BDRV_SECTOR_SIZE and is specific to the qcow2 file format.
The QCOW2_COMPRESSED_SECTOR_SIZE constant defined in this patch makes
this explicit.
Signed-off-by: Alberto Garcia <berto@igalia.com>
---
block/qcow2-cluster.c | 5 +++--
block/qcow2-refcount.c | 25 ++++++++++++++-----------
block/qcow2.c | 3 ++-
block/qcow2.h | 4 ++++
4 files changed, 23 insertions(+), 14 deletions(-)
diff --git a/block/qcow2-cluster.c b/block/qcow2-cluster.c
index 974a4e8656..b36f4aa84a 100644
--- a/block/qcow2-cluster.c
+++ b/block/qcow2-cluster.c
@@ -796,8 +796,9 @@ int qcow2_alloc_compressed_cluster_offset(BlockDriverState *bs,
return cluster_offset;
}
- nb_csectors = ((cluster_offset + compressed_size - 1) >> 9) -
- (cluster_offset >> 9);
+ nb_csectors =
+ (cluster_offset + compressed_size - 1) / QCOW2_COMPRESSED_SECTOR_SIZE -
+ (cluster_offset / QCOW2_COMPRESSED_SECTOR_SIZE);
cluster_offset |= QCOW_OFLAG_COMPRESSED |
((uint64_t)nb_csectors << s->csize_shift);
diff --git a/block/qcow2-refcount.c b/block/qcow2-refcount.c
index fa7ac1f7cb..780bd49a00 100644
--- a/block/qcow2-refcount.c
+++ b/block/qcow2-refcount.c
@@ -1172,12 +1172,11 @@ void qcow2_free_any_clusters(BlockDriverState *bs, uint64_t l2_entry,
switch (ctype) {
case QCOW2_CLUSTER_COMPRESSED:
{
- int nb_csectors;
- nb_csectors = ((l2_entry >> s->csize_shift) &
- s->csize_mask) + 1;
- qcow2_free_clusters(bs,
- (l2_entry & s->cluster_offset_mask) & ~511,
- nb_csectors * 512, type);
+ int64_t offset = (l2_entry & s->cluster_offset_mask)
+ & QCOW2_COMPRESSED_SECTOR_MASK;
+ int size = QCOW2_COMPRESSED_SECTOR_SIZE *
+ (((l2_entry >> s->csize_shift) & s->csize_mask) + 1);
+ qcow2_free_clusters(bs, offset, size, type);
}
break;
case QCOW2_CLUSTER_NORMAL:
@@ -1317,9 +1316,12 @@ int qcow2_update_snapshot_refcount(BlockDriverState *bs,
nb_csectors = ((entry >> s->csize_shift) &
s->csize_mask) + 1;
if (addend != 0) {
+ uint64_t coffset = (entry & s->cluster_offset_mask)
+ & QCOW2_COMPRESSED_SECTOR_MASK;
ret = update_refcount(
- bs, (entry & s->cluster_offset_mask) & ~511,
- nb_csectors * 512, abs(addend), addend < 0,
+ bs, coffset,
+ nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE,
+ abs(addend), addend < 0,
QCOW2_DISCARD_SNAPSHOT);
if (ret < 0) {
goto fail;
@@ -1635,9 +1637,10 @@ static int check_refcounts_l2(BlockDriverState *bs, BdrvCheckResult *res,
nb_csectors = ((l2_entry >> s->csize_shift) &
s->csize_mask) + 1;
l2_entry &= s->cluster_offset_mask;
- ret = qcow2_inc_refcounts_imrt(bs, res,
- refcount_table, refcount_table_size,
- l2_entry & ~511, nb_csectors * 512);
+ ret = qcow2_inc_refcounts_imrt(
+ bs, res, refcount_table, refcount_table_size,
+ l2_entry & QCOW2_COMPRESSED_SECTOR_MASK,
+ nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE);
if (ret < 0) {
goto fail;
}
diff --git a/block/qcow2.c b/block/qcow2.c
index a520d116ef..80679a84d2 100644
--- a/block/qcow2.c
+++ b/block/qcow2.c
@@ -4188,7 +4188,8 @@ qcow2_co_preadv_compressed(BlockDriverState *bs,
coffset = file_cluster_offset & s->cluster_offset_mask;
nb_csectors = ((file_cluster_offset >> s->csize_shift) & s->csize_mask) + 1;
- csize = nb_csectors * 512 - (coffset & 511);
+ csize = nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE -
+ (coffset & ~QCOW2_COMPRESSED_SECTOR_MASK);
buf = g_try_malloc(csize);
if (!buf) {
diff --git a/block/qcow2.h b/block/qcow2.h
index fdee297f33..7e796877d6 100644
--- a/block/qcow2.h
+++ b/block/qcow2.h
@@ -74,6 +74,10 @@
#define MIN_CLUSTER_BITS 9
#define MAX_CLUSTER_BITS 21
+/* Defined in the qcow2 spec (compressed cluster descriptor) */
+#define QCOW2_COMPRESSED_SECTOR_SIZE 512U
+#define QCOW2_COMPRESSED_SECTOR_MASK (~(QCOW2_COMPRESSED_SECTOR_SIZE - 1))
+
/* Must be at least 2 to cover COW */
#define MIN_L2_CACHE_SIZE 2 /* cache entries */
--
2.11.0
The patch LGTM, just a comment below. On Fri, May 10, 2019 at 07:22:54PM +0300, Alberto Garcia wrote: > When an L2 table entry points to a compressed cluster the space used > by the data is specified in 512-byte sectors. This size is independent > from BDRV_SECTOR_SIZE and is specific to the qcow2 file format. > > The QCOW2_COMPRESSED_SECTOR_SIZE constant defined in this patch makes > this explicit. > > Signed-off-by: Alberto Garcia <berto@igalia.com> > --- > block/qcow2-cluster.c | 5 +++-- > block/qcow2-refcount.c | 25 ++++++++++++++----------- > block/qcow2.c | 3 ++- > block/qcow2.h | 4 ++++ > 4 files changed, 23 insertions(+), 14 deletions(-) > > diff --git a/block/qcow2-cluster.c b/block/qcow2-cluster.c > index 974a4e8656..b36f4aa84a 100644 > --- a/block/qcow2-cluster.c > +++ b/block/qcow2-cluster.c > @@ -796,8 +796,9 @@ int qcow2_alloc_compressed_cluster_offset(BlockDriverState *bs, > return cluster_offset; > } > > - nb_csectors = ((cluster_offset + compressed_size - 1) >> 9) - > - (cluster_offset >> 9); > + nb_csectors = > + (cluster_offset + compressed_size - 1) / QCOW2_COMPRESSED_SECTOR_SIZE - > + (cluster_offset / QCOW2_COMPRESSED_SECTOR_SIZE); > > cluster_offset |= QCOW_OFLAG_COMPRESSED | > ((uint64_t)nb_csectors << s->csize_shift); > diff --git a/block/qcow2-refcount.c b/block/qcow2-refcount.c > index fa7ac1f7cb..780bd49a00 100644 > --- a/block/qcow2-refcount.c > +++ b/block/qcow2-refcount.c > @@ -1172,12 +1172,11 @@ void qcow2_free_any_clusters(BlockDriverState *bs, uint64_t l2_entry, > switch (ctype) { > case QCOW2_CLUSTER_COMPRESSED: > { > - int nb_csectors; > - nb_csectors = ((l2_entry >> s->csize_shift) & > - s->csize_mask) + 1; > - qcow2_free_clusters(bs, > - (l2_entry & s->cluster_offset_mask) & ~511, > - nb_csectors * 512, type); > + int64_t offset = (l2_entry & s->cluster_offset_mask) > + & QCOW2_COMPRESSED_SECTOR_MASK; > + int size = QCOW2_COMPRESSED_SECTOR_SIZE * > + (((l2_entry >> s->csize_shift) & s->csize_mask) + 1); What about using int64_t type for the 'size' variable? (because the qcow2_free_clusters() 'size' parameter is int64_t) > + qcow2_free_clusters(bs, offset, size, type); > } > break; > case QCOW2_CLUSTER_NORMAL: > @@ -1317,9 +1316,12 @@ int qcow2_update_snapshot_refcount(BlockDriverState *bs, > nb_csectors = ((entry >> s->csize_shift) & > s->csize_mask) + 1; > if (addend != 0) { > + uint64_t coffset = (entry & s->cluster_offset_mask) > + & QCOW2_COMPRESSED_SECTOR_MASK; > ret = update_refcount( > - bs, (entry & s->cluster_offset_mask) & ~511, > - nb_csectors * 512, abs(addend), addend < 0, > + bs, coffset, > + nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE, > + abs(addend), addend < 0, > QCOW2_DISCARD_SNAPSHOT); > if (ret < 0) { > goto fail; > @@ -1635,9 +1637,10 @@ static int check_refcounts_l2(BlockDriverState *bs, BdrvCheckResult *res, > nb_csectors = ((l2_entry >> s->csize_shift) & > s->csize_mask) + 1; > l2_entry &= s->cluster_offset_mask; > - ret = qcow2_inc_refcounts_imrt(bs, res, > - refcount_table, refcount_table_size, > - l2_entry & ~511, nb_csectors * 512); > + ret = qcow2_inc_refcounts_imrt( > + bs, res, refcount_table, refcount_table_size, > + l2_entry & QCOW2_COMPRESSED_SECTOR_MASK, > + nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE); > if (ret < 0) { > goto fail; > } > diff --git a/block/qcow2.c b/block/qcow2.c > index a520d116ef..80679a84d2 100644 > --- a/block/qcow2.c > +++ b/block/qcow2.c > @@ -4188,7 +4188,8 @@ qcow2_co_preadv_compressed(BlockDriverState *bs, > > coffset = file_cluster_offset & s->cluster_offset_mask; > nb_csectors = ((file_cluster_offset >> s->csize_shift) & s->csize_mask) + 1; > - csize = nb_csectors * 512 - (coffset & 511); > + csize = nb_csectors * QCOW2_COMPRESSED_SECTOR_SIZE - > + (coffset & ~QCOW2_COMPRESSED_SECTOR_MASK); > > buf = g_try_malloc(csize); > if (!buf) { > diff --git a/block/qcow2.h b/block/qcow2.h > index fdee297f33..7e796877d6 100644 > --- a/block/qcow2.h > +++ b/block/qcow2.h > @@ -74,6 +74,10 @@ > #define MIN_CLUSTER_BITS 9 > #define MAX_CLUSTER_BITS 21 > > +/* Defined in the qcow2 spec (compressed cluster descriptor) */ > +#define QCOW2_COMPRESSED_SECTOR_SIZE 512U > +#define QCOW2_COMPRESSED_SECTOR_MASK (~(QCOW2_COMPRESSED_SECTOR_SIZE - 1)) > + > /* Must be at least 2 to cover COW */ > #define MIN_L2_CACHE_SIZE 2 /* cache entries */ >
On Mon 13 May 2019 01:28:46 PM CEST, Stefano Garzarella wrote: >> + int size = QCOW2_COMPRESSED_SECTOR_SIZE * >> + (((l2_entry >> s->csize_shift) & s->csize_mask) + 1); > > What about using int64_t type for the 'size' variable? > (because the qcow2_free_clusters() 'size' parameter is int64_t) The maximum size that can be read from a compressed cluster descriptor using the formula above is twice the cluster size (more information on commit abd3622cc03cf41ed542126a540385f30a4c0175 and on the Compressed Clusters Descriptor spec in docs/interop/qcow2.txt). Since the maximum allowed cluster size is 2MB, the value of the 'size' variable can never be larger than 4MB, which fits comfortably on a 32-bit integer. We would need to support 512MB clusters in order to have problems with this. Berto
On Mon, May 13, 2019 at 01:48:27PM +0200, Alberto Garcia wrote: > On Mon 13 May 2019 01:28:46 PM CEST, Stefano Garzarella wrote: > >> + int size = QCOW2_COMPRESSED_SECTOR_SIZE * > >> + (((l2_entry >> s->csize_shift) & s->csize_mask) + 1); > > > > What about using int64_t type for the 'size' variable? > > (because the qcow2_free_clusters() 'size' parameter is int64_t) > > The maximum size that can be read from a compressed cluster descriptor > using the formula above is twice the cluster size (more information on > commit abd3622cc03cf41ed542126a540385f30a4c0175 and on the Compressed > Clusters Descriptor spec in docs/interop/qcow2.txt). > > Since the maximum allowed cluster size is 2MB, the value of the 'size' > variable can never be larger than 4MB, which fits comfortably on a > 32-bit integer. We would need to support 512MB clusters in order to have > problems with this. Thanks for the explaination and sorry for that! Cheers, Stefano
On Mon 13 May 2019 03:14:40 PM CEST, Stefano Garzarella wrote: >> Since the maximum allowed cluster size is 2MB, the value of the >> 'size' variable can never be larger than 4MB, which fits comfortably >> on a 32-bit integer. We would need to support 512MB clusters in order >> to have problems with this. > > Thanks for the explaination and sorry for that! No need to say sorry, the question was perfectly valid and it could have been an actual bug, so I appreciate that you wrote the e-mail. Thanks, Berto
Am 10.05.2019 um 18:22 hat Alberto Garcia geschrieben: > When an L2 table entry points to a compressed cluster the space used > by the data is specified in 512-byte sectors. This size is independent > from BDRV_SECTOR_SIZE and is specific to the qcow2 file format. > > The QCOW2_COMPRESSED_SECTOR_SIZE constant defined in this patch makes > this explicit. > > Signed-off-by: Alberto Garcia <berto@igalia.com> Thanks, applied to the block branch. Kevin
© 2016 - 2024 Red Hat, Inc.