From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5b0308c42409e5df
X-Google-Attributes: gid103376,public
From: "R. Tim Coslet" <coslett@kaisere.com>
Subject: Re: Protected Objects (Geeenhills & VxWorks)
Date: 2000/02/10
Message-ID: <38A3847B.3954E093@kaisere.com>#1/1
X-Deja-AN: 584397974
Content-Transfer-Encoding: 7bit
References: <38A30F81.F0CAF1E6@kaisere.com> <38A31EF9.ECE0B395@averstar.com>
 <38A33B11.5019A281@kaisere.com> <38a37a91.0@news.pacifier.com>
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-la.pbi.net 950240214 206.170.2.191 (Thu,
 10 Feb 2000 19:36:54 PST)
Organization: SBC Internet Services
MIME-Version: 1.0
NNTP-Posting-Date: Thu, 10 Feb 2000 19:36:54 PST
Newsgroups: comp.lang.ada
Date: 2000-02-10T00:00:00+00:00
List-Id: <comp.lang.ada>

While I'd still like to know what is going wrong with what I had before, I
gave up on this approach.

I removed the Check_For_Timeout procedure and all the private variables
except Available. Then changed the call to the Send entry in the I/O
Processing Task to a Timed Entry Call (LRM section 9.7.2)... and
everything seems to work fine now.

DuckE wrote:

> Suggestion:  Just for grins try the following minor restructing:
>
>   protected type Example_Protected_Object is
>
>     entry Send;
>     procedure Signal_Available;
>     procedure Check_For_Timeout;
>
>   private
>
>     Available : Boolean := False;
>     I_Am_Tired_Of_Waiting : Boolean := False;
>     Waiting : Boolean := False;
>     CanSend : Boolean := False;
>   end Example_Protected_Object;
>
>   protected body Example_Protected_Object is
>
>   entry Send when CanSend is
>   begin
>
>     -- Do some things here...
>
>     -- reset the barrier flags
>     Available := False;
>     I_Am_Tired_Of_Waiting := False;
>
>     -- reset the waiting flag
>     Waiting := False;
>     CanSend := Available or I_Am_Tired_Of_Waiting;
>   end Send;
>
>   procedure Signal_Available is
>   begin
>
>     -- set the barrier flag to indicate data has been received
>     Available := True;
>     CanSend := Available or I_Am_Tired_Of_Waiting;
>   end Signal_Available;
>
>   procedure Check_For_Timeout is
>   begin
>
>     -- set the barrier flag to indicate data has not been received
>     I_Am_Tired_Of_Waiting := Waiting;
>
>     -- set the waiting flag
>     Waiting := True;
>     CanSend := Available or I_Am_Tired_Of_Waiting;
>   end Check_For_Timeout;
>
>   end Example_Protected_Object;
>
> The logic is exactly the same as what you had before, but the blocking
> condition is a simple boolean.
>
> I have found that in practice this makes things go more smoothly (not
> to mention it makes the logic easier to follow).
>
> I hope this helps.
>
> SteveD