Imported Monolitic Monitor

["Juan Carlos Díaz Martín" <juancarl@unex.es>]

Let's be the C procedures in a module that share global data

 a
 b
 c

and I make a C library with them. This library will be used by a
multitasked Ada95 application by the pragma Import

Tasks T, Q and R may invoke a, b or c in a concurrent, uncontrolled way.
Isn't it? I'm interested in a, b and c to be executed in mutual
exclusion to preserve global data integrity. The question is: How do I
do it in Ada95?
I've thought in a protected object, such as:

protected Monitor is
  procedure a;
  procedure b;
  procedure c;
end Monitor;

The object could be used:

with Monitor;
procedure P is
begin
  ...
  a; b; c;
  ...
end P;

task T is      task Q is     task R is
begin          begin         begin
  P;             P;            P;
end;           end;          end;

Does this way guarantee mutual exclusion of a, b and c??? Any ideas??

Thanks in advance
Juan Carlos