diff options
Diffstat (limited to 'results/classifier/deepseek-r1:14b/output/manual-review/1279500')
| -rw-r--r-- | results/classifier/deepseek-r1:14b/output/manual-review/1279500 | 93 |
1 files changed, 93 insertions, 0 deletions
diff --git a/results/classifier/deepseek-r1:14b/output/manual-review/1279500 b/results/classifier/deepseek-r1:14b/output/manual-review/1279500 new file mode 100644 index 00000000..62736da7 --- /dev/null +++ b/results/classifier/deepseek-r1:14b/output/manual-review/1279500 @@ -0,0 +1,93 @@ + +system_powerdown causes SMP OpenBSD guest to freeze + +system_powerdown causes an SMP OpenBSD guest to freeze. I can reproduce it with the following systems/versions: + + - Debian 6: QEMU PC emulator version 0.12.5 (qemu-kvm-0.12.5) + - Fedora 20: + qemu-system-x86-1.6.1 (from Fedora repository) + qemu-1.7.0 (latest release version) + qemu-1.7.50 (latest development snapshot, "git cloned" today, 20140212) + +all of the above hosts are running x86_64 linux. + +The first OpenBSD version that I ran as a VM, v5.1, experienced the problem. All subsequent versions experience the problem. The above tests were performed using OpenBSD v5.4 (amd64). + +I will open an OpenBSD bug report for this problem as well, and update this report with the OpenBSD bug ID. + +There's an interesting RedHat bug report concerning this problem: + URL: https://bugzilla.redhat.com/show_bug.cgi?id=508801#c34 + +Here an excerpt: +-snip- +Gleb Natapov 2009-12-23 10:37:44 EST + +I posted patch to provide correct PCI irq routing info in mptable to kvm +mailing list. It works for all devices except for SCI interrupt. BIOS +programs SCI interrupt to be 9 as spec requires, but OpenBSD thinks that +it is smarter and moves it to interrupts 10. Qemu will still send it on +vector 9 and OpenBSD will enter the same infinity recursion. This can +be triggered by issuing system_powerdown on qemu monitor. +-snip- + +Michael Tokarev reported this problem on the kvm mailing list in 2011: + URL: http://www.spinics.net/lists/kvm/msg51311.html + +I compiled qemu as follows: +-snip- +cd qemu-src-dir +mkdir -p bin/native +cd bin/native +../../configure \ + --prefix=/usr/local/qemu-dev-snapshot-20140212 \ + --target-list=x86_64-softmmu \ + --enable-kvm \ + --enable-spice \ + --with-gtkabi="3.0" \ + --audio-drv-list=pa,sdl,alsa,oss \ + --extra-cflags='-I/usr/include/SDL' +-snip- + +I'm running OpenBSD with the following command: +-snip- +#!/bin/bash + +DEF=/usr/bin/qemu-system-x86_64 +QEMU_LATEST=/usr/local/qemu-1.7.0/bin/qemu-system-x86_64 +QEMU_DEV=/usr/local/qemu-dev-snapshot-20140212/bin/qemu-system-x86_64 + +$QEMU_DEV \ + -machine accel=kvm \ + -name obsdtest-v54 \ + -S \ + -machine pc-i440fx-1.6,accel=kvm,usb=off \ + -boot c \ + -m 2048 \ + -realtime mlock=off \ + -smp 2,sockets=2,cores=1,threads=1 \ + -uuid 8b685793-2510-473e-b97e-822a4cf2fbca \ + -no-user-config \ + -monitor stdio \ + -rtc base=utc,driftfix=slew \ + -global kvm-pit.lost_tick_policy=discard \ + -no-hpet \ + -drive file=/guest_images/obsdtest_v54.raw,if=none,id=drive-virtio-disk0,format=raw,cache=none \ + -device virtio-blk-pci,scsi=off,bus=pci.0,addr=0x4,drive=drive-virtio-disk0,id=virtio-disk0,bootindex=1 \ + -drive if=none,id=drive-ide0-0-0,readonly=on,format=raw \ + -device ide-cd,bus=ide.0,unit=0,drive=drive-ide0-0-0,id=ide0-0-0 \ + -chardev pty,id=charserial0 \ + -device isa-serial,chardev=charserial0,id=serial0 \ + -k en-us \ + -device cirrus-vga,id=video0,bus=pci.0,addr=0x3 \ + -device virtio-balloon-pci,id=balloon0,bus=pci.0,addr=0x5 \ + -net nic \ + -net user +-snip- + +The OpenBSD disk image I used for testing is 143MB compressed, 10G uncompressed. It can be found here: + + http://www.spielwiese.de/OpenBSD/obsd54.raw.7z + +The root password is "x". + +Rob Urban
\ No newline at end of file |