Implicit Computation of Synchronization Primitives

@article{DeMillo1979ImplicitCO,
  title={Implicit Computation of Synchronization Primitives},
  author={Richard A. DeMillo and Raymond E. Miller},
  journal={Inf. Process. Lett.},
  year={1979},
  volume={9},
  pages={35-38}
}
TWO folk-theorems recur in the published literature of synchronization theory. The first of these states that synchronization systems are difficult to analyze because either: (1) the number of interactions between parallel instructions is combinatorially explosive [7], or (2) explicit computational power is present in the underlying model [ 3,6] . The… CONTINUE READING