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

Next Page
Date List Subject
2024-06-10 09:09:31 linux-kernel Re: [PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-06-10 08:05:03 linux-kernel Re: [PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-06-05 20:00:42 linux-kernel Re: [PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-06-05 19:57:16 linux-kernel Re: [PATCHv2 3/4] tools/memory-model: Define effect of Mb tags on RMWs in tools/...
2024-06-05 10:14:21 linux-kernel Re: [PATCHv2 2/4] tools/memory-model: Define applicable tags on operation in tools/...
2024-06-04 16:50:53 linux-kernel [PATCHv2 4/4] tools/memory-model: Distinguish between syntactic and semantic tags
2024-06-04 16:18:58 linux-kernel [PATCHv2 1/4] tools/memory-model: Legitimize current use of tags in LKMM macros
2024-06-04 16:18:01 linux-kernel [PATCHv2 3/4] tools/memory-model: Define effect of Mb tags on RMWs in tools/...
2024-06-04 16:05:22 linux-kernel [PATCHv2 2/4] tools/memory-model: Define applicable tags on operation in tools/...
2024-06-04 15:53:07 linux-kernel [PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-05-29 14:34:49 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-29 14:34:06 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-29 12:38:00 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-28 14:48:03 linux-kernel Re: [RFC][PATCH 4/4] tools/memory-model: Distinguish between syntactic and semantic tags
2024-05-28 12:50:20 linux-kernel Re: [RFC][PATCH 4/4] tools/memory-model: Distinguish between syntactic and semantic tags
2024-05-27 15:45:41 linux-kernel [RFC][PATCH 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-05-27 15:45:12 linux-kernel [RFC][PATCH 3/4] tools/memory-model: Define effect of Mb tags on RMWs in tools/...
2024-05-27 15:44:42 linux-kernel [RFC][PATCH 4/4] tools/memory-model: Distinguish between syntactic and semantic tags
2024-05-27 15:43:45 linux-kernel [RFC][PATCH 1/4] tools/memory-model: Legitimize current use of tags in LKMM macros
2024-05-27 15:25:58 linux-kernel [RFC][PATCH 2/4] tools/memory-model: Define applicable tags on operation in tools/...
2024-05-27 14:32:05 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 14:26:55 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 13:23:04 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 13:15:55 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 18:10:08 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 20:31:17 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 14:37:32 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 14:28:15 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 12:54:50 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-22 09:21:26 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-21 09:58:12 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-17 07:45:45 linux-kernel Re: [RFC] Mitigating unexpected arithmetic overflow
2024-05-16 08:35:55 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-07 09:12:05 linux-kernel Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-05-07 09:04:05 linux-kernel Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-05-06 16:31:36 linux-kernel Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-05-06 10:06:36 linux-kernel Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-05-06 09:09:54 linux-kernel Re: [RFC+Patch] Formal models as source of truth for Software Architects.
2024-05-06 08:39:55 linux-kernel Re: [PATCH 0/4] arm64: Support the TSO memory model
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