Data dependency: Difference between revisions

Revision as of 17:16, 19 September 2019

Revision as of 17:41, 19 September 2019

Line 20:

* Anti-dependence: <math>I(S_1) \cap O(S_2) \neq \varnothing</math>, <math>S_1 \rightarrow S_2</math> and <math>S_1</math> reads something before <math>S_2</math> overwrites it

* Flow (data) dependence: <math>O(S_1) \cap I(S_2) \neq \varnothing</math>, <math>S_2S_1 \rightarrow S_1S_2</math> and <math>S_1</math> writes before something read by <math>S_2</math>

* Output dependence: <math>O(S_1) \cap O(S_2) \neq \varnothing</math>, <math>S_1 \rightarrow S_2</math> and both write the same memory ___location.