jeeconf-May2013-concurrency
jeeconf-May2013-concurrency
jeeconf-May2013-concurrency
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Дело о беге с барьерами: #4<br />
Одна из оптимизаций клеит лишние барьеры:<br />
MB → store(x,1) → MB → load(r1,y) → MB<br />
В этой оптимизации есть ошибка. Она считает,<br />
что перед volatile read всё равно есть<br />
leading-барьер, и стирает актуальный:<br />
MB → store(x,1) → load(r1,y) → MB<br />
Slide 53/73. Copyright c○ 2013, Oracle and/or its affiliates. All rights reserved.