Re: Protected Objects (Geeenhills & VxWorks)

["DuckE" <nospam_steved@pacifier.com>]

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