[jmm-dev] thin-air summary

[Luc Maranget]

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  


--Luc



> 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

-- 
Luc