diff for duplicates of <20180307105242.GA6133@andrea> diff --git a/a/1.txt b/N1/1.txt index 174797a..2df0ed9 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -1,5 +1,5 @@ On Tue, Mar 06, 2018 at 06:02:28PM -0800, Palmer Dabbelt wrote: -> On Mon, 05 Mar 2018 10:24:09 PST (-0800), parri.andrea at gmail.com wrote: +> On Mon, 05 Mar 2018 10:24:09 PST (-0800), parri.andrea@gmail.com wrote: > >Current implementations map locking operations using .rl and .aq > >annotations. However, this mapping is unsound w.r.t. the kernel > >memory consistency model (LKMM) [1]: @@ -77,8 +77,8 @@ On Tue, Mar 06, 2018 at 06:02:28PM -0800, Palmer Dabbelt wrote: > >Cc: Akira Yokosawa <akiyks@gmail.com> > >Cc: Ingo Molnar <mingo@kernel.org> > >Cc: Linus Torvalds <torvalds@linux-foundation.org> -> >Cc: linux-riscv at lists.infradead.org -> >Cc: linux-kernel at vger.kernel.org +> >Cc: linux-riscv@lists.infradead.org +> >Cc: linux-kernel@vger.kernel.org > >--- > > arch/riscv/include/asm/fence.h | 12 ++++++++++++ > > arch/riscv/include/asm/spinlock.h | 29 +++++++++++++++-------------- diff --git a/a/content_digest b/N1/content_digest index ab2c993..6eb0ae4 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,13 +1,29 @@ "ref\01520274249-21815-1-git-send-email-parri.andrea@gmail.com\0" "ref\0mhng-e21e88a4-fa27-4d22-8862-6e0377300edd@palmer-si-x1c4\0" - "From\0parri.andrea@gmail.com (Andrea Parri)\0" - "Subject\0[RFC PATCH 1/2] riscv/spinlock: Strengthen implementations with fences\0" + "From\0Andrea Parri <parri.andrea@gmail.com>\0" + "Subject\0Re: [RFC PATCH 1/2] riscv/spinlock: Strengthen implementations with fences\0" "Date\0Wed, 7 Mar 2018 11:52:42 +0100\0" - "To\0linux-riscv@lists.infradead.org\0" + "To\0Palmer Dabbelt <palmer@sifive.com>\0" + "Cc\0albert@sifive.com" + Daniel Lustig <dlustig@nvidia.com> + stern@rowland.harvard.edu + Will Deacon <will.deacon@arm.com> + peterz@infradead.org + boqun.feng@gmail.com + npiggin@gmail.com + dhowells@redhat.com + j.alglave@ucl.ac.uk + luc.maranget@inria.fr + paulmck@linux.vnet.ibm.com + akiyks@gmail.com + mingo@kernel.org + Linus Torvalds <torvalds@linux-foundation.org> + linux-riscv@lists.infradead.org + " linux-kernel@vger.kernel.org\0" "\00:1\0" "b\0" "On Tue, Mar 06, 2018 at 06:02:28PM -0800, Palmer Dabbelt wrote:\n" - "> On Mon, 05 Mar 2018 10:24:09 PST (-0800), parri.andrea at gmail.com wrote:\n" + "> On Mon, 05 Mar 2018 10:24:09 PST (-0800), parri.andrea@gmail.com wrote:\n" "> >Current implementations map locking operations using .rl and .aq\n" "> >annotations. However, this mapping is unsound w.r.t. the kernel\n" "> >memory consistency model (LKMM) [1]:\n" @@ -85,8 +101,8 @@ "> >Cc: Akira Yokosawa <akiyks@gmail.com>\n" "> >Cc: Ingo Molnar <mingo@kernel.org>\n" "> >Cc: Linus Torvalds <torvalds@linux-foundation.org>\n" - "> >Cc: linux-riscv at lists.infradead.org\n" - "> >Cc: linux-kernel at vger.kernel.org\n" + "> >Cc: linux-riscv@lists.infradead.org\n" + "> >Cc: linux-kernel@vger.kernel.org\n" "> >---\n" "> > arch/riscv/include/asm/fence.h | 12 ++++++++++++\n" "> > arch/riscv/include/asm/spinlock.h | 29 +++++++++++++++--------------\n" @@ -277,4 +293,4 @@ "> #endif /* _ASM_RISCV_SPINLOCK_H */\n" > -a6c3666cf7ddf423feb2f623430549f36ee9f26cfe3db61b908d3875e8a244bd +a3f1516856c43fba1cbd1b13be50bacec879aaa98eab66d14c5217d7eedc4de7
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.