diff options
Diffstat (limited to 'results/classifier/118/none/802')
| -rw-r--r-- | results/classifier/118/none/802 | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/results/classifier/118/none/802 b/results/classifier/118/none/802 new file mode 100644 index 00000000..a86c1fc7 --- /dev/null +++ b/results/classifier/118/none/802 @@ -0,0 +1,56 @@ +x86: 0.698 +device: 0.598 +peripherals: 0.574 +graphic: 0.554 +debug: 0.518 +network: 0.482 +performance: 0.428 +semantic: 0.388 +architecture: 0.325 +i386: 0.312 +kernel: 0.293 +virtual: 0.244 +hypervisor: 0.200 +register: 0.158 +VMM: 0.154 +ppc: 0.153 +PID: 0.145 +user-level: 0.141 +boot: 0.130 +permissions: 0.124 +KVM: 0.119 +risc-v: 0.114 +mistranslation: 0.105 +socket: 0.085 +arm: 0.074 +TCG: 0.065 +vnc: 0.061 +files: 0.052 +assembly: 0.027 + +Devices created using '-device' JSON syntax don't emit DEVICE_DELETED when unplugged +Description of problem: +Run the following sequence: + +``` + $ ./qemu-system-x86_64 -qmp stdio \ + -device '{"driver": "virtio-mouse-pci", "id": "dev0"}' \ + -device virtio-mouse-pci,id=dev1 +{"QMP": {"version": {"qemu": {"micro": 50, "minor": 2, "major": 6}, "package": "v6.2.0-105-g7494244ffc-dirty"}, "capabilities": ["oob"]}} +{ "execute": "qmp_capabilities" } +{"return": {}} +{ "execute": "device_del", "arguments": { "id": "dev0"} } +{"return": {}} +{ "execute": "device_del", "arguments": { "id": "dev1"} } +{"return": {}} +{ "execute": "system_reset" } +{"return": {}} +{"timestamp": {"seconds": 1641385071, "microseconds": 120178}, "event": "RESET", "data": {"guest": false, "reason": "host-qmp-system-reset"}} +{"timestamp": {"seconds": 1641385071, "microseconds": 121431}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev1/virtio-backend"}} +{"timestamp": {"seconds": 1641385071, "microseconds": 121684}, "event": "DEVICE_DELETED", "data": {"device": "dev1", "path": "/machine/peripheral/dev1"}} +{"timestamp": {"seconds": 1641385071, "microseconds": 122297}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev0/virtio-backend"}} +{"timestamp": {"seconds": 1641385071, "microseconds": 198581}, "event": "RESET", "data": {"guest": true, "reason": "guest-reset"}} + + ``` + +Notice the lack of a "DEVICE_DELETED" event with path "/machine/peripheral/dev0" - the device created with JSON syntax |