messages from 2024-10-05 11:44:03 to 2025-02-14 14:59:30 UTC [more...]
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)
[RFC PATCH v3 0/4] sched+mm: Track lazy active mm existence with hazard pointers
2024-10-15 13:33 UTC (9+ messages)
` [RFC PATCH v3 1/4] compiler.h: Introduce ptr_eq() to preserve address dependency
` [RFC PATCH v3 2/4] Documentation: RCU: Refer to ptr_eq()
` [RFC PATCH v3 3/4] hazptr: Implement Hazard Pointers
` [RFC PATCH v3 4/4] sched+mm: Use hazard pointers to track lazy active mm existence
[RFC PATCH v2 0/4] sched+mm: Track lazy active mm existence with hazard pointers
2024-10-07 19:08 UTC (21+ messages)
` [RFC PATCH v2 2/4] Documentation: RCU: Refer to ptr_eq()
` "
` [RFC PATCH v2 3/4] hp: Implement Hazard Pointers
[RFC PATCH v2 4/4] sched+mm: Use hazard pointers to track lazy active mm existence
2024-10-07 15:05 UTC (3+ messages)
[PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency
2024-10-07 14:59 UTC (16+ messages)
[RFC PATCH 0/4] sched+mm: Track lazy active mm existence with hazard pointers
2024-10-07 14:52 UTC (10+ messages)
` [RFC PATCH 3/4] hp: Implement Hazard Pointers
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).