messages from 2024-11-01 06:04:10 to 2025-05-27 18:30:04 UTC [more...]
[GIT PULL] LKMM changes for v6.16
2025-05-27 18:30 UTC (2+ messages)
[PATCH] xfs: mark the i_delayed_blks access in xfs_file_release as racy
2025-05-16 6:34 UTC (5+ messages)
Potential translation of LKMM docs into ReST
2025-05-07 0:07 UTC (5+ messages)
` [PATCH] lkmm: docs: Put LKMM documentation into dev-tools book
[RFC v3 00/12] LKMM generic atomics in Rust
2025-04-21 16:42 UTC (13+ messages)
` [RFC v3 01/12] rust: Introduce atomic API helpers
` [RFC v3 02/12] rust: sync: Add basic atomic operation mapping framework
` [RFC v3 03/12] rust: sync: atomic: Add ordering annotation types
` [RFC v3 04/12] rust: sync: atomic: Add generic atomics
` [RFC v3 05/12] rust: sync: atomic: Add atomic {cmp,}xchg operations
` [RFC v3 06/12] rust: sync: atomic: Add the framework of arithmetic operations
` [RFC v3 07/12] rust: sync: atomic: Add Atomic<u{32,64}>
` [RFC v3 08/12] rust: sync: atomic: Add Atomic<{usize,isize}>
` [RFC v3 09/12] rust: sync: atomic: Add Atomic<*mut T>
` [RFC v3 10/12] rust: sync: atomic: Add arithmetic ops for "
` [RFC v3 11/12] rust: sync: Add memory barriers
` [RFC v3 12/12] rust: sync: rcu: Add RCU protected pointer
[RFC v2 00/13] LKMM *generic* atomics in Rust
2025-04-21 16:27 UTC (20+ messages)
` [RFC v2 02/13] rust: sync: Add basic atomic operation mapping framework
` [RFC v2 04/13] rust: sync: atomic: Add generic atomics
` [RFC v2 11/13] rust: sync: Add memory barriers
` [RFC v2.1 "
` [RFC v2 12/13] rust: add rcu abstraction
` [RFC v2 13/13] rust: sync: rcu: Add RCU protected pointer
[PATCH 0/4] LKMM documentation updates for v6.16
2025-04-18 20:31 UTC (7+ messages)
` [PATCH 1/4] tools/memory-model: docs/README: Update introduction of locking.txt
` [PATCH 2/4] tools/memory-model: docs/simple.txt: Fix trivial typos
` [PATCH 3/4] tools/memory-model: docs/ordering: "
` [PATCH 4/4] tools/memory-model: docs/references: Remove broken link to imgtec.com
[GIT PULL] LKMM changes for v6.15
2025-03-25 1:58 UTC (2+ messages)
Allow data races on some read/write operations
2025-03-18 14:44 UTC (19+ messages)
[PATCH 0/4] tools/memory-model: Documentation updates and fixes
2025-03-18 2:10 UTC (7+ messages)
` [PATCH 1/4] tools/memory-model: docs/README: Update introduction of locking.txt
` [PATCH 2/4] tools/memory-model: docs/simple.txt: Fix trivial typos
` [PATCH 3/4] tools/memory-model: docs/ordering: "
` [PATCH 4/4] tools/memory-model: docs/references: Remove broken link to imgtec.com
[PATCH memory-model 1/2] tools/memory-model/README: Fix typo
2025-02-25 18:42 UTC (3+ messages)
` [PATCH memory-model 2/2] tools/memory-model: glossary.txt: Fix indents
[PATCH memory-model 0/7] LKMM updates for v6.15
2025-02-25 18:18 UTC (12+ messages)
` [PATCH memory-model 1/7] tools/memory-model: Add atomic_and()/or()/xor() and add_negative
` [PATCH memory-model 2/7] tools/memory-model: Add atomic_andnot() with its variants
` [PATCH memory-model 3/7] tools/memory-model: Legitimize current use of tags in LKMM macros
` [PATCH memory-model 4/7] tools/memory-model: Define applicable tags on operation in tools/
` [PATCH memory-model 5/7] tools/memory-model: Define effect of Mb tags on RMWs "
` [PATCH memory-model 6/7] tools/memory-model: Switch to softcoded herd7 tags
` [PATCH memory-model 7/7] tools/memory-model: Distinguish between syntactic and semantic tags
herdtools7.7.58 is now available
2025-02-14 14:59 UTC (4+ messages)
[RFC] tools/memory-model: Rule out OOTA
2025-01-22 19:11 UTC (49+ messages)
[PATCH] tools/memory-model: Fix litmus-tests's file names for case-insensitive filesystem
2024-12-12 23:09 UTC (24+ messages)
[PATCH] tools/memory-model: Fix litmus-tests's file names
2024-12-09 15:00 UTC
[PATCH net-next v2] selftests/net: call sendmmsg via udpgso_bench.sh
2024-12-05 3:30 UTC (4+ messages)
[PATCH] selftests/net: call sendmmsg via udpgso_bench.sh
2024-12-03 15:21 UTC (3+ messages)
[PATCH v4 0/5] tools/memory-model: Define more of LKMM in tools/memory-model
2024-11-26 16:03 UTC (22+ messages)
` [PATCH v4 5/5] tools/memory-model: Distinguish between syntactic and semantic tags
Some observations (results) on BPF acquire and release
2024-11-14 14:56 UTC (7+ messages)
Two Colors matching GAN 45w charger
2024-11-13 12:11 UTC
[PATCH v5] tools/memory-model: Distinguish between syntactic and semantic tags
2024-11-06 19:29 UTC (4+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).