xref: /openbmc/qemu/tests/qemu-iotests/257 (revision 5c4343b89d4ca4383af0a41fd6de9db78bf0b1ac)
1dfdc48d5SJohn Snow#!/usr/bin/env python
2dfdc48d5SJohn Snow#
3dfdc48d5SJohn Snow# Test bitmap-sync backups (incremental, differential, and partials)
4dfdc48d5SJohn Snow#
5dfdc48d5SJohn Snow# Copyright (c) 2019 John Snow for Red Hat, Inc.
6dfdc48d5SJohn Snow#
7dfdc48d5SJohn Snow# This program is free software; you can redistribute it and/or modify
8dfdc48d5SJohn Snow# it under the terms of the GNU General Public License as published by
9dfdc48d5SJohn Snow# the Free Software Foundation; either version 2 of the License, or
10dfdc48d5SJohn Snow# (at your option) any later version.
11dfdc48d5SJohn Snow#
12dfdc48d5SJohn Snow# This program is distributed in the hope that it will be useful,
13dfdc48d5SJohn Snow# but WITHOUT ANY WARRANTY; without even the implied warranty of
14dfdc48d5SJohn Snow# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15dfdc48d5SJohn Snow# GNU General Public License for more details.
16dfdc48d5SJohn Snow#
17dfdc48d5SJohn Snow# You should have received a copy of the GNU General Public License
18dfdc48d5SJohn Snow# along with this program.  If not, see <http://www.gnu.org/licenses/>.
19dfdc48d5SJohn Snow#
20dfdc48d5SJohn Snow# owner=jsnow@redhat.com
21dfdc48d5SJohn Snow
22dfdc48d5SJohn Snowimport math
23dfdc48d5SJohn Snowimport os
24dfdc48d5SJohn Snow
25dfdc48d5SJohn Snowimport iotests
26dfdc48d5SJohn Snowfrom iotests import log, qemu_img
27dfdc48d5SJohn Snow
28dfdc48d5SJohn SnowSIZE = 64 * 1024 * 1024
29dfdc48d5SJohn SnowGRANULARITY = 64 * 1024
30dfdc48d5SJohn Snow
31b0a32befSJohn Snow
32b0a32befSJohn Snowclass Pattern:
33b0a32befSJohn Snow    def __init__(self, byte, offset, size=GRANULARITY):
34b0a32befSJohn Snow        self.byte = byte
35b0a32befSJohn Snow        self.offset = offset
36b0a32befSJohn Snow        self.size = size
37b0a32befSJohn Snow
38b0a32befSJohn Snow    def bits(self, granularity):
39b0a32befSJohn Snow        lower = self.offset // granularity
40b0a32befSJohn Snow        upper = (self.offset + self.size - 1) // granularity
41b0a32befSJohn Snow        return set(range(lower, upper + 1))
42b0a32befSJohn Snow
43dfdc48d5SJohn Snow
44dfdc48d5SJohn Snowclass PatternGroup:
45dfdc48d5SJohn Snow    """Grouping of Pattern objects. Initialize with an iterable of Patterns."""
46dfdc48d5SJohn Snow    def __init__(self, patterns):
47dfdc48d5SJohn Snow        self.patterns = patterns
48dfdc48d5SJohn Snow
49dfdc48d5SJohn Snow    def bits(self, granularity):
50dfdc48d5SJohn Snow        """Calculate the unique bits dirtied by this pattern grouping"""
51dfdc48d5SJohn Snow        res = set()
52dfdc48d5SJohn Snow        for pattern in self.patterns:
53b0a32befSJohn Snow            res |= pattern.bits(granularity)
54dfdc48d5SJohn Snow        return res
55dfdc48d5SJohn Snow
56b0a32befSJohn Snow
57dfdc48d5SJohn SnowGROUPS = [
58dfdc48d5SJohn Snow    PatternGroup([
59dfdc48d5SJohn Snow        # Batch 0: 4 clusters
60b0a32befSJohn Snow        Pattern('0x49', 0x0000000),
61b0a32befSJohn Snow        Pattern('0x6c', 0x0100000),   # 1M
62b0a32befSJohn Snow        Pattern('0x6f', 0x2000000),   # 32M
63b0a32befSJohn Snow        Pattern('0x76', 0x3ff0000)]), # 64M - 64K
64dfdc48d5SJohn Snow    PatternGroup([
65dfdc48d5SJohn Snow        # Batch 1: 6 clusters (3 new)
66b0a32befSJohn Snow        Pattern('0x65', 0x0000000),   # Full overwrite
67b0a32befSJohn Snow        Pattern('0x77', 0x00f8000),   # Partial-left (1M-32K)
68b0a32befSJohn Snow        Pattern('0x72', 0x2008000),   # Partial-right (32M+32K)
69b0a32befSJohn Snow        Pattern('0x69', 0x3fe0000)]), # Adjacent-left (64M - 128K)
70dfdc48d5SJohn Snow    PatternGroup([
71dfdc48d5SJohn Snow        # Batch 2: 7 clusters (3 new)
72b0a32befSJohn Snow        Pattern('0x74', 0x0010000),   # Adjacent-right
73b0a32befSJohn Snow        Pattern('0x69', 0x00e8000),   # Partial-left  (1M-96K)
74b0a32befSJohn Snow        Pattern('0x6e', 0x2018000),   # Partial-right (32M+96K)
75b0a32befSJohn Snow        Pattern('0x67', 0x3fe0000,
76dfdc48d5SJohn Snow                2*GRANULARITY)]),     # Overwrite [(64M-128K)-64M)
77dfdc48d5SJohn Snow    PatternGroup([
78dfdc48d5SJohn Snow        # Batch 3: 8 clusters (5 new)
79dfdc48d5SJohn Snow        # Carefully chosen such that nothing re-dirties the one cluster
80dfdc48d5SJohn Snow        # that copies out successfully before failure in Group #1.
81b0a32befSJohn Snow        Pattern('0xaa', 0x0010000,
82dfdc48d5SJohn Snow                3*GRANULARITY),       # Overwrite and 2x Adjacent-right
83b0a32befSJohn Snow        Pattern('0xbb', 0x00d8000),   # Partial-left (1M-160K)
84b0a32befSJohn Snow        Pattern('0xcc', 0x2028000),   # Partial-right (32M+160K)
85b0a32befSJohn Snow        Pattern('0xdd', 0x3fc0000)]), # New; leaving a gap to the right
86dfdc48d5SJohn Snow]
87dfdc48d5SJohn Snow
8832afa5a1SJohn Snow
8932afa5a1SJohn Snowclass EmulatedBitmap:
9032afa5a1SJohn Snow    def __init__(self, granularity=GRANULARITY):
9132afa5a1SJohn Snow        self._bits = set()
9232afa5a1SJohn Snow        self.granularity = granularity
9332afa5a1SJohn Snow
9432afa5a1SJohn Snow    def dirty_bits(self, bits):
9532afa5a1SJohn Snow        self._bits |= set(bits)
9632afa5a1SJohn Snow
9732afa5a1SJohn Snow    def dirty_group(self, n):
9832afa5a1SJohn Snow        self.dirty_bits(GROUPS[n].bits(self.granularity))
9932afa5a1SJohn Snow
10032afa5a1SJohn Snow    def clear(self):
10132afa5a1SJohn Snow        self._bits = set()
10232afa5a1SJohn Snow
10332afa5a1SJohn Snow    def clear_bits(self, bits):
10432afa5a1SJohn Snow        self._bits -= set(bits)
10532afa5a1SJohn Snow
10632afa5a1SJohn Snow    def clear_bit(self, bit):
10732afa5a1SJohn Snow        self.clear_bits({bit})
10832afa5a1SJohn Snow
10932afa5a1SJohn Snow    def clear_group(self, n):
11032afa5a1SJohn Snow        self.clear_bits(GROUPS[n].bits(self.granularity))
11132afa5a1SJohn Snow
11232afa5a1SJohn Snow    @property
11332afa5a1SJohn Snow    def first_bit(self):
11432afa5a1SJohn Snow        return sorted(self.bits)[0]
11532afa5a1SJohn Snow
11632afa5a1SJohn Snow    @property
11732afa5a1SJohn Snow    def bits(self):
11832afa5a1SJohn Snow        return self._bits
11932afa5a1SJohn Snow
12032afa5a1SJohn Snow    @property
12132afa5a1SJohn Snow    def count(self):
12232afa5a1SJohn Snow        return len(self.bits)
12332afa5a1SJohn Snow
12432afa5a1SJohn Snow    def compare(self, qmp_bitmap):
12532afa5a1SJohn Snow        """
12632afa5a1SJohn Snow        Print a nice human-readable message checking that a bitmap as reported
12732afa5a1SJohn Snow        by the QMP interface has as many bits set as we expect it to.
12832afa5a1SJohn Snow        """
12932afa5a1SJohn Snow
13032afa5a1SJohn Snow        name = qmp_bitmap.get('name', '(anonymous)')
13132afa5a1SJohn Snow        log("= Checking Bitmap {:s} =".format(name))
13232afa5a1SJohn Snow
13332afa5a1SJohn Snow        want = self.count
13432afa5a1SJohn Snow        have = qmp_bitmap['count'] // qmp_bitmap['granularity']
13532afa5a1SJohn Snow
13632afa5a1SJohn Snow        log("expecting {:d} dirty sectors; have {:d}. {:s}".format(
13732afa5a1SJohn Snow            want, have, "OK!" if want == have else "ERROR!"))
13832afa5a1SJohn Snow        log('')
13932afa5a1SJohn Snow
14032afa5a1SJohn Snow
141dfdc48d5SJohn Snowclass Drive:
142dfdc48d5SJohn Snow    """Represents, vaguely, a drive attached to a VM.
143dfdc48d5SJohn Snow    Includes format, graph, and device information."""
144dfdc48d5SJohn Snow
145dfdc48d5SJohn Snow    def __init__(self, path, vm=None):
146dfdc48d5SJohn Snow        self.path = path
147dfdc48d5SJohn Snow        self.vm = vm
148dfdc48d5SJohn Snow        self.fmt = None
149dfdc48d5SJohn Snow        self.size = None
150dfdc48d5SJohn Snow        self.node = None
151dfdc48d5SJohn Snow        self.device = None
152dfdc48d5SJohn Snow
153dfdc48d5SJohn Snow    @property
154dfdc48d5SJohn Snow    def name(self):
155dfdc48d5SJohn Snow        return self.node or self.device
156dfdc48d5SJohn Snow
157dfdc48d5SJohn Snow    def img_create(self, fmt, size):
158dfdc48d5SJohn Snow        self.fmt = fmt
159dfdc48d5SJohn Snow        self.size = size
160dfdc48d5SJohn Snow        iotests.qemu_img_create('-f', self.fmt, self.path, str(self.size))
161dfdc48d5SJohn Snow
162dfdc48d5SJohn Snow    def create_target(self, name, fmt, size):
163dfdc48d5SJohn Snow        basename = os.path.basename(self.path)
164dfdc48d5SJohn Snow        file_node_name = "file_{}".format(basename)
165dfdc48d5SJohn Snow        vm = self.vm
166dfdc48d5SJohn Snow
167dfdc48d5SJohn Snow        log(vm.command('blockdev-create', job_id='bdc-file-job',
168dfdc48d5SJohn Snow                       options={
169dfdc48d5SJohn Snow                           'driver': 'file',
170dfdc48d5SJohn Snow                           'filename': self.path,
171dfdc48d5SJohn Snow                           'size': 0,
172dfdc48d5SJohn Snow                       }))
173dfdc48d5SJohn Snow        vm.run_job('bdc-file-job')
174dfdc48d5SJohn Snow        log(vm.command('blockdev-add', driver='file',
175dfdc48d5SJohn Snow                       node_name=file_node_name, filename=self.path))
176dfdc48d5SJohn Snow
177dfdc48d5SJohn Snow        log(vm.command('blockdev-create', job_id='bdc-fmt-job',
178dfdc48d5SJohn Snow                       options={
179dfdc48d5SJohn Snow                           'driver': fmt,
180dfdc48d5SJohn Snow                           'file': file_node_name,
181dfdc48d5SJohn Snow                           'size': size,
182dfdc48d5SJohn Snow                       }))
183dfdc48d5SJohn Snow        vm.run_job('bdc-fmt-job')
184dfdc48d5SJohn Snow        log(vm.command('blockdev-add', driver=fmt,
185dfdc48d5SJohn Snow                       node_name=name,
186dfdc48d5SJohn Snow                       file=file_node_name))
187dfdc48d5SJohn Snow        self.fmt = fmt
188dfdc48d5SJohn Snow        self.size = size
189dfdc48d5SJohn Snow        self.node = name
190dfdc48d5SJohn Snow
1910af2a09cSJohn Snowdef blockdev_backup(vm, device, target, sync, **kwargs):
1920af2a09cSJohn Snow    # Strip any arguments explicitly nulled by the caller:
1930af2a09cSJohn Snow    kwargs = {key: val for key, val in kwargs.items() if val is not None}
1940af2a09cSJohn Snow    result = vm.qmp_log('blockdev-backup',
1950af2a09cSJohn Snow                        device=device,
1960af2a09cSJohn Snow                        target=target,
1970af2a09cSJohn Snow                        sync=sync,
1980af2a09cSJohn Snow                        **kwargs)
1990af2a09cSJohn Snow    return result
2000af2a09cSJohn Snow
2010af2a09cSJohn Snowdef blockdev_backup_mktarget(drive, target_id, filepath, sync, **kwargs):
2020af2a09cSJohn Snow    target_drive = Drive(filepath, vm=drive.vm)
2030af2a09cSJohn Snow    target_drive.create_target(target_id, drive.fmt, drive.size)
2040af2a09cSJohn Snow    blockdev_backup(drive.vm, drive.name, target_id, sync, **kwargs)
2050af2a09cSJohn Snow
206dfdc48d5SJohn Snowdef reference_backup(drive, n, filepath):
207dfdc48d5SJohn Snow    log("--- Reference Backup #{:d} ---\n".format(n))
208dfdc48d5SJohn Snow    target_id = "ref_target_{:d}".format(n)
209dfdc48d5SJohn Snow    job_id = "ref_backup_{:d}".format(n)
2100af2a09cSJohn Snow    blockdev_backup_mktarget(drive, target_id, filepath, "full",
2110af2a09cSJohn Snow                             job_id=job_id)
212dfdc48d5SJohn Snow    drive.vm.run_job(job_id, auto_dismiss=True)
213dfdc48d5SJohn Snow    log('')
214dfdc48d5SJohn Snow
2150af2a09cSJohn Snowdef backup(drive, n, filepath, sync, **kwargs):
2160af2a09cSJohn Snow    log("--- Test Backup #{:d} ---\n".format(n))
2170af2a09cSJohn Snow    target_id = "backup_target_{:d}".format(n)
2180af2a09cSJohn Snow    job_id = "backup_{:d}".format(n)
2190af2a09cSJohn Snow    kwargs.setdefault('auto-finalize', False)
2200af2a09cSJohn Snow    blockdev_backup_mktarget(drive, target_id, filepath, sync,
2210af2a09cSJohn Snow                             job_id=job_id, **kwargs)
222dfdc48d5SJohn Snow    return job_id
223dfdc48d5SJohn Snow
224dfdc48d5SJohn Snowdef perform_writes(drive, n):
225dfdc48d5SJohn Snow    log("--- Write #{:d} ---\n".format(n))
226dfdc48d5SJohn Snow    for pattern in GROUPS[n].patterns:
227dfdc48d5SJohn Snow        cmd = "write -P{:s} 0x{:07x} 0x{:x}".format(
228dfdc48d5SJohn Snow            pattern.byte,
229dfdc48d5SJohn Snow            pattern.offset,
230dfdc48d5SJohn Snow            pattern.size)
231dfdc48d5SJohn Snow        log(cmd)
232dfdc48d5SJohn Snow        log(drive.vm.hmp_qemu_io(drive.name, cmd))
233*5c4343b8SVladimir Sementsov-Ogievskiy    bitmaps = drive.vm.query_bitmaps()
234*5c4343b8SVladimir Sementsov-Ogievskiy    log({'bitmaps': bitmaps}, indent=2)
235dfdc48d5SJohn Snow    log('')
236dfdc48d5SJohn Snow    return bitmaps
237dfdc48d5SJohn Snow
238dfdc48d5SJohn Snow
239dfdc48d5SJohn Snowdef compare_images(image, reference, baseimg=None, expected_match=True):
240dfdc48d5SJohn Snow    """
241dfdc48d5SJohn Snow    Print a nice human-readable message comparing these images.
242dfdc48d5SJohn Snow    """
243dfdc48d5SJohn Snow    expected_ret = 0 if expected_match else 1
244dfdc48d5SJohn Snow    if baseimg:
245dfdc48d5SJohn Snow        assert qemu_img("rebase", "-u", "-b", baseimg, image) == 0
246dfdc48d5SJohn Snow    ret = qemu_img("compare", image, reference)
247dfdc48d5SJohn Snow    log('qemu_img compare "{:s}" "{:s}" ==> {:s}, {:s}'.format(
248dfdc48d5SJohn Snow        image, reference,
249dfdc48d5SJohn Snow        "Identical" if ret == 0 else "Mismatch",
250dfdc48d5SJohn Snow        "OK!" if ret == expected_ret else "ERROR!"),
251dfdc48d5SJohn Snow        filters=[iotests.filter_testfiles])
252dfdc48d5SJohn Snow
2530af2a09cSJohn Snowdef test_bitmap_sync(bsync_mode, msync_mode='bitmap', failure=None):
254dfdc48d5SJohn Snow    """
255dfdc48d5SJohn Snow    Test bitmap backup routines.
256dfdc48d5SJohn Snow
257dfdc48d5SJohn Snow    :param bsync_mode: Is the Bitmap Sync mode, and can be any of:
258dfdc48d5SJohn Snow        - on-success: This is the "incremental" style mode. Bitmaps are
259dfdc48d5SJohn Snow                      synchronized to what was copied out only on success.
260dfdc48d5SJohn Snow                      (Partial images must be discarded.)
261dfdc48d5SJohn Snow        - never:      This is the "differential" style mode.
262dfdc48d5SJohn Snow                      Bitmaps are never synchronized.
263dfdc48d5SJohn Snow        - always:     This is a "best effort" style mode.
264dfdc48d5SJohn Snow                      Bitmaps are always synchronized, regardless of failure.
265dfdc48d5SJohn Snow                      (Partial images must be kept.)
266dfdc48d5SJohn Snow
267bd5ceebfSJohn Snow    :param msync_mode: The mirror sync mode to use for the first backup.
268bd5ceebfSJohn Snow                       Can be any one of:
269bd5ceebfSJohn Snow        - bitmap: Backups based on bitmap manifest.
270bd5ceebfSJohn Snow        - full:   Full backups.
271bd5ceebfSJohn Snow        - top:    Full backups of the top layer only.
272bd5ceebfSJohn Snow
273dfdc48d5SJohn Snow    :param failure: Is the (optional) failure mode, and can be any of:
274dfdc48d5SJohn Snow        - None:         No failure. Test the normative path. Default.
275dfdc48d5SJohn Snow        - simulated:    Cancel the job right before it completes.
276dfdc48d5SJohn Snow                        This also tests writes "during" the job.
277dfdc48d5SJohn Snow        - intermediate: This tests a job that fails mid-process and produces
278dfdc48d5SJohn Snow                        an incomplete backup. Testing limitations prevent
279dfdc48d5SJohn Snow                        testing competing writes.
280dfdc48d5SJohn Snow    """
281dfdc48d5SJohn Snow    with iotests.FilePaths(['img', 'bsync1', 'bsync2',
282dfdc48d5SJohn Snow                            'fbackup0', 'fbackup1', 'fbackup2']) as \
283dfdc48d5SJohn Snow                            (img_path, bsync1, bsync2,
284dfdc48d5SJohn Snow                             fbackup0, fbackup1, fbackup2), \
285dfdc48d5SJohn Snow         iotests.VM() as vm:
286dfdc48d5SJohn Snow
2870af2a09cSJohn Snow        mode = "Mode {:s}; Bitmap Sync {:s}".format(msync_mode, bsync_mode)
288dfdc48d5SJohn Snow        preposition = "with" if failure else "without"
289dfdc48d5SJohn Snow        cond = "{:s} {:s}".format(preposition,
290dfdc48d5SJohn Snow                                  "{:s} failure".format(failure) if failure
291dfdc48d5SJohn Snow                                  else "failure")
292dfdc48d5SJohn Snow        log("\n=== {:s} {:s} ===\n".format(mode, cond))
293dfdc48d5SJohn Snow
294dfdc48d5SJohn Snow        log('--- Preparing image & VM ---\n')
295dfdc48d5SJohn Snow        drive0 = Drive(img_path, vm=vm)
296dfdc48d5SJohn Snow        drive0.img_create(iotests.imgfmt, SIZE)
297dfdc48d5SJohn Snow        vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device()))
298dfdc48d5SJohn Snow        vm.launch()
299dfdc48d5SJohn Snow
300dfdc48d5SJohn Snow        file_config = {
301dfdc48d5SJohn Snow            'driver': 'file',
302dfdc48d5SJohn Snow            'filename': drive0.path
303dfdc48d5SJohn Snow        }
304dfdc48d5SJohn Snow
305dfdc48d5SJohn Snow        if failure == 'intermediate':
306dfdc48d5SJohn Snow            file_config = {
307dfdc48d5SJohn Snow                'driver': 'blkdebug',
308dfdc48d5SJohn Snow                'image': file_config,
309dfdc48d5SJohn Snow                'set-state': [{
310dfdc48d5SJohn Snow                    'event': 'flush_to_disk',
311dfdc48d5SJohn Snow                    'state': 1,
312dfdc48d5SJohn Snow                    'new_state': 2
313dfdc48d5SJohn Snow                }, {
314dfdc48d5SJohn Snow                    'event': 'read_aio',
315dfdc48d5SJohn Snow                    'state': 2,
316dfdc48d5SJohn Snow                    'new_state': 3
317dfdc48d5SJohn Snow                }],
318dfdc48d5SJohn Snow                'inject-error': [{
319dfdc48d5SJohn Snow                    'event': 'read_aio',
320dfdc48d5SJohn Snow                    'errno': 5,
321dfdc48d5SJohn Snow                    'state': 3,
322dfdc48d5SJohn Snow                    'immediately': False,
323dfdc48d5SJohn Snow                    'once': True
324dfdc48d5SJohn Snow                }]
325dfdc48d5SJohn Snow            }
326dfdc48d5SJohn Snow
327dfdc48d5SJohn Snow        vm.qmp_log('blockdev-add',
328dfdc48d5SJohn Snow                   filters=[iotests.filter_qmp_testfiles],
329dfdc48d5SJohn Snow                   node_name="drive0",
330dfdc48d5SJohn Snow                   driver=drive0.fmt,
331dfdc48d5SJohn Snow                   file=file_config)
332dfdc48d5SJohn Snow        drive0.node = 'drive0'
333dfdc48d5SJohn Snow        drive0.device = 'device0'
334dfdc48d5SJohn Snow        # Use share-rw to allow writes directly to the node;
335dfdc48d5SJohn Snow        # The anonymous block-backend for this configuration prevents us
336dfdc48d5SJohn Snow        # from using HMP's qemu-io commands to address the device.
337dfdc48d5SJohn Snow        vm.qmp_log("device_add", id=drive0.device,
338dfdc48d5SJohn Snow                   drive=drive0.name, driver="scsi-hd",
339dfdc48d5SJohn Snow                   share_rw=True)
340dfdc48d5SJohn Snow        log('')
341dfdc48d5SJohn Snow
342dfdc48d5SJohn Snow        # 0 - Writes and Reference Backup
343dfdc48d5SJohn Snow        perform_writes(drive0, 0)
344dfdc48d5SJohn Snow        reference_backup(drive0, 0, fbackup0)
345dfdc48d5SJohn Snow        log('--- Add Bitmap ---\n')
346dfdc48d5SJohn Snow        vm.qmp_log("block-dirty-bitmap-add", node=drive0.name,
347dfdc48d5SJohn Snow                   name="bitmap0", granularity=GRANULARITY)
348dfdc48d5SJohn Snow        log('')
34932afa5a1SJohn Snow        ebitmap = EmulatedBitmap()
350dfdc48d5SJohn Snow
351dfdc48d5SJohn Snow        # 1 - Writes and Reference Backup
352dfdc48d5SJohn Snow        bitmaps = perform_writes(drive0, 1)
35332afa5a1SJohn Snow        ebitmap.dirty_group(1)
354*5c4343b8SVladimir Sementsov-Ogievskiy        bitmap = vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps)
35532afa5a1SJohn Snow        ebitmap.compare(bitmap)
356dfdc48d5SJohn Snow        reference_backup(drive0, 1, fbackup1)
357dfdc48d5SJohn Snow
3580af2a09cSJohn Snow        # 1 - Test Backup (w/ Optional induced failure)
359dfdc48d5SJohn Snow        if failure == 'intermediate':
360dfdc48d5SJohn Snow            # Activate blkdebug induced failure for second-to-next read
361dfdc48d5SJohn Snow            log(vm.hmp_qemu_io(drive0.name, 'flush'))
362dfdc48d5SJohn Snow            log('')
3630af2a09cSJohn Snow        job = backup(drive0, 1, bsync1, msync_mode,
3640af2a09cSJohn Snow                     bitmap="bitmap0", bitmap_mode=bsync_mode)
365dfdc48d5SJohn Snow
366dfdc48d5SJohn Snow        def _callback():
367dfdc48d5SJohn Snow            """Issue writes while the job is open to test bitmap divergence."""
368dfdc48d5SJohn Snow            # Note: when `failure` is 'intermediate', this isn't called.
369dfdc48d5SJohn Snow            log('')
370dfdc48d5SJohn Snow            bitmaps = perform_writes(drive0, 2)
371dfdc48d5SJohn Snow            # Named bitmap (static, should be unchanged)
372*5c4343b8SVladimir Sementsov-Ogievskiy            ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0',
373*5c4343b8SVladimir Sementsov-Ogievskiy                                          bitmaps=bitmaps))
374dfdc48d5SJohn Snow            # Anonymous bitmap (dynamic, shows new writes)
37532afa5a1SJohn Snow            anonymous = EmulatedBitmap()
37632afa5a1SJohn Snow            anonymous.dirty_group(2)
377*5c4343b8SVladimir Sementsov-Ogievskiy            anonymous.compare(vm.get_bitmap(drive0.node, '', recording=True,
378*5c4343b8SVladimir Sementsov-Ogievskiy                                            bitmaps=bitmaps))
37932afa5a1SJohn Snow
38032afa5a1SJohn Snow            # Simulate the order in which this will happen:
38132afa5a1SJohn Snow            # group 1 gets cleared first, then group two gets written.
38232afa5a1SJohn Snow            if ((bsync_mode == 'on-success' and not failure) or
38332afa5a1SJohn Snow                (bsync_mode == 'always')):
384bd5ceebfSJohn Snow                ebitmap.clear()
38532afa5a1SJohn Snow            ebitmap.dirty_group(2)
386dfdc48d5SJohn Snow
387dfdc48d5SJohn Snow        vm.run_job(job, auto_dismiss=True, auto_finalize=False,
388dfdc48d5SJohn Snow                   pre_finalize=_callback,
389dfdc48d5SJohn Snow                   cancel=(failure == 'simulated'))
390*5c4343b8SVladimir Sementsov-Ogievskiy        bitmaps = vm.query_bitmaps()
391*5c4343b8SVladimir Sementsov-Ogievskiy        log({'bitmaps': bitmaps}, indent=2)
392dfdc48d5SJohn Snow        log('')
393dfdc48d5SJohn Snow
394dfdc48d5SJohn Snow        if bsync_mode == 'always' and failure == 'intermediate':
395bd5ceebfSJohn Snow            # TOP treats anything allocated as dirty, expect to see:
396bd5ceebfSJohn Snow            if msync_mode == 'top':
397bd5ceebfSJohn Snow                ebitmap.dirty_group(0)
398bd5ceebfSJohn Snow
399dfdc48d5SJohn Snow            # We manage to copy one sector (one bit) before the error.
40032afa5a1SJohn Snow            ebitmap.clear_bit(ebitmap.first_bit)
401bd5ceebfSJohn Snow
402bd5ceebfSJohn Snow            # Full returns all bits set except what was copied/skipped
403bd5ceebfSJohn Snow            if msync_mode == 'full':
404bd5ceebfSJohn Snow                fail_bit = ebitmap.first_bit
405bd5ceebfSJohn Snow                ebitmap.clear()
406bd5ceebfSJohn Snow                ebitmap.dirty_bits(range(fail_bit, SIZE // GRANULARITY))
407bd5ceebfSJohn Snow
408*5c4343b8SVladimir Sementsov-Ogievskiy        ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
409dfdc48d5SJohn Snow
410dfdc48d5SJohn Snow        # 2 - Writes and Reference Backup
411dfdc48d5SJohn Snow        bitmaps = perform_writes(drive0, 3)
41232afa5a1SJohn Snow        ebitmap.dirty_group(3)
413*5c4343b8SVladimir Sementsov-Ogievskiy        ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
414dfdc48d5SJohn Snow        reference_backup(drive0, 2, fbackup2)
415dfdc48d5SJohn Snow
416dfdc48d5SJohn Snow        # 2 - Bitmap Backup (In failure modes, this is a recovery.)
4170af2a09cSJohn Snow        job = backup(drive0, 2, bsync2, "bitmap",
4180af2a09cSJohn Snow                     bitmap="bitmap0", bitmap_mode=bsync_mode)
419dfdc48d5SJohn Snow        vm.run_job(job, auto_dismiss=True, auto_finalize=False)
420*5c4343b8SVladimir Sementsov-Ogievskiy        bitmaps = vm.query_bitmaps()
421*5c4343b8SVladimir Sementsov-Ogievskiy        log({'bitmaps': bitmaps}, indent=2)
422dfdc48d5SJohn Snow        log('')
42332afa5a1SJohn Snow        if bsync_mode != 'never':
42432afa5a1SJohn Snow            ebitmap.clear()
425*5c4343b8SVladimir Sementsov-Ogievskiy        ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
426dfdc48d5SJohn Snow
427dfdc48d5SJohn Snow        log('--- Cleanup ---\n')
428dfdc48d5SJohn Snow        vm.qmp_log("block-dirty-bitmap-remove",
429dfdc48d5SJohn Snow                   node=drive0.name, name="bitmap0")
430*5c4343b8SVladimir Sementsov-Ogievskiy        bitmaps = vm.query_bitmaps()
431*5c4343b8SVladimir Sementsov-Ogievskiy        log({'bitmaps': bitmaps}, indent=2)
432dfdc48d5SJohn Snow        vm.shutdown()
433dfdc48d5SJohn Snow        log('')
434dfdc48d5SJohn Snow
435dfdc48d5SJohn Snow        log('--- Verification ---\n')
436dfdc48d5SJohn Snow        # 'simulated' failures will actually all pass here because we canceled
437dfdc48d5SJohn Snow        # while "pending". This is actually undefined behavior,
438dfdc48d5SJohn Snow        # don't rely on this to be true!
439dfdc48d5SJohn Snow        compare_images(bsync1, fbackup1, baseimg=fbackup0,
440dfdc48d5SJohn Snow                       expected_match=failure != 'intermediate')
441dfdc48d5SJohn Snow        if not failure or bsync_mode == 'always':
442dfdc48d5SJohn Snow            # Always keep the last backup on success or when using 'always'
443dfdc48d5SJohn Snow            base = bsync1
444dfdc48d5SJohn Snow        else:
445dfdc48d5SJohn Snow            base = fbackup0
446dfdc48d5SJohn Snow        compare_images(bsync2, fbackup2, baseimg=base)
447dfdc48d5SJohn Snow        compare_images(img_path, fbackup2)
448dfdc48d5SJohn Snow        log('')
449dfdc48d5SJohn Snow
450352092d3SJohn Snowdef test_backup_api():
451352092d3SJohn Snow    """
452352092d3SJohn Snow    Test malformed and prohibited invocations of the backup API.
453352092d3SJohn Snow    """
454352092d3SJohn Snow    with iotests.FilePaths(['img', 'bsync1']) as \
455352092d3SJohn Snow         (img_path, backup_path), \
456352092d3SJohn Snow         iotests.VM() as vm:
457352092d3SJohn Snow
458352092d3SJohn Snow        log("\n=== API failure tests ===\n")
459352092d3SJohn Snow        log('--- Preparing image & VM ---\n')
460352092d3SJohn Snow        drive0 = Drive(img_path, vm=vm)
461352092d3SJohn Snow        drive0.img_create(iotests.imgfmt, SIZE)
462352092d3SJohn Snow        vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device()))
463352092d3SJohn Snow        vm.launch()
464352092d3SJohn Snow
465352092d3SJohn Snow        file_config = {
466352092d3SJohn Snow            'driver': 'file',
467352092d3SJohn Snow            'filename': drive0.path
468352092d3SJohn Snow        }
469352092d3SJohn Snow
470352092d3SJohn Snow        vm.qmp_log('blockdev-add',
471352092d3SJohn Snow                   filters=[iotests.filter_qmp_testfiles],
472352092d3SJohn Snow                   node_name="drive0",
473352092d3SJohn Snow                   driver=drive0.fmt,
474352092d3SJohn Snow                   file=file_config)
475352092d3SJohn Snow        drive0.node = 'drive0'
476352092d3SJohn Snow        drive0.device = 'device0'
477352092d3SJohn Snow        vm.qmp_log("device_add", id=drive0.device,
478352092d3SJohn Snow                   drive=drive0.name, driver="scsi-hd")
479352092d3SJohn Snow        log('')
480352092d3SJohn Snow
481352092d3SJohn Snow        target0 = Drive(backup_path, vm=vm)
482352092d3SJohn Snow        target0.create_target("backup_target", drive0.fmt, drive0.size)
483352092d3SJohn Snow        log('')
484352092d3SJohn Snow
485352092d3SJohn Snow        vm.qmp_log("block-dirty-bitmap-add", node=drive0.name,
486352092d3SJohn Snow                   name="bitmap0", granularity=GRANULARITY)
487352092d3SJohn Snow        log('')
488352092d3SJohn Snow
489352092d3SJohn Snow        log('-- Testing invalid QMP commands --\n')
490352092d3SJohn Snow
491352092d3SJohn Snow        error_cases = {
492352092d3SJohn Snow            'incremental': {
493352092d3SJohn Snow                None:        ['on-success', 'always', 'never', None],
494352092d3SJohn Snow                'bitmap404': ['on-success', 'always', 'never', None],
495352092d3SJohn Snow                'bitmap0':   ['always', 'never']
496352092d3SJohn Snow            },
497352092d3SJohn Snow            'bitmap': {
498352092d3SJohn Snow                None:        ['on-success', 'always', 'never', None],
499352092d3SJohn Snow                'bitmap404': ['on-success', 'always', 'never', None],
500352092d3SJohn Snow                'bitmap0':   [None],
501352092d3SJohn Snow            },
502bd5ceebfSJohn Snow            'full': {
503bd5ceebfSJohn Snow                None:        ['on-success', 'always', 'never'],
504bd5ceebfSJohn Snow                'bitmap404': ['on-success', 'always', 'never', None],
505bd5ceebfSJohn Snow                'bitmap0':   ['never', None],
506bd5ceebfSJohn Snow            },
507bd5ceebfSJohn Snow            'top': {
508bd5ceebfSJohn Snow                None:        ['on-success', 'always', 'never'],
509bd5ceebfSJohn Snow                'bitmap404': ['on-success', 'always', 'never', None],
510bd5ceebfSJohn Snow                'bitmap0':   ['never', None],
511bd5ceebfSJohn Snow            },
512bd5ceebfSJohn Snow            'none': {
513bd5ceebfSJohn Snow                None:        ['on-success', 'always', 'never'],
514bd5ceebfSJohn Snow                'bitmap404': ['on-success', 'always', 'never', None],
515bd5ceebfSJohn Snow                'bitmap0':   ['on-success', 'always', 'never', None],
516bd5ceebfSJohn Snow            }
517352092d3SJohn Snow        }
518352092d3SJohn Snow
519352092d3SJohn Snow        # Dicts, as always, are not stably-ordered prior to 3.7, so use tuples:
520bd5ceebfSJohn Snow        for sync_mode in ('incremental', 'bitmap', 'full', 'top', 'none'):
521352092d3SJohn Snow            log("-- Sync mode {:s} tests --\n".format(sync_mode))
522352092d3SJohn Snow            for bitmap in (None, 'bitmap404', 'bitmap0'):
523352092d3SJohn Snow                for policy in error_cases[sync_mode][bitmap]:
524352092d3SJohn Snow                    blockdev_backup(drive0.vm, drive0.name, "backup_target",
525352092d3SJohn Snow                                    sync_mode, job_id='api_job',
526352092d3SJohn Snow                                    bitmap=bitmap, bitmap_mode=policy)
527352092d3SJohn Snow                    log('')
528352092d3SJohn Snow
529352092d3SJohn Snow
530dfdc48d5SJohn Snowdef main():
531dfdc48d5SJohn Snow    for bsync_mode in ("never", "on-success", "always"):
532dfdc48d5SJohn Snow        for failure in ("simulated", "intermediate", None):
5330af2a09cSJohn Snow            test_bitmap_sync(bsync_mode, "bitmap", failure)
534dfdc48d5SJohn Snow
535bd5ceebfSJohn Snow    for sync_mode in ('full', 'top'):
536bd5ceebfSJohn Snow        for bsync_mode in ('on-success', 'always'):
537bd5ceebfSJohn Snow            for failure in ('simulated', 'intermediate', None):
538bd5ceebfSJohn Snow                test_bitmap_sync(bsync_mode, sync_mode, failure)
539bd5ceebfSJohn Snow
540352092d3SJohn Snow    test_backup_api()
541352092d3SJohn Snow
542dfdc48d5SJohn Snowif __name__ == '__main__':
543103cbc77SMax Reitz    iotests.script_main(main, supported_fmts=['qcow2'],
544103cbc77SMax Reitz                        supported_protocols=['file'])
545