![]() |
|
|||
LITMUS TESTS
CoRR+poonceonce+Once.litmus
Test of read-read coherence, that is, whether or not two
successive reads from the same variable are ordered.
CoRW+poonceonce+Once.litmus
Test of read-write coherence, that is, whether or not a read
from a given variable followed by a write to that same variable
are ordered.
SEE ALSO: README
Name | Size | Date (UTC) | Last indexed | Description | |
---|---|---|---|---|---|
Name | Size | Date (UTC) | Last indexed | Description | |
![]() |
Parent directory | - | 2025-03-06 09:18:40 |
LINUX KERNEL MEMORY CONSISTENCY MODEL
SEE ALSO: README |
|
![]() |
CoRR+poonceonce+Once.litmus | 311 bytes | 2025-03-06 09:18:40 | - | |
![]() |
CoRW+poonceonce+Once.litmus | 324 bytes | 2025-03-06 09:18:40 | - | |
![]() |
CoWR+poonceonce+Once.litmus | 324 bytes | 2025-03-06 09:18:40 | - | |
![]() |
CoWW+poonceonce.litmus | 237 bytes | 2025-03-06 09:18:40 | - | |
![]() |
IRIW+fencembonceonces+OnceOnce.litmus | 731 bytes | 2025-03-06 09:18:40 | - | |
![]() |
IRIW+poonceonces+OnceOnce.litmus | 655 bytes | 2025-03-06 09:18:40 | - | |
![]() |
ISA2+pooncelock+pooncelock+pombonce.litmus | 588 bytes | 2025-03-06 09:18:40 | - | |
![]() |
ISA2+poonceonces.litmus | 598 bytes | 2025-03-06 09:18:40 | - | |
![]() |
ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus | 784 bytes | 2025-03-06 09:18:40 | - | |
![]() |
LB+fencembonceonce+ctrlonceonce.litmus | 694 bytes | 2025-03-06 09:18:40 | - | |
![]() |
LB+poacquireonce+pooncerelease.litmus | 412 bytes | 2025-03-06 09:18:40 | - | |
![]() |
LB+poonceonces.litmus | 346 bytes | 2025-03-06 09:18:40 | - | |
![]() |
LB+unlocklockonceonce+poacquireonce.litmus | 719 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+fencewmbonceonce+fencermbonceonce.litmus | 545 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+onceassign+derefonce.litmus | 593 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+polockmbonce+poacquiresilsil.litmus | 745 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+polockonce+poacquiresilsil.litmus | 681 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+polocks.litmus | 825 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+poonceonces.litmus | 386 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+pooncerelease+poacquireonce.litmus | 464 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+porevlocks.litmus | 828 bytes | 2025-03-06 09:18:40 | - | |
![]() |
MP+unlocklockonceonce+fencermbonceonce.litmus | 564 bytes | 2025-03-06 09:18:40 | - | |
![]() |
R+fencembonceonces.litmus | 499 bytes | 2025-03-06 09:18:40 | - | |
![]() |
R+poonceonces.litmus | 388 bytes | 2025-03-06 09:18:40 | - | |
![]() |
README | 9823 bytes | 2025-03-06 09:18:40 | - | |
![]() |
S+fencewmbonceonce+poacquireonce.litmus | 356 bytes | 2025-03-06 09:18:40 | - | |
![]() |
S+poonceonces.litmus | 462 bytes | 2025-03-06 09:18:40 | - | |
![]() |
SB+fencembonceonces.litmus | 499 bytes | 2025-03-06 09:18:40 | - | |
![]() |
SB+poonceonces.litmus | 423 bytes | 2025-03-06 09:18:40 | - | |
![]() |
SB+rfionceonce-poonceonces.litmus | 452 bytes | 2025-03-06 09:18:40 | - | |
![]() |
WRC+poonceonces+Once.litmus | 465 bytes | 2025-03-06 09:18:40 | - | |
![]() |
WRC+pooncerelease+fencermbonceonce+Once.litmus | 644 bytes | 2025-03-06 09:18:40 | - | |
![]() |
Z6.0+pooncelock+poonceLock+pombonce.litmus | 723 bytes | 2025-03-06 09:18:40 | - | |
![]() |
Z6.0+pooncelock+pooncelock+pombonce.litmus | 658 bytes | 2025-03-06 09:18:40 | - | |
![]() |
Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus | 980 bytes | 2025-03-06 09:18:40 | - |
[ Source navigation ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.1.0 LXR engine. The LXR team |
![]() ![]() |