Re: GNAT: Unbounded_Strings

[Florian Weimer <fw@deneb.enyo.de>]

Florian Weimer <fw@deneb.enyo.de> writes:

> "Maxim Reznik" <max1@mbank.com.ua> writes:
> 
>> I propose another implementation of Unbounded_Strings using
>> reference counting.
> 
> Your implementation is not task safe,

I was asked to explain this, so here we go.

Have a look at the following code:

        declare
           A, B : Unbounded_String;

        begin
           A := Fetch_Some_Data;
           B := A;
           Do_Something_With (A);
           Do_Something_Else_With (B);
        end;

Do_Something_With creates a task which continues to run after
Do_Something_With returns.  The task and Do_Something_Else_With both
modify A and B at some point.

According to the ARM (A) this is allowed:

  3. The implementation shall ensure that each language defined
     subprogram is reentrant in the sense that concurrent calls on the
     same subprogram perform as specified, so long as all parameters
     that could be passed by reference denote nonoverlapping objects.

A and B are clearly non-overlapping, so the situation describe above
is completely valid, in particular, it does not result in erroneous
execution.

However, your code does not synchronize the two task when the a local
copy of a shared string is made.  As a result, your subprograms are
not reentrant, and therefore not conforming to the implementation
requirement quoted above.