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 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".

Alan

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