Implicit-signal monitors

@article{Buhr2005ImplicitsignalM,
  title={Implicit-signal monitors},
  author={Peter A. Buhr and Ashif S. Harji},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2005},
  volume={27},
  pages={1270-1343}
}
An implicit (automatic) signal monitor uses a waituntil predicate statement to construct synchronization, as opposed to an explicit-signal monitor using condition variables and signal/wait statements for synchronization. Of the two synchronization approaches, the implicit-signal monitor is often easier to use and prove correct, but has an inherently high execution cost. Hence, its primary use is for prototyping concurrent systems using monitors, where speed and accuracy of software development… CONTINUE READING