06.08.2013 Views

Threads in the new ISO C Standard from 2011

Threads in the new ISO C Standard from 2011

Threads in the new ISO C Standard from 2011

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Cumulative Order<strong>in</strong>g<br />

If <strong>the</strong> memory accesses ordered by a memory barrier executed by one<br />

processor Pi also take <strong>in</strong>to account memory accesses executed by<br />

o<strong>the</strong>r processors as described below <strong>the</strong> barrier is cumulative.<br />

By applicable storage accesses for a barrier is meant <strong>the</strong> storage<br />

access which are ordered by that barrier.<br />

Two rules:<br />

The A-set also <strong>in</strong>cludes all applicable storage accesses made by o<strong>the</strong>r<br />

processors which have completed with respect to Pi before <strong>the</strong> barrier<br />

is created (by execut<strong>in</strong>g <strong>the</strong> barrier <strong>in</strong>struction).<br />

The B-set also <strong>in</strong>cludes all applicable accesses made by any processor<br />

Pj after Pj has executed a load that returned a value stored by an<br />

<strong>in</strong>struction <strong>in</strong> <strong>the</strong> B-set.<br />

The B-set expands recursively.<br />

Jonas Skeppstedt (js@cs.lth.se) Lecture 6 2013 55 / 70

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!