diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-05-21 21:21:26 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-05-21 21:21:26 +0200 |
| commit | 4b927bc37359dec23f67d3427fc982945f24f404 (patch) | |
| tree | 245449ef9146942dc7fffd0235b48b7e70a00bf2 /gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml | |
| parent | aa8bd79cec7bf6790ddb01d156c2ef2201abbaab (diff) | |
| download | emulator-bug-study-4b927bc37359dec23f67d3427fc982945f24f404.tar.gz emulator-bug-study-4b927bc37359dec23f67d3427fc982945f24f404.zip | |
add gitlab issues in toml format
Diffstat (limited to 'gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml')
| -rw-r--r-- | gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml b/gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml new file mode 100644 index 00000000..e2433a17 --- /dev/null +++ b/gitlab/issues/target_riscv/host_missing/accel_missing/1606.toml @@ -0,0 +1,37 @@ +id = 1606 +title = "riscv: fence.i is not functional" +state = "opened" +created_at = "2023-04-17T17:03:39.906Z" +closed_at = "n/a" +labels = ["target: riscv"] +url = "https://gitlab.com/qemu-project/qemu/-/issues/1606" +host-os = "Ubuntu 22.04.2 LTS" +host-arch = "x86" +qemu-version = "7.2.94 (v8.0.0-rc4)" +guest-os = "Ubuntu 22.04.2 LTS" +guest-arch = "RISC-V (riscv64-softmmu)" +description = """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).""" +reproduce = """1. echo 2 > /proc/sys/vm/nr_hugepages +2. ./CoRF+fence.i""" +additional = """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= +```""" |