comp.lang.ada
 help / color / mirror / Atom feed
From: ishikawa@arielworks.com
Subject: Re: requeue with abort and timed call
Date: Sat, 3 Jan 2009 08:49:18 -0800 (PST)
Date: 2009-01-03T08:49:18-08:00	[thread overview]
Message-ID: <a0204e36-2c30-4c5f-916c-a47a9fd23d3d@w39g2000prb.googlegroups.com> (raw)
In-Reply-To: mq5gjg.bai.ln@hunter.axlog.fr

Timed entry call (select else/ select or delay) for protected objects
seems broken too...

with Ada.Text_IO; use Ada.Text_IO;
procedure Timed_Protected is
   protected P is
      entry E1;
      entry E2;
   end P;

   protected body P is
      entry E1 when True is
      begin
         Put_Line ("E1");
         delay 5.0; -- takes over Parent's delay
         Put_Line ("E1 done");
      end E1;

      entry E2 when True is
      begin
         Put_Line ("E2");
      end E2;
   end P;

   task T1 is
   end T1;

   task body T1 is
   begin
      P.E1;
   end T1;

begin
   delay 0.2; -- to ensure start after T1
   Put_Line ("Parent selecting");
   select
      P.E2;
   else
      Put_Line ("Parent canceling");
   end select;
end Timed_Protected;

This code outputs;
E1
Parent selecting
E1 done
E2

I think the code should output:
E1
Parent selecting
Parent canceling
E1 done

The both problems might have the same cause.



  reply	other threads:[~2009-01-03 16:49 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-28 13:24 requeue with abort and timed call ishikawa
2008-12-28 14:30 ` Dmitry A. Kazakov
2008-12-28 15:53   ` christoph.grein
2008-12-28 16:09     ` christoph.grein
2008-12-28 17:46       ` ishikawa
2008-12-29 10:23         ` christoph.grein
2008-12-29 10:55           ` Dmitry A. Kazakov
2008-12-29 11:17             ` christoph.grein
2008-12-29 12:27               ` Dmitry A. Kazakov
2008-12-28 17:16     ` Dmitry A. Kazakov
2008-12-28 21:42       ` Robert A Duff
2008-12-29 10:42       ` Jean-Pierre Rosen
2008-12-29 21:05         ` sjw
2008-12-30  9:25           ` Jean-Pierre Rosen
2008-12-30 13:18             ` christoph.grein
2008-12-30 15:39               ` Jean-Pierre Rosen
2008-12-30 17:01                 ` christoph.grein
2008-12-30 17:16                   ` ishikawa
2008-12-30 15:54               ` ishikawa
2008-12-30 21:33             ` sjw
2008-12-30 22:52               ` Robert A Duff
2008-12-31  9:21               ` Jean-Pierre Rosen
2008-12-31 15:39                 ` christoph.grein
2008-12-31 16:14                   ` Jean-Pierre Rosen
2009-01-03 16:49                     ` ishikawa [this message]
2009-01-03 21:09                       ` Jeffrey R. Carter
2009-01-04 15:40                         ` christoph.grein
2009-01-04 17:09                           ` Jeffrey R. Carter
2009-01-04 18:03                         ` ishikawa
2009-01-04 18:56                           ` Dmitry A. Kazakov
2009-01-04 23:17                             ` belteshazzar
2009-01-05  9:12                               ` Dmitry A. Kazakov
2009-01-05  2:48                             ` Jeffrey R. Carter
2009-01-05  9:30                               ` Dmitry A. Kazakov
2009-01-05 20:28                                 ` Jeffrey R. Carter
2009-01-05 20:47                                   ` Dmitry A. Kazakov
2009-01-06  2:35                                     ` Jeffrey R. Carter
2009-01-05 10:17                           ` Jean-Pierre Rosen
2008-12-28 15:53 ` sjw
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox