diff options
| author | Paul E. McKenney <[email protected]> | 2014-05-13 10:14:51 -0700 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2014-07-08 08:13:03 -0700 |
| commit | 5726ce06ad6bcd8dd75a204d1465c99a2f897d3a (patch) | |
| tree | c3240a49d769fc49f0fee614f63c897ddce87f3b /scripts/gdb/linux | |
| parent | 4a81e8328d3791a4f99bf5b436d050f6dc5ffea3 (diff) | |
documentation: Clarify wake-up/memory-barrier relationship
This commit adds an example demonstrating that if a wake_up() doesn't
actually wake something up, no memory ordering is provided.
Reported-by: Peter Zijlstra <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Reviewed-by: Josh Triplett <[email protected]>
Reviewed-by: Lai Jiangshan <[email protected]>
Acked-by: Peter Zijlstra <[email protected]>
Diffstat (limited to 'scripts/gdb/linux')
0 files changed, 0 insertions, 0 deletions