gdb/testsuite/gdb.ada/mi_task_arg/task_switch.adb

   1 --  Copyright 2011-2012 Free Software Foundation, Inc.
   2 --
   3 --  This program is free software; you can redistribute it and/or modify
   4 --  it under the terms of the GNU General Public License as published by
   5 --  the Free Software Foundation; either version 3 of the License, or
   6 --  (at your option) any later version.
   7 --
   8 --  This program is distributed in the hope that it will be useful,
   9 --  but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 --  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 --  GNU General Public License for more details.
  12 --
  13 --  You should have received a copy of the GNU General Public License
  14 --  along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 procedure Task_Switch is
  17
  18    -------------------
  19    -- Declaractions --
  20    -------------------
  21
  22    task type Callee is
  23       entry Finito;
  24    end Callee;
  25    type Callee_Ptr is access Callee;
  26
  27    task type Caller is
  28    end Caller;
  29    type Caller_Ptr is access Caller;
  30
  31    procedure Break_Me;
  32
  33    My_Caller : Caller_Ptr;
  34    My_Callee : Callee_Ptr;
  35
  36    ------------
  37    -- Bodies --
  38    ------------
  39
  40    task body Callee is
  41    begin
  42       --  Just wait until we are told to terminate this task.
  43       --  This is just to maintain this task alive.
  44       accept Finito do
  45          null;
  46       end Finito;
  47    end Callee;
  48
  49    task body Caller is
  50    begin
  51       Break_Me;
  52       My_Callee.Finito;
  53    end Caller;
  54
  55    procedure Break_Me is
  56    begin
  57       null;
  58    end Break_Me;
  59
  60 begin
  61
  62    --  Make sure to create the Callee task first... And then give it
  63    --  enough time to complete its activation phase before we start
  64    --  the Caller task.
  65    My_Callee := new Callee;
  66    delay 0.1;
  67
  68    My_Caller := new Caller;
  69
  70 end Task_Switch;