index
:
bcachefs.git
9p_mempool
alloc_tags
alloc_tags_rfc
alloc_tags_v2
bcache2
bcachefs-5.17
bcachefs-btree-key-cache
bcachefs-buffered-write-locking
bcachefs-dev-lifetime
bcachefs-developer-guide
bcachefs-disk-accounting-rewrite
bcachefs-disk-accounting-rewrite-1
bcachefs-for-6.9
bcachefs-for-upstream
bcachefs-for-v6.7
bcachefs-garbage
bcachefs-icache
bcachefs-memalloc-profiling
bcachefs-sysfs-ioctls
bcachefs-testing
bcachefs-v4.13
bcachefs-v4.15
bcachefs-v4.16
bcachefs-v4.18
bcachefs-v4.19
bcachefs-v4.19-backport
bcachefs-v4.19-backport-2.0
bcachefs-v4.19-backport-2019-hotfix
bcachefs-v4.19-backport-2022-hotfix
bcachefs-v4.19-backport-compat
bcachefs-v4.20
bcachefs-v5.0
bcachefs-v5.10
bcachefs-v5.10-snapshots
bcachefs-v5.11
bcachefs-v5.15
bcachefs-v5.16
bcachefs-v5.19
bcachefs-v5.7
bcachefs-v5.9
bcachefs-v6.0
bcachefs-v6.3
bcachefs-v6.4
bcachefs-v6.5
bcachefs_bi_depth
bcachefs_subvol_ioctls
bio_folio_iter
bkey_unpack
btree_root_fix
buffered-io-2
casefold
codetags
codetags_v0
codetags_v1
compat
folio_iter_batched
for-next
fs-uuid-ioctl
header_cleanup
i_blocks_debug
inode_work
lazy_percpu_counters
lockdep_cmp_fn
lockdep_debug
master
mean_and_variance_fixups
memalloc-prof-v7
memalloc_prof_debug
memalloc_prof_v1
memalloc_prof_v2
memalloc_prof_v3
memalloc_prof_v4
memalloc_prof_v5
printbuf_v2
printbuf_v3
printbuf_v3_bcachefs
printbuf_v4
printbuf_v5
printbuf_v6
rcu_pending
ringbuffer
shrinker_to_text
time_stats_twf
tracing_to_printbuf
u128
vmalloc_size
xfs_no_data_io
zones
Unnamed repository; edit this file 'description' to name the repository.
Kent Overstreet
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
memory-model
/
linux-kernel.cat
Age
Commit message (
Expand
)
Author
2023-03-22
tools/memory-model: Make ppo a subrelation of po
Jonas Oberhauser
2023-03-22
tools/memory-model: Restrict to-r to read-read address dependency
Joel Fernandes (Google)
2023-03-22
tools/memory-model: Add smp_mb__after_srcu_read_unlock()
Paul E. McKenney
2023-03-22
tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po
Jonas Oberhauser
2023-01-03
tools: memory-model: Add rmw-sequences to the LKMM
Alan Stern
2021-11-30
tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU
Boqun Feng
2019-10-05
tools/memory-model: Fix data race detection for unordered store and load
Alan Stern
2019-06-24
tools/memory-model: Improve data-race detection
Alan Stern
2019-06-21
tools/memory-model: Change definition of rcu-fence
Alan Stern
2019-06-21
tools/memory-model: Expand definition of barrier
Alan Stern
2019-05-28
tools/memory-model: Add data-race detection
Alan Stern
2019-05-28
tools/memory-model: Add definitions of plain and marked accesses
Alan Stern
2019-05-28
tools/memory-model: Prepare for data-race detection
Alan Stern
2019-03-18
tools/memory-model: Avoid duplicating herdtools versions
Andrea Parri
2019-03-18
tools/memory-model: Dynamically check SRCU lock-to-unlock matching
Luc Maranget
2019-03-18
tools/memory-model: Add SRCU support
Alan Stern
2019-03-18
tools/memory-model: Refactor some RCU relations
Alan Stern
2019-03-18
tools/memory-model: Rename some RCU relations
Alan Stern
2019-01-21
tools/memory-model: Model smp_mb__after_unlock_lock()
Andrea Parri
2018-10-02
tools/memory-model: Add extra ordering for locks and remove it for ordinary r...
Alan Stern
2018-05-15
tools/memory-model: Update ASPLOS information
Andrea Parri
2018-05-15
tools/memory-model: Redefine rb in terms of rcu-fence
Alan Stern
2018-05-15
tools/memory-model: Rename link and rcu-path to rcu-link and rb
Alan Stern
2018-02-21
tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_der...
Alan Stern
2018-02-21
tools/memory-model: Convert underscores to hyphens
Paul E. McKenney
2018-02-21
tools/memory-model: Clarify the origin/scope of the tool name
Andrea Parri
2018-01-24
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney