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.
next prev parent 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