From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Jackson <Ian.Jackson@eu.citrix.com>
Subject: Re: [PATCH v6] libxl: allow 'phy' backend to use empty
	files
Date: Fri, 19 Feb 2016 17:30:53 +0000
Message-ID: <22215.20813.59866.409199@mariner.uk.xensource.com>
References: <22212.25727.162858.164530@mariner.uk.xensource.com>
	<1455729638-41937-1-git-send-email-roger.pau@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta5.messagelabs.com ([195.245.231.135])
	by lists.xen.org with esmtp (Exim 4.72)
	(envelope-from <prvs=8502c4cf5=Ian.Jackson@citrix.com>)
	id 1aWotN-0006ts-Lk
	for xen-devel@lists.xenproject.org; Fri, 19 Feb 2016 17:30:57 +0000
In-Reply-To: <1455729638-41937-1-git-send-email-roger.pau@citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Roger Pau Monne <roger.pau@citrix.com>
Cc: xen-devel@lists.xenproject.org, Wei Liu <wei.liu2@citrix.com>, Ian Campbell <ian.campbell@citrix.com>, Alex Braunegg <alex.braunegg@gmail.com>
List-Id: xen-devel@lists.xenproject.org

Roger Pau Monne writes ("[PATCH v6] libxl: allow 'phy' backend to use empty=
 files"):
> This was introduced by 97ee1f (~5 years ago), but was probably never
> surfaced because most people used regular files as CDROM images, so the P=
HY
> backend was actually never selected. A year ago this was changed, and now
> regular RAW files are also handled by the PHY backend, which has made this
> bug surface.
> =

> Fix it by allowing empty disks to use the PHY backend, skipping the stat
> tests.
> =

> Signed-off-by: Roger Pau Monn=E9 <roger.pau@citrix.com>
> Reported-by: Alex Braunegg <alex.braunegg@gmail.com>

Thanks, and thanks to Alex for the testing, but:

> diff --git a/tools/libxl/libxl_device.c b/tools/libxl/libxl_device.c
> index 8bb5e93..2e08108 100644
> --- a/tools/libxl/libxl_device.c
> +++ b/tools/libxl/libxl_device.c
> @@ -196,6 +196,14 @@ static int disk_try_backend(disk_try_backend_args *a,
>              goto bad_format;
>          }
>  =

> +        if (a->disk->format =3D=3D LIBXL_DISK_FORMAT_EMPTY) {
> +            assert(a->disk->pdev_path =3D=3D NULL ||
> +                   !strcmp(a->disk->pdev_path, ""));

I agree that these things ought to be true but I don't see what code
in libxl ensures that they definitely are.

I think this check ought to be moved to libxl__device_disk_set_backend
or perhaps even earlier, and should generate an ERROR_INVAL rather
than an assertion failure.

The rest of the logic LGTM.

Thanks,
Ian.