Re: Strange behavior by Ada tasks

[jcallen@Encore.COM (Jerry Callen)]

kpierce@umn-d-ub.D.UMN.EDU (Keith Pierce) writes:

 [Introductory comments regarding use of Ada tasking to implement
  semaphores and protected variables a la Booch deleted.]


>with Semaphore;
>
>package Nat_Package is
>  type Protected_Natural is limited private;
>  procedure Add_One (To_Number : in out Protected_Natural);
>  procedure Put (The_Number : in Protected_Natural);
>private
>  type Protected_Natural is
>    record
>      The_Value : Natural := 0;
>      Guard : Semaphore.Kind;
>    end record;
>end Nat_Package;

 [More code and stuff deleted]

The problem lies in the fact that Protected_Natural is being passed to
Add_One by *copy* and not by *reference*. This is legal (see LRM 6.2, 
paragraphs 6 through 8), but it means that the two tasks are updating
DIFFERENT copies of The_Value (each task has a copy on its own stack).

I was able to make your code work by making Protected_Natural an access
type that points to the record containing the natural and the task and
adding a Create procedure to allocate the record. This causes both tasks
to access the same (the only) copy of The_Value.


-- Jerry Callen
   jcallen@encore.com
   (508) 460-0500 (work)