Jonas Oberhauser ([email protected])

Number of posts: 104 (0.2 per day)
First post: 2022-12-01 12:59:53
Last post: 2024-05-07 09:12:05

Previous Page / Next Page
Date List Subject
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)
2023-01-23 19:41:06 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-23 19:34:29 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-23 18:28:21 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-23 16:17:15 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-23 14:00:43 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-23 11:49:30 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-21 01:07:36 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-21 00:11:54 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 22:41:00 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 22:35:39 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 22:21:02 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 22:20:51 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 21:13:06 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 13:19:25 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 12:39:11 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 11:22:24 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-20 10:26:57 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 10:10:03 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-20 09:52:05 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-19 16:06:04 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-19 14:29:20 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-19 11:57:16 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-18 22:47:27 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-18 21:42:52 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-18 21:42:52 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-18 21:37:41 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-18 21:29:16 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-18 13:09:36 linux-kernel Re: [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-18 12:12:03 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-17 22:29:26 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-17 21:57:35 linux-kernel [PATCH] tools/memory-model: Make ppo a subrelation of po
2023-01-17 20:45:54 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
2023-01-17 18:44:25 linux-kernel Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)