Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIA

First Page		Document Content
Date: 2012-09-10 07:41:00 Computer memory Memory barrier Gamma-Hydroxybutyric acid		Fences in Weak Memory Models Jade Alglave1 , Luc Maranget1 , Susmit Sarkar2 , and Peter Sewell2 1 INRIA Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 211,76 KB Share Document on Facebook