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
2021-01-04
tools/memory-model: Fix typo in klitmus7 compatibility table
Akira Yokosawa
2021-01-04
tools/memory-model: Remove redundant initialization in litmus tests
Akira Yokosawa
2021-01-04
tools/memory-model: Tie acquire loads to reads-from
Paul E. McKenney
2020-11-06
tools/memory-model: Label MP tests' producers and consumers
Paul E. McKenney
2020-11-06
tools/memory-model: Use "buf" and "flag" for message-passing tests
Paul E. McKenney
2020-11-06
tools/memory-model: Add types to litmus tests
Paul E. McKenney
2020-11-06
tools/memory-model: Add a glossary of LKMM terms
Paul E. McKenney
2020-11-06
tools/memory-model: Document categories of ordering primitives
Paul E. McKenney
2020-10-26
tools/memory-model: Move Documentation description to Documentation/README
Paul E. McKenney
2020-10-26
tools: memory-model: Document that the LKMM can easily miss control dependencies
Alan Stern
2020-09-04
tools/memory-model: Expand the cheatsheet.txt notion of relaxed
Paul E. McKenney
2020-09-03
tools/memory-model: Add a simple entry point document
Paul E. McKenney
2020-09-03
tools/memory-model: Improve litmus-test documentation
Paul E. McKenney
2020-09-03
tools/memory-model: Update recipes.txt prime_numbers.c path
Paul E. McKenney
2020-09-03
Replace HTTP links with HTTPS ones: LKMM
Alexander A. Klimov
2020-08-03
Merge tag 'locking-core-2020-08-03' of git://git.kernel.org/pub/scm/linux/ker...
Linus Torvalds
2020-07-21
tools/memory-model: Remove smp_read_barrier_depends() from informal doc
Will Deacon
2020-06-29
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table
Akira Yokosawa
2020-06-29
tools/memory-model/README: Expand dependency of klitmus7
Akira Yokosawa
2020-06-29
tools/memory-model: Fix reference to litmus test in recipes.txt
Akira Yokosawa
2020-06-29
tools/memory-model: Add an exception for limitations on _unless() family
Boqun Feng
2020-06-29
tools/memory-model: Fix "conflict" definition
Marco Elver
2020-06-29
tools/memory-model: Add recent references
Paul E. McKenney
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
[next]