Implicit Computation of Synchronization Primitives

  title={Implicit Computation of Synchronization Primitives},
  author={Richard A. DeMillo and Raymond E. Miller},
  journal={Inf. Process. Lett.},
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