约会如何运作？

Question

我正在攻读考试,很难理解Rendezvous.这是我正在寻找的一个例子

While(1) {
 select{
  when a == TRUE :
   accept A() {f1; b=FALSE}
  when b == TRUE :
   accept B() {f2; a=FALSE}
  else {a=true; b=true}
 }
}

以下调用按给定顺序到达:A(),B(),B(),A(),A(),B()

接听电话的顺序是什么？A或B的来电者可以饿死吗？

我真的很感激任何帮助.提前致谢.

Answer 1

那不是阿达.完全没有.

有关使用实际Ada进行任务的一些指导,请阅读Ada Distilled的第14章.

说实话,如果你不认识你的例子不是阿达,你可能应该从第1章开始.