From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Aborting requeued entry calls
Date: Fri, 2 Aug 2002 15:33:17 GMT
Date: 2002-08-02T15:33:17+00:00 [thread overview]
Message-ID: <wcc65ytcm2q.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: aidms0$13rsfh$1@ID-77047.news.dfncis.de
Dmitry A.Kazakov <mailbox@dmitry-kazakov.de> writes:
> Hi!
>
> I have a problem and a question. Consider the following:
>
> package Test_Abort is
> protected Thing is
> entry Foo_1;
> entry Foo_2;
> end Thing;
> end Test_Abort;
> ------------------------
> with Ada.Text_IO; use Ada.Text_IO;
>
> package body Test_Abort is
> protected body Thing is
> entry Foo_1 when True is
> begin
> Put_Line ("Foo_1 requeues to Foo_2");
> requeue Foo_2; -- w/o abort
> end Foo_1;
> entry Foo_2 when False is
> begin
> null;
> end Foo_2;
> end Thing;
> end Test_Abort;
> -------------------------
> with Test_Abort; use Test_Abort;
> with Ada.Text_IO; use Ada.Text_IO;
>
> procedure Test is
> begin
> select
> delay 1.0;
> then abort
> Thing.Foo_1;
> end select;
> Put_Line ("Why is that abortable?");
> end Test;
> --------------------------
>
> The problem. From what I read about requeue with no abort I would expect
> that Test should hang forever.
Yes, I think that's correct.
- Bob
next prev parent reply other threads:[~2002-08-02 15:33 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-08-02 22:34 Aborting requeued entry calls Dmitry A.Kazakov
2002-08-02 15:33 ` Robert A Duff [this message]
2002-08-05 13:29 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox