Jonas Oberhauser ([email protected])

Number of posts: 98 (0.23 per day)
First post: 2022-12-01 12:59:53
Last post: 2024-02-02 14:57:34

Next Page
Date List Subject
2024-02-02 14:57:34 linux-kernel Re: [BUG] workqueues and printk not playing nice since next-20240130
2023-11-05 21:07:11 linux-kernel Re: [RFC+Patch] Formal models as source of truth for Software Architects.
2023-11-04 18:21:11 linux-kernel Re: [isocpp-parallel] OOTA fix (via fake branch-after-load) discussion
2023-10-30 10:48:40 linux-kernel Re: [RFC+Patch] Formal models as source of truth for Software Architects.
2023-10-21 13:46:29 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-21 13:37:07 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-20 16:14:30 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-20 16:01:31 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-20 09:31:24 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-18 10:28:56 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-10-06 18:48:50 linux-kernel Re: [PATCH smp,csd] Throw an error if a CSD lock is stuck for too long
2023-10-06 16:40:17 linux-kernel Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps
2023-07-10 15:50:01 linux-kernel Re: [RFC] Bridging the gap between the Linux Kernel Memory Consistency Model (LKMM) and C11/C++11 atomics
2023-07-07 10:52:18 linux-kernel Re: [RFC] Bridging the gap between the Linux Kernel Memory Consistency Model (LKMM) and C11/C++11 atomics
2023-04-08 19:01:43 linux-kernel Re: Litmus test names
2023-04-07 14:24:30 linux-kernel Re: Litmus test names
2023-03-01 10:53:00 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-28 08:50:06 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-27 20:25:25 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-27 20:13:48 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-27 16:51:03 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-27 14:39:53 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-27 14:04:08 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-26 11:18:28 linux-kernel Re: [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-24 13:49:18 linux-kernel [PATCH v3] tools/memory-model: Make ppo a subrelation of po
2023-02-06 20:21:40 linux-kernel Re: Current LKMM patch disposition
2023-02-06 20:20:07 linux-kernel Re: Current LKMM patch disposition
2023-02-01 10:52:04 linux-kernel Re: [PATCH] locking/atomic: atomic: Use arch_atomic_{read,set} in generic atomic ops
2023-02-01 10:39:17 linux-kernel Re: [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-02-01 10:32:27 linux-kernel Re: [Patch 2/2] tools/memory-model: Provide exact SRCU semantics
2023-01-31 15:34:07 linux-kernel Re: [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-01-31 15:27:14 linux-kernel Re: [PATCH] locking/atomic: atomic: Use arch_atomic_{read,set} in generic atomic ops
2023-01-31 13:56:43 linux-kernel Re: [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-01-30 12:41:58 linux-kernel Re: [PATCH] locking/atomic: atomic: Use arch_atomic_{read,set} in generic atomic ops
2023-01-29 22:20:18 linux-kernel Re: [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-01-27 15:58:29 linux-kernel Re: [PATCH v2 1/2] tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po
2023-01-27 15:03:59 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-27 14:32:21 linux-kernel Re: [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-01-27 13:20:33 linux-kernel Re: [PATCH v2 1/2] tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po
2023-01-26 16:32:08 linux-kernel Re: [Patch 2/2] tools/memory-model: Provide exact SRCU semantics
2023-01-26 13:42:52 linux-kernel [PATCH v2 2/2] tools/memory-model: Make ppo a subrelation of po
2023-01-26 13:42:43 linux-kernel [PATCH v2 1/2] tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po
2023-01-26 13:42:33 linux-kernel [PATCH v2 0/2] Streamlining treatment of smp_mb__after_unlock_lock
2023-01-26 12:19:07 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-26 11:31:00 linux-kernel Re: [Patch 2/2] tools/memory-model: Provide exact SRCU semantics
2023-01-25 21:12:22 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-25 21:05:13 linux-kernel Re: [Patch 2/2] tools/memory-model: Provide exact SRCU semantics
2023-01-25 20:36:38 linux-kernel Re: [Patch 1/2] tools/memory-model: Update some warning labels
2023-01-25 17:43:47 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-25 13:10:59 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-25 13:06:46 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po