| .. |
|
cheatsheet.txt
|
bfd403bb36
tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic() orders later RMW operations
|
%!s(int64=7) %!d(string=hai) anos |
|
explanation.txt
|
0fcff1715b
tools/memory-model/Documentation: Fix typo, smb->smp
|
%!s(int64=7) %!d(string=hai) anos |
|
recipes.txt
|
71b7ff5ebc
tools/memory-model: Rename litmus tests to comply to norm7
|
%!s(int64=7) %!d(string=hai) anos |
|
references.txt
|
99c12749b1
tools/memory-model: Add reference for 'Simplifying ARM concurrency'
|
%!s(int64=7) %!d(string=hai) anos |
Andrea Parri
71b7ff5ebc
tools/memory-model: Rename litmus tests to comply to norm7