https://pagure.io/libaio/pull-request/23

From f68c69b6cbc1260a6034997d5f146e3d0a197ed8 Mon Sep 17 00:00:00 2001
From: Xiongchuan Tan <xc-tan@outlook.com>
Date: Jun 28 2022 15:53:38 +0000
Subject: As of June 28th, 2022, the RISC-V spec[1] reserves the PTE permission bit

combination of "write+!read", and the kernel would have incoherent behavior in
the last test case of "harness/cases/5.t". Since it leads to undefined behavior,
until further spec update, this test case should be disabled for RISC-V.

A patch to disallow such permission in mmap() can be found here[2].

[1]: https://github.com/riscv/riscv-isa-manual/releases/download/Priv-v1.12/riscv-privileged-20211203.pdf
[2]: https://www.spinics.net/lists/kernel/msg4412421.html

---

diff --git a/harness/cases/5.t b/harness/cases/5.t
index b0a7c56..8d6c959 100644
--- a/harness/cases/5.t
+++ b/harness/cases/5.t
@@ -37,6 +37,14 @@ int test_main(void)
 	status |= attempt_rw(rwfd, buf, SIZE,  0,  READ, -EFAULT);
 
 	res = munmap(buf, page_size);			assert(res == 0);
+
+	/* As of  June 28th, 2022,  the RISC-V spec Volume 2 Section 4.3
+	 * version "20211203 Privileged Architecture v1.12, Ratified"
+	 * reserves the usage of  the PTE permission bit combination  of
+	 * "write+!read",   so the next test leads to undefined behavior
+	 * and should be disabled. */
+#ifndef __riscv
+
 	buf = mmap(0, page_size, PROT_WRITE, MAP_SHARED, rwfd, 0);
 	assert(buf != (char *)-1);
 
@@ -48,6 +56,8 @@ int test_main(void)
 	status |= attempt_rw(rwfd, buf, SIZE,  0,  READ, SIZE);
 	status |= attempt_rw(rwfd, buf, SIZE,  0, WRITE, res);
 
+#endif
+
 	return status;
 }
 

='id' value='70fed689c0b8b0f52ff8e5d008a82ab9d9fb596c'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=70fed689c0b8b0f52ff8e5d008a82ab9d9fb596c'>root</a>/<a href='/guix/log/tests?id=70fed689c0b8b0f52ff8e5d008a82ab9d9fb596c'>tests</a>/<a href='/guix/log/tests/processes.scm?id=70fed689c0b8b0f52ff8e5d008a82ab9d9fb596c'>processes.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/tests/processes.scm?id=70fed689c0b8b0f52ff8e5d008a82ab9d9fb596c&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-12-10 10:49:42 +0100'>2019-12-10</span></td><td><a href='/guix/commit/tests/processes.scm?id=0b5ad0e756a34d5e3ed1f37c3d4083a330fa33f5'>tests: processes: Skip tests if running with binfmt.</a><span class='msg-avail'>...<span class='msg-tooltip'>* tests/processes.scm (binfmt-misc?): New procedure,
(test-assert*): new procedure that skips the test if binfmt-misc? returns
</span></span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2018-10-29 00:13:38 +0100'>2018-10-29</span></td><td><a href='/guix/commit/tests/processes.scm?id=63eb2b899be7ac857454442e09d0ebd23fe4f871'>Add 'guix processes'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/scripts/processes.scm, tests/processes.scm: New files.
* Makefile.am (MODULES): Add the former.
(SCM_TESTS): Add the latter.
* po/guix/POTFILES.in: Add guix/scripts/processes.scm.
* doc/guix.texi (Invoking guix processes): New node.
(Invoking guix-daemon): Reference it.
</span></span></td><td>Ludovic Courtès</td></tr>