1#!/usr/bin/env python3 2# 3# Test cases for the QMP 'x-blockdev-reopen' command 4# 5# Copyright (C) 2018-2019 Igalia, S.L. 6# Author: Alberto Garcia <berto@igalia.com> 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 22import os 23import re 24import iotests 25import copy 26import json 27from iotests import qemu_img, qemu_io 28 29hd_path = [ 30 os.path.join(iotests.test_dir, 'hd0.img'), 31 os.path.join(iotests.test_dir, 'hd1.img'), 32 os.path.join(iotests.test_dir, 'hd2.img') 33] 34 35def hd_opts(idx): 36 return {'driver': iotests.imgfmt, 37 'node-name': 'hd%d' % idx, 38 'file': {'driver': 'file', 39 'node-name': 'hd%d-file' % idx, 40 'filename': hd_path[idx] } } 41 42class TestBlockdevReopen(iotests.QMPTestCase): 43 total_io_cmds = 0 44 45 def setUp(self): 46 qemu_img('create', '-f', iotests.imgfmt, hd_path[0], '3M') 47 qemu_img('create', '-f', iotests.imgfmt, '-b', hd_path[0], hd_path[1]) 48 qemu_img('create', '-f', iotests.imgfmt, hd_path[2], '3M') 49 qemu_io('-f', iotests.imgfmt, '-c', 'write -P 0xa0 0 1M', hd_path[0]) 50 qemu_io('-f', iotests.imgfmt, '-c', 'write -P 0xa1 1M 1M', hd_path[1]) 51 qemu_io('-f', iotests.imgfmt, '-c', 'write -P 0xa2 2M 1M', hd_path[2]) 52 self.vm = iotests.VM() 53 self.vm.launch() 54 55 def tearDown(self): 56 self.vm.shutdown() 57 self.check_qemu_io_errors() 58 os.remove(hd_path[0]) 59 os.remove(hd_path[1]) 60 os.remove(hd_path[2]) 61 62 # The output of qemu-io is not returned by vm.hmp_qemu_io() but 63 # it's stored in the log and can only be read when the VM has been 64 # shut down. This function runs qemu-io and keeps track of the 65 # number of times it's been called. 66 def run_qemu_io(self, img, cmd): 67 result = self.vm.hmp_qemu_io(img, cmd) 68 self.assert_qmp(result, 'return', '') 69 self.total_io_cmds += 1 70 71 # Once the VM is shut down we can parse the log and see if qemu-io 72 # ran without errors. 73 def check_qemu_io_errors(self): 74 self.assertFalse(self.vm.is_running()) 75 found = 0 76 log = self.vm.get_log() 77 for line in log.split("\n"): 78 if line.startswith("Pattern verification failed"): 79 raise Exception("%s (command #%d)" % (line, found)) 80 if re.match("read .*/.* bytes at offset", line): 81 found += 1 82 self.assertEqual(found, self.total_io_cmds, 83 "Expected output of %d qemu-io commands, found %d" % 84 (found, self.total_io_cmds)) 85 86 # Run x-blockdev-reopen with 'opts' but applying 'newopts' 87 # on top of it. The original 'opts' dict is unmodified 88 def reopen(self, opts, newopts = {}, errmsg = None): 89 opts = copy.deepcopy(opts) 90 91 # Apply the changes from 'newopts' on top of 'opts' 92 for key in newopts: 93 value = newopts[key] 94 # If key has the form "foo.bar" then we need to do 95 # opts["foo"]["bar"] = value, not opts["foo.bar"] = value 96 subdict = opts 97 while key.find('.') != -1: 98 [prefix, key] = key.split('.', 1) 99 subdict = opts[prefix] 100 subdict[key] = value 101 102 result = self.vm.qmp('x-blockdev-reopen', conv_keys = False, **opts) 103 if errmsg: 104 self.assert_qmp(result, 'error/class', 'GenericError') 105 self.assert_qmp(result, 'error/desc', errmsg) 106 else: 107 self.assert_qmp(result, 'return', {}) 108 109 110 # Run query-named-block-nodes and return the specified entry 111 def get_node(self, node_name): 112 result = self.vm.qmp('query-named-block-nodes') 113 for node in result['return']: 114 if node['node-name'] == node_name: 115 return node 116 return None 117 118 # Run 'query-named-block-nodes' and compare its output with the 119 # value passed by the user in 'graph' 120 def check_node_graph(self, graph): 121 result = self.vm.qmp('query-named-block-nodes') 122 self.assertEqual(json.dumps(graph, sort_keys=True), 123 json.dumps(result, sort_keys=True)) 124 125 # This test opens one single disk image (without backing files) 126 # and tries to reopen it with illegal / incorrect parameters. 127 def test_incorrect_parameters_single_file(self): 128 # Open 'hd0' only (no backing files) 129 opts = hd_opts(0) 130 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 131 self.assert_qmp(result, 'return', {}) 132 original_graph = self.vm.qmp('query-named-block-nodes') 133 134 # We can reopen the image passing the same options 135 self.reopen(opts) 136 137 # We can also reopen passing a child reference in 'file' 138 self.reopen(opts, {'file': 'hd0-file'}) 139 140 # We cannot change any of these 141 self.reopen(opts, {'node-name': 'not-found'}, "Cannot find node named 'not-found'") 142 self.reopen(opts, {'node-name': ''}, "Cannot find node named ''") 143 self.reopen(opts, {'node-name': None}, "Invalid parameter type for 'node-name', expected: string") 144 self.reopen(opts, {'driver': 'raw'}, "Cannot change the option 'driver'") 145 self.reopen(opts, {'driver': ''}, "Invalid parameter ''") 146 self.reopen(opts, {'driver': None}, "Invalid parameter type for 'driver', expected: string") 147 self.reopen(opts, {'file': 'not-found'}, "Cannot change the option 'file'") 148 self.reopen(opts, {'file': ''}, "Cannot change the option 'file'") 149 self.reopen(opts, {'file': None}, "Invalid parameter type for 'file', expected: BlockdevRef") 150 self.reopen(opts, {'file.node-name': 'newname'}, "Cannot change the option 'node-name'") 151 self.reopen(opts, {'file.driver': 'host_device'}, "Cannot change the option 'driver'") 152 self.reopen(opts, {'file.filename': hd_path[1]}, "Cannot change the option 'filename'") 153 self.reopen(opts, {'file.aio': 'native'}, "Cannot change the option 'aio'") 154 self.reopen(opts, {'file.locking': 'off'}, "Cannot change the option 'locking'") 155 self.reopen(opts, {'file.filename': None}, "Invalid parameter type for 'file.filename', expected: string") 156 157 # node-name is optional in BlockdevOptions, but x-blockdev-reopen needs it 158 del opts['node-name'] 159 self.reopen(opts, {}, "Node name not specified") 160 161 # Check that nothing has changed 162 self.check_node_graph(original_graph) 163 164 # Remove the node 165 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 166 self.assert_qmp(result, 'return', {}) 167 168 # This test opens an image with a backing file and tries to reopen 169 # it with illegal / incorrect parameters. 170 def test_incorrect_parameters_backing_file(self): 171 # Open hd1 omitting the backing options (hd0 will be opened 172 # with the default options) 173 opts = hd_opts(1) 174 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 175 self.assert_qmp(result, 'return', {}) 176 original_graph = self.vm.qmp('query-named-block-nodes') 177 178 # We can't reopen the image passing the same options, 'backing' is mandatory 179 self.reopen(opts, {}, "backing is missing for 'hd1'") 180 181 # Everything works if we pass 'backing' using the existing node name 182 for node in original_graph['return']: 183 if node['drv'] == iotests.imgfmt and node['file'] == hd_path[0]: 184 backing_node_name = node['node-name'] 185 self.reopen(opts, {'backing': backing_node_name}) 186 187 # We can't use a non-existing or empty (non-NULL) node as the backing image 188 self.reopen(opts, {'backing': 'not-found'}, "Cannot find device= nor node_name=not-found") 189 self.reopen(opts, {'backing': ''}, "Cannot find device= nor node_name=") 190 191 # We can reopen the image just fine if we specify the backing options 192 opts['backing'] = {'driver': iotests.imgfmt, 193 'file': {'driver': 'file', 194 'filename': hd_path[0]}} 195 self.reopen(opts) 196 197 # We cannot change any of these options 198 self.reopen(opts, {'backing.node-name': 'newname'}, "Cannot change the option 'node-name'") 199 self.reopen(opts, {'backing.driver': 'raw'}, "Cannot change the option 'driver'") 200 self.reopen(opts, {'backing.file.node-name': 'newname'}, "Cannot change the option 'node-name'") 201 self.reopen(opts, {'backing.file.driver': 'host_device'}, "Cannot change the option 'driver'") 202 203 # Check that nothing has changed since the beginning 204 self.check_node_graph(original_graph) 205 206 # Remove the node 207 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd1') 208 self.assert_qmp(result, 'return', {}) 209 210 # Reopen an image several times changing some of its options 211 def test_reopen(self): 212 # Check whether the filesystem supports O_DIRECT 213 if 'O_DIRECT' in qemu_io('-f', 'raw', '-t', 'none', '-c', 'quit', hd_path[0]): 214 supports_direct = False 215 else: 216 supports_direct = True 217 218 # Open the hd1 image passing all backing options 219 opts = hd_opts(1) 220 opts['backing'] = hd_opts(0) 221 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 222 self.assert_qmp(result, 'return', {}) 223 original_graph = self.vm.qmp('query-named-block-nodes') 224 225 # We can reopen the image passing the same options 226 self.reopen(opts) 227 228 # Reopen in read-only mode 229 self.assert_qmp(self.get_node('hd1'), 'ro', False) 230 231 self.reopen(opts, {'read-only': True}) 232 self.assert_qmp(self.get_node('hd1'), 'ro', True) 233 self.reopen(opts) 234 self.assert_qmp(self.get_node('hd1'), 'ro', False) 235 236 # Change the cache options 237 self.assert_qmp(self.get_node('hd1'), 'cache/writeback', True) 238 self.assert_qmp(self.get_node('hd1'), 'cache/direct', False) 239 self.assert_qmp(self.get_node('hd1'), 'cache/no-flush', False) 240 self.reopen(opts, {'cache': { 'direct': supports_direct, 'no-flush': True }}) 241 self.assert_qmp(self.get_node('hd1'), 'cache/writeback', True) 242 self.assert_qmp(self.get_node('hd1'), 'cache/direct', supports_direct) 243 self.assert_qmp(self.get_node('hd1'), 'cache/no-flush', True) 244 245 # Reopen again with the original options 246 self.reopen(opts) 247 self.assert_qmp(self.get_node('hd1'), 'cache/writeback', True) 248 self.assert_qmp(self.get_node('hd1'), 'cache/direct', False) 249 self.assert_qmp(self.get_node('hd1'), 'cache/no-flush', False) 250 251 # Change 'detect-zeroes' and 'discard' 252 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'off') 253 self.reopen(opts, {'detect-zeroes': 'on'}) 254 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'on') 255 self.reopen(opts, {'detect-zeroes': 'unmap'}, 256 "setting detect-zeroes to unmap is not allowed " + 257 "without setting discard operation to unmap") 258 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'on') 259 self.reopen(opts, {'detect-zeroes': 'unmap', 'discard': 'unmap'}) 260 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'unmap') 261 self.reopen(opts) 262 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'off') 263 264 # Changing 'force-share' is currently not supported 265 self.reopen(opts, {'force-share': True}, "Cannot change the option 'force-share'") 266 267 # Change some qcow2-specific options 268 # No way to test for success other than checking the return message 269 if iotests.imgfmt == 'qcow2': 270 self.reopen(opts, {'l2-cache-entry-size': 128 * 1024}, 271 "L2 cache entry size must be a power of two "+ 272 "between 512 and the cluster size (65536)") 273 self.reopen(opts, {'l2-cache-size': 1024 * 1024, 274 'cache-size': 512 * 1024}, 275 "l2-cache-size may not exceed cache-size") 276 self.reopen(opts, {'l2-cache-size': 4 * 1024 * 1024, 277 'refcount-cache-size': 4 * 1024 * 1024, 278 'l2-cache-entry-size': 32 * 1024}) 279 self.reopen(opts, {'pass-discard-request': True}) 280 281 # Check that nothing has changed since the beginning 282 # (from the parameters that we can check) 283 self.check_node_graph(original_graph) 284 285 # Check that the node names (other than the top-level one) are optional 286 del opts['file']['node-name'] 287 del opts['backing']['node-name'] 288 del opts['backing']['file']['node-name'] 289 self.reopen(opts) 290 self.check_node_graph(original_graph) 291 292 # Reopen setting backing = null, this removes the backing image from the chain 293 self.reopen(opts, {'backing': None}) 294 self.assert_qmp_absent(self.get_node('hd1'), 'image/backing-image') 295 296 # Open the 'hd0' image 297 result = self.vm.qmp('blockdev-add', conv_keys = False, **hd_opts(0)) 298 self.assert_qmp(result, 'return', {}) 299 300 # Reopen the hd1 image setting 'hd0' as its backing image 301 self.reopen(opts, {'backing': 'hd0'}) 302 self.assert_qmp(self.get_node('hd1'), 'image/backing-image/filename', hd_path[0]) 303 304 # Check that nothing has changed since the beginning 305 self.reopen(hd_opts(0), {'read-only': True}) 306 self.check_node_graph(original_graph) 307 308 # The backing file (hd0) is now a reference, we cannot change backing.* anymore 309 self.reopen(opts, {}, "Cannot change the option 'backing.driver'") 310 311 # We can't remove 'hd0' while it's a backing image of 'hd1' 312 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 313 self.assert_qmp(result, 'error/class', 'GenericError') 314 self.assert_qmp(result, 'error/desc', "Node 'hd0' is busy: node is used as backing hd of 'hd1'") 315 316 # But we can remove both nodes if done in the proper order 317 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd1') 318 self.assert_qmp(result, 'return', {}) 319 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 320 self.assert_qmp(result, 'return', {}) 321 322 # Reopen a raw image and see the effect of changing the 'offset' option 323 def test_reopen_raw(self): 324 opts = {'driver': 'raw', 'node-name': 'hd0', 325 'file': { 'driver': 'file', 326 'filename': hd_path[0], 327 'node-name': 'hd0-file' } } 328 329 # First we create a 2MB raw file, and fill each half with a 330 # different value 331 qemu_img('create', '-f', 'raw', hd_path[0], '2M') 332 qemu_io('-f', 'raw', '-c', 'write -P 0xa0 0 1M', hd_path[0]) 333 qemu_io('-f', 'raw', '-c', 'write -P 0xa1 1M 1M', hd_path[0]) 334 335 # Open the raw file with QEMU 336 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 337 self.assert_qmp(result, 'return', {}) 338 339 # Read 1MB from offset 0 340 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 341 342 # Reopen the image with a 1MB offset. 343 # Now the results are different 344 self.reopen(opts, {'offset': 1024*1024}) 345 self.run_qemu_io("hd0", "read -P 0xa1 0 1M") 346 347 # Reopen again with the original options. 348 # We get the original results again 349 self.reopen(opts) 350 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 351 352 # Remove the block device 353 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 354 self.assert_qmp(result, 'return', {}) 355 356 # Omitting an option should reset it to the default value, but if 357 # an option cannot be changed it shouldn't be possible to reset it 358 # to its default value either 359 def test_reset_default_values(self): 360 opts = {'driver': 'qcow2', 'node-name': 'hd0', 361 'file': { 'driver': 'file', 362 'filename': hd_path[0], 363 'x-check-cache-dropped': True, # This one can be changed 364 'locking': 'off', # This one can NOT be changed 365 'node-name': 'hd0-file' } } 366 367 # Open the file with QEMU 368 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 369 self.assert_qmp(result, 'return', {}) 370 371 # file.x-check-cache-dropped can be changed... 372 self.reopen(opts, { 'file.x-check-cache-dropped': False }) 373 # ...and dropped completely (resetting to the default value) 374 del opts['file']['x-check-cache-dropped'] 375 self.reopen(opts) 376 377 # file.locking cannot be changed nor reset to the default value 378 self.reopen(opts, { 'file.locking': 'on' }, "Cannot change the option 'locking'") 379 del opts['file']['locking'] 380 self.reopen(opts, {}, "Option 'locking' cannot be reset to its default value") 381 # But we can reopen it if we maintain its previous value 382 self.reopen(opts, { 'file.locking': 'off' }) 383 384 # Remove the block device 385 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 386 self.assert_qmp(result, 'return', {}) 387 388 # This test modifies the node graph a few times by changing the 389 # 'backing' option on reopen and verifies that the guest data that 390 # is read afterwards is consistent with the graph changes. 391 def test_io_with_graph_changes(self): 392 opts = [] 393 394 # Open hd0, hd1 and hd2 without any backing image 395 for i in range(3): 396 opts.append(hd_opts(i)) 397 opts[i]['backing'] = None 398 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts[i]) 399 self.assert_qmp(result, 'return', {}) 400 401 # hd0 402 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 403 self.run_qemu_io("hd0", "read -P 0 1M 1M") 404 self.run_qemu_io("hd0", "read -P 0 2M 1M") 405 406 # hd1 <- hd0 407 self.reopen(opts[0], {'backing': 'hd1'}) 408 409 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 410 self.run_qemu_io("hd0", "read -P 0xa1 1M 1M") 411 self.run_qemu_io("hd0", "read -P 0 2M 1M") 412 413 # hd1 <- hd0 , hd1 <- hd2 414 self.reopen(opts[2], {'backing': 'hd1'}) 415 416 self.run_qemu_io("hd2", "read -P 0 0 1M") 417 self.run_qemu_io("hd2", "read -P 0xa1 1M 1M") 418 self.run_qemu_io("hd2", "read -P 0xa2 2M 1M") 419 420 # hd1 <- hd2 <- hd0 421 self.reopen(opts[0], {'backing': 'hd2'}) 422 423 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 424 self.run_qemu_io("hd0", "read -P 0xa1 1M 1M") 425 self.run_qemu_io("hd0", "read -P 0xa2 2M 1M") 426 427 # hd2 <- hd0 428 self.reopen(opts[2], {'backing': None}) 429 430 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 431 self.run_qemu_io("hd0", "read -P 0 1M 1M") 432 self.run_qemu_io("hd0", "read -P 0xa2 2M 1M") 433 434 # hd2 <- hd1 <- hd0 435 self.reopen(opts[1], {'backing': 'hd2'}) 436 self.reopen(opts[0], {'backing': 'hd1'}) 437 438 self.run_qemu_io("hd0", "read -P 0xa0 0 1M") 439 self.run_qemu_io("hd0", "read -P 0xa1 1M 1M") 440 self.run_qemu_io("hd0", "read -P 0xa2 2M 1M") 441 442 # Illegal operation: hd2 is a child of hd1 443 self.reopen(opts[2], {'backing': 'hd1'}, 444 "Making 'hd1' a backing file of 'hd2' would create a cycle") 445 446 # hd2 <- hd0, hd2 <- hd1 447 self.reopen(opts[0], {'backing': 'hd2'}) 448 449 self.run_qemu_io("hd1", "read -P 0 0 1M") 450 self.run_qemu_io("hd1", "read -P 0xa1 1M 1M") 451 self.run_qemu_io("hd1", "read -P 0xa2 2M 1M") 452 453 # More illegal operations 454 self.reopen(opts[2], {'backing': 'hd1'}, 455 "Making 'hd1' a backing file of 'hd2' would create a cycle") 456 self.reopen(opts[2], {'file': 'hd0-file'}, "Cannot change the option 'file'") 457 458 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd2') 459 self.assert_qmp(result, 'error/class', 'GenericError') 460 self.assert_qmp(result, 'error/desc', "Node 'hd2' is busy: node is used as backing hd of 'hd0'") 461 462 # hd1 doesn't have a backing file now 463 self.reopen(opts[1], {'backing': None}) 464 465 self.run_qemu_io("hd1", "read -P 0 0 1M") 466 self.run_qemu_io("hd1", "read -P 0xa1 1M 1M") 467 self.run_qemu_io("hd1", "read -P 0 2M 1M") 468 469 # We can't remove the 'backing' option if the image has a 470 # default backing file 471 del opts[1]['backing'] 472 self.reopen(opts[1], {}, "backing is missing for 'hd1'") 473 474 self.run_qemu_io("hd1", "read -P 0 0 1M") 475 self.run_qemu_io("hd1", "read -P 0xa1 1M 1M") 476 self.run_qemu_io("hd1", "read -P 0 2M 1M") 477 478 # This test verifies that we can't change the children of a block 479 # device during a reopen operation in a way that would create 480 # cycles in the node graph 481 @iotests.skip_if_unsupported(['blkverify']) 482 def test_graph_cycles(self): 483 opts = [] 484 485 # Open all three images without backing file 486 for i in range(3): 487 opts.append(hd_opts(i)) 488 opts[i]['backing'] = None 489 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts[i]) 490 self.assert_qmp(result, 'return', {}) 491 492 # hd1 <- hd0, hd1 <- hd2 493 self.reopen(opts[0], {'backing': 'hd1'}) 494 self.reopen(opts[2], {'backing': 'hd1'}) 495 496 # Illegal: hd2 is backed by hd1 497 self.reopen(opts[1], {'backing': 'hd2'}, 498 "Making 'hd2' a backing file of 'hd1' would create a cycle") 499 500 # hd1 <- hd0 <- hd2 501 self.reopen(opts[2], {'backing': 'hd0'}) 502 503 # Illegal: hd2 is backed by hd0, which is backed by hd1 504 self.reopen(opts[1], {'backing': 'hd2'}, 505 "Making 'hd2' a backing file of 'hd1' would create a cycle") 506 507 # Illegal: hd1 cannot point to itself 508 self.reopen(opts[1], {'backing': 'hd1'}, 509 "Making 'hd1' a backing file of 'hd1' would create a cycle") 510 511 # Remove all backing files 512 self.reopen(opts[0]) 513 self.reopen(opts[2]) 514 515 ########################################## 516 # Add a blkverify node using hd0 and hd1 # 517 ########################################## 518 bvopts = {'driver': 'blkverify', 519 'node-name': 'bv', 520 'test': 'hd0', 521 'raw': 'hd1'} 522 result = self.vm.qmp('blockdev-add', conv_keys = False, **bvopts) 523 self.assert_qmp(result, 'return', {}) 524 525 # blkverify doesn't currently allow reopening. TODO: implement this 526 self.reopen(bvopts, {}, "Block format 'blkverify' used by node 'bv'" + 527 " does not support reopening files") 528 529 # Illegal: hd0 is a child of the blkverify node 530 self.reopen(opts[0], {'backing': 'bv'}, 531 "Making 'bv' a backing file of 'hd0' would create a cycle") 532 533 # Delete the blkverify node 534 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'bv') 535 self.assert_qmp(result, 'return', {}) 536 537 # Misc reopen tests with different block drivers 538 @iotests.skip_if_unsupported(['quorum', 'throttle']) 539 def test_misc_drivers(self): 540 #################### 541 ###### quorum ###### 542 #################### 543 for i in range(3): 544 opts = hd_opts(i) 545 # Open all three images without backing file 546 opts['backing'] = None 547 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 548 self.assert_qmp(result, 'return', {}) 549 550 opts = {'driver': 'quorum', 551 'node-name': 'quorum0', 552 'children': ['hd0', 'hd1', 'hd2'], 553 'vote-threshold': 2} 554 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 555 self.assert_qmp(result, 'return', {}) 556 557 # Quorum doesn't currently allow reopening. TODO: implement this 558 self.reopen(opts, {}, "Block format 'quorum' used by node 'quorum0'" + 559 " does not support reopening files") 560 561 # You can't make quorum0 a backing file of hd0: 562 # hd0 is already a child of quorum0. 563 self.reopen(hd_opts(0), {'backing': 'quorum0'}, 564 "Making 'quorum0' a backing file of 'hd0' would create a cycle") 565 566 # Delete quorum0 567 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'quorum0') 568 self.assert_qmp(result, 'return', {}) 569 570 # Delete hd0, hd1 and hd2 571 for i in range(3): 572 result = self.vm.qmp('blockdev-del', conv_keys = True, 573 node_name = 'hd%d' % i) 574 self.assert_qmp(result, 'return', {}) 575 576 ###################### 577 ###### blkdebug ###### 578 ###################### 579 opts = {'driver': 'blkdebug', 580 'node-name': 'bd', 581 'config': '/dev/null', 582 'image': hd_opts(0)} 583 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 584 self.assert_qmp(result, 'return', {}) 585 586 # blkdebug allows reopening if we keep the same options 587 self.reopen(opts) 588 589 # but it currently does not allow changes 590 self.reopen(opts, {'image': 'hd1'}, "Cannot change the option 'image'") 591 self.reopen(opts, {'align': 33554432}, "Cannot change the option 'align'") 592 self.reopen(opts, {'config': '/non/existent'}, "Cannot change the option 'config'") 593 del opts['config'] 594 self.reopen(opts, {}, "Option 'config' cannot be reset to its default value") 595 596 # Delete the blkdebug node 597 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'bd') 598 self.assert_qmp(result, 'return', {}) 599 600 ################## 601 ###### null ###### 602 ################## 603 opts = {'driver': 'null-co', 'node-name': 'root', 'size': 1024} 604 605 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 606 self.assert_qmp(result, 'return', {}) 607 608 # 1 << 30 is the default value, but we cannot change it explicitly 609 self.reopen(opts, {'size': (1 << 30)}, "Cannot change the option 'size'") 610 611 # We cannot change 'size' back to its default value either 612 del opts['size'] 613 self.reopen(opts, {}, "Option 'size' cannot be reset to its default value") 614 615 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'root') 616 self.assert_qmp(result, 'return', {}) 617 618 ################## 619 ###### file ###### 620 ################## 621 opts = hd_opts(0) 622 opts['file']['locking'] = 'on' 623 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 624 self.assert_qmp(result, 'return', {}) 625 626 # 'locking' cannot be changed 627 del opts['file']['locking'] 628 self.reopen(opts, {'file.locking': 'on'}) 629 self.reopen(opts, {'file.locking': 'off'}, "Cannot change the option 'locking'") 630 self.reopen(opts, {}, "Option 'locking' cannot be reset to its default value") 631 632 # Trying to reopen the 'file' node directly does not make a difference 633 opts = opts['file'] 634 self.reopen(opts, {'locking': 'on'}) 635 self.reopen(opts, {'locking': 'off'}, "Cannot change the option 'locking'") 636 self.reopen(opts, {}, "Option 'locking' cannot be reset to its default value") 637 638 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 639 self.assert_qmp(result, 'return', {}) 640 641 ###################### 642 ###### throttle ###### 643 ###################### 644 opts = { 'qom-type': 'throttle-group', 'id': 'group0', 645 'props': { 'limits': { 'iops-total': 1000 } } } 646 result = self.vm.qmp('object-add', conv_keys = False, **opts) 647 self.assert_qmp(result, 'return', {}) 648 649 opts = { 'qom-type': 'throttle-group', 'id': 'group1', 650 'props': { 'limits': { 'iops-total': 2000 } } } 651 result = self.vm.qmp('object-add', conv_keys = False, **opts) 652 self.assert_qmp(result, 'return', {}) 653 654 # Add a throttle filter with group = group0 655 opts = { 'driver': 'throttle', 'node-name': 'throttle0', 656 'throttle-group': 'group0', 'file': hd_opts(0) } 657 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 658 self.assert_qmp(result, 'return', {}) 659 660 # We can reopen it if we keep the same options 661 self.reopen(opts) 662 663 # We can also reopen if 'file' is a reference to the child 664 self.reopen(opts, {'file': 'hd0'}) 665 666 # This is illegal 667 self.reopen(opts, {'throttle-group': 'notfound'}, "Throttle group 'notfound' does not exist") 668 669 # But it's possible to change the group to group1 670 self.reopen(opts, {'throttle-group': 'group1'}) 671 672 # Now group1 is in use, it cannot be deleted 673 result = self.vm.qmp('object-del', id = 'group1') 674 self.assert_qmp(result, 'error/class', 'GenericError') 675 self.assert_qmp(result, 'error/desc', "object 'group1' is in use, can not be deleted") 676 677 # Default options, this switches the group back to group0 678 self.reopen(opts) 679 680 # So now we cannot delete group0 681 result = self.vm.qmp('object-del', id = 'group0') 682 self.assert_qmp(result, 'error/class', 'GenericError') 683 self.assert_qmp(result, 'error/desc', "object 'group0' is in use, can not be deleted") 684 685 # But group1 is free this time, and it can be deleted 686 result = self.vm.qmp('object-del', id = 'group1') 687 self.assert_qmp(result, 'return', {}) 688 689 # Let's delete the filter node 690 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'throttle0') 691 self.assert_qmp(result, 'return', {}) 692 693 # And we can finally get rid of group0 694 result = self.vm.qmp('object-del', id = 'group0') 695 self.assert_qmp(result, 'return', {}) 696 697 # If an image has a backing file then the 'backing' option must be 698 # passed on reopen. We don't allow leaving the option out in this 699 # case because it's unclear what the correct semantics would be. 700 def test_missing_backing_options_1(self): 701 # hd2 702 opts = hd_opts(2) 703 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 704 self.assert_qmp(result, 'return', {}) 705 706 # hd0 707 opts = hd_opts(0) 708 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 709 self.assert_qmp(result, 'return', {}) 710 711 # hd0 has no backing file: we can omit the 'backing' option 712 self.reopen(opts) 713 714 # hd2 <- hd0 715 self.reopen(opts, {'backing': 'hd2'}) 716 717 # hd0 has a backing file: we must set the 'backing' option 718 self.reopen(opts, {}, "backing is missing for 'hd0'") 719 720 # hd2 can't be removed because it's the backing file of hd0 721 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd2') 722 self.assert_qmp(result, 'error/class', 'GenericError') 723 self.assert_qmp(result, 'error/desc', "Node 'hd2' is busy: node is used as backing hd of 'hd0'") 724 725 # Detach hd2 from hd0. 726 self.reopen(opts, {'backing': None}) 727 self.reopen(opts, {}, "backing is missing for 'hd0'") 728 729 # Remove both hd0 and hd2 730 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 731 self.assert_qmp(result, 'return', {}) 732 733 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd2') 734 self.assert_qmp(result, 'return', {}) 735 736 # If an image has default backing file (as part of its metadata) 737 # then the 'backing' option must be passed on reopen. We don't 738 # allow leaving the option out in this case because it's unclear 739 # what the correct semantics would be. 740 def test_missing_backing_options_2(self): 741 # hd0 <- hd1 742 # (hd0 is hd1's default backing file) 743 opts = hd_opts(1) 744 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 745 self.assert_qmp(result, 'return', {}) 746 747 # hd1 has a backing file: we can't omit the 'backing' option 748 self.reopen(opts, {}, "backing is missing for 'hd1'") 749 750 # Let's detach the backing file 751 self.reopen(opts, {'backing': None}) 752 753 # No backing file attached to hd1 now, but we still can't omit the 'backing' option 754 self.reopen(opts, {}, "backing is missing for 'hd1'") 755 756 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd1') 757 self.assert_qmp(result, 'return', {}) 758 759 # Test that making 'backing' a reference to an existing child 760 # keeps its current options 761 def test_backing_reference(self): 762 # hd2 <- hd1 <- hd0 763 opts = hd_opts(0) 764 opts['backing'] = hd_opts(1) 765 opts['backing']['backing'] = hd_opts(2) 766 # Enable 'detect-zeroes' on all three nodes 767 opts['detect-zeroes'] = 'on' 768 opts['backing']['detect-zeroes'] = 'on' 769 opts['backing']['backing']['detect-zeroes'] = 'on' 770 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 771 self.assert_qmp(result, 'return', {}) 772 773 # Reopen the chain passing the minimum amount of required options. 774 # By making 'backing' a reference to hd1 (instead of a sub-dict) 775 # we tell QEMU to keep its current set of options. 776 opts = {'driver': iotests.imgfmt, 777 'node-name': 'hd0', 778 'file': 'hd0-file', 779 'backing': 'hd1' } 780 self.reopen(opts) 781 782 # This has reset 'detect-zeroes' on hd0, but not on hd1 and hd2. 783 self.assert_qmp(self.get_node('hd0'), 'detect_zeroes', 'off') 784 self.assert_qmp(self.get_node('hd1'), 'detect_zeroes', 'on') 785 self.assert_qmp(self.get_node('hd2'), 'detect_zeroes', 'on') 786 787 # Test what happens if the graph changes due to other operations 788 # such as block-stream 789 def test_block_stream_1(self): 790 # hd1 <- hd0 791 opts = hd_opts(0) 792 opts['backing'] = hd_opts(1) 793 opts['backing']['backing'] = None 794 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 795 self.assert_qmp(result, 'return', {}) 796 797 # Stream hd1 into hd0 and wait until it's done 798 result = self.vm.qmp('block-stream', conv_keys = True, job_id = 'stream0', device = 'hd0') 799 self.assert_qmp(result, 'return', {}) 800 self.wait_until_completed(drive = 'stream0') 801 802 # Now we have only hd0 803 self.assertEqual(self.get_node('hd1'), None) 804 805 # We have backing.* options but there's no backing file anymore 806 self.reopen(opts, {}, "Cannot change the option 'backing.driver'") 807 808 # If we remove the 'backing' option then we can reopen hd0 just fine 809 del opts['backing'] 810 self.reopen(opts) 811 812 # We can also reopen hd0 if we set 'backing' to null 813 self.reopen(opts, {'backing': None}) 814 815 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 816 self.assert_qmp(result, 'return', {}) 817 818 # Another block_stream test 819 def test_block_stream_2(self): 820 # hd2 <- hd1 <- hd0 821 opts = hd_opts(0) 822 opts['backing'] = hd_opts(1) 823 opts['backing']['backing'] = hd_opts(2) 824 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 825 self.assert_qmp(result, 'return', {}) 826 827 # Stream hd1 into hd0 and wait until it's done 828 result = self.vm.qmp('block-stream', conv_keys = True, job_id = 'stream0', 829 device = 'hd0', base_node = 'hd2') 830 self.assert_qmp(result, 'return', {}) 831 self.wait_until_completed(drive = 'stream0') 832 833 # The chain is hd2 <- hd0 now. hd1 is missing 834 self.assertEqual(self.get_node('hd1'), None) 835 836 # The backing options in the dict were meant for hd1, but we cannot 837 # use them with hd2 because hd1 had a backing file while hd2 does not. 838 self.reopen(opts, {}, "Cannot change the option 'backing.driver'") 839 840 # If we remove hd1's options from the dict then things work fine 841 opts['backing'] = opts['backing']['backing'] 842 self.reopen(opts) 843 844 # We can also reopen hd0 if we use a reference to the backing file 845 self.reopen(opts, {'backing': 'hd2'}) 846 847 # But we cannot leave the option out 848 del opts['backing'] 849 self.reopen(opts, {}, "backing is missing for 'hd0'") 850 851 # Now we can delete hd0 (and hd2) 852 result = self.vm.qmp('blockdev-del', conv_keys = True, node_name = 'hd0') 853 self.assert_qmp(result, 'return', {}) 854 self.assertEqual(self.get_node('hd2'), None) 855 856 # Reopen the chain during a block-stream job (from hd1 to hd0) 857 def test_block_stream_3(self): 858 # hd2 <- hd1 <- hd0 859 opts = hd_opts(0) 860 opts['backing'] = hd_opts(1) 861 opts['backing']['backing'] = hd_opts(2) 862 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 863 self.assert_qmp(result, 'return', {}) 864 865 # hd2 <- hd0 866 result = self.vm.qmp('block-stream', conv_keys = True, job_id = 'stream0', 867 device = 'hd0', base_node = 'hd2', 868 auto_finalize = False) 869 self.assert_qmp(result, 'return', {}) 870 871 # We can remove hd2 while the stream job is ongoing 872 opts['backing']['backing'] = None 873 self.reopen(opts, {}) 874 875 # We can't remove hd1 while the stream job is ongoing 876 opts['backing'] = None 877 self.reopen(opts, {}, "Cannot change 'backing' link from 'hd0' to 'hd1'") 878 879 self.vm.run_job('stream0', auto_finalize = False, auto_dismiss = True) 880 881 # Reopen the chain during a block-stream job (from hd2 to hd1) 882 def test_block_stream_4(self): 883 # hd2 <- hd1 <- hd0 884 opts = hd_opts(0) 885 opts['backing'] = hd_opts(1) 886 opts['backing']['backing'] = hd_opts(2) 887 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 888 self.assert_qmp(result, 'return', {}) 889 890 # hd1 <- hd0 891 result = self.vm.qmp('block-stream', conv_keys = True, job_id = 'stream0', 892 device = 'hd1', auto_finalize = False) 893 self.assert_qmp(result, 'return', {}) 894 895 # We can't reopen with the original options because that would 896 # make hd1 read-only and block-stream requires it to be read-write 897 # (Which error message appears depends on whether the stream job is 898 # already done with copying at this point.) 899 self.reopen(opts, {}, 900 ["Can't set node 'hd1' to r/o with copy-on-read enabled", 901 "Cannot make block node read-only, there is a writer on it"]) 902 903 # We can't remove hd2 while the stream job is ongoing 904 opts['backing']['backing'] = None 905 self.reopen(opts, {'backing.read-only': False}, "Cannot change 'backing' link from 'hd1' to 'hd2'") 906 907 # We can detach hd1 from hd0 because it doesn't affect the stream job 908 opts['backing'] = None 909 self.reopen(opts) 910 911 self.vm.run_job('stream0', auto_finalize = False, auto_dismiss = True) 912 913 # Reopen the chain during a block-commit job (from hd0 to hd2) 914 def test_block_commit_1(self): 915 # hd2 <- hd1 <- hd0 916 opts = hd_opts(0) 917 opts['backing'] = hd_opts(1) 918 opts['backing']['backing'] = hd_opts(2) 919 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 920 self.assert_qmp(result, 'return', {}) 921 922 result = self.vm.qmp('block-commit', conv_keys = True, job_id = 'commit0', 923 device = 'hd0') 924 self.assert_qmp(result, 'return', {}) 925 926 # We can't remove hd2 while the commit job is ongoing 927 opts['backing']['backing'] = None 928 self.reopen(opts, {}, "Cannot change 'backing' link from 'hd1' to 'hd2'") 929 930 # We can't remove hd1 while the commit job is ongoing 931 opts['backing'] = None 932 self.reopen(opts, {}, "Cannot change 'backing' link from 'hd0' to 'hd1'") 933 934 event = self.vm.event_wait(name='BLOCK_JOB_READY') 935 self.assert_qmp(event, 'data/device', 'commit0') 936 self.assert_qmp(event, 'data/type', 'commit') 937 self.assert_qmp_absent(event, 'data/error') 938 939 result = self.vm.qmp('block-job-complete', device='commit0') 940 self.assert_qmp(result, 'return', {}) 941 942 self.wait_until_completed(drive = 'commit0') 943 944 # Reopen the chain during a block-commit job (from hd1 to hd2) 945 def test_block_commit_2(self): 946 # hd2 <- hd1 <- hd0 947 opts = hd_opts(0) 948 opts['backing'] = hd_opts(1) 949 opts['backing']['backing'] = hd_opts(2) 950 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 951 self.assert_qmp(result, 'return', {}) 952 953 result = self.vm.qmp('block-commit', conv_keys = True, job_id = 'commit0', 954 device = 'hd0', top_node = 'hd1', 955 auto_finalize = False) 956 self.assert_qmp(result, 'return', {}) 957 958 # We can't remove hd2 while the commit job is ongoing 959 opts['backing']['backing'] = None 960 self.reopen(opts, {}, "Cannot change the option 'backing.driver'") 961 962 # We can't remove hd1 while the commit job is ongoing 963 opts['backing'] = None 964 self.reopen(opts, {}, "Cannot change backing link if 'hd0' has an implicit backing file") 965 966 # hd2 <- hd0 967 self.vm.run_job('commit0', auto_finalize = False, auto_dismiss = True) 968 969 self.assert_qmp(self.get_node('hd0'), 'ro', False) 970 self.assertEqual(self.get_node('hd1'), None) 971 self.assert_qmp(self.get_node('hd2'), 'ro', True) 972 973 def run_test_iothreads(self, iothread_a, iothread_b, errmsg = None): 974 opts = hd_opts(0) 975 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts) 976 self.assert_qmp(result, 'return', {}) 977 978 opts2 = hd_opts(2) 979 result = self.vm.qmp('blockdev-add', conv_keys = False, **opts2) 980 self.assert_qmp(result, 'return', {}) 981 982 result = self.vm.qmp('object-add', qom_type='iothread', id='iothread0') 983 self.assert_qmp(result, 'return', {}) 984 985 result = self.vm.qmp('object-add', qom_type='iothread', id='iothread1') 986 self.assert_qmp(result, 'return', {}) 987 988 result = self.vm.qmp('device_add', driver='virtio-scsi', id='scsi0', 989 iothread=iothread_a) 990 self.assert_qmp(result, 'return', {}) 991 992 result = self.vm.qmp('device_add', driver='virtio-scsi', id='scsi1', 993 iothread=iothread_b) 994 self.assert_qmp(result, 'return', {}) 995 996 if iothread_a: 997 result = self.vm.qmp('device_add', driver='scsi-hd', drive='hd0', 998 share_rw=True, bus="scsi0.0") 999 self.assert_qmp(result, 'return', {}) 1000 1001 if iothread_b: 1002 result = self.vm.qmp('device_add', driver='scsi-hd', drive='hd2', 1003 share_rw=True, bus="scsi1.0") 1004 self.assert_qmp(result, 'return', {}) 1005 1006 # Attaching the backing file may or may not work 1007 self.reopen(opts, {'backing': 'hd2'}, errmsg) 1008 1009 # But removing the backing file should always work 1010 self.reopen(opts, {'backing': None}) 1011 1012 self.vm.shutdown() 1013 1014 # We don't allow setting a backing file that uses a different AioContext if 1015 # neither of them can switch to the other AioContext 1016 def test_iothreads_error(self): 1017 self.run_test_iothreads('iothread0', 'iothread1', 1018 "Cannot change iothread of active block backend") 1019 1020 def test_iothreads_compatible_users(self): 1021 self.run_test_iothreads('iothread0', 'iothread0') 1022 1023 def test_iothreads_switch_backing(self): 1024 self.run_test_iothreads('iothread0', None) 1025 1026 def test_iothreads_switch_overlay(self): 1027 self.run_test_iothreads(None, 'iothread0') 1028 1029if __name__ == '__main__': 1030 iotests.main(supported_fmts=["qcow2"], 1031 supported_protocols=["file"]) 1032