t-head/thead-kernel
1
0
Fork 0
mirror of https://github.com/revyos/thead-kernel.git synced 2026-09-08 19:04:42 +02:00
Code Issues Packages Projects Releases Wiki Activity

sync: huiwei: Solve reboot stability test problem

Browse Source 
commit: 9875bcc0ce835faf034b452678ea5d1547d97b6c
This commit is contained in:
yunxian.zyf
2024-03-05 21:15:17 +08:00
committed by Han Gao
parent a78c95c854
commit 7029ef3704
20 changed files with 20 additions and 1378 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus
View File

@@ -1,42 +0,0 @@
C Z6.0+pooncelock+poonceLock+pombonce
(*
* Result: Never
*
* This litmus test demonstrates how smp_mb__after_spinlock() may be
* used to ensure that accesses in different critical sections for a
* given lock running on different CPUs are nevertheless seen in order
* by CPUs not holding that lock.
*)
{}
P0(int *x, int *y, spinlock_t *mylock)
{
spin_lock(mylock);
WRITE_ONCE(*x, 1);
WRITE_ONCE(*y, 1);
spin_unlock(mylock);
}
P1(int *y, int *z, spinlock_t *mylock)
{
int r0;
spin_lock(mylock);
smp_mb__after_spinlock();
r0 = READ_ONCE(*y);
WRITE_ONCE(*z, 1);
spin_unlock(mylock);
}
P2(int *x, int *z)
{
int r1;
WRITE_ONCE(*z, 2);
smp_mb();
r1 = READ_ONCE(*x);
}
exists (1:r0=1 /\ z=2 /\ 2:r1=0)