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 152dfdc48d5SJohn Snow def img_create(self, fmt, size): 153dfdc48d5SJohn Snow self.fmt = fmt 154dfdc48d5SJohn Snow self.size = size 155dfdc48d5SJohn Snow iotests.qemu_img_create('-f', self.fmt, self.path, str(self.size)) 156dfdc48d5SJohn Snow 157dfdc48d5SJohn Snow def create_target(self, name, fmt, size): 158dfdc48d5SJohn Snow basename = os.path.basename(self.path) 159dfdc48d5SJohn Snow file_node_name = "file_{}".format(basename) 160dfdc48d5SJohn Snow vm = self.vm 161dfdc48d5SJohn Snow 162dfdc48d5SJohn Snow log(vm.command('blockdev-create', job_id='bdc-file-job', 163dfdc48d5SJohn Snow options={ 164dfdc48d5SJohn Snow 'driver': 'file', 165dfdc48d5SJohn Snow 'filename': self.path, 166dfdc48d5SJohn Snow 'size': 0, 167dfdc48d5SJohn Snow })) 168dfdc48d5SJohn Snow vm.run_job('bdc-file-job') 169dfdc48d5SJohn Snow log(vm.command('blockdev-add', driver='file', 170dfdc48d5SJohn Snow node_name=file_node_name, filename=self.path)) 171dfdc48d5SJohn Snow 172dfdc48d5SJohn Snow log(vm.command('blockdev-create', job_id='bdc-fmt-job', 173dfdc48d5SJohn Snow options={ 174dfdc48d5SJohn Snow 'driver': fmt, 175dfdc48d5SJohn Snow 'file': file_node_name, 176dfdc48d5SJohn Snow 'size': size, 177dfdc48d5SJohn Snow })) 178dfdc48d5SJohn Snow vm.run_job('bdc-fmt-job') 179dfdc48d5SJohn Snow log(vm.command('blockdev-add', driver=fmt, 180dfdc48d5SJohn Snow node_name=name, 181dfdc48d5SJohn Snow file=file_node_name)) 182dfdc48d5SJohn Snow self.fmt = fmt 183dfdc48d5SJohn Snow self.size = size 184dfdc48d5SJohn Snow self.node = name 185dfdc48d5SJohn Snow 1860af2a09cSJohn Snowdef blockdev_backup(vm, device, target, sync, **kwargs): 1870af2a09cSJohn Snow # Strip any arguments explicitly nulled by the caller: 1880af2a09cSJohn Snow kwargs = {key: val for key, val in kwargs.items() if val is not None} 1890af2a09cSJohn Snow result = vm.qmp_log('blockdev-backup', 1900af2a09cSJohn Snow device=device, 1910af2a09cSJohn Snow target=target, 1920af2a09cSJohn Snow sync=sync, 1930af2a09cSJohn Snow **kwargs) 1940af2a09cSJohn Snow return result 1950af2a09cSJohn Snow 1960af2a09cSJohn Snowdef blockdev_backup_mktarget(drive, target_id, filepath, sync, **kwargs): 1970af2a09cSJohn Snow target_drive = Drive(filepath, vm=drive.vm) 1980af2a09cSJohn Snow target_drive.create_target(target_id, drive.fmt, drive.size) 199*f1648454SVladimir Sementsov-Ogievskiy blockdev_backup(drive.vm, drive.node, target_id, sync, **kwargs) 2000af2a09cSJohn Snow 201dfdc48d5SJohn Snowdef reference_backup(drive, n, filepath): 202dfdc48d5SJohn Snow log("--- Reference Backup #{:d} ---\n".format(n)) 203dfdc48d5SJohn Snow target_id = "ref_target_{:d}".format(n) 204dfdc48d5SJohn Snow job_id = "ref_backup_{:d}".format(n) 2050af2a09cSJohn Snow blockdev_backup_mktarget(drive, target_id, filepath, "full", 2060af2a09cSJohn Snow job_id=job_id) 207dfdc48d5SJohn Snow drive.vm.run_job(job_id, auto_dismiss=True) 208dfdc48d5SJohn Snow log('') 209dfdc48d5SJohn Snow 2100af2a09cSJohn Snowdef backup(drive, n, filepath, sync, **kwargs): 2110af2a09cSJohn Snow log("--- Test Backup #{:d} ---\n".format(n)) 2120af2a09cSJohn Snow target_id = "backup_target_{:d}".format(n) 2130af2a09cSJohn Snow job_id = "backup_{:d}".format(n) 2140af2a09cSJohn Snow kwargs.setdefault('auto-finalize', False) 2150af2a09cSJohn Snow blockdev_backup_mktarget(drive, target_id, filepath, sync, 2160af2a09cSJohn Snow job_id=job_id, **kwargs) 217dfdc48d5SJohn Snow return job_id 218dfdc48d5SJohn Snow 219dfdc48d5SJohn Snowdef perform_writes(drive, n): 220dfdc48d5SJohn Snow log("--- Write #{:d} ---\n".format(n)) 221dfdc48d5SJohn Snow for pattern in GROUPS[n].patterns: 222dfdc48d5SJohn Snow cmd = "write -P{:s} 0x{:07x} 0x{:x}".format( 223dfdc48d5SJohn Snow pattern.byte, 224dfdc48d5SJohn Snow pattern.offset, 225dfdc48d5SJohn Snow pattern.size) 226dfdc48d5SJohn Snow log(cmd) 227*f1648454SVladimir Sementsov-Ogievskiy log(drive.vm.hmp_qemu_io(drive.node, cmd)) 2285c4343b8SVladimir Sementsov-Ogievskiy bitmaps = drive.vm.query_bitmaps() 2295c4343b8SVladimir Sementsov-Ogievskiy log({'bitmaps': bitmaps}, indent=2) 230dfdc48d5SJohn Snow log('') 231dfdc48d5SJohn Snow return bitmaps 232dfdc48d5SJohn Snow 233dfdc48d5SJohn Snow 234dfdc48d5SJohn Snowdef compare_images(image, reference, baseimg=None, expected_match=True): 235dfdc48d5SJohn Snow """ 236dfdc48d5SJohn Snow Print a nice human-readable message comparing these images. 237dfdc48d5SJohn Snow """ 238dfdc48d5SJohn Snow expected_ret = 0 if expected_match else 1 239dfdc48d5SJohn Snow if baseimg: 240dfdc48d5SJohn Snow assert qemu_img("rebase", "-u", "-b", baseimg, image) == 0 241dfdc48d5SJohn Snow ret = qemu_img("compare", image, reference) 242dfdc48d5SJohn Snow log('qemu_img compare "{:s}" "{:s}" ==> {:s}, {:s}'.format( 243dfdc48d5SJohn Snow image, reference, 244dfdc48d5SJohn Snow "Identical" if ret == 0 else "Mismatch", 245dfdc48d5SJohn Snow "OK!" if ret == expected_ret else "ERROR!"), 246dfdc48d5SJohn Snow filters=[iotests.filter_testfiles]) 247dfdc48d5SJohn Snow 2480af2a09cSJohn Snowdef test_bitmap_sync(bsync_mode, msync_mode='bitmap', failure=None): 249dfdc48d5SJohn Snow """ 250dfdc48d5SJohn Snow Test bitmap backup routines. 251dfdc48d5SJohn Snow 252dfdc48d5SJohn Snow :param bsync_mode: Is the Bitmap Sync mode, and can be any of: 253dfdc48d5SJohn Snow - on-success: This is the "incremental" style mode. Bitmaps are 254dfdc48d5SJohn Snow synchronized to what was copied out only on success. 255dfdc48d5SJohn Snow (Partial images must be discarded.) 256dfdc48d5SJohn Snow - never: This is the "differential" style mode. 257dfdc48d5SJohn Snow Bitmaps are never synchronized. 258dfdc48d5SJohn Snow - always: This is a "best effort" style mode. 259dfdc48d5SJohn Snow Bitmaps are always synchronized, regardless of failure. 260dfdc48d5SJohn Snow (Partial images must be kept.) 261dfdc48d5SJohn Snow 262bd5ceebfSJohn Snow :param msync_mode: The mirror sync mode to use for the first backup. 263bd5ceebfSJohn Snow Can be any one of: 264bd5ceebfSJohn Snow - bitmap: Backups based on bitmap manifest. 265bd5ceebfSJohn Snow - full: Full backups. 266bd5ceebfSJohn Snow - top: Full backups of the top layer only. 267bd5ceebfSJohn Snow 268dfdc48d5SJohn Snow :param failure: Is the (optional) failure mode, and can be any of: 269dfdc48d5SJohn Snow - None: No failure. Test the normative path. Default. 270dfdc48d5SJohn Snow - simulated: Cancel the job right before it completes. 271dfdc48d5SJohn Snow This also tests writes "during" the job. 272dfdc48d5SJohn Snow - intermediate: This tests a job that fails mid-process and produces 273dfdc48d5SJohn Snow an incomplete backup. Testing limitations prevent 274dfdc48d5SJohn Snow testing competing writes. 275dfdc48d5SJohn Snow """ 276dfdc48d5SJohn Snow with iotests.FilePaths(['img', 'bsync1', 'bsync2', 277dfdc48d5SJohn Snow 'fbackup0', 'fbackup1', 'fbackup2']) as \ 278dfdc48d5SJohn Snow (img_path, bsync1, bsync2, 279dfdc48d5SJohn Snow fbackup0, fbackup1, fbackup2), \ 280dfdc48d5SJohn Snow iotests.VM() as vm: 281dfdc48d5SJohn Snow 2820af2a09cSJohn Snow mode = "Mode {:s}; Bitmap Sync {:s}".format(msync_mode, bsync_mode) 283dfdc48d5SJohn Snow preposition = "with" if failure else "without" 284dfdc48d5SJohn Snow cond = "{:s} {:s}".format(preposition, 285dfdc48d5SJohn Snow "{:s} failure".format(failure) if failure 286dfdc48d5SJohn Snow else "failure") 287dfdc48d5SJohn Snow log("\n=== {:s} {:s} ===\n".format(mode, cond)) 288dfdc48d5SJohn Snow 289dfdc48d5SJohn Snow log('--- Preparing image & VM ---\n') 290dfdc48d5SJohn Snow drive0 = Drive(img_path, vm=vm) 291dfdc48d5SJohn Snow drive0.img_create(iotests.imgfmt, SIZE) 292dfdc48d5SJohn Snow vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device())) 293dfdc48d5SJohn Snow vm.launch() 294dfdc48d5SJohn Snow 295dfdc48d5SJohn Snow file_config = { 296dfdc48d5SJohn Snow 'driver': 'file', 297dfdc48d5SJohn Snow 'filename': drive0.path 298dfdc48d5SJohn Snow } 299dfdc48d5SJohn Snow 300dfdc48d5SJohn Snow if failure == 'intermediate': 301dfdc48d5SJohn Snow file_config = { 302dfdc48d5SJohn Snow 'driver': 'blkdebug', 303dfdc48d5SJohn Snow 'image': file_config, 304dfdc48d5SJohn Snow 'set-state': [{ 305dfdc48d5SJohn Snow 'event': 'flush_to_disk', 306dfdc48d5SJohn Snow 'state': 1, 307dfdc48d5SJohn Snow 'new_state': 2 308dfdc48d5SJohn Snow }, { 309dfdc48d5SJohn Snow 'event': 'read_aio', 310dfdc48d5SJohn Snow 'state': 2, 311dfdc48d5SJohn Snow 'new_state': 3 312dfdc48d5SJohn Snow }], 313dfdc48d5SJohn Snow 'inject-error': [{ 314dfdc48d5SJohn Snow 'event': 'read_aio', 315dfdc48d5SJohn Snow 'errno': 5, 316dfdc48d5SJohn Snow 'state': 3, 317dfdc48d5SJohn Snow 'immediately': False, 318dfdc48d5SJohn Snow 'once': True 319dfdc48d5SJohn Snow }] 320dfdc48d5SJohn Snow } 321dfdc48d5SJohn Snow 322*f1648454SVladimir Sementsov-Ogievskiy drive0.node = 'drive0' 323dfdc48d5SJohn Snow vm.qmp_log('blockdev-add', 324dfdc48d5SJohn Snow filters=[iotests.filter_qmp_testfiles], 325*f1648454SVladimir Sementsov-Ogievskiy node_name=drive0.node, 326dfdc48d5SJohn Snow driver=drive0.fmt, 327dfdc48d5SJohn Snow file=file_config) 328dfdc48d5SJohn Snow # Use share-rw to allow writes directly to the node; 329dfdc48d5SJohn Snow # The anonymous block-backend for this configuration prevents us 330dfdc48d5SJohn Snow # from using HMP's qemu-io commands to address the device. 331*f1648454SVladimir Sementsov-Ogievskiy vm.qmp_log("device_add", id='device0', 332*f1648454SVladimir Sementsov-Ogievskiy drive=drive0.node, driver="scsi-hd", 333dfdc48d5SJohn Snow share_rw=True) 334dfdc48d5SJohn Snow log('') 335dfdc48d5SJohn Snow 336dfdc48d5SJohn Snow # 0 - Writes and Reference Backup 337dfdc48d5SJohn Snow perform_writes(drive0, 0) 338dfdc48d5SJohn Snow reference_backup(drive0, 0, fbackup0) 339dfdc48d5SJohn Snow log('--- Add Bitmap ---\n') 340*f1648454SVladimir Sementsov-Ogievskiy vm.qmp_log("block-dirty-bitmap-add", node=drive0.node, 341dfdc48d5SJohn Snow name="bitmap0", granularity=GRANULARITY) 342dfdc48d5SJohn Snow log('') 34332afa5a1SJohn Snow ebitmap = EmulatedBitmap() 344dfdc48d5SJohn Snow 345dfdc48d5SJohn Snow # 1 - Writes and Reference Backup 346dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 1) 34732afa5a1SJohn Snow ebitmap.dirty_group(1) 3485c4343b8SVladimir Sementsov-Ogievskiy bitmap = vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps) 34932afa5a1SJohn Snow ebitmap.compare(bitmap) 350dfdc48d5SJohn Snow reference_backup(drive0, 1, fbackup1) 351dfdc48d5SJohn Snow 3520af2a09cSJohn Snow # 1 - Test Backup (w/ Optional induced failure) 353dfdc48d5SJohn Snow if failure == 'intermediate': 354dfdc48d5SJohn Snow # Activate blkdebug induced failure for second-to-next read 355*f1648454SVladimir Sementsov-Ogievskiy log(vm.hmp_qemu_io(drive0.node, 'flush')) 356dfdc48d5SJohn Snow log('') 3570af2a09cSJohn Snow job = backup(drive0, 1, bsync1, msync_mode, 3580af2a09cSJohn Snow bitmap="bitmap0", bitmap_mode=bsync_mode) 359dfdc48d5SJohn Snow 360dfdc48d5SJohn Snow def _callback(): 361dfdc48d5SJohn Snow """Issue writes while the job is open to test bitmap divergence.""" 362dfdc48d5SJohn Snow # Note: when `failure` is 'intermediate', this isn't called. 363dfdc48d5SJohn Snow log('') 364dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 2) 365dfdc48d5SJohn Snow # Named bitmap (static, should be unchanged) 3665c4343b8SVladimir Sementsov-Ogievskiy ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', 3675c4343b8SVladimir Sementsov-Ogievskiy bitmaps=bitmaps)) 368dfdc48d5SJohn Snow # Anonymous bitmap (dynamic, shows new writes) 36932afa5a1SJohn Snow anonymous = EmulatedBitmap() 37032afa5a1SJohn Snow anonymous.dirty_group(2) 3715c4343b8SVladimir Sementsov-Ogievskiy anonymous.compare(vm.get_bitmap(drive0.node, '', recording=True, 3725c4343b8SVladimir Sementsov-Ogievskiy bitmaps=bitmaps)) 37332afa5a1SJohn Snow 37432afa5a1SJohn Snow # Simulate the order in which this will happen: 37532afa5a1SJohn Snow # group 1 gets cleared first, then group two gets written. 37632afa5a1SJohn Snow if ((bsync_mode == 'on-success' and not failure) or 37732afa5a1SJohn Snow (bsync_mode == 'always')): 378bd5ceebfSJohn Snow ebitmap.clear() 37932afa5a1SJohn Snow ebitmap.dirty_group(2) 380dfdc48d5SJohn Snow 381dfdc48d5SJohn Snow vm.run_job(job, auto_dismiss=True, auto_finalize=False, 382dfdc48d5SJohn Snow pre_finalize=_callback, 383dfdc48d5SJohn Snow cancel=(failure == 'simulated')) 3845c4343b8SVladimir Sementsov-Ogievskiy bitmaps = vm.query_bitmaps() 3855c4343b8SVladimir Sementsov-Ogievskiy log({'bitmaps': bitmaps}, indent=2) 386dfdc48d5SJohn Snow log('') 387dfdc48d5SJohn Snow 388dfdc48d5SJohn Snow if bsync_mode == 'always' and failure == 'intermediate': 389bd5ceebfSJohn Snow # TOP treats anything allocated as dirty, expect to see: 390bd5ceebfSJohn Snow if msync_mode == 'top': 391bd5ceebfSJohn Snow ebitmap.dirty_group(0) 392bd5ceebfSJohn Snow 393dfdc48d5SJohn Snow # We manage to copy one sector (one bit) before the error. 39432afa5a1SJohn Snow ebitmap.clear_bit(ebitmap.first_bit) 395bd5ceebfSJohn Snow 396bd5ceebfSJohn Snow # Full returns all bits set except what was copied/skipped 397bd5ceebfSJohn Snow if msync_mode == 'full': 398bd5ceebfSJohn Snow fail_bit = ebitmap.first_bit 399bd5ceebfSJohn Snow ebitmap.clear() 400bd5ceebfSJohn Snow ebitmap.dirty_bits(range(fail_bit, SIZE // GRANULARITY)) 401bd5ceebfSJohn Snow 4025c4343b8SVladimir Sementsov-Ogievskiy ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps)) 403dfdc48d5SJohn Snow 404dfdc48d5SJohn Snow # 2 - Writes and Reference Backup 405dfdc48d5SJohn Snow bitmaps = perform_writes(drive0, 3) 40632afa5a1SJohn Snow ebitmap.dirty_group(3) 4075c4343b8SVladimir Sementsov-Ogievskiy ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps)) 408dfdc48d5SJohn Snow reference_backup(drive0, 2, fbackup2) 409dfdc48d5SJohn Snow 410dfdc48d5SJohn Snow # 2 - Bitmap Backup (In failure modes, this is a recovery.) 4110af2a09cSJohn Snow job = backup(drive0, 2, bsync2, "bitmap", 4120af2a09cSJohn Snow bitmap="bitmap0", bitmap_mode=bsync_mode) 413dfdc48d5SJohn Snow vm.run_job(job, auto_dismiss=True, auto_finalize=False) 4145c4343b8SVladimir Sementsov-Ogievskiy bitmaps = vm.query_bitmaps() 4155c4343b8SVladimir Sementsov-Ogievskiy log({'bitmaps': bitmaps}, indent=2) 416dfdc48d5SJohn Snow log('') 41732afa5a1SJohn Snow if bsync_mode != 'never': 41832afa5a1SJohn Snow ebitmap.clear() 4195c4343b8SVladimir Sementsov-Ogievskiy ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps)) 420dfdc48d5SJohn Snow 421dfdc48d5SJohn Snow log('--- Cleanup ---\n') 422dfdc48d5SJohn Snow vm.qmp_log("block-dirty-bitmap-remove", 423*f1648454SVladimir Sementsov-Ogievskiy node=drive0.node, name="bitmap0") 4245c4343b8SVladimir Sementsov-Ogievskiy bitmaps = vm.query_bitmaps() 4255c4343b8SVladimir Sementsov-Ogievskiy log({'bitmaps': bitmaps}, indent=2) 426dfdc48d5SJohn Snow vm.shutdown() 427dfdc48d5SJohn Snow log('') 428dfdc48d5SJohn Snow 429dfdc48d5SJohn Snow log('--- Verification ---\n') 430dfdc48d5SJohn Snow # 'simulated' failures will actually all pass here because we canceled 431dfdc48d5SJohn Snow # while "pending". This is actually undefined behavior, 432dfdc48d5SJohn Snow # don't rely on this to be true! 433dfdc48d5SJohn Snow compare_images(bsync1, fbackup1, baseimg=fbackup0, 434dfdc48d5SJohn Snow expected_match=failure != 'intermediate') 435dfdc48d5SJohn Snow if not failure or bsync_mode == 'always': 436dfdc48d5SJohn Snow # Always keep the last backup on success or when using 'always' 437dfdc48d5SJohn Snow base = bsync1 438dfdc48d5SJohn Snow else: 439dfdc48d5SJohn Snow base = fbackup0 440dfdc48d5SJohn Snow compare_images(bsync2, fbackup2, baseimg=base) 441dfdc48d5SJohn Snow compare_images(img_path, fbackup2) 442dfdc48d5SJohn Snow log('') 443dfdc48d5SJohn Snow 444352092d3SJohn Snowdef test_backup_api(): 445352092d3SJohn Snow """ 446352092d3SJohn Snow Test malformed and prohibited invocations of the backup API. 447352092d3SJohn Snow """ 448352092d3SJohn Snow with iotests.FilePaths(['img', 'bsync1']) as \ 449352092d3SJohn Snow (img_path, backup_path), \ 450352092d3SJohn Snow iotests.VM() as vm: 451352092d3SJohn Snow 452352092d3SJohn Snow log("\n=== API failure tests ===\n") 453352092d3SJohn Snow log('--- Preparing image & VM ---\n') 454352092d3SJohn Snow drive0 = Drive(img_path, vm=vm) 455352092d3SJohn Snow drive0.img_create(iotests.imgfmt, SIZE) 456352092d3SJohn Snow vm.add_device("{},id=scsi0".format(iotests.get_virtio_scsi_device())) 457352092d3SJohn Snow vm.launch() 458352092d3SJohn Snow 459352092d3SJohn Snow file_config = { 460352092d3SJohn Snow 'driver': 'file', 461352092d3SJohn Snow 'filename': drive0.path 462352092d3SJohn Snow } 463352092d3SJohn Snow 464*f1648454SVladimir Sementsov-Ogievskiy drive0.node = 'drive0' 465352092d3SJohn Snow vm.qmp_log('blockdev-add', 466352092d3SJohn Snow filters=[iotests.filter_qmp_testfiles], 467*f1648454SVladimir Sementsov-Ogievskiy node_name=drive0.node, 468352092d3SJohn Snow driver=drive0.fmt, 469352092d3SJohn Snow file=file_config) 470*f1648454SVladimir Sementsov-Ogievskiy vm.qmp_log("device_add", id='device0', 471*f1648454SVladimir Sementsov-Ogievskiy drive=drive0.node, driver="scsi-hd") 472352092d3SJohn Snow log('') 473352092d3SJohn Snow 474352092d3SJohn Snow target0 = Drive(backup_path, vm=vm) 475352092d3SJohn Snow target0.create_target("backup_target", drive0.fmt, drive0.size) 476352092d3SJohn Snow log('') 477352092d3SJohn Snow 478*f1648454SVladimir Sementsov-Ogievskiy vm.qmp_log("block-dirty-bitmap-add", node=drive0.node, 479352092d3SJohn Snow name="bitmap0", granularity=GRANULARITY) 480352092d3SJohn Snow log('') 481352092d3SJohn Snow 482352092d3SJohn Snow log('-- Testing invalid QMP commands --\n') 483352092d3SJohn Snow 484352092d3SJohn Snow error_cases = { 485352092d3SJohn Snow 'incremental': { 486352092d3SJohn Snow None: ['on-success', 'always', 'never', None], 487352092d3SJohn Snow 'bitmap404': ['on-success', 'always', 'never', None], 488352092d3SJohn Snow 'bitmap0': ['always', 'never'] 489352092d3SJohn Snow }, 490352092d3SJohn Snow 'bitmap': { 491352092d3SJohn Snow None: ['on-success', 'always', 'never', None], 492352092d3SJohn Snow 'bitmap404': ['on-success', 'always', 'never', None], 493352092d3SJohn Snow 'bitmap0': [None], 494352092d3SJohn Snow }, 495bd5ceebfSJohn Snow 'full': { 496bd5ceebfSJohn Snow None: ['on-success', 'always', 'never'], 497bd5ceebfSJohn Snow 'bitmap404': ['on-success', 'always', 'never', None], 498bd5ceebfSJohn Snow 'bitmap0': ['never', None], 499bd5ceebfSJohn Snow }, 500bd5ceebfSJohn Snow 'top': { 501bd5ceebfSJohn Snow None: ['on-success', 'always', 'never'], 502bd5ceebfSJohn Snow 'bitmap404': ['on-success', 'always', 'never', None], 503bd5ceebfSJohn Snow 'bitmap0': ['never', None], 504bd5ceebfSJohn Snow }, 505bd5ceebfSJohn Snow 'none': { 506bd5ceebfSJohn Snow None: ['on-success', 'always', 'never'], 507bd5ceebfSJohn Snow 'bitmap404': ['on-success', 'always', 'never', None], 508bd5ceebfSJohn Snow 'bitmap0': ['on-success', 'always', 'never', None], 509bd5ceebfSJohn Snow } 510352092d3SJohn Snow } 511352092d3SJohn Snow 512352092d3SJohn Snow # Dicts, as always, are not stably-ordered prior to 3.7, so use tuples: 513bd5ceebfSJohn Snow for sync_mode in ('incremental', 'bitmap', 'full', 'top', 'none'): 514352092d3SJohn Snow log("-- Sync mode {:s} tests --\n".format(sync_mode)) 515352092d3SJohn Snow for bitmap in (None, 'bitmap404', 'bitmap0'): 516352092d3SJohn Snow for policy in error_cases[sync_mode][bitmap]: 517*f1648454SVladimir Sementsov-Ogievskiy blockdev_backup(drive0.vm, drive0.node, "backup_target", 518352092d3SJohn Snow sync_mode, job_id='api_job', 519352092d3SJohn Snow bitmap=bitmap, bitmap_mode=policy) 520352092d3SJohn Snow log('') 521352092d3SJohn Snow 522352092d3SJohn Snow 523dfdc48d5SJohn Snowdef main(): 524dfdc48d5SJohn Snow for bsync_mode in ("never", "on-success", "always"): 525dfdc48d5SJohn Snow for failure in ("simulated", "intermediate", None): 5260af2a09cSJohn Snow test_bitmap_sync(bsync_mode, "bitmap", failure) 527dfdc48d5SJohn Snow 528bd5ceebfSJohn Snow for sync_mode in ('full', 'top'): 529bd5ceebfSJohn Snow for bsync_mode in ('on-success', 'always'): 530bd5ceebfSJohn Snow for failure in ('simulated', 'intermediate', None): 531bd5ceebfSJohn Snow test_bitmap_sync(bsync_mode, sync_mode, failure) 532bd5ceebfSJohn Snow 533352092d3SJohn Snow test_backup_api() 534352092d3SJohn Snow 535dfdc48d5SJohn Snowif __name__ == '__main__': 536103cbc77SMax Reitz iotests.script_main(main, supported_fmts=['qcow2'], 537103cbc77SMax Reitz supported_protocols=['file']) 538