lkml.org 
[lkml]   [2018]   [Apr]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH RFC tools/memory-model] Add s390.{cfg,cat}
On Tue, Apr 03, 2018 at 09:50:19AM -0400, Alan Stern wrote:
> On Mon, 2 Apr 2018, Paul E. McKenney wrote:
>
> > > > I will look at this more later, reaching end of both battery and useful
> > > > attention span...
> >
> > Like the following, perhaps?
> >
> > Thanx, Paul
> >
> > ------------------------------------------------------------------------
> >
> > s390
> >
> > include "fences.cat"
> > include "cos.cat"
> >
> > (* Fundamental coherence ordering *)
> > let com = rf | co | fr
> > acyclic po-loc | com as coherence
> >
> > (* Atomic *)
> > empty rmw & (fre;coe) as atom
> >
> > (* Fences *)
> > let mb = [M] ; fencerel(Mb) ; [M]
> >
> > (* TSO with multicopy atomicity *)
> > let po-ghb = ([R] ; po ; [M]) | ([M] ; po ; [W])
> > acyclic mb | po-ghb | fr | rf | co as sc
>
> Yes, that should work okay (apart from issues related to ordering of
> atomic accesses).
>
> By the way, what does that last "sc" stand for? Surely not Sequential
> Consistency! You might consider renaming it to "tso-mca".

Good point, fixed.

But it is the closest to SC in commercial computing systems, for whatever
that is worth. ;-)

Thanx, Paul

\
 
 \ /
  Last update: 2018-04-03 17:16    [W:0.044 / U:0.504 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site