messages from 2024-09-27 04:39:27 to 2024-11-06 19:29:08 UTC [more...]
[PATCH v5] tools/memory-model: Distinguish between syntactic and semantic tags
2024-11-06 19:29 UTC (4+ messages)
[PATCH v4 0/5] tools/memory-model: Define more of LKMM in tools/memory-model
2024-11-06 18:00 UTC (24+ 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
[RFC v2 00/13] LKMM *generic* atomics in Rust
2024-11-02 7:35 UTC (19+ 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
Some observations (results) on BPF acquire and release
2024-10-25 23:26 UTC (16+ 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 (26+ messages)
` [RFC PATCH v2 1/4] compiler.h: Introduce ptr_eq() to preserve address dependency
` [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
[PATCH 0/2] Introduce ptr_eq() to preserve address dependency
2024-10-07 14:59 UTC (42+ messages)
` [PATCH 1/2] compiler.h: "
` [PATCH 2/2] Documentation: RCU: Refer to ptr_eq()
[RFC PATCH 0/4] sched+mm: Track lazy active mm existence with hazard pointers
2024-10-07 14:52 UTC (24+ messages)
` [RFC PATCH 1/4] compiler.h: Introduce ptr_eq() to preserve address dependency
` [RFC PATCH 2/4] Documentation: RCU: Refer to ptr_eq()
` [RFC PATCH 3/4] hp: Implement Hazard Pointers
` [RFC PATCH 4/4] sched+mm: Use hazard pointers to track lazy active mm existence
[RFC PATCH 1/1] hpref: Hazard Pointers with Reference Counter
2024-10-01 15:24 UTC (6+ messages)
[PATCH v1 0/2] Introduce ptr_eq() to preserve address dependency
2024-09-29 17:07 UTC (7+ messages)
` [PATCH v1 1/2] compiler.h: "
` [PATCH v1 2/2] Documentation: RCU: Refer to ptr_eq()
[RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers
2024-09-28 23:12 UTC (35+ messages)
[RFC PATCH] compiler.h: Introduce ptr_eq() to preserve address dependency
2024-09-28 11:32 UTC (5+ 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).