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
Age
Commit message (
Expand
)
Author
2020-03-25
.gitignore: add SPDX License Identifier
Masahiro Yamada
2019-10-05
tools/memory-model/Documentation: Add plain accesses and data races to explan...
Alan Stern
2019-10-05
tools/memory-model/Documentation: Put redefinition of rcu-fence into explanat...
Alan Stern
2019-10-05
tools/memory-model/Documentation: Fix typos in explanation.txt
Alan Stern
2019-10-05
tools/memory-model: Fix data race detection for unordered store and load
Alan Stern
2019-08-09
tools/memory-model: Update the informal documentation
Andrea Parri
2019-08-09
tools/memory-model: Use cumul-fence instead of fence in ->prop example
Joel Fernandes (Google)
2019-08-01
tools/memory-model: Make scripts be executable
Paul E. McKenney
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-06-19
tools/memory-model: Do not use "herd" to refer to "herd7"
Andrea Parri
2019-06-19
tools/memory-model: Fix comment in MP+poonceonces.litmus
Andrea Parri
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-04-04
tools/memory-model: Add support for synchronize_srcu_expedited()
Paul E. McKenney
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: Update Documentation/explanation.txt to include SRCU support
Alan Stern
2019-03-18
tools/memory-model: Update README for addition of SRCU
Paul E. McKenney
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: Make scripts take "-j" abbreviation for "--jobs"
Paul E. McKenney
2019-01-21
tools/memory-model: Add scripts to check github litmus tests
Paul E. McKenney
2019-01-21
tools/memory-model: Model smp_mb__after_unlock_lock()
Andrea Parri
2018-10-02
tools/memory-model: Add more LKMM limitations
Paul E. McKenney
2018-10-02
tools/memory-model: Fix a README typo
SeongJae Park
2018-10-02
tools/memory-model: Add extra ordering for locks and remove it for ordinary r...
Alan Stern
2018-10-02
tools/memory-model: Add litmus-test naming scheme
Paul E. McKenney
2018-07-17
tools/memory-model: Rename litmus tests to comply to norm7
Andrea Parri
2018-07-17
tools/memory-model/Documentation: Fix typo, smb->smp
Yauheni Kaliuta
2018-07-17
tools/memory-model: Make scripts executable
Paul E. McKenney
2018-07-17
tools/memory-model: Remove ACCESS_ONCE() from model
Mark Rutland
2018-07-17
tools/memory-model: Remove ACCESS_ONCE() from recipes
Mark Rutland
2018-07-17
tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name
Paul E. McKenney
2018-07-17
tools/memory-model: Add litmus test for full multicopy atomicity
Paul E. McKenney
2018-05-15
tools/memory-model: Add reference for 'Simplifying ARM concurrency'
Andrea Parri
2018-05-15
tools/memory-model: Update ASPLOS information
Andrea Parri
2018-05-15
tools/memory-model: Fix coding style in 'lock.cat'
Andrea Parri
2018-05-15
tools/memory-model: Remove out-of-date comments and code from lock.cat
Alan Stern
2018-05-15
tools/memory-model: Improve mixed-access checking in lock.cat
Alan Stern
2018-05-15
tools/memory-model: Improve comments in lock.cat
Alan Stern
2018-05-15
tools/memory-model: Remove duplicated code from lock.cat
Alan Stern
2018-05-15
tools/memory-model: Flag "cumulativity" and "propagation" tests
Paul E. McKenney
2018-05-15
tools/memory-model: Add model support for spin_is_locked()
Luc Maranget
2018-05-15
tools/memory-model: Add scripts to test memory model
Paul E. McKenney
2018-05-15
tools/memory-model: Fix coding style in 'linux-kernel.def'
Andrea Parri
2018-05-15
tools/memory-model: Model 'smp_store_mb()'
Andrea Parri
[next]