Jonas Oberhauser ([email protected])

Number of posts: 137 (0.25 per day)
First post: 2022-12-01 12:59:53
Last post: 2024-06-10 09:09:31

Previous Page / Next Page
Date List Subject
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
2023-01-24 20:23:54 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-24 19:57:21 linux-kernel Re: [PATCH] tools/memory-model Flag suspicious use of srcu cookies
2023-01-24 19:31:57 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-24 16:41:02 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-24 15:55:34 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-24 15:12:04 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-24 14:36:01 linux-kernel [PATCH] tools/memory-model Flag suspicious use of srcu cookies
2023-01-24 13:22:25 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-24 13:14:50 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-24 12:55:46 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-23 20:22:35 linux-kernel Re: [PATCH] Fix data race in mark_rt_mutex_waiters
2023-01-23 20:07:38 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)