Andrea Parri ([email protected])

Number of posts: 631 (0.19 per day)
First post: 2015-05-26 00:49:52
Last post: 2024-06-12 06:29:00

Date List Subject
2024-06-12 06:29:00 linux-kernel Re: riscv: link error when supporting KCSAN
2024-06-06 16:21:50 linux-kernel Re: [PATCH 2/2] tools/memory-model: Code reorganization in lock.cat
2024-06-06 16:19:18 linux-kernel Re: [PATCH 1/2] tools/memory-model: Fix bug in lock.cat
2024-06-05 19:55:19 linux-kernel Re: [PATCH v2] tools/memory-model: Document herd7 (abstract) representation
2024-06-05 19:26:58 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-06-05 17:25:12 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-06-05 16:52:34 linux-kernel Re: [PATCH v2] tools/memory-model: Document herd7 (abstract) representation
2024-06-05 14:06:43 linux-kernel [PATCH v2] tools/memory-model: Document herd7 (abstract) representation
2024-06-04 23:28:19 linux-kernel Re: [PATCH memory-model 3/3] tools/memory-model: Add KCSAN LF mentorship session citation
2024-06-03 00:41:54 linux-kernel Re: [PATCH 7/7] riscv: Add qspinlock support based on Zabha extension
2024-05-31 16:23:22 linux-kernel Re: [PATCH 7/7] riscv: Add qspinlock support based on Zabha extension
2024-05-30 15:27:50 linux-kernel Re: [PATCH -fixes v2] riscv: Fix fully ordered LR/SC xchg[8|16]() implementations
2024-05-30 14:09:49 linux-kernel Re: [PATCH -fixes] riscv: Fix fully ordered LR/SC xchg[8|16]() implementations
2024-05-30 11:55:16 linux-kernel Re: [PATCH -fixes] riscv: Fix fully ordered LR/SC xchg[8|16]() implementations
2024-05-29 00:56:41 linux-kernel Re: [PATCH 7/7] riscv: Add qspinlock support based on Zabha extension
2024-05-28 23:56:00 linux-kernel Re: [PATCH 2/7] riscv: Implement cmpxchg8/16() using Zabha
2024-05-28 18:16:48 linux-kernel Re: [PATCH 1/7] riscv: Implement cmpxchg32/64() using Zacas
2024-05-28 18:00:43 linux-kernel Re: [PATCH 4/7] riscv: Implement xchg8/16() using Zabha
2024-05-27 14:08:56 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 13:36:32 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-27 08:07:26 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 16:03:23 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 15:55:36 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 15:38:04 linux-kernel Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 15:16:11 linux-kernel [PATCH] tools/memory-model: Document herd7 (internal) representation
2024-05-24 03:30:47 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 16:36:18 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-23 09:04:40 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-22 16:54:48 linux-kernel Re: LKMM: Making RMW barriers explicit
2024-05-17 16:27:28 linux-kernel Re: [PATCH 2/6] rcu: Remove superfluous full memory barrier upon first EQS snapshot
2024-05-17 07:29:31 linux-kernel Re: [PATCH 2/6] rcu: Remove superfluous full memory barrier upon first EQS snapshot
2024-05-14 11:32:42 linux-kernel Re: [PATCH] tools/memory-model: Add atomic_andnot() with its variants
2024-05-08 15:37:12 linux-kernel Re: [PATCH] tools/memory-model: Add atomic_and()/or()/xor() and add_negative
2024-05-08 15:04:55 linux-kernel Re: [PATCH] riscv/atomic.h: optimize ops with acquire/release ordering
2024-05-08 01:17:33 linux-kernel Re: [PATCH memory-model 2/4] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-05-07 22:27:23 linux-kernel Re: [PATCH] riscv/atomic.h: optimize ops with acquire/release ordering
2024-05-05 22:46:13 linux-kernel Re: [PATCH] riscv/atomic.h: optimize ops with acquire/release ordering
2024-05-02 09:37:08 linux-kernel Re: [PATCH v2 memory-model 0/3] LKMM updates for v6.10
2024-04-09 17:35:54 linux-kernel Re: [PATCH cmpxchg 14/14] riscv: Emulate one-byte cmpxchg
2024-04-09 10:43:44 linux-kernel Re: [PATCH memory-model 2/3] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-04-05 10:05:29 linux-kernel Re: [PATCH memory-model 2/3] Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
2024-03-10 02:27:43 linux-kernel Re: Question about PB rule of LKMM
2024-03-08 21:38:22 linux-kernel Re: Question about PB rule of LKMM
2024-03-08 21:29:34 linux-kernel Re: Question about PB rule of LKMM
2024-03-07 21:06:26 linux-kernel Re: Question about PB rule of LKMM
2024-03-07 19:10:59 linux-kernel Re: Question about PB rule of LKMM
2024-03-07 18:19:01 linux-kernel Re: Question about PB rule of LKMM
2024-03-07 15:53:44 linux-kernel Re: Question about PB rule of LKMM
2024-03-06 19:24:57 linux-kernel Re: Question about PB rule of LKMM
2024-03-06 17:36:24 linux-kernel Re: Question about PB rule of LKMM
2024-03-05 18:01:12 linux-kernel Re: Question about PB rule of LKMM