Re: [Qemu-devel] [PULL 4/5] block: Skip implicit nodes in query-block/blockstats

[Peter Maydell]

On 24 July 2017 at 15:32, Kevin Wolf <address@hidden> wrote:
> Commits 0db832f and 6cdbceb introduced the automatic insertion of filter
> nodes above the top layer of mirror and commit block jobs. The
> assumption made there was that since libvirt doesn't do node-level
> management of the block layer yet, it shouldn't be affected by added
> nodes.
>
> This is true as far as commands issued by libvirt are concerned. It only
> uses BlockBackend names to address nodes, so any operations it performs
> still operate on the root of the tree as intended.
>
> However, the assumption breaks down when you consider query commands,
> which return data for the wrong node now. These commands also return
> information on some child nodes (bs->file and/or bs->backing), which
> libvirt does make use of, and which refer to the wrong nodes, too.
>
> One of the consequences is that oVirt gets wrong information about the
> image size and stops the VM in response as long as a mirror or commit
> job is running:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=1470634
>
> This patch fixes the problem by hiding the implicit nodes created
> automatically by the mirror and commit block jobs in the output of
> query-block and BlockBackend-based query-blockstats as long as the user
> doesn't indicate that they are aware of those nodes by providing a node
> name for them in the QMP command to start the block job.

Hi -- Coverity complains about dereference-after-NULL-check
for this change (CID 1378275).

> --- a/block/qapi.c
> +++ b/block/qapi.c
> @@ -64,7 +64,6 @@ BlockDeviceInfo *bdrv_block_device_info(BlockBackend *blk,
>          info->backing_file = g_strdup(bs->backing_file);
>      }
>
> -    info->backing_file_depth = bdrv_get_backing_file_depth(bs);
>      info->detect_zeroes = bs->detect_zeroes;
>
>      if (blk && blk_get_public(blk)->throttle_state) {
> @@ -125,6 +124,7 @@ BlockDeviceInfo *bdrv_block_device_info(BlockBackend *blk,
>
>      bs0 = bs;
>      p_image_info = &info->image;
> +    info->backing_file_depth = 0;
>      while (1) {
>          Error *local_err = NULL;
>          bdrv_query_image_info(bs0, p_image_info, &local_err);
> @@ -133,13 +133,21 @@ BlockDeviceInfo *bdrv_block_device_info(BlockBackend 
> *blk,
>              qapi_free_BlockDeviceInfo(info);
>              return NULL;
>          }
> +
>          if (bs0->drv && bs0->backing) {
> +            info->backing_file_depth++;
>              bs0 = bs0->backing->bs;
>              (*p_image_info)->has_backing_image = true;
>              p_image_info = &((*p_image_info)->backing_image);
>          } else {
>              break;
>          }
> +
> +        /* Skip automatically inserted nodes that the user isn't aware of for
> +         * query-block (blk != NULL), but not for query-named-block-nodes */
> +        while (blk && bs0 && bs0->drv && bs0->implicit) {
> +            bs0 = backing_bs(bs0);
> +        }
>      }

The analysis is a bit confusing because it involves a loop, but
this while loop at the bottom of the "while (1)" implies that
bs0 could be NULL here, in which case we'll stop iterating through
this while(), which will cause us to go up to the top of the while(1),
where we call bdrv_query_image_info(bs0, ...), which assumes that
bs0 is non-NULL.

Either we need to handle bs0 == NULL in some way other than
crashing in the call to bdrv_query_image_info(), or bs0
can't ever be NULL here in which case it's an unnecessary
test in the while condition.

thanks
-- PMM