真的不明白为什么我的程序不工作

Question

我确实花了很多时间来解决这个问题并四处寻找解决方案，但我似乎找不到问题所在。

我正在学习如何编写 occam 代码并编写以下程序：

PROC light (CHAN OF BYTE screen, CHAN OF INT light.change)
  INT light.on :
  WHILE TRUE
    SEQ
      light.change ? light.on
      IF
        light.on = 1
          screen ! 'y'
        TRUE
          SKIP
:

PROC test(CHAN OF BYTE keyboard, scr)
  CHAN OF INT to.light :
  INITIAL INT on IS 1(INT) :
  BYTE b :
  SEQ
    light(scr, to.light)
    WHILE TRUE
      SEQ
        keyboard ? b
        IF
          b = 'o'
            to.light ! on
          TRUE
            SKIP
:

我想做的就是当我按“o”键时从一个进程与另一个进程进行通信。

我从 (KRoC) 编译器收到的错误消息是：

Error at lift.occ:11
Program failed, state = e, eflags = 00000000

这是 light.on = 1 行。

据我所知， light PROC 将等待其 light.change channel 然后将其分配给其 light.on 变量。然后，程序将继续执行条件语句 IF，其中 light.on = 1 行在本例中应计算为 <代码>true。但我却收到了这个错误。

我尝试使用 -verbose 标志，但编译器表示您不能将其用于 .occ 文件。

有谁知道我如何或是否可以从编译器获取更详细的信息？

对此的任何帮助将不胜感激。

谢谢

Answer 1

上面的代码为我编译，当运行达到死锁时，

james:conc$ occbuild --program light.occ 
james:conc$ light
KRoC: deadlock: no valid processes found in workspace(s)

KRoC: program deadlocked (no processes to run)

我还可以让它以详细模式运行，如下所示

occbuild -v --program light.occ 

在不同的说明上，您可能想要更改结构。尝试使用三个 PROC

PROC is.light.on(CHAN BYTE screen! , CHAN INT light.control)
  WHILE TRUE
...output to terminal if light is on or off

PROC light.switch(CHAN BYTE keyboard? , CHAN INT light.control)
  WHILE TRUE
...use the keyboard to turn light on and off

PROC light(CHAN BYTE keyboard? , screen!)
  CHAN INT light.control:--0 for light on;1 for light off
  PAR
    light.switch(keyboard? , light.control!)
    is.light.on(screen! , light.control?)