xref: /openbmc/qemu/tests/qemu-iotests/257 (revision dfdc48d5e2c48d28fd9aa8829928d77650b350ae)
1*dfdc48d5SJohn Snow#!/usr/bin/env python
2*dfdc48d5SJohn Snow#
3*dfdc48d5SJohn Snow# Test bitmap-sync backups (incremental, differential, and partials)
4*dfdc48d5SJohn Snow#
5*dfdc48d5SJohn Snow# Copyright (c) 2019 John Snow for Red Hat, Inc.
6*dfdc48d5SJohn Snow#
7*dfdc48d5SJohn Snow# This program is free software; you can redistribute it and/or modify
8*dfdc48d5SJohn Snow# it under the terms of the GNU General Public License as published by
9*dfdc48d5SJohn Snow# the Free Software Foundation; either version 2 of the License, or
10*dfdc48d5SJohn Snow# (at your option) any later version.
11*dfdc48d5SJohn Snow#
12*dfdc48d5SJohn Snow# This program is distributed in the hope that it will be useful,
13*dfdc48d5SJohn Snow# but WITHOUT ANY WARRANTY; without even the implied warranty of
14*dfdc48d5SJohn Snow# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15*dfdc48d5SJohn Snow# GNU General Public License for more details.
16*dfdc48d5SJohn Snow#
17*dfdc48d5SJohn Snow# You should have received a copy of the GNU General Public License
18*dfdc48d5SJohn Snow# along with this program.  If not, see <http://www.gnu.org/licenses/>.
19*dfdc48d5SJohn Snow#
20*dfdc48d5SJohn Snow# owner=jsnow@redhat.com
21*dfdc48d5SJohn Snow
22*dfdc48d5SJohn Snowfrom collections import namedtuple
23*dfdc48d5SJohn Snowimport math
24*dfdc48d5SJohn Snowimport os
25*dfdc48d5SJohn Snow
26*dfdc48d5SJohn Snowimport iotests
27*dfdc48d5SJohn Snowfrom iotests import log, qemu_img
28*dfdc48d5SJohn Snow
29*dfdc48d5SJohn SnowSIZE = 64 * 1024 * 1024
30*dfdc48d5SJohn SnowGRANULARITY = 64 * 1024
31*dfdc48d5SJohn Snow
32*dfdc48d5SJohn SnowPattern = namedtuple('Pattern', ['byte', 'offset', 'size'])
33*dfdc48d5SJohn Snowdef mkpattern(byte, offset, size=GRANULARITY):
34*dfdc48d5SJohn Snow    """Constructor for Pattern() with default size"""
35*dfdc48d5SJohn Snow    return Pattern(byte, offset, size)
36*dfdc48d5SJohn Snow
37*dfdc48d5SJohn Snowclass PatternGroup:
38*dfdc48d5SJohn Snow    """Grouping of Pattern objects. Initialize with an iterable of Patterns."""
39*dfdc48d5SJohn Snow    def __init__(self, patterns):
40*dfdc48d5SJohn Snow        self.patterns = patterns
41*dfdc48d5SJohn Snow
42*dfdc48d5SJohn Snow    def bits(self, granularity):
43*dfdc48d5SJohn Snow        """Calculate the unique bits dirtied by this pattern grouping"""
44*dfdc48d5SJohn Snow        res = set()
45*dfdc48d5SJohn Snow        for pattern in self.patterns:
46*dfdc48d5SJohn Snow            lower = pattern.offset // granularity
47*dfdc48d5SJohn Snow            upper = (pattern.offset + pattern.size - 1) // granularity
48*dfdc48d5SJohn Snow            res = res | set(range(lower, upper + 1))
49*dfdc48d5SJohn Snow        return res
50*dfdc48d5SJohn Snow
51*dfdc48d5SJohn SnowGROUPS = [
52*dfdc48d5SJohn Snow    PatternGroup([
53*dfdc48d5SJohn Snow        # Batch 0: 4 clusters
54*dfdc48d5SJohn Snow        mkpattern('0x49', 0x0000000),
55*dfdc48d5SJohn Snow        mkpattern('0x6c', 0x0100000),   # 1M
56*dfdc48d5SJohn Snow        mkpattern('0x6f', 0x2000000),   # 32M
57*dfdc48d5SJohn Snow        mkpattern('0x76', 0x3ff0000)]), # 64M - 64K
58*dfdc48d5SJohn Snow    PatternGroup([
59*dfdc48d5SJohn Snow        # Batch 1: 6 clusters (3 new)
60*dfdc48d5SJohn Snow        mkpattern('0x65', 0x0000000),   # Full overwrite
61*dfdc48d5SJohn Snow        mkpattern('0x77', 0x00f8000),   # Partial-left (1M-32K)
62*dfdc48d5SJohn Snow        mkpattern('0x72', 0x2008000),   # Partial-right (32M+32K)
63*dfdc48d5SJohn Snow        mkpattern('0x69', 0x3fe0000)]), # Adjacent-left (64M - 128K)
64*dfdc48d5SJohn Snow    PatternGroup([
65*dfdc48d5SJohn Snow        # Batch 2: 7 clusters (3 new)
66*dfdc48d5SJohn Snow        mkpattern('0x74', 0x0010000),   # Adjacent-right
67*dfdc48d5SJohn Snow        mkpattern('0x69', 0x00e8000),   # Partial-left  (1M-96K)
68*dfdc48d5SJohn Snow        mkpattern('0x6e', 0x2018000),   # Partial-right (32M+96K)
69*dfdc48d5SJohn Snow        mkpattern('0x67', 0x3fe0000,
70*dfdc48d5SJohn Snow                  2*GRANULARITY)]),     # Overwrite [(64M-128K)-64M)
71*dfdc48d5SJohn Snow    PatternGroup([
72*dfdc48d5SJohn Snow        # Batch 3: 8 clusters (5 new)
73*dfdc48d5SJohn Snow        # Carefully chosen such that nothing re-dirties the one cluster
74*dfdc48d5SJohn Snow        # that copies out successfully before failure in Group #1.
75*dfdc48d5SJohn Snow        mkpattern('0xaa', 0x0010000,
76*dfdc48d5SJohn Snow                  3*GRANULARITY),       # Overwrite and 2x Adjacent-right
77*dfdc48d5SJohn Snow        mkpattern('0xbb', 0x00d8000),   # Partial-left (1M-160K)
78*dfdc48d5SJohn Snow        mkpattern('0xcc', 0x2028000),   # Partial-right (32M+160K)
79*dfdc48d5SJohn Snow        mkpattern('0xdd', 0x3fc0000)]), # New; leaving a gap to the right
80*dfdc48d5SJohn Snow]
81*dfdc48d5SJohn Snow
82*dfdc48d5SJohn Snowclass Drive:
83*dfdc48d5SJohn Snow    """Represents, vaguely, a drive attached to a VM.
84*dfdc48d5SJohn Snow    Includes format, graph, and device information."""
85*dfdc48d5SJohn Snow
86*dfdc48d5SJohn Snow    def __init__(self, path, vm=None):
87*dfdc48d5SJohn Snow        self.path = path
88*dfdc48d5SJohn Snow        self.vm = vm
89*dfdc48d5SJohn Snow        self.fmt = None
90*dfdc48d5SJohn Snow        self.size = None
91*dfdc48d5SJohn Snow        self.node = None
92*dfdc48d5SJohn Snow        self.device = None
93*dfdc48d5SJohn Snow
94*dfdc48d5SJohn Snow    @property
95*dfdc48d5SJohn Snow    def name(self):
96*dfdc48d5SJohn Snow        return self.node or self.device
97*dfdc48d5SJohn Snow
98*dfdc48d5SJohn Snow    def img_create(self, fmt, size):
99*dfdc48d5SJohn Snow        self.fmt = fmt
100*dfdc48d5SJohn Snow        self.size = size
101*dfdc48d5SJohn Snow        iotests.qemu_img_create('-f', self.fmt, self.path, str(self.size))
102*dfdc48d5SJohn Snow
103*dfdc48d5SJohn Snow    def create_target(self, name, fmt, size):
104*dfdc48d5SJohn Snow        basename = os.path.basename(self.path)
105*dfdc48d5SJohn Snow        file_node_name = "file_{}".format(basename)
106*dfdc48d5SJohn Snow        vm = self.vm
107*dfdc48d5SJohn Snow
108*dfdc48d5SJohn Snow        log(vm.command('blockdev-create', job_id='bdc-file-job',
109*dfdc48d5SJohn Snow                       options={
110*dfdc48d5SJohn Snow                           'driver': 'file',
111*dfdc48d5SJohn Snow                           'filename': self.path,
112*dfdc48d5SJohn Snow                           'size': 0,
113*dfdc48d5SJohn Snow                       }))
114*dfdc48d5SJohn Snow        vm.run_job('bdc-file-job')
115*dfdc48d5SJohn Snow        log(vm.command('blockdev-add', driver='file',
116*dfdc48d5SJohn Snow                       node_name=file_node_name, filename=self.path))
117*dfdc48d5SJohn Snow
118*dfdc48d5SJohn Snow        log(vm.command('blockdev-create', job_id='bdc-fmt-job',
119*dfdc48d5SJohn Snow                       options={
120*dfdc48d5SJohn Snow                           'driver': fmt,
121*dfdc48d5SJohn Snow                           'file': file_node_name,
122*dfdc48d5SJohn Snow                           'size': size,
123*dfdc48d5SJohn Snow                       }))
124*dfdc48d5SJohn Snow        vm.run_job('bdc-fmt-job')
125*dfdc48d5SJohn Snow        log(vm.command('blockdev-add', driver=fmt,
126*dfdc48d5SJohn Snow                       node_name=name,
127*dfdc48d5SJohn Snow                       file=file_node_name))
128*dfdc48d5SJohn Snow        self.fmt = fmt
129*dfdc48d5SJohn Snow        self.size = size
130*dfdc48d5SJohn Snow        self.node = name
131*dfdc48d5SJohn Snow
132*dfdc48d5SJohn Snowdef query_bitmaps(vm):
133*dfdc48d5SJohn Snow    res = vm.qmp("query-block")
134*dfdc48d5SJohn Snow    return {"bitmaps": {device['device'] or device['qdev']:
135*dfdc48d5SJohn Snow                        device.get('dirty-bitmaps', []) for
136*dfdc48d5SJohn Snow                        device in res['return']}}
137*dfdc48d5SJohn Snow
138*dfdc48d5SJohn Snowdef get_bitmap(bitmaps, drivename, name, recording=None):
139*dfdc48d5SJohn Snow    """
140*dfdc48d5SJohn Snow    get a specific bitmap from the object returned by query_bitmaps.
141*dfdc48d5SJohn Snow    :param recording: If specified, filter results by the specified value.
142*dfdc48d5SJohn Snow    """
143*dfdc48d5SJohn Snow    for bitmap in bitmaps['bitmaps'][drivename]:
144*dfdc48d5SJohn Snow        if bitmap.get('name', '') == name:
145*dfdc48d5SJohn Snow            if recording is None:
146*dfdc48d5SJohn Snow                return bitmap
147*dfdc48d5SJohn Snow            elif bitmap.get('recording') == recording:
148*dfdc48d5SJohn Snow                return bitmap
149*dfdc48d5SJohn Snow    return None
150*dfdc48d5SJohn Snow
151*dfdc48d5SJohn Snowdef reference_backup(drive, n, filepath):
152*dfdc48d5SJohn Snow    log("--- Reference Backup #{:d} ---\n".format(n))
153*dfdc48d5SJohn Snow    target_id = "ref_target_{:d}".format(n)
154*dfdc48d5SJohn Snow    job_id = "ref_backup_{:d}".format(n)
155*dfdc48d5SJohn Snow    target_drive = Drive(filepath, vm=drive.vm)
156*dfdc48d5SJohn Snow
157*dfdc48d5SJohn Snow    target_drive.create_target(target_id, drive.fmt, drive.size)
158*dfdc48d5SJohn Snow    drive.vm.qmp_log("blockdev-backup",
159*dfdc48d5SJohn Snow                     job_id=job_id, device=drive.name,
160*dfdc48d5SJohn Snow                     target=target_id, sync="full")
161*dfdc48d5SJohn Snow    drive.vm.run_job(job_id, auto_dismiss=True)
162*dfdc48d5SJohn Snow    log('')
163*dfdc48d5SJohn Snow
164*dfdc48d5SJohn Snowdef bitmap_backup(drive, n, filepath, bitmap, bitmap_mode):
165*dfdc48d5SJohn Snow    log("--- Bitmap Backup #{:d} ---\n".format(n))
166*dfdc48d5SJohn Snow    target_id = "bitmap_target_{:d}".format(n)
167*dfdc48d5SJohn Snow    job_id = "bitmap_backup_{:d}".format(n)
168*dfdc48d5SJohn Snow    target_drive = Drive(filepath, vm=drive.vm)
169*dfdc48d5SJohn Snow
170*dfdc48d5SJohn Snow    target_drive.create_target(target_id, drive.fmt, drive.size)
171*dfdc48d5SJohn Snow    drive.vm.qmp_log("blockdev-backup", job_id=job_id, device=drive.name,
172*dfdc48d5SJohn Snow                     target=target_id, sync="bitmap",
173*dfdc48d5SJohn Snow                     bitmap_mode=bitmap_mode,
174*dfdc48d5SJohn Snow                     bitmap=bitmap,
175*dfdc48d5SJohn Snow                     auto_finalize=False)
176*dfdc48d5SJohn Snow    return job_id
177*dfdc48d5SJohn Snow
178*dfdc48d5SJohn Snowdef perform_writes(drive, n):
179*dfdc48d5SJohn Snow    log("--- Write #{:d} ---\n".format(n))
180*dfdc48d5SJohn Snow    for pattern in GROUPS[n].patterns:
181*dfdc48d5SJohn Snow        cmd = "write -P{:s} 0x{:07x} 0x{:x}".format(
182*dfdc48d5SJohn Snow            pattern.byte,
183*dfdc48d5SJohn Snow            pattern.offset,
184*dfdc48d5SJohn Snow            pattern.size)
185*dfdc48d5SJohn Snow        log(cmd)
186*dfdc48d5SJohn Snow        log(drive.vm.hmp_qemu_io(drive.name, cmd))
187*dfdc48d5SJohn Snow    bitmaps = query_bitmaps(drive.vm)
188*dfdc48d5SJohn Snow    log(bitmaps, indent=2)
189*dfdc48d5SJohn Snow    log('')
190*dfdc48d5SJohn Snow    return bitmaps
191*dfdc48d5SJohn Snow
192*dfdc48d5SJohn Snowdef calculate_bits(groups=None):
193*dfdc48d5SJohn Snow    """Calculate how many bits we expect to see dirtied."""
194*dfdc48d5SJohn Snow    if groups:
195*dfdc48d5SJohn Snow        bits = set.union(*(GROUPS[group].bits(GRANULARITY) for group in groups))
196*dfdc48d5SJohn Snow        return len(bits)
197*dfdc48d5SJohn Snow    return 0
198*dfdc48d5SJohn Snow
199*dfdc48d5SJohn Snowdef bitmap_comparison(bitmap, groups=None, want=0):
200*dfdc48d5SJohn Snow    """
201*dfdc48d5SJohn Snow    Print a nice human-readable message checking that this bitmap has as
202*dfdc48d5SJohn Snow    many bits set as we expect it to.
203*dfdc48d5SJohn Snow    """
204*dfdc48d5SJohn Snow    log("= Checking Bitmap {:s} =".format(bitmap.get('name', '(anonymous)')))
205*dfdc48d5SJohn Snow
206*dfdc48d5SJohn Snow    if groups:
207*dfdc48d5SJohn Snow        want = calculate_bits(groups)
208*dfdc48d5SJohn Snow    have = bitmap['count'] // bitmap['granularity']
209*dfdc48d5SJohn Snow
210*dfdc48d5SJohn Snow    log("expecting {:d} dirty sectors; have {:d}. {:s}".format(
211*dfdc48d5SJohn Snow        want, have, "OK!" if want == have else "ERROR!"))
212*dfdc48d5SJohn Snow    log('')
213*dfdc48d5SJohn Snow
214*dfdc48d5SJohn Snowdef compare_images(image, reference, baseimg=None, expected_match=True):
215*dfdc48d5SJohn Snow    """
216*dfdc48d5SJohn Snow    Print a nice human-readable message comparing these images.
217*dfdc48d5SJohn Snow    """
218*dfdc48d5SJohn Snow    expected_ret = 0 if expected_match else 1
219*dfdc48d5SJohn Snow    if baseimg:
220*dfdc48d5SJohn Snow        assert qemu_img("rebase", "-u", "-b", baseimg, image) == 0
221*dfdc48d5SJohn Snow    ret = qemu_img("compare", image, reference)
222*dfdc48d5SJohn Snow    log('qemu_img compare "{:s}" "{:s}" ==> {:s}, {:s}'.format(
223*dfdc48d5SJohn Snow        image, reference,
224*dfdc48d5SJohn Snow        "Identical" if ret == 0 else "Mismatch",
225*dfdc48d5SJohn Snow        "OK!" if ret == expected_ret else "ERROR!"),
226*dfdc48d5SJohn Snow        filters=[iotests.filter_testfiles])
227*dfdc48d5SJohn Snow
228*dfdc48d5SJohn Snowdef test_bitmap_sync(bsync_mode, failure=None):
229*dfdc48d5SJohn Snow    """
230*dfdc48d5SJohn Snow    Test bitmap backup routines.
231*dfdc48d5SJohn Snow
232*dfdc48d5SJohn Snow    :param bsync_mode: Is the Bitmap Sync mode, and can be any of:
233*dfdc48d5SJohn Snow        - on-success: This is the "incremental" style mode. Bitmaps are
234*dfdc48d5SJohn Snow                      synchronized to what was copied out only on success.
235*dfdc48d5SJohn Snow                      (Partial images must be discarded.)
236*dfdc48d5SJohn Snow        - never:      This is the "differential" style mode.
237*dfdc48d5SJohn Snow                      Bitmaps are never synchronized.
238*dfdc48d5SJohn Snow        - always:     This is a "best effort" style mode.
239*dfdc48d5SJohn Snow                      Bitmaps are always synchronized, regardless of failure.
240*dfdc48d5SJohn Snow                      (Partial images must be kept.)
241*dfdc48d5SJohn Snow
242*dfdc48d5SJohn Snow    :param failure: Is the (optional) failure mode, and can be any of:
243*dfdc48d5SJohn Snow        - None:         No failure. Test the normative path. Default.
244*dfdc48d5SJohn Snow        - simulated:    Cancel the job right before it completes.
245*dfdc48d5SJohn Snow                        This also tests writes "during" the job.
246*dfdc48d5SJohn Snow        - intermediate: This tests a job that fails mid-process and produces
247*dfdc48d5SJohn Snow                        an incomplete backup. Testing limitations prevent
248*dfdc48d5SJohn Snow                        testing competing writes.
249*dfdc48d5SJohn Snow    """
250*dfdc48d5SJohn Snow    with iotests.FilePaths(['img', 'bsync1', 'bsync2',
251*dfdc48d5SJohn Snow                            'fbackup0', 'fbackup1', 'fbackup2']) as \
252*dfdc48d5SJohn Snow                            (img_path, bsync1, bsync2,
253*dfdc48d5SJohn Snow                             fbackup0, fbackup1, fbackup2), \
254*dfdc48d5SJohn Snow         iotests.VM() as vm:
255*dfdc48d5SJohn Snow
256*dfdc48d5SJohn Snow        mode = "Bitmap Sync Mode {:s}".format(bsync_mode)
257*dfdc48d5SJohn Snow        preposition = "with" if failure else "without"
258*dfdc48d5SJohn Snow        cond = "{:s} {:s}".format(preposition,
259*dfdc48d5SJohn Snow                                  "{:s} failure".format(failure) if failure
260*dfdc48d5SJohn Snow                                  else "failure")
261*dfdc48d5SJohn Snow        log("\n=== {:s} {:s} ===\n".format(mode, cond))
262*dfdc48d5SJohn Snow
263*dfdc48d5SJohn Snow        log('--- Preparing image & VM ---\n')
264*dfdc48d5SJohn Snow        drive0 = Drive(img_path, vm=vm)
265*dfdc48d5SJohn Snow        drive0.img_create(iotests.imgfmt, SIZE)
266*dfdc48d5SJohn Snow        vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device()))
267*dfdc48d5SJohn Snow        vm.launch()
268*dfdc48d5SJohn Snow
269*dfdc48d5SJohn Snow        file_config = {
270*dfdc48d5SJohn Snow            'driver': 'file',
271*dfdc48d5SJohn Snow            'filename': drive0.path
272*dfdc48d5SJohn Snow        }
273*dfdc48d5SJohn Snow
274*dfdc48d5SJohn Snow        if failure == 'intermediate':
275*dfdc48d5SJohn Snow            file_config = {
276*dfdc48d5SJohn Snow                'driver': 'blkdebug',
277*dfdc48d5SJohn Snow                'image': file_config,
278*dfdc48d5SJohn Snow                'set-state': [{
279*dfdc48d5SJohn Snow                    'event': 'flush_to_disk',
280*dfdc48d5SJohn Snow                    'state': 1,
281*dfdc48d5SJohn Snow                    'new_state': 2
282*dfdc48d5SJohn Snow                }, {
283*dfdc48d5SJohn Snow                    'event': 'read_aio',
284*dfdc48d5SJohn Snow                    'state': 2,
285*dfdc48d5SJohn Snow                    'new_state': 3
286*dfdc48d5SJohn Snow                }],
287*dfdc48d5SJohn Snow                'inject-error': [{
288*dfdc48d5SJohn Snow                    'event': 'read_aio',
289*dfdc48d5SJohn Snow                    'errno': 5,
290*dfdc48d5SJohn Snow                    'state': 3,
291*dfdc48d5SJohn Snow                    'immediately': False,
292*dfdc48d5SJohn Snow                    'once': True
293*dfdc48d5SJohn Snow                }]
294*dfdc48d5SJohn Snow            }
295*dfdc48d5SJohn Snow
296*dfdc48d5SJohn Snow        vm.qmp_log('blockdev-add',
297*dfdc48d5SJohn Snow                   filters=[iotests.filter_qmp_testfiles],
298*dfdc48d5SJohn Snow                   node_name="drive0",
299*dfdc48d5SJohn Snow                   driver=drive0.fmt,
300*dfdc48d5SJohn Snow                   file=file_config)
301*dfdc48d5SJohn Snow        drive0.node = 'drive0'
302*dfdc48d5SJohn Snow        drive0.device = 'device0'
303*dfdc48d5SJohn Snow        # Use share-rw to allow writes directly to the node;
304*dfdc48d5SJohn Snow        # The anonymous block-backend for this configuration prevents us
305*dfdc48d5SJohn Snow        # from using HMP's qemu-io commands to address the device.
306*dfdc48d5SJohn Snow        vm.qmp_log("device_add", id=drive0.device,
307*dfdc48d5SJohn Snow                   drive=drive0.name, driver="scsi-hd",
308*dfdc48d5SJohn Snow                   share_rw=True)
309*dfdc48d5SJohn Snow        log('')
310*dfdc48d5SJohn Snow
311*dfdc48d5SJohn Snow        # 0 - Writes and Reference Backup
312*dfdc48d5SJohn Snow        perform_writes(drive0, 0)
313*dfdc48d5SJohn Snow        reference_backup(drive0, 0, fbackup0)
314*dfdc48d5SJohn Snow        log('--- Add Bitmap ---\n')
315*dfdc48d5SJohn Snow        vm.qmp_log("block-dirty-bitmap-add", node=drive0.name,
316*dfdc48d5SJohn Snow                   name="bitmap0", granularity=GRANULARITY)
317*dfdc48d5SJohn Snow        log('')
318*dfdc48d5SJohn Snow
319*dfdc48d5SJohn Snow        # 1 - Writes and Reference Backup
320*dfdc48d5SJohn Snow        bitmaps = perform_writes(drive0, 1)
321*dfdc48d5SJohn Snow        dirty_groups = {1}
322*dfdc48d5SJohn Snow        bitmap = get_bitmap(bitmaps, drive0.device, 'bitmap0')
323*dfdc48d5SJohn Snow        bitmap_comparison(bitmap, groups=dirty_groups)
324*dfdc48d5SJohn Snow        reference_backup(drive0, 1, fbackup1)
325*dfdc48d5SJohn Snow
326*dfdc48d5SJohn Snow        # 1 - Bitmap Backup (Optional induced failure)
327*dfdc48d5SJohn Snow        if failure == 'intermediate':
328*dfdc48d5SJohn Snow            # Activate blkdebug induced failure for second-to-next read
329*dfdc48d5SJohn Snow            log(vm.hmp_qemu_io(drive0.name, 'flush'))
330*dfdc48d5SJohn Snow            log('')
331*dfdc48d5SJohn Snow        job = bitmap_backup(drive0, 1, bsync1, "bitmap0", bsync_mode)
332*dfdc48d5SJohn Snow
333*dfdc48d5SJohn Snow        def _callback():
334*dfdc48d5SJohn Snow            """Issue writes while the job is open to test bitmap divergence."""
335*dfdc48d5SJohn Snow            # Note: when `failure` is 'intermediate', this isn't called.
336*dfdc48d5SJohn Snow            log('')
337*dfdc48d5SJohn Snow            bitmaps = perform_writes(drive0, 2)
338*dfdc48d5SJohn Snow            # Named bitmap (static, should be unchanged)
339*dfdc48d5SJohn Snow            bitmap_comparison(get_bitmap(bitmaps, drive0.device, 'bitmap0'),
340*dfdc48d5SJohn Snow                              groups=dirty_groups)
341*dfdc48d5SJohn Snow            # Anonymous bitmap (dynamic, shows new writes)
342*dfdc48d5SJohn Snow            bitmap_comparison(get_bitmap(bitmaps, drive0.device, '',
343*dfdc48d5SJohn Snow                                         recording=True), groups={2})
344*dfdc48d5SJohn Snow            dirty_groups.add(2)
345*dfdc48d5SJohn Snow
346*dfdc48d5SJohn Snow        vm.run_job(job, auto_dismiss=True, auto_finalize=False,
347*dfdc48d5SJohn Snow                   pre_finalize=_callback,
348*dfdc48d5SJohn Snow                   cancel=(failure == 'simulated'))
349*dfdc48d5SJohn Snow        bitmaps = query_bitmaps(vm)
350*dfdc48d5SJohn Snow        bitmap = get_bitmap(bitmaps, drive0.device, 'bitmap0')
351*dfdc48d5SJohn Snow        log(bitmaps, indent=2)
352*dfdc48d5SJohn Snow        log('')
353*dfdc48d5SJohn Snow
354*dfdc48d5SJohn Snow        if ((bsync_mode == 'on-success' and not failure) or
355*dfdc48d5SJohn Snow                (bsync_mode == 'always' and failure != 'intermediate')):
356*dfdc48d5SJohn Snow            dirty_groups.remove(1)
357*dfdc48d5SJohn Snow
358*dfdc48d5SJohn Snow        if bsync_mode == 'always' and failure == 'intermediate':
359*dfdc48d5SJohn Snow            # We manage to copy one sector (one bit) before the error.
360*dfdc48d5SJohn Snow            bitmap_comparison(bitmap,
361*dfdc48d5SJohn Snow                              want=calculate_bits(groups=dirty_groups) - 1)
362*dfdc48d5SJohn Snow        else:
363*dfdc48d5SJohn Snow            bitmap_comparison(bitmap, groups=dirty_groups)
364*dfdc48d5SJohn Snow
365*dfdc48d5SJohn Snow        # 2 - Writes and Reference Backup
366*dfdc48d5SJohn Snow        bitmaps = perform_writes(drive0, 3)
367*dfdc48d5SJohn Snow        dirty_groups.add(3)
368*dfdc48d5SJohn Snow        bitmap = get_bitmap(bitmaps, drive0.device, 'bitmap0')
369*dfdc48d5SJohn Snow        if bsync_mode == 'always' and failure == 'intermediate':
370*dfdc48d5SJohn Snow            # We're one bit short, still.
371*dfdc48d5SJohn Snow            bitmap_comparison(bitmap,
372*dfdc48d5SJohn Snow                              want=calculate_bits(groups=dirty_groups) - 1)
373*dfdc48d5SJohn Snow        else:
374*dfdc48d5SJohn Snow            bitmap_comparison(bitmap, groups=dirty_groups)
375*dfdc48d5SJohn Snow        reference_backup(drive0, 2, fbackup2)
376*dfdc48d5SJohn Snow
377*dfdc48d5SJohn Snow        # 2 - Bitmap Backup (In failure modes, this is a recovery.)
378*dfdc48d5SJohn Snow        job = bitmap_backup(drive0, 2, bsync2, "bitmap0", bsync_mode)
379*dfdc48d5SJohn Snow        vm.run_job(job, auto_dismiss=True, auto_finalize=False)
380*dfdc48d5SJohn Snow        bitmaps = query_bitmaps(vm)
381*dfdc48d5SJohn Snow        bitmap = get_bitmap(bitmaps, drive0.device, 'bitmap0')
382*dfdc48d5SJohn Snow        log(bitmaps, indent=2)
383*dfdc48d5SJohn Snow        log('')
384*dfdc48d5SJohn Snow        bitmap_comparison(bitmap, groups={}
385*dfdc48d5SJohn Snow                          if bsync_mode != 'never'
386*dfdc48d5SJohn Snow                          else dirty_groups)
387*dfdc48d5SJohn Snow
388*dfdc48d5SJohn Snow        log('--- Cleanup ---\n')
389*dfdc48d5SJohn Snow        vm.qmp_log("block-dirty-bitmap-remove",
390*dfdc48d5SJohn Snow                   node=drive0.name, name="bitmap0")
391*dfdc48d5SJohn Snow        log(query_bitmaps(vm), indent=2)
392*dfdc48d5SJohn Snow        vm.shutdown()
393*dfdc48d5SJohn Snow        log('')
394*dfdc48d5SJohn Snow
395*dfdc48d5SJohn Snow        log('--- Verification ---\n')
396*dfdc48d5SJohn Snow        # 'simulated' failures will actually all pass here because we canceled
397*dfdc48d5SJohn Snow        # while "pending". This is actually undefined behavior,
398*dfdc48d5SJohn Snow        # don't rely on this to be true!
399*dfdc48d5SJohn Snow        compare_images(bsync1, fbackup1, baseimg=fbackup0,
400*dfdc48d5SJohn Snow                       expected_match=failure != 'intermediate')
401*dfdc48d5SJohn Snow        if not failure or bsync_mode == 'always':
402*dfdc48d5SJohn Snow            # Always keep the last backup on success or when using 'always'
403*dfdc48d5SJohn Snow            base = bsync1
404*dfdc48d5SJohn Snow        else:
405*dfdc48d5SJohn Snow            base = fbackup0
406*dfdc48d5SJohn Snow        compare_images(bsync2, fbackup2, baseimg=base)
407*dfdc48d5SJohn Snow        compare_images(img_path, fbackup2)
408*dfdc48d5SJohn Snow        log('')
409*dfdc48d5SJohn Snow
410*dfdc48d5SJohn Snowdef main():
411*dfdc48d5SJohn Snow    for bsync_mode in ("never", "on-success", "always"):
412*dfdc48d5SJohn Snow        for failure in ("simulated", "intermediate", None):
413*dfdc48d5SJohn Snow            test_bitmap_sync(bsync_mode, failure)
414*dfdc48d5SJohn Snow
415*dfdc48d5SJohn Snowif __name__ == '__main__':
416*dfdc48d5SJohn Snow    iotests.script_main(main, supported_fmts=['qcow2'])
417