Messages in this thread | | | Date | Fri, 20 Apr 2018 13:31:21 -0700 | From | "Paul E. McKenney" <> | Subject | Re: [PATCH 0/2] tools/memory-model: References updates |
| |
On Fri, Apr 20, 2018 at 06:30:11PM +0200, Andrea Parri wrote: > A couple of fixes to our references and comments: the first updating > ASPLOS information, the second adding a reference.
I applied both, thank you!
Thanx, Paul
> Cheers, > Andrea > > Cc: Alan Stern <stern@rowland.harvard.edu> > Cc: Will Deacon <will.deacon@arm.com> > Cc: Peter Zijlstra <peterz@infradead.org> > Cc: Boqun Feng <boqun.feng@gmail.com> > Cc: Nicholas Piggin <npiggin@gmail.com> > Cc: David Howells <dhowells@redhat.com> > Cc: Jade Alglave <j.alglave@ucl.ac.uk> > Cc: Luc Maranget <luc.maranget@inria.fr> > Cc: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> > Cc: Akira Yokosawa <akiyks@gmail.com> > > Andrea Parri (2): > tools/memory-model: Update ASPLOS information > tools/memory-model: Add reference for 'Simplifying ARM concurrency' > > tools/memory-model/Documentation/references.txt | 17 ++++++++++++----- > tools/memory-model/linux-kernel.bell | 4 ++-- > tools/memory-model/linux-kernel.cat | 4 ++-- > tools/memory-model/linux-kernel.def | 4 ++-- > 4 files changed, 18 insertions(+), 11 deletions(-) > > -- > 2.7.4 >
| |