index
:
daniel.thompson/linux.git
backlight-for-v4.11
backport/arm64_nmi-android-3.18
bugs/debug_ll
bugs/st-asc-avalanche
clang-analyzer/initial_review
dev/arm64_alternative_if_not
dev/arm64_nix_assembler_macros
dev/arm64_nmi-v4.0
dev/arm64_nmi-v4.10
dev/arm64_nmi-v4.11
dev/arm64_nmi-v4.5
dev/arm64_nmi-v4.7-rc3
dev/arm64_nmi-v4.8
dev/arm64_nmi-v5
dev/arm_backtrace_on_apq8064
dev/arm_better_perf
dev/baseline
dev/debugll_sa1100
dev/imx_poll_get_char
dev/kdb-fiq
dev/kdb-fiq-v0.9
dev/kdb-interrupt
dev/kdb-kiosk
dev/kdb-nmi
dev/kdb_better_search
dev/kdb_ftdump
dev/kdb_no_log_levels
dev/kgdb-timeout
dev/kgdb_nmi-no_con_enabled
dev/kgdb_nmi_fiq-2
dev/msm_drm_prime_mmap-2
dev/multi_debug_ll
dev/out-of-tree
dev/perf_nmi_fiq
dev/perf_single_irq
dev/pl011-no-containerof
dev/readbwl_relaxed
dev/sched_clock_nmi-2
dev/st-asc-relaxed
dev/trigger_backtrace
dev/trigger_backtrace-v4.5
dev/trigger_backtrace-v4.6
dev/trigger_backtrace-v4.7
dev/trigger_backtrace-v4.8
developerbox/hacking
developerbox/hacking-v4.14
features/b2020-eth1
features/edid-svga
features/get_user_8
hacking/android-4.1
hacking/db820c-v4.10
hacking/fvp
hacking/ifc6410
hacking/perf
hacking/perf-reboot
hacking/pixel
hacking/x20-3.18
hacking/x20-3.18-fix_includes
honeycomb/vendor-rebase-v4.19
honeycomb/vendor-rebase-v5.0
ifc6410_lollipop
kdb/seq_file
kgdb/for-next
kgdb/kdb_read_cleanup
kgdb/polled_request_irq
linux-next
master
merge/fiq
merge/for_jason-3.20
misc/coccinelle_allow_list_entry_is_head
misc/compile_commands_for_gcc
pinebookpro/hacking-5.8
rda/hacking
rda/v3.10.62-r0
rda/v3.10.62-r1
rda/v3.10.62-r2
rda/v3.10.62-r3
tty-next
Personal repo for development and upstreaming. Contains significant work on NMI/FIQ.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
memory-model
Age
Commit message (
Expand
)
Author
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
2018-05-15
tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic(...
Paul E. McKenney
[next]