Quote: protect all condition variables with a boolean expression; guarantees that the expression is true despite an inconsistent Signal or Broadcast

Quotation Skeleton

[Producer-consumer] is an example of the following general … Thread.Wait(m,c) END;' … [p. 102] With this style it is immediately clear … be verified only by looking at all the … [Hoare's original design for monitors avoided the extra test for 'expression' at the cost of a more complicated implementation.] … A final advantage of this convention is that … to ensure that only the correct threads are …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: Modula-3's condition variables are simpler than Hoare's original design for monitors

Related Topics

Topic: waitfor condition in parallel processing (20 items)
Topic: concurrency control by monitors (24 items)