The subsequent instructions after sync(F) in thread Ti must wait until all write operations of the threads in F and their subthreads are complete. 2.2 State Update for a Memory Location In the LC model, the state of a memory location is a partialanbsp;...
|Title||:||Algebraic Methodology and Software Technology|
|Author||:||José Meseguer, Grigore Rosu|
|Publisher||:||Springer - 2008-07-29|