 Andrea Parri
|
1a00b4554d
tools/memory-model: Update ASPLOS information
|
%!s(int64=7) %!d(string=hai) anos |
 Luc Maranget
|
15553dcbca
tools/memory-model: Add model support for spin_is_locked()
|
%!s(int64=7) %!d(string=hai) anos |
|
Andrea Parri
|
d17013e0ba
tools/memory-model: Fix coding style in 'linux-kernel.def'
|
%!s(int64=7) %!d(string=hai) anos |
|
Andrea Parri
|
bf8c6d963d
tools/memory-model: Model 'smp_store_mb()'
|
%!s(int64=7) %!d(string=hai) anos |
 Alan Stern
|
bd5c0ba2cd
tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference()
|
%!s(int64=7) %!d(string=hai) anos |
|
Alan Stern
|
bf28ae5627
tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference
|
%!s(int64=7) %!d(string=hai) anos |
 Paul E. McKenney
|
cac79a39f2
tools/memory-model: Convert underscores to hyphens
|
%!s(int64=7) %!d(string=hai) anos |
|
Paul E. McKenney
|
1c27b644c0
Automate memory-barriers.txt; provide Linux-kernel memory model
|
%!s(int64=8) %!d(string=hai) anos |
