]> git.proxmox.com Git - mirror_qemu.git/blame - tests/qemu-iotests/257
Merge tag 'linux-user-for-7.0-pull-request' of https://gitlab.com/laurent_vivier...
[mirror_qemu.git] / tests / qemu-iotests / 257
CommitLineData
903cb1bf 1#!/usr/bin/env python3
9dd003a9 2# group: rw
dfdc48d5
JS
3#
4# Test bitmap-sync backups (incremental, differential, and partials)
5#
6# Copyright (c) 2019 John Snow for Red Hat, Inc.
7#
8# This program is free software; you can redistribute it and/or modify
9# it under the terms of the GNU General Public License as published by
10# the Free Software Foundation; either version 2 of the License, or
11# (at your option) any later version.
12#
13# This program is distributed in the hope that it will be useful,
14# but WITHOUT ANY WARRANTY; without even the implied warranty of
15# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16# GNU General Public License for more details.
17#
18# You should have received a copy of the GNU General Public License
19# along with this program. If not, see <http://www.gnu.org/licenses/>.
20#
21# owner=jsnow@redhat.com
22
dfdc48d5
JS
23import math
24import os
25
26import iotests
27from iotests import log, qemu_img
28
29SIZE = 64 * 1024 * 1024
30GRANULARITY = 64 * 1024
31
b0a32bef
JS
32
33class Pattern:
34 def __init__(self, byte, offset, size=GRANULARITY):
35 self.byte = byte
36 self.offset = offset
37 self.size = size
38
39 def bits(self, granularity):
40 lower = self.offset // granularity
41 upper = (self.offset + self.size - 1) // granularity
42 return set(range(lower, upper + 1))
43
dfdc48d5
JS
44
45class PatternGroup:
46 """Grouping of Pattern objects. Initialize with an iterable of Patterns."""
47 def __init__(self, patterns):
48 self.patterns = patterns
49
50 def bits(self, granularity):
51 """Calculate the unique bits dirtied by this pattern grouping"""
52 res = set()
53 for pattern in self.patterns:
b0a32bef 54 res |= pattern.bits(granularity)
dfdc48d5
JS
55 return res
56
b0a32bef 57
dfdc48d5
JS
58GROUPS = [
59 PatternGroup([
60 # Batch 0: 4 clusters
b0a32bef
JS
61 Pattern('0x49', 0x0000000),
62 Pattern('0x6c', 0x0100000), # 1M
63 Pattern('0x6f', 0x2000000), # 32M
64 Pattern('0x76', 0x3ff0000)]), # 64M - 64K
dfdc48d5
JS
65 PatternGroup([
66 # Batch 1: 6 clusters (3 new)
b0a32bef
JS
67 Pattern('0x65', 0x0000000), # Full overwrite
68 Pattern('0x77', 0x00f8000), # Partial-left (1M-32K)
69 Pattern('0x72', 0x2008000), # Partial-right (32M+32K)
70 Pattern('0x69', 0x3fe0000)]), # Adjacent-left (64M - 128K)
dfdc48d5
JS
71 PatternGroup([
72 # Batch 2: 7 clusters (3 new)
b0a32bef
JS
73 Pattern('0x74', 0x0010000), # Adjacent-right
74 Pattern('0x69', 0x00e8000), # Partial-left (1M-96K)
75 Pattern('0x6e', 0x2018000), # Partial-right (32M+96K)
76 Pattern('0x67', 0x3fe0000,
77 2*GRANULARITY)]), # Overwrite [(64M-128K)-64M)
dfdc48d5
JS
78 PatternGroup([
79 # Batch 3: 8 clusters (5 new)
80 # Carefully chosen such that nothing re-dirties the one cluster
81 # that copies out successfully before failure in Group #1.
b0a32bef
JS
82 Pattern('0xaa', 0x0010000,
83 3*GRANULARITY), # Overwrite and 2x Adjacent-right
84 Pattern('0xbb', 0x00d8000), # Partial-left (1M-160K)
85 Pattern('0xcc', 0x2028000), # Partial-right (32M+160K)
86 Pattern('0xdd', 0x3fc0000)]), # New; leaving a gap to the right
dfdc48d5
JS
87]
88
32afa5a1
JS
89
90class EmulatedBitmap:
91 def __init__(self, granularity=GRANULARITY):
92 self._bits = set()
93 self.granularity = granularity
94
95 def dirty_bits(self, bits):
96 self._bits |= set(bits)
97
98 def dirty_group(self, n):
99 self.dirty_bits(GROUPS[n].bits(self.granularity))
100
101 def clear(self):
102 self._bits = set()
103
104 def clear_bits(self, bits):
105 self._bits -= set(bits)
106
107 def clear_bit(self, bit):
108 self.clear_bits({bit})
109
110 def clear_group(self, n):
111 self.clear_bits(GROUPS[n].bits(self.granularity))
112
113 @property
114 def first_bit(self):
115 return sorted(self.bits)[0]
116
117 @property
118 def bits(self):
119 return self._bits
120
121 @property
122 def count(self):
123 return len(self.bits)
124
125 def compare(self, qmp_bitmap):
126 """
127 Print a nice human-readable message checking that a bitmap as reported
128 by the QMP interface has as many bits set as we expect it to.
129 """
130
131 name = qmp_bitmap.get('name', '(anonymous)')
132 log("= Checking Bitmap {:s} =".format(name))
133
134 want = self.count
135 have = qmp_bitmap['count'] // qmp_bitmap['granularity']
136
137 log("expecting {:d} dirty sectors; have {:d}. {:s}".format(
138 want, have, "OK!" if want == have else "ERROR!"))
139 log('')
140
141
dfdc48d5
JS
142class Drive:
143 """Represents, vaguely, a drive attached to a VM.
144 Includes format, graph, and device information."""
145
146 def __init__(self, path, vm=None):
147 self.path = path
148 self.vm = vm
149 self.fmt = None
150 self.size = None
151 self.node = None
dfdc48d5
JS
152
153 def img_create(self, fmt, size):
154 self.fmt = fmt
155 self.size = size
156 iotests.qemu_img_create('-f', self.fmt, self.path, str(self.size))
157
158 def create_target(self, name, fmt, size):
159 basename = os.path.basename(self.path)
160 file_node_name = "file_{}".format(basename)
161 vm = self.vm
162
163 log(vm.command('blockdev-create', job_id='bdc-file-job',
164 options={
165 'driver': 'file',
166 'filename': self.path,
167 'size': 0,
168 }))
169 vm.run_job('bdc-file-job')
170 log(vm.command('blockdev-add', driver='file',
171 node_name=file_node_name, filename=self.path))
172
173 log(vm.command('blockdev-create', job_id='bdc-fmt-job',
174 options={
175 'driver': fmt,
176 'file': file_node_name,
177 'size': size,
178 }))
179 vm.run_job('bdc-fmt-job')
180 log(vm.command('blockdev-add', driver=fmt,
181 node_name=name,
182 file=file_node_name))
183 self.fmt = fmt
184 self.size = size
185 self.node = name
186
0af2a09c
JS
187def blockdev_backup(vm, device, target, sync, **kwargs):
188 # Strip any arguments explicitly nulled by the caller:
189 kwargs = {key: val for key, val in kwargs.items() if val is not None}
190 result = vm.qmp_log('blockdev-backup',
191 device=device,
192 target=target,
193 sync=sync,
00e30f05 194 filter_node_name='backup-top',
2d0f32e3 195 x_perf={'max-workers': 1},
0af2a09c
JS
196 **kwargs)
197 return result
198
199def blockdev_backup_mktarget(drive, target_id, filepath, sync, **kwargs):
200 target_drive = Drive(filepath, vm=drive.vm)
201 target_drive.create_target(target_id, drive.fmt, drive.size)
f1648454 202 blockdev_backup(drive.vm, drive.node, target_id, sync, **kwargs)
0af2a09c 203
dfdc48d5
JS
204def reference_backup(drive, n, filepath):
205 log("--- Reference Backup #{:d} ---\n".format(n))
206 target_id = "ref_target_{:d}".format(n)
207 job_id = "ref_backup_{:d}".format(n)
0af2a09c
JS
208 blockdev_backup_mktarget(drive, target_id, filepath, "full",
209 job_id=job_id)
dfdc48d5
JS
210 drive.vm.run_job(job_id, auto_dismiss=True)
211 log('')
212
0af2a09c
JS
213def backup(drive, n, filepath, sync, **kwargs):
214 log("--- Test Backup #{:d} ---\n".format(n))
215 target_id = "backup_target_{:d}".format(n)
216 job_id = "backup_{:d}".format(n)
217 kwargs.setdefault('auto-finalize', False)
218 blockdev_backup_mktarget(drive, target_id, filepath, sync,
219 job_id=job_id, **kwargs)
dfdc48d5
JS
220 return job_id
221
00e30f05 222def perform_writes(drive, n, filter_node_name=None):
dfdc48d5
JS
223 log("--- Write #{:d} ---\n".format(n))
224 for pattern in GROUPS[n].patterns:
225 cmd = "write -P{:s} 0x{:07x} 0x{:x}".format(
226 pattern.byte,
227 pattern.offset,
228 pattern.size)
229 log(cmd)
00e30f05 230 log(drive.vm.hmp_qemu_io(filter_node_name or drive.node, cmd))
5c4343b8
VSO
231 bitmaps = drive.vm.query_bitmaps()
232 log({'bitmaps': bitmaps}, indent=2)
dfdc48d5
JS
233 log('')
234 return bitmaps
235
dfdc48d5
JS
236
237def compare_images(image, reference, baseimg=None, expected_match=True):
238 """
239 Print a nice human-readable message comparing these images.
240 """
241 expected_ret = 0 if expected_match else 1
242 if baseimg:
fc272d3c 243 qemu_img("rebase", "-u", "-b", baseimg, '-F', iotests.imgfmt, image)
2882ccf8
JS
244
245 sub = qemu_img("compare", image, reference, check=False)
246
dfdc48d5
JS
247 log('qemu_img compare "{:s}" "{:s}" ==> {:s}, {:s}'.format(
248 image, reference,
2882ccf8
JS
249 "Identical" if sub.returncode == 0 else "Mismatch",
250 "OK!" if sub.returncode == expected_ret else "ERROR!"),
dfdc48d5
JS
251 filters=[iotests.filter_testfiles])
252
0af2a09c 253def test_bitmap_sync(bsync_mode, msync_mode='bitmap', failure=None):
dfdc48d5
JS
254 """
255 Test bitmap backup routines.
256
257 :param bsync_mode: Is the Bitmap Sync mode, and can be any of:
258 - on-success: This is the "incremental" style mode. Bitmaps are
259 synchronized to what was copied out only on success.
260 (Partial images must be discarded.)
261 - never: This is the "differential" style mode.
262 Bitmaps are never synchronized.
263 - always: This is a "best effort" style mode.
264 Bitmaps are always synchronized, regardless of failure.
265 (Partial images must be kept.)
266
bd5ceebf
JS
267 :param msync_mode: The mirror sync mode to use for the first backup.
268 Can be any one of:
269 - bitmap: Backups based on bitmap manifest.
270 - full: Full backups.
271 - top: Full backups of the top layer only.
272
dfdc48d5
JS
273 :param failure: Is the (optional) failure mode, and can be any of:
274 - None: No failure. Test the normative path. Default.
275 - simulated: Cancel the job right before it completes.
276 This also tests writes "during" the job.
277 - intermediate: This tests a job that fails mid-process and produces
278 an incomplete backup. Testing limitations prevent
279 testing competing writes.
280 """
3192fad7 281 with iotests.FilePath(
a242b19e
NS
282 'img', 'bsync1', 'bsync2', 'fbackup0', 'fbackup1', 'fbackup2') as \
283 (img_path, bsync1, bsync2, fbackup0, fbackup1, fbackup2), \
dfdc48d5
JS
284 iotests.VM() as vm:
285
0af2a09c 286 mode = "Mode {:s}; Bitmap Sync {:s}".format(msync_mode, bsync_mode)
dfdc48d5
JS
287 preposition = "with" if failure else "without"
288 cond = "{:s} {:s}".format(preposition,
289 "{:s} failure".format(failure) if failure
290 else "failure")
291 log("\n=== {:s} {:s} ===\n".format(mode, cond))
292
293 log('--- Preparing image & VM ---\n')
294 drive0 = Drive(img_path, vm=vm)
295 drive0.img_create(iotests.imgfmt, SIZE)
22329f0d 296 vm.add_device("{},id=scsi0".format('virtio-scsi'))
dfdc48d5
JS
297 vm.launch()
298
299 file_config = {
300 'driver': 'file',
301 'filename': drive0.path
302 }
303
304 if failure == 'intermediate':
305 file_config = {
306 'driver': 'blkdebug',
307 'image': file_config,
308 'set-state': [{
309 'event': 'flush_to_disk',
310 'state': 1,
311 'new_state': 2
312 }, {
313 'event': 'read_aio',
314 'state': 2,
315 'new_state': 3
316 }],
317 'inject-error': [{
318 'event': 'read_aio',
319 'errno': 5,
320 'state': 3,
321 'immediately': False,
322 'once': True
323 }]
324 }
325
f1648454 326 drive0.node = 'drive0'
dfdc48d5
JS
327 vm.qmp_log('blockdev-add',
328 filters=[iotests.filter_qmp_testfiles],
f1648454 329 node_name=drive0.node,
dfdc48d5
JS
330 driver=drive0.fmt,
331 file=file_config)
dfdc48d5
JS
332 log('')
333
334 # 0 - Writes and Reference Backup
335 perform_writes(drive0, 0)
336 reference_backup(drive0, 0, fbackup0)
337 log('--- Add Bitmap ---\n')
f1648454 338 vm.qmp_log("block-dirty-bitmap-add", node=drive0.node,
dfdc48d5
JS
339 name="bitmap0", granularity=GRANULARITY)
340 log('')
32afa5a1 341 ebitmap = EmulatedBitmap()
dfdc48d5
JS
342
343 # 1 - Writes and Reference Backup
344 bitmaps = perform_writes(drive0, 1)
32afa5a1 345 ebitmap.dirty_group(1)
5c4343b8 346 bitmap = vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps)
32afa5a1 347 ebitmap.compare(bitmap)
dfdc48d5
JS
348 reference_backup(drive0, 1, fbackup1)
349
0af2a09c 350 # 1 - Test Backup (w/ Optional induced failure)
dfdc48d5
JS
351 if failure == 'intermediate':
352 # Activate blkdebug induced failure for second-to-next read
f1648454 353 log(vm.hmp_qemu_io(drive0.node, 'flush'))
dfdc48d5 354 log('')
0af2a09c
JS
355 job = backup(drive0, 1, bsync1, msync_mode,
356 bitmap="bitmap0", bitmap_mode=bsync_mode)
dfdc48d5
JS
357
358 def _callback():
359 """Issue writes while the job is open to test bitmap divergence."""
360 # Note: when `failure` is 'intermediate', this isn't called.
361 log('')
00e30f05 362 bitmaps = perform_writes(drive0, 2, filter_node_name='backup-top')
dfdc48d5 363 # Named bitmap (static, should be unchanged)
5c4343b8
VSO
364 ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0',
365 bitmaps=bitmaps))
dfdc48d5 366 # Anonymous bitmap (dynamic, shows new writes)
32afa5a1
JS
367 anonymous = EmulatedBitmap()
368 anonymous.dirty_group(2)
5c4343b8
VSO
369 anonymous.compare(vm.get_bitmap(drive0.node, '', recording=True,
370 bitmaps=bitmaps))
32afa5a1
JS
371
372 # Simulate the order in which this will happen:
373 # group 1 gets cleared first, then group two gets written.
374 if ((bsync_mode == 'on-success' and not failure) or
375 (bsync_mode == 'always')):
bd5ceebf 376 ebitmap.clear()
32afa5a1 377 ebitmap.dirty_group(2)
dfdc48d5
JS
378
379 vm.run_job(job, auto_dismiss=True, auto_finalize=False,
380 pre_finalize=_callback,
381 cancel=(failure == 'simulated'))
5c4343b8
VSO
382 bitmaps = vm.query_bitmaps()
383 log({'bitmaps': bitmaps}, indent=2)
dfdc48d5
JS
384 log('')
385
dfdc48d5 386 if bsync_mode == 'always' and failure == 'intermediate':
bd5ceebf
JS
387 # TOP treats anything allocated as dirty, expect to see:
388 if msync_mode == 'top':
389 ebitmap.dirty_group(0)
390
dfdc48d5 391 # We manage to copy one sector (one bit) before the error.
32afa5a1 392 ebitmap.clear_bit(ebitmap.first_bit)
bd5ceebf
JS
393
394 # Full returns all bits set except what was copied/skipped
395 if msync_mode == 'full':
396 fail_bit = ebitmap.first_bit
397 ebitmap.clear()
398 ebitmap.dirty_bits(range(fail_bit, SIZE // GRANULARITY))
399
5c4343b8 400 ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
dfdc48d5
JS
401
402 # 2 - Writes and Reference Backup
403 bitmaps = perform_writes(drive0, 3)
32afa5a1 404 ebitmap.dirty_group(3)
5c4343b8 405 ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
dfdc48d5
JS
406 reference_backup(drive0, 2, fbackup2)
407
408 # 2 - Bitmap Backup (In failure modes, this is a recovery.)
0af2a09c
JS
409 job = backup(drive0, 2, bsync2, "bitmap",
410 bitmap="bitmap0", bitmap_mode=bsync_mode)
dfdc48d5 411 vm.run_job(job, auto_dismiss=True, auto_finalize=False)
5c4343b8
VSO
412 bitmaps = vm.query_bitmaps()
413 log({'bitmaps': bitmaps}, indent=2)
dfdc48d5 414 log('')
32afa5a1
JS
415 if bsync_mode != 'never':
416 ebitmap.clear()
5c4343b8 417 ebitmap.compare(vm.get_bitmap(drive0.node, 'bitmap0', bitmaps=bitmaps))
dfdc48d5
JS
418
419 log('--- Cleanup ---\n')
420 vm.qmp_log("block-dirty-bitmap-remove",
f1648454 421 node=drive0.node, name="bitmap0")
5c4343b8
VSO
422 bitmaps = vm.query_bitmaps()
423 log({'bitmaps': bitmaps}, indent=2)
dfdc48d5
JS
424 vm.shutdown()
425 log('')
426
427 log('--- Verification ---\n')
428 # 'simulated' failures will actually all pass here because we canceled
429 # while "pending". This is actually undefined behavior,
430 # don't rely on this to be true!
431 compare_images(bsync1, fbackup1, baseimg=fbackup0,
432 expected_match=failure != 'intermediate')
433 if not failure or bsync_mode == 'always':
434 # Always keep the last backup on success or when using 'always'
435 base = bsync1
436 else:
437 base = fbackup0
438 compare_images(bsync2, fbackup2, baseimg=base)
439 compare_images(img_path, fbackup2)
440 log('')
441
352092d3
JS
442def test_backup_api():
443 """
444 Test malformed and prohibited invocations of the backup API.
445 """
3192fad7 446 with iotests.FilePath('img', 'bsync1') as (img_path, backup_path), \
352092d3
JS
447 iotests.VM() as vm:
448
449 log("\n=== API failure tests ===\n")
450 log('--- Preparing image & VM ---\n')
451 drive0 = Drive(img_path, vm=vm)
452 drive0.img_create(iotests.imgfmt, SIZE)
22329f0d 453 vm.add_device("{},id=scsi0".format('virtio-scsi'))
352092d3
JS
454 vm.launch()
455
456 file_config = {
457 'driver': 'file',
458 'filename': drive0.path
459 }
460
f1648454 461 drive0.node = 'drive0'
352092d3
JS
462 vm.qmp_log('blockdev-add',
463 filters=[iotests.filter_qmp_testfiles],
f1648454 464 node_name=drive0.node,
352092d3
JS
465 driver=drive0.fmt,
466 file=file_config)
352092d3
JS
467 log('')
468
469 target0 = Drive(backup_path, vm=vm)
470 target0.create_target("backup_target", drive0.fmt, drive0.size)
471 log('')
472
f1648454 473 vm.qmp_log("block-dirty-bitmap-add", node=drive0.node,
352092d3
JS
474 name="bitmap0", granularity=GRANULARITY)
475 log('')
476
477 log('-- Testing invalid QMP commands --\n')
478
479 error_cases = {
480 'incremental': {
481 None: ['on-success', 'always', 'never', None],
482 'bitmap404': ['on-success', 'always', 'never', None],
483 'bitmap0': ['always', 'never']
484 },
485 'bitmap': {
486 None: ['on-success', 'always', 'never', None],
487 'bitmap404': ['on-success', 'always', 'never', None],
488 'bitmap0': [None],
489 },
bd5ceebf
JS
490 'full': {
491 None: ['on-success', 'always', 'never'],
492 'bitmap404': ['on-success', 'always', 'never', None],
493 'bitmap0': ['never', None],
494 },
495 'top': {
496 None: ['on-success', 'always', 'never'],
497 'bitmap404': ['on-success', 'always', 'never', None],
498 'bitmap0': ['never', None],
499 },
500 'none': {
501 None: ['on-success', 'always', 'never'],
502 'bitmap404': ['on-success', 'always', 'never', None],
503 'bitmap0': ['on-success', 'always', 'never', None],
504 }
352092d3
JS
505 }
506
507 # Dicts, as always, are not stably-ordered prior to 3.7, so use tuples:
bd5ceebf 508 for sync_mode in ('incremental', 'bitmap', 'full', 'top', 'none'):
352092d3
JS
509 log("-- Sync mode {:s} tests --\n".format(sync_mode))
510 for bitmap in (None, 'bitmap404', 'bitmap0'):
511 for policy in error_cases[sync_mode][bitmap]:
f1648454 512 blockdev_backup(drive0.vm, drive0.node, "backup_target",
352092d3
JS
513 sync_mode, job_id='api_job',
514 bitmap=bitmap, bitmap_mode=policy)
515 log('')
516
517
dfdc48d5
JS
518def main():
519 for bsync_mode in ("never", "on-success", "always"):
520 for failure in ("simulated", "intermediate", None):
0af2a09c 521 test_bitmap_sync(bsync_mode, "bitmap", failure)
dfdc48d5 522
bd5ceebf
JS
523 for sync_mode in ('full', 'top'):
524 for bsync_mode in ('on-success', 'always'):
525 for failure in ('simulated', 'intermediate', None):
526 test_bitmap_sync(bsync_mode, sync_mode, failure)
527
352092d3
JS
528 test_backup_api()
529
dfdc48d5 530if __name__ == '__main__':
103cbc77
HR
531 iotests.script_main(main, supported_fmts=['qcow2'],
532 supported_protocols=['file'])