Instruções esquemáticas

Estas instruções permitem representar esquematicamente segmentos de código para resolver problemas de exclusão mútua e de produtores-consumidores. O sua importância reside principalmente na forma como permitem controlar a terminação dos programas.

• noncritical
  Esta instrução permite caracterizar um segmento de actividade não crítica em programas de exclusão mútua. Não é necessário que a sua execução termine. Nos programas em que a noção de região crítica não faz sentido poderá ser usada a instrução idle que tem o mesmo comportamento.
• critical
  Esta instrução permite caracterizar um segmento de actividade crítica em programas de exclusão mútua. A sua execução deve terminar sempre.
• produce x
  Num programa baseado no paradigma produtor-consumidor, esta instrução representa a acção de produzir. Na prática, o seu efeito consiste em atribuir um valor não negativo à variável x. Esta instrução deve terminar sempre.
• consume y
  Representa a acção de consumir. Esta instrução também deve terminar sempre.
• choose y
  ??