Linux Kernel Memory Consistency Model
 help / color / mirror / Atom feed
 messages from 2024-07-22 18:03:23 to 2024-10-07 13:20:00 UTC [more...]

[PATCH 0/2] Introduce ptr_eq() to preserve address dependency
 2024-10-07 13:18 UTC  (40+ messages)
` [PATCH 1/2] compiler.h: "
` [PATCH 2/2] Documentation: RCU: Refer to ptr_eq()

[RFC PATCH v2 0/4] sched+mm: Track lazy active mm existence with hazard pointers
 2024-10-07 11:01 UTC  (19+ 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

[RFC PATCH 0/4] sched+mm: Track lazy active mm existence with hazard pointers
 2024-10-07  7:06 UTC  (22+ 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

[PATCH v4 0/5] tools/memory-model: Define more of LKMM in tools/memory-model
 2024-10-02 17:34 UTC  (7+ 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 PATCH 1/1] hpref: Hazard Pointers with Reference Counter
 2024-10-01 15:24 UTC  (13+ 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  (46+ messages)

[RFC PATCH] compiler.h: Introduce ptr_eq() to preserve address dependency
 2024-09-28 11:32 UTC  (5+ messages)

[RFC PATCH v1 1/1] hpref: Hazard Pointers with Reference Counter
 2024-09-22 10:20 UTC 

[PATCH v3 0/5] tools/memory-model: Define more of LKMM in tools/memory-model
 2024-09-21 11:28 UTC  (10+ messages)
` [PATCH v3 1/5] tools/memory-model: Legitimize current use of tags in LKMM macros
` [PATCH v3 2/5] tools/memory-model: Define applicable tags on operation in tools/
` [PATCH v3 3/5] tools/memory-model: Define effect of Mb tags on RMWs "
` [PATCH v3 4/5] tools/memory-model: Switch to softcoded herd7 tags
` [PATCH v3 5/5] tools/memory-model: Distinguish between syntactic and semantic tags

[GIT PULL] LKMM changes for v6.12
 2024-09-18  8:10 UTC  (2+ messages)

[PATCH memory-model 0/7] LKMM updates for v6.12
 2024-08-02 17:47 UTC  (10+ 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: Document herd7 (abstract) representation
` [PATCH memory-model 4/7] tools/memory-model: Add locking.txt and glossary.txt to README
` [PATCH memory-model 5/7] tools/memory-model: simple.txt: Fix stale reference to recipes-pairs.txt
` [PATCH memory-model 6/7] docs/memory-barriers.txt: Remove left-over references to "CACHE COHERENCY"
` [PATCH memory-model 7/7] MAINTAINERS: Add the dedicated maillist info for LKMM

[PATCH] MAINTAINERS: Add the dedicated maillist info for LKMM
 2024-08-02 11:40 UTC  (2+ messages)

[PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
 2024-07-29 16:05 UTC  (7+ messages)

[linus:master] [mm] 24e44cc22a: BUG:KCSAN:data-race_in_pcpu_alloc_noprof/pcpu_block_update_hint_alloc
 2024-07-27  3:15 UTC  (12+ messages)

[RFC PATCH 1/5] doc: rust: create safety standard
 2024-07-24 22:01 UTC  (2+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox