task - 卡住 Ada 任务

Question

如何卡住任务？

我的意思是，如果我有任务

task body My_Task is
begin 
  accept Start;
  loop
    Put ("1");
    Put ("2");
    Put ("3");
    ...
    Put ("n");
  end loop;
end My_Task;

有没有办法可以将任务“卡住”在当前状态？例如，如果执行完成了 Put ("2");，我如何卡住它并稍后可以将其继续？我想从任务外部引发卡住，并从外部命令它继续。

更新

如果我有这样的规范，我肯定可以实现

type State_Type is
  (RUN,
   FROZEN);

task type My_Task (State : State_Type) is
   entry Start;
end My_Task;

body

task body My_Task is
begin 
  accept Start;
  loop
    Put ("1");
    Put ("2");
    Put ("3");
    ...
    Put ("n");

    loop 
     if State = RUN then exit; end if;
    end loop;
  end loop;
end My_Task;

但事实并非如此，因为我必须等待第 n 个 Put 指令行(即，任务实际上不会被卡住，因为内部循环将运行)。

Answer 1

您可以使用“选择性接受”来允许外部调用者(另一个任务或主程序)中断您的任务。您不能(轻易)在任务执行过程中的任意时刻中断任务；相反，任务本身需要确定何时接受入口调用。

所以你可能想要替换你的序列

Put("1");
Put("2");
Put("3");
...
Put("n");

通过在每次迭代时调用一次 Put 的循环，并每次执行一个 select 语句。

这是我刚刚编写的一个演示程序。计数器每秒(大约)递增一次。如果 Running 为 true，则打印计数器值；否则循环会默默地进行。主程序每3秒交替调用Pause和Resume。

如果两个条目都没有被调用，select 语句中的 else 子句会导致它继续执行。

with Ada.Text_IO; use Ada.Text_IO;
procedure T is

    task Looper is
        entry Pause;
        entry Resume;
    end Looper;

    task body Looper is
        Running: Boolean := True;
        Count: Integer := 0;
    begin
        loop
            select
                accept Pause do
                    Running := False;
                end;
            or
                accept Resume do
                    Running := True;
                end;
            else
                null;
            end select;
            delay 1.0;
            if Running then
                Put_Line("Running, Count = " & Integer'Image(Count));
            end if;
            Count := Count + 1;
        end loop;
    end Looper;

begin -- T
    loop
        delay 3.0;
        Looper.Pause;
        delay 3.0;
        Looper.Resume;
    end loop;
end T;

可能还有比这更优雅的方法。已经很久没有真正使用Ada了。