summary refs log tree commit diff stats
path: root/results/classifier/118/user-level-risc-v/1606
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-06-16 16:59:00 +0000
committerChristian Krinitsin <mail@krinitsin.com>2025-06-16 16:59:33 +0000
commit9aba81d8eb048db908c94a3c40c25a5fde0caee6 (patch)
treeb765e7fb5e9a3c2143c68b0414e0055adb70e785 /results/classifier/118/user-level-risc-v/1606
parentb89a938452613061c0f1f23e710281cf5c83cb29 (diff)
downloadqemu-analysis-9aba81d8eb048db908c94a3c40c25a5fde0caee6.tar.gz
qemu-analysis-9aba81d8eb048db908c94a3c40c25a5fde0caee6.zip
add 18th iteration of classifier
Diffstat (limited to 'results/classifier/118/user-level-risc-v/1606')
-rw-r--r--results/classifier/118/user-level-risc-v/160689
1 files changed, 89 insertions, 0 deletions
diff --git a/results/classifier/118/user-level-risc-v/1606 b/results/classifier/118/user-level-risc-v/1606
new file mode 100644
index 000000000..605d94305
--- /dev/null
+++ b/results/classifier/118/user-level-risc-v/1606
@@ -0,0 +1,89 @@
+user-level: 0.995
+risc-v: 0.953
+ppc: 0.826
+graphic: 0.812
+VMM: 0.790
+KVM: 0.777
+device: 0.740
+vnc: 0.739
+performance: 0.728
+permissions: 0.728
+x86: 0.676
+PID: 0.623
+semantic: 0.602
+i386: 0.565
+architecture: 0.559
+virtual: 0.534
+socket: 0.527
+network: 0.516
+hypervisor: 0.479
+TCG: 0.464
+kernel: 0.424
+register: 0.402
+debug: 0.391
+files: 0.355
+peripherals: 0.344
+assembly: 0.316
+boot: 0.313
+arm: 0.294
+mistranslation: 0.266
+--------------------
+user-level: 0.985
+debug: 0.529
+x86: 0.209
+kernel: 0.158
+performance: 0.073
+files: 0.040
+i386: 0.034
+risc-v: 0.031
+virtual: 0.021
+ppc: 0.020
+TCG: 0.018
+hypervisor: 0.015
+PID: 0.013
+arm: 0.011
+device: 0.011
+register: 0.011
+assembly: 0.011
+network: 0.009
+VMM: 0.006
+semantic: 0.006
+peripherals: 0.006
+boot: 0.005
+architecture: 0.004
+socket: 0.003
+KVM: 0.003
+graphic: 0.002
+vnc: 0.002
+permissions: 0.002
+mistranslation: 0.001
+
+riscv: fence.i is not functional
+Description of problem:
+The attached user-level test is designed to do the following (in iteration):
+
+  - Thread P0 on CPU0 changes some text/code, while
+
+  - Thread P1 on CPU1 checks/reads the code, fence.i, then executes the same code.
+
+Results (in stdout) indicates that CPU1 has read the new code (1:x5=a009) but executed the old one (1:x7=1) (against the specification).
+Steps to reproduce:
+1. echo 2 > /proc/sys/vm/nr_hugepages
+2. ./CoRF+fence.i
+Additional information:
+Example output:
+```[CoRF+fence.i.c](/uploads/c150ca0910783cc4bfc3886789b64c28/CoRF+fence.i.c)
+Test CoRF+fence.i Allowed
+Histogram (4 states)
+25784  :>1:x5=0xa009; 1:x7=2;
+24207  *>1:x5=0xa009; 1:x7=1;   <--  THIS LINE
+8      :>1:x5=0xa019; 1:x7=1;
+1      :>1:x5=0xa019; 1:x7=2;
+Ok
+Witnesses
+Positive: 24207 Negative 25793
+Condition exists (1:x5=0xa009 /\ 1:x7=1) is  validated
+Observation CoRF+fence.i Sometimes 24207 25793
+Time CoRF+fence.i 0.85
+Hash=
+```