.. (לתיקייה המכילה) | ||
A write that follows read in the same thread is causally dependent. What about two writes in the same thread? Other operations? | |
The main issue in all the memory models is the order in which all the writes are observed by different threads. Two writes in the same thread are causally dependent if they are to the same variable. Two writes in different threads or to different variables may be concurrent, in which case the order in which they are observed by different threads does not matter. Two writes W1 in thread T1 and W2 in thread T2 to the same or different variables may be potentially causally dependent, if the value written by W1 has been read in thread T2 before the write W2. |
Does causal consistency imply coherence or vice versa? | |
No. Try to find counterexamples to both. |