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 88*32afa5a1SJohn Snow 89*32afa5a1SJohn Snowclass EmulatedBitmap: 90*32afa5a1SJohn Snow def __init__(self, granularity=GRANULARITY): 91*32afa5a1SJohn Snow self._bits = set() 92*32afa5a1SJohn Snow self.granularity = granularity 93*32afa5a1SJohn Snow 94*32afa5a1SJohn Snow def dirty_bits(self, bits): 95*32afa5a1SJohn Snow self._bits |= set(bits) 96*32afa5a1SJohn Snow 97*32afa5a1SJohn Snow def dirty_group(self, n): 98*32afa5a1SJohn Snow self.dirty_bits(GROUPS[n].bits(self.granularity)) 99*32afa5a1SJohn Snow 100*32afa5a1SJohn Snow def clear(self): 101*32afa5a1SJohn Snow self._bits = set() 102*32afa5a1SJohn Snow 103*32afa5a1SJohn Snow def clear_bits(self, bits): 104*32afa5a1SJohn Snow self._bits -= set(bits) 105*32afa5a1SJohn Snow 106*32afa5a1SJohn Snow def clear_bit(self, bit): 107*32afa5a1SJohn Snow self.clear_bits({bit}) 108*32afa5a1SJohn Snow 109*32afa5a1SJohn Snow def clear_group(self, n): 110*32afa5a1SJohn Snow self.clear_bits(GROUPS[n].bits(self.granularity)) 111*32afa5a1SJohn Snow 112*32afa5a1SJohn Snow @property 113*32afa5a1SJohn Snow def first_bit(self): 114*32afa5a1SJohn Snow return sorted(self.bits)[0] 115*32afa5a1SJohn Snow 116*32afa5a1SJohn Snow @property 117*32afa5a1SJohn Snow def bits(self): 118*32afa5a1SJohn Snow return self._bits 119*32afa5a1SJohn Snow 120*32afa5a1SJohn Snow @property 121*32afa5a1SJohn Snow def count(self): 122*32afa5a1SJohn Snow return len(self.bits) 123*32afa5a1SJohn Snow 124*32afa5a1SJohn Snow def compare(self, qmp_bitmap): 125*32afa5a1SJohn Snow """ 126*32afa5a1SJohn Snow Print a nice human-readable message checking that a bitmap as reported 127*32afa5a1SJohn Snow by the QMP interface has as many bits set as we expect it to. 128*32afa5a1SJohn Snow """ 129*32afa5a1SJohn Snow 130*32afa5a1SJohn Snow name = qmp_bitmap.get('name', '(anonymous)') 131*32afa5a1SJohn Snow log("= Checking Bitmap {:s} =".format(name)) 132*32afa5a1SJohn Snow 133*32afa5a1SJohn Snow want = self.count 134*32afa5a1SJohn Snow have = qmp_bitmap['count'] // qmp_bitmap['granularity'] 135*32afa5a1SJohn Snow 136*32afa5a1SJohn Snow log("expecting {:d} dirty sectors; have {:d}. {:s}".format( 137*32afa5a1SJohn Snow want, have, "OK!" if want == have else "ERROR!")) 138*32afa5a1SJohn Snow log('') 139*32afa5a1SJohn Snow 140*32afa5a1SJohn 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 191dfdc48d5SJohn Snowdef query_bitmaps(vm): 192dfdc48d5SJohn Snow res = vm.qmp("query-block") 193dfdc48d5SJohn Snow return {"bitmaps": {device['device'] or device['qdev']: 194dfdc48d5SJohn Snow device.get('dirty-bitmaps', []) for 195dfdc48d5SJohn Snow device in res['return']}} 196dfdc48d5SJohn Snow 197dfdc48d5SJohn Snowdef get_bitmap(bitmaps, drivename, name, recording=None): 198dfdc48d5SJohn Snow """ 199dfdc48d5SJohn Snow get a specific bitmap from the object returned by query_bitmaps. 200dfdc48d5SJohn Snow :param recording: If specified, filter results by the specified value. 201dfdc48d5SJohn Snow """ 202dfdc48d5SJohn Snow for bitmap in bitmaps['bitmaps'][drivename]: 203dfdc48d5SJohn Snow if bitmap.get('name', '') == name: 204dfdc48d5SJohn Snow if recording is None: 205dfdc48d5SJohn Snow return bitmap 206dfdc48d5SJohn Snow elif bitmap.get('recording') == recording: 207dfdc48d5SJohn Snow return bitmap 208dfdc48d5SJohn Snow return None 209dfdc48d5SJohn Snow 210dfdc48d5SJohn Snowdef reference_backup(drive, n, filepath): 211dfdc48d5SJohn Snow log("--- Reference Backup #{:d} ---\n".format(n)) 212dfdc48d5SJohn Snow target_id = "ref_target_{:d}".format(n) 213dfdc48d5SJohn Snow job_id = "ref_backup_{:d}".format(n) 214dfdc48d5SJohn Snow target_drive = Drive(filepath, vm=drive.vm) 215dfdc48d5SJohn Snow 216dfdc48d5SJohn Snow target_drive.create_target(target_id, drive.fmt, drive.size) 217dfdc48d5SJohn Snow drive.vm.qmp_log("blockdev-backup", 218dfdc48d5SJohn Snow job_id=job_id, device=drive.name, 219dfdc48d5SJohn Snow target=target_id, sync="full") 220dfdc48d5SJohn Snow drive.vm.run_job(job_id, auto_dismiss=True) 221dfdc48d5SJohn Snow log('') 222dfdc48d5SJohn Snow 223dfdc48d5SJohn Snowdef bitmap_backup(drive, n, filepath, bitmap, bitmap_mode): 224dfdc48d5SJohn Snow log("--- Bitmap Backup #{:d} ---\n".format(n)) 225dfdc48d5SJohn Snow target_id = "bitmap_target_{:d}".format(n) 226dfdc48d5SJohn Snow job_id = "bitmap_backup_{:d}".format(n) 227dfdc48d5SJohn Snow target_drive = Drive(filepath, vm=drive.vm) 228dfdc48d5SJohn Snow 229dfdc48d5SJohn Snow target_drive.create_target(target_id, drive.fmt, drive.size) 230dfdc48d5SJohn Snow drive.vm.qmp_log("blockdev-backup", job_id=job_id, device=drive.name, 231dfdc48d5SJohn Snow target=target_id, sync="bitmap", 232dfdc48d5SJohn Snow bitmap_mode=bitmap_mode, 233dfdc48d5SJohn Snow bitmap=bitmap, 234dfdc48d5SJohn Snow auto_finalize=False) 235dfdc48d5SJohn Snow return job_id 236dfdc48d5SJohn Snow 237dfdc48d5SJohn Snowdef perform_writes(drive, n): 238dfdc48d5SJohn Snow log("--- Write #{:d} ---\n".format(n)) 239dfdc48d5SJohn Snow for pattern in GROUPS[n].patterns: 240dfdc48d5SJohn Snow cmd = "write -P{:s} 0x{:07x} 0x{:x}".format( 241dfdc48d5SJohn Snow pattern.byte, 242dfdc48d5SJohn Snow pattern.offset, 243dfdc48d5SJohn Snow pattern.size) 244dfdc48d5SJohn Snow log(cmd) 245dfdc48d5SJohn Snow log(drive.vm.hmp_qemu_io(drive.name, cmd)) 246dfdc48d5SJohn Snow bitmaps = query_bitmaps(drive.vm) 247dfdc48d5SJohn Snow log(bitmaps, indent=2) 248dfdc48d5SJohn Snow log('') 249dfdc48d5SJohn Snow return bitmaps 250dfdc48d5SJohn Snow 251dfdc48d5SJohn Snow 252dfdc48d5SJohn Snowdef compare_images(image, reference, baseimg=None, expected_match=True): 253dfdc48d5SJohn Snow """ 254dfdc48d5SJohn Snow Print a nice human-readable message comparing these images. 255dfdc48d5SJohn Snow """ 256dfdc48d5SJohn Snow expected_ret = 0 if expected_match else 1 257dfdc48d5SJohn Snow if baseimg: 258dfdc48d5SJohn Snow assert qemu_img("rebase", "-u", "-b", baseimg, image) == 0 259dfdc48d5SJohn Snow ret = qemu_img("compare", image, reference) 260dfdc48d5SJohn Snow log('qemu_img compare "{:s}" "{:s}" ==> {:s}, {:s}'.format( 261dfdc48d5SJohn Snow image, reference, 262dfdc48d5SJohn Snow "Identical" if ret == 0 else "Mismatch", 263dfdc48d5SJohn Snow "OK!" if ret == expected_ret else "ERROR!"), 264dfdc48d5SJohn Snow filters=[iotests.filter_testfiles]) 265dfdc48d5SJohn Snow 266dfdc48d5SJohn Snowdef test_bitmap_sync(bsync_mode, failure=None): 267dfdc48d5SJohn Snow """ 268dfdc48d5SJohn Snow Test bitmap backup routines. 269dfdc48d5SJohn Snow 270dfdc48d5SJohn Snow :param bsync_mode: Is the Bitmap Sync mode, and can be any of: 271dfdc48d5SJohn Snow - on-success: This is the "incremental" style mode. Bitmaps are 272dfdc48d5SJohn Snow synchronized to what was copied out only on success. 273dfdc48d5SJohn Snow (Partial images must be discarded.) 274dfdc48d5SJohn Snow - never: This is the "differential" style mode. 275dfdc48d5SJohn Snow Bitmaps are never synchronized. 276dfdc48d5SJohn Snow - always: This is a "best effort" style mode. 277dfdc48d5SJohn Snow Bitmaps are always synchronized, regardless of failure. 278dfdc48d5SJohn Snow (Partial images must be kept.) 279dfdc48d5SJohn Snow 280dfdc48d5SJohn Snow :param failure: Is the (optional) failure mode, and can be any of: 281dfdc48d5SJohn Snow - None: No failure. Test the normative path. Default. 282dfdc48d5SJohn Snow - simulated: Cancel the job right before it completes. 283dfdc48d5SJohn Snow This also tests writes "during" the job. 284dfdc48d5SJohn Snow - intermediate: This tests a job that fails mid-process and produces 285dfdc48d5SJohn Snow an incomplete backup. Testing limitations prevent 286dfdc48d5SJohn Snow testing competing writes. 287dfdc48d5SJohn Snow """ 288dfdc48d5SJohn Snow with iotests.FilePaths(['img', 'bsync1', 'bsync2', 289dfdc48d5SJohn Snow 'fbackup0', 'fbackup1', 'fbackup2']) as \ 290dfdc48d5SJohn Snow (img_path, bsync1, bsync2, 291dfdc48d5SJohn Snow fbackup0, fbackup1, fbackup2), \ 292dfdc48d5SJohn Snow iotests.VM() as vm: 293dfdc48d5SJohn Snow 294dfdc48d5SJohn Snow mode = "Bitmap Sync Mode {:s}".format(bsync_mode) 295dfdc48d5SJohn Snow preposition = "with" if failure else "without" 296dfdc48d5SJohn Snow cond = "{:s} {:s}".format(preposition, 297dfdc48d5SJohn Snow "{:s} failure".format(failure) if failure 298dfdc48d5SJohn Snow else "failure") 299dfdc48d5SJohn Snow log("\n=== {:s} {:s} ===\n".format(mode, cond)) 300dfdc48d5SJohn Snow 301dfdc48d5SJohn Snow log('--- Preparing image & VM ---\n') 302dfdc48d5SJohn Snow drive0 = Drive(img_path, vm=vm) 303dfdc48d5SJohn Snow drive0.img_create(iotests.imgfmt, SIZE) 304dfdc48d5SJohn Snow vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device())) 305dfdc48d5SJohn Snow vm.launch() 306dfdc48d5SJohn Snow 307dfdc48d5SJohn Snow file_config = { 308dfdc48d5SJohn Snow 'driver': 'file', 309dfdc48d5SJohn Snow 'filename': drive0.path 310dfdc48d5SJohn Snow } 311dfdc48d5SJohn Snow 312dfdc48d5SJohn Snow if failure == 'intermediate': 313dfdc48d5SJohn Snow file_config = { 314dfdc48d5SJohn Snow 'driver': 'blkdebug', 315dfdc48d5SJohn Snow 'image': file_config, 316dfdc48d5SJohn Snow 'set-state': [{ 317dfdc48d5SJohn Snow 'event': 'flush_to_disk', 318dfdc48d5SJohn Snow 'state': 1, 319dfdc48d5SJohn Snow 'new_state': 2 320dfdc48d5SJohn Snow }, { 321dfdc48d5SJohn Snow 'event': 'read_aio', 322dfdc48d5SJohn Snow 'state': 2, 323dfdc48d5SJohn Snow 'new_state': 3 324dfdc48d5SJohn Snow }], 325dfdc48d5SJohn Snow 'inject-error': [{ 326dfdc48d5SJohn Snow 'event': 'read_aio', 327dfdc48d5SJohn Snow 'errno': 5, 328dfdc48d5SJohn Snow 'state': 3, 329dfdc48d5SJohn Snow 'immediately': False, 330dfdc48d5SJohn Snow 'once': True 331dfdc48d5SJohn Snow }] 332dfdc48d5SJohn Snow } 333dfdc48d5SJohn Snow 334dfdc48d5SJohn Snow vm.qmp_log('blockdev-add', 335dfdc48d5SJohn Snow filters=[iotests.filter_qmp_testfiles], 336dfdc48d5SJohn Snow node_name="drive0", 337dfdc48d5SJohn Snow driver=drive0.fmt, 338dfdc48d5SJohn Snow file=file_config) 339dfdc48d5SJohn Snow drive0.node = 'drive0' 340dfdc48d5SJohn Snow drive0.device = 'device0' 341dfdc48d5SJohn Snow # Use share-rw to allow writes directly to the node; 342dfdc48d5SJohn Snow # The anonymous block-backend for this configuration prevents us 343dfdc48d5SJohn Snow # from using HMP's qemu-io commands to address the device. 344dfdc48d5SJohn Snow vm.qmp_log("device_add", id=drive0.device, 345dfdc48d5SJohn Snow drive=drive0.name, driver="scsi-hd", 346dfdc48d5SJohn Snow share_rw=True) 347dfdc48d5SJohn Snow log('') 348dfdc48d5SJohn Snow 349dfdc48d5SJohn Snow # 0 - Writes and Reference Backup 350dfdc48d5SJohn Snow perform_writes(drive0, 0) 351dfdc48d5SJohn Snow reference_backup(drive0, 0, fbackup0) 352dfdc48d5SJohn Snow log('--- Add Bitmap ---\n') 353dfdc48d5SJohn Snow vm.qmp_log("block-dirty-bitmap-add", node=drive0.name, 354dfdc48d5SJohn Snow name="bitmap0", granularity=GRANULARITY) 355dfdc48d5SJohn Snow log('') 356*32afa5a1SJohn Snow ebitmap = EmulatedBitmap() 357dfdc48d5SJohn Snow 358dfdc48d5SJohn Snow # 1 - Writes and Reference Backup 359dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 1) 360*32afa5a1SJohn Snow ebitmap.dirty_group(1) 361dfdc48d5SJohn Snow bitmap = get_bitmap(bitmaps, drive0.device, 'bitmap0') 362*32afa5a1SJohn Snow ebitmap.compare(bitmap) 363dfdc48d5SJohn Snow reference_backup(drive0, 1, fbackup1) 364dfdc48d5SJohn Snow 365dfdc48d5SJohn Snow # 1 - Bitmap Backup (Optional induced failure) 366dfdc48d5SJohn Snow if failure == 'intermediate': 367dfdc48d5SJohn Snow # Activate blkdebug induced failure for second-to-next read 368dfdc48d5SJohn Snow log(vm.hmp_qemu_io(drive0.name, 'flush')) 369dfdc48d5SJohn Snow log('') 370dfdc48d5SJohn Snow job = bitmap_backup(drive0, 1, bsync1, "bitmap0", bsync_mode) 371dfdc48d5SJohn Snow 372dfdc48d5SJohn Snow def _callback(): 373dfdc48d5SJohn Snow """Issue writes while the job is open to test bitmap divergence.""" 374dfdc48d5SJohn Snow # Note: when `failure` is 'intermediate', this isn't called. 375dfdc48d5SJohn Snow log('') 376dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 2) 377dfdc48d5SJohn Snow # Named bitmap (static, should be unchanged) 378*32afa5a1SJohn Snow ebitmap.compare(get_bitmap(bitmaps, drive0.device, 'bitmap0')) 379dfdc48d5SJohn Snow # Anonymous bitmap (dynamic, shows new writes) 380*32afa5a1SJohn Snow anonymous = EmulatedBitmap() 381*32afa5a1SJohn Snow anonymous.dirty_group(2) 382*32afa5a1SJohn Snow anonymous.compare(get_bitmap(bitmaps, drive0.device, '', 383*32afa5a1SJohn Snow recording=True)) 384*32afa5a1SJohn Snow 385*32afa5a1SJohn Snow # Simulate the order in which this will happen: 386*32afa5a1SJohn Snow # group 1 gets cleared first, then group two gets written. 387*32afa5a1SJohn Snow if ((bsync_mode == 'on-success' and not failure) or 388*32afa5a1SJohn Snow (bsync_mode == 'always')): 389*32afa5a1SJohn Snow ebitmap.clear_group(1) 390*32afa5a1SJohn Snow ebitmap.dirty_group(2) 391dfdc48d5SJohn Snow 392dfdc48d5SJohn Snow vm.run_job(job, auto_dismiss=True, auto_finalize=False, 393dfdc48d5SJohn Snow pre_finalize=_callback, 394dfdc48d5SJohn Snow cancel=(failure == 'simulated')) 395dfdc48d5SJohn Snow bitmaps = query_bitmaps(vm) 396dfdc48d5SJohn Snow log(bitmaps, indent=2) 397dfdc48d5SJohn Snow log('') 398dfdc48d5SJohn Snow 399dfdc48d5SJohn Snow if bsync_mode == 'always' and failure == 'intermediate': 400dfdc48d5SJohn Snow # We manage to copy one sector (one bit) before the error. 401*32afa5a1SJohn Snow ebitmap.clear_bit(ebitmap.first_bit) 402*32afa5a1SJohn Snow ebitmap.compare(get_bitmap(bitmaps, drive0.device, 'bitmap0')) 403dfdc48d5SJohn Snow 404dfdc48d5SJohn Snow # 2 - Writes and Reference Backup 405dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 3) 406*32afa5a1SJohn Snow ebitmap.dirty_group(3) 407*32afa5a1SJohn Snow ebitmap.compare(get_bitmap(bitmaps, drive0.device, 'bitmap0')) 408dfdc48d5SJohn Snow reference_backup(drive0, 2, fbackup2) 409dfdc48d5SJohn Snow 410dfdc48d5SJohn Snow # 2 - Bitmap Backup (In failure modes, this is a recovery.) 411dfdc48d5SJohn Snow job = bitmap_backup(drive0, 2, bsync2, "bitmap0", bsync_mode) 412dfdc48d5SJohn Snow vm.run_job(job, auto_dismiss=True, auto_finalize=False) 413dfdc48d5SJohn Snow bitmaps = query_bitmaps(vm) 414dfdc48d5SJohn Snow log(bitmaps, indent=2) 415dfdc48d5SJohn Snow log('') 416*32afa5a1SJohn Snow if bsync_mode != 'never': 417*32afa5a1SJohn Snow ebitmap.clear() 418*32afa5a1SJohn Snow ebitmap.compare(get_bitmap(bitmaps, drive0.device, 'bitmap0')) 419dfdc48d5SJohn Snow 420dfdc48d5SJohn Snow log('--- Cleanup ---\n') 421dfdc48d5SJohn Snow vm.qmp_log("block-dirty-bitmap-remove", 422dfdc48d5SJohn Snow node=drive0.name, name="bitmap0") 423dfdc48d5SJohn Snow log(query_bitmaps(vm), indent=2) 424dfdc48d5SJohn Snow vm.shutdown() 425dfdc48d5SJohn Snow log('') 426dfdc48d5SJohn Snow 427dfdc48d5SJohn Snow log('--- Verification ---\n') 428dfdc48d5SJohn Snow # 'simulated' failures will actually all pass here because we canceled 429dfdc48d5SJohn Snow # while "pending". This is actually undefined behavior, 430dfdc48d5SJohn Snow # don't rely on this to be true! 431dfdc48d5SJohn Snow compare_images(bsync1, fbackup1, baseimg=fbackup0, 432dfdc48d5SJohn Snow expected_match=failure != 'intermediate') 433dfdc48d5SJohn Snow if not failure or bsync_mode == 'always': 434dfdc48d5SJohn Snow # Always keep the last backup on success or when using 'always' 435dfdc48d5SJohn Snow base = bsync1 436dfdc48d5SJohn Snow else: 437dfdc48d5SJohn Snow base = fbackup0 438dfdc48d5SJohn Snow compare_images(bsync2, fbackup2, baseimg=base) 439dfdc48d5SJohn Snow compare_images(img_path, fbackup2) 440dfdc48d5SJohn Snow log('') 441dfdc48d5SJohn Snow 442dfdc48d5SJohn Snowdef main(): 443dfdc48d5SJohn Snow for bsync_mode in ("never", "on-success", "always"): 444dfdc48d5SJohn Snow for failure in ("simulated", "intermediate", None): 445dfdc48d5SJohn Snow test_bitmap_sync(bsync_mode, failure) 446dfdc48d5SJohn Snow 447dfdc48d5SJohn Snowif __name__ == '__main__': 448dfdc48d5SJohn Snow iotests.script_main(main, supported_fmts=['qcow2']) 449