Hernan Ponce de Leon ([email protected])

Number of posts: 18 (0.04 per day)
First post: 2023-01-20 14:37:44
Last post: 2024-06-10 08:38:49

Date	List	Subject
2024-06-10 08:38:49	linux-kernel	Re: [PATCHv2 0/4] tools/memory-model: Define more of LKMM in tools/memory-model
2024-05-30 18:33:58	linux-kernel	Re: [RFC][PATCH 0/4] tools/memory-model: Define more of LKMM in ,tools/memory-model
2024-05-27 17:58:22	linux-kernel	Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 12:31:09	linux-kernel	Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 12:25:40	linux-kernel	Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 08:16:50	linux-kernel	Re: LKMM: Making RMW barriers explicit
2024-05-23 14:26:59	linux-kernel	Re: LKMM: Making RMW barriers explicit
2024-05-22 19:48:53	linux-kernel	Re: LKMM: Making RMW barriers explicit
2024-05-21 11:42:28	linux-kernel	Re: LKMM: Making RMW barriers explicit
2024-05-16 08:54:12	linux-kernel	Re: LKMM: Making RMW barriers explicit
2024-05-15 06:45:39	linux-kernel	Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2023-03-06 09:18:24	linux-kernel	Re: lock_torture results for different patches:
2023-01-26 21:07:59	linux-kernel	Re: [PATCH] Fix data race in mark_rt_mutex_waiters
2023-01-26 09:42:48	linux-kernel	Re: [PATCH] Fix data race in mark_rt_mutex_waiters
2023-01-24 14:59:10	linux-kernel	Re: [PATCH] Fix data race in mark_rt_mutex_waiters
2023-01-22 15:25:06	linux-kernel	Re: [PATCH] Fix data race in mark_rt_mutex_waiters
2023-01-22 15:06:41	linux-kernel	[RFC] Potential unnecessary barrier in slow path of rt_mutex
2023-01-20 14:37:44	linux-kernel	[PATCH] Fix data race in mark_rt_mutex_waiters