Re: Freezing a task

[anon@att.net]

--
--  Complete Program
--

with Text_IO ;

procedure u is

  use Text_IO ;

  task type test is
      entry Start ;    -- initialize and start task
                       -- and task can die if parent stops

      entry Wait ;     -- Send task to sleep for a while 
                       -- and task can die if parent stops

      entry Continue ; -- wake up task
      entry Stop ;     -- stops and kill task
  end test ;


  task body test is

      Count : Integer ;
    begin
      --  Initialize task 
      Count := 0  ;
      Outer_Loop : loop 
        select
          --  start task
          accept Start ;
            Put_Line ( "Start" ) ;

            Main_Loop : loop 
              select

                --  pause task
                accept Wait ; 
                  Put_Line ( "Wait" ) ;
                  New_Line ;

                  select

                    --  sofware wake up task
                    accept Continue ;
                      Put_Line ( "Continue" ) ;

                  --  software exit while in wait mode
                  or
                    accept Stop ; 
                      Put_Line ( "Stop" ) ;
                      exit Outer_Loop ;

                  --  exit if parent fails while in wait mode
                  or 
                    terminate ;
                  end select ;

              --  software exit (abort) while in normal 
              --  execution mode
              or 
                accept Stop ; 
                    Put_Line ( "Stop" ) ;
                    exit Outer_Loop ;

              else
                -- - - - - - - - - - - --
                --  Main Tasking Code  --
                -- - - - - - - - - - - --
                Put ( "Testing" ) ;
                Put ( Integer'Image ( Count ) ) ;        
                New_Line ;
                Count := Count + 1 ;
              end select ;
          end loop Main_Loop ;

        --  exit if parent fails
        or
          terminate ;
        end select ;
      end loop Outer_Loop ;
      Put_Line ( "Task has Terminated" ) ;
    end test ;

 testing_task      : test ;

begin
  Put_Line ( "Start Tasking" ) ;
  New_Line ;
  --
  testing_task.Start ;
  delay ( 0.01 ) ;
  testing_task.Wait ;
  delay ( 1.0 ) ;
  testing_task.Continue ; 
  delay ( 0.01 ) ;
  testing_task.Wait ;
  --
  delay ( 1.0 ) ;
  testing_task.Stop ; 
  delay ( 0.5 ) ;
  New_Line ;
end u ;


In <32992849.648.1321544004241.JavaMail.geo-discussion-forums@vbmh5>, "Rego, P." <pvrego@gmail.com> writes:
>Is is possible to freeze a task?
>
>I mean, if I have a task
>
>task body My_Task is
>begin=20
>  accept Start;
>  loop
>    Put ("1");
>    Put ("2");
>    Put ("3");
>    ...
>    Put ("n");
>  end loop;
>end My_Task;
>
>is there a way that I can "freeze" the task in its current state? If, for i=
>nstance, the execution finished executing Put ("2");, how can I freeze it a=
>nd later I can turn it to continue? I want to provoque a freeze from outsid=
>e the task, and also from outside, order it to continue.
>
>I could sure implement, if I had the spec like
>
>type State_Type is
>  (RUN,
>   FROZEN);
>
>task type My_Task (State : State_Type) is
>   entry Start;
>end My_Task;
>--
>
>the body:
>
>task body My_Task is
>begin=20
>  accept Start;
>  loop
>    Put ("1");
>    Put ("2");
>    Put ("3");
>    ...
>    Put ("n");
>
>    loop=20
>     if State =3D RUN then exit; end if;
>    end loop;
>  end loop;
>end My_Task;
>
>but it would not be the case because I had to wait for the nth Put instruct=
>ion line (i.e., the task would not be actually frozen, because the inside l=
>oop would be running).
>
>And T.E.D. from stackoverflow suggested me something that I could infer as
>
>task type My_Task (Start : Start_Type) is=20
>   entry Start;
>   entry Run;
>end My_Task
>--
>task body My_Task is
>begin=20
>  accept Start;
>  loop
>    Put ("1");
>    Put ("2");
>    Put ("3");
>    ...
>    Put ("n");
>
>    if State =3D FROZEN then=20
>       accept Run;
>       State :=3D RUN;
>    end if;
>  end loop;
>end My_Task;
>
>Is there a more elegant way to do this? Maybe some procedure My_Task.Freeze=
>Now in a unknown (by me) package? Thanks