[jmm-dev] thin-air summary

Luc Maranget luc.maranget at inria.fr
Thu Feb 20 08:50:00 PST 2014

Dear all,

We have extended our litmus testing infrastructure so as to handle C11
(small) programs.

I have just run Mark and Peter examples on one ARM system
(DragonBroard, running some old android)
with experimental gcc cross compiler with -O2
(arm-linux-gnueabi-gcc (GCC) 4.9.0 20140213 (experimental))

We exactly observe the results predicted by Peter in his note
on the  first five examples (we cannot handle the sixth example yet)

                        |Kind  | APQ8060     
LB                      |Allow | Ok, 332/100M
LB+datas                |Forbid| Ok, 0/100M  
LB+ctrl+data+po         |Allow | Ok, 2/100M  
LB+ctrl+data+ctrl-double|Allow | Ok, 6/100M  
LB+ctrl+data+ctrl-single|Forbid| Ok, 0/100M  


> Dear all,
> Mark Batty and I have written a short note trying to summarise the
> thin-air problem as crisply as we can:
> http://www.cl.cam.ac.uk/~pes20/cpp/notes42.html
> Comments welcome, of course.   We've also been thinking here about
> possible approaches; hopefully we'll have another note about that in a
> few days.
> Peter


More information about the jmm-dev mailing list