diff options
Diffstat (limited to 'results/classifier/accel-gemma3:12b/vmm/2822')
| -rw-r--r-- | results/classifier/accel-gemma3:12b/vmm/2822 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/results/classifier/accel-gemma3:12b/vmm/2822 b/results/classifier/accel-gemma3:12b/vmm/2822 new file mode 100644 index 00000000..8741fa56 --- /dev/null +++ b/results/classifier/accel-gemma3:12b/vmm/2822 @@ -0,0 +1,12 @@ + +Data race with state field of ThreadPoolElement +Description of problem: +A data race in the access of `ThreadPoolElement` state field in `util/thread-pool.c` was identified using TSAN. +Steps to reproduce: +```sh +QEMU_BUILD_DIR=<path to the QEMU build directory> +QEMU_DIR=<path to the QEMU repository directory> +configure --enable-tsan --cc=clang --cxx=clang++ --enable-trace-backends=ust --enable-fdt=system --disable-slirp +make tests/unit/test-thread-pool +MALLOC_PERTURB_=111 G_TEST_SRCDIR=$QEMU_BUILD_DIR/tests/unit G_TEST_BUILDDIR=$QEMU_BUILD_DIR/tests/unit $QEMU_BUILD_DIR/tests/unit/test-thread-pool --tap -k +``` |