messages from 2024-10-24 12:11:30 to 2025-03-18 02:23:45 UTC [more...]
[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
Allow data races on some read/write operations
2025-03-07 8:43 UTC (18+ messages)
[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)
[RFC v2 00/13] LKMM *generic* atomics in Rust
2024-12-13 20:28 UTC (27+ messages)
` [RFC v2 01/13] rust: Introduce atomic API helpers
` [RFC v2 02/13] rust: sync: Add basic atomic operation mapping framework
` [RFC v2 03/13] rust: sync: atomic: Add ordering annotation types
` [RFC v2 04/13] rust: sync: atomic: Add generic atomics
` [RFC v2 05/13] rust: sync: atomic: Add atomic {cmp,}xchg operations
` [RFC v2 06/13] rust: sync: atomic: Add the framework of arithmetic operations
` [RFC v2 07/13] rust: sync: atomic: Add Atomic<u{32,64}>
` [RFC v2 08/13] rust: sync: atomic: Add Atomic<{usize,isize}>
` [RFC v2 09/13] rust: sync: atomic: Add Atomic<*mut T>
` [RFC v2 10/13] rust: sync: atomic: Add arithmetic ops for "
` [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] 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 (34+ messages)
` [PATCH v4 1/5] tools/memory-model: Legitimize current use of tags in LKMM macros
` [PATCH v4 2/5] tools/memory-model: Define applicable tags on operation in tools/
` [PATCH v4 3/5] tools/memory-model: Define effect of Mb tags on RMWs "
` [PATCH v4 4/5] tools/memory-model: Switch to softcoded herd7 tags
` [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 (19+ 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).