Add script to execute machine with Virgl enabled

Signed-off-by: Frediano Ziglio <fziglio@redhat.com>

1 files changed, 120 insertions, 0 deletions

diff --git a/spice-server/rawhide.sh b/spice-server/rawhide.sh
new file mode 100755
index 0000000..e847a31
--- /dev/null
+++ b/spice-server/rawhide.sh
@@ -0,0 +1,120 @@
+#!/bin/bash
+
+set -e
+
+# compile with normal used, just to make sure it's the last version
+su freddy -c 'make -j3'
+
+# replace system libraries
+/root/replace_spice_server
+
+# set debug commands
+{
+echo set breakpoint pending on
+for f in stream.c display-channel.c gstreamer-encoder.c; do
+	grep -n breakpoint server/$f | sed -E "s/(.*):.*/break $f:\\1/"
+done
+echo set breakpoint pending auto
+echo r
+} > .gdbinit
+
+# export LD_PRELOAD=/usr/lib64/libasan.so.3.0.0
+
+SPICE="gl=on,unix,addr=/run/user/1000/spice.sock,disable-ticketing,image-compression=off,seamless-migration=on,streaming-video=all"
+SPICE="gl=on,unix,addr=/run/user/1000/spice.sock,disable-ticketing,image-compression=lz,seamless-migration=on,streaming-video=filter"
+SPICE="gl=on,ipv4,addr=0.0.0.0,port=5900,disable-ticketing,image-compression=glz,seamless-migration=on,streaming-video=filter"
+VGA="virtio-vga,virgl=on,bus=pci.0,addr=0x2"
+rm -rf oprofile_data/
+# exec strace -s 200 -o trace -f /usr/bin/qemu-system-x86_64 \
+exec gdb --args /usr/bin/qemu-system-x86_64 \
+    "-machine" \
+    "accel=kvm" \
+    "-name" \
+    "rawhide" \
+    "-machine" \
+    "pc-i440fx-2.3,accel=kvm,usb=off" \
+    "-cpu" \
+    "Haswell-noTSX" \
+    "-m" \
+    "2048" \
+    "-realtime" \
+    "mlock=off" \
+    "-smp" \
+    "2,sockets=2,cores=1,threads=1" \
+    "-uuid" \
+    "64216421-aec4-4ce4-aa52-aed9e4e31a1c" \
+    "-no-user-config" \
+    "-nodefaults" \
+    "-chardev" \
+    "socket,id=charmonitor,path=/var/lib/libvirt/qemu/rawhide.monitor,server,nowait" \
+    "-mon" \
+    "chardev=charmonitor,id=monitor,mode=control" \
+    "-rtc" \
+    "base=utc,driftfix=slew" \
+    "-global" \
+    "kvm-pit.lost_tick_policy=discard" \
+    "-no-hpet" \
+    "-no-shutdown" \
+    "-global" \
+    "PIIX4_PM.disable_s3=1" \
+    "-global" \
+    "PIIX4_PM.disable_s4=1" \
+    "-boot" \
+    "strict=on" \
+    "-device" \
+    "ich9-usb-ehci1,id=usb,bus=pci.0,addr=0x6.0x7" \
+    "-device" \
+    "ich9-usb-uhci1,masterbus=usb.0,firstport=0,bus=pci.0,multifunction=on,addr=0x6" \
+    "-device" \
+    "ich9-usb-uhci2,masterbus=usb.0,firstport=2,bus=pci.0,addr=0x6.0x1" \
+    "-device" \
+    "ich9-usb-uhci3,masterbus=usb.0,firstport=4,bus=pci.0,addr=0x6.0x2" \
+    "-device" \
+    "virtio-serial-pci,id=virtio-serial0,bus=pci.0,addr=0x5" \
+    "-drive" \
+    "file=/home/rawhide.qcow2,if=none,id=drive-virtio-disk0,format=qcow2" \
+    "-device" \
+    "virtio-blk-pci,scsi=off,bus=pci.0,addr=0x7,drive=drive-virtio-disk0,id=virtio-disk0,bootindex=1" \
+    "-drive" \
+    "if=none,id=drive-ide0-0-0,readonly=on" \
+    "-device" \
+    "ide-cd,bus=ide.0,unit=0,drive=drive-ide0-0-0,id=ide0-0-0" \
+    "-netdev" \
+    "user,id=hostnet0" \
+    "-device" \
+    "virtio-net-pci,netdev=hostnet0,id=net0,mac=52:54:00:fc:11:43,bus=pci.0,addr=0x3" \
+    "-chardev" \
+    "pty,id=charserial0" \
+    "-device" \
+    "isa-serial,chardev=charserial0,id=serial0" \
+    "-chardev" \
+    "socket,id=charchannel0,path=/var/lib/libvirt/qemu/channel/target/rawhide.org.qemu.guest_agent.0,server,nowait" \
+    "-device" \
+    "virtserialport,bus=virtio-serial0.0,nr=1,chardev=charchannel0,id=channel0,name=org.qemu.guest_agent.0" \
+    "-chardev" \
+    "spicevmc,id=charchannel1,name=vdagent" \
+    "-device" \
+    "virtserialport,bus=virtio-serial0.0,nr=2,chardev=charchannel1,id=channel1,name=com.redhat.spice.0" \
+    "-device" \
+    "usb-tablet,id=input0" \
+    "-spice" \
+    "$SPICE" \
+    "-device" \
+    "$VGA" \
+    "-device" \
+    "intel-hda,id=sound0,bus=pci.0,addr=0x4" \
+    "-device" \
+    "hda-duplex,id=sound0-codec0,bus=sound0.0,cad=0" \
+    "-chardev" \
+    "spicevmc,id=charredir0,name=usbredir" \
+    "-device" \
+    "usb-redir,chardev=charredir0,id=redir0" \
+    "-chardev" \
+    "spicevmc,id=charredir1,name=usbredir" \
+    "-device" \
+    "usb-redir,chardev=charredir1,id=redir1" \
+    "-device" \
+    "virtio-balloon-pci,id=balloon0,bus=pci.0,addr=0x8" \
+    "-msg" \
+    "timestamp=on"
+