Re: Abort of C-code in a asynchronous_select

[Vincent Smeets <VSmeets@meppen.sema.slb.com>]

Thierry Lelegard wrote:
> 
> > select
> >    State.Not_Active;
> > then abort
> >    C_Driver.Read (Data, Data_Last);
> > end select;
> >
> > I am assuming that in case the Read-call is aborted, the semaphore in C
> > isn't freed because C doesn't know anything about the Ada-abort. Am I
> > correct and how can I do it better?
> 
> It entirely depends on the operating system and the implementation
> of the Ada95 runtime. In your specific case, you can't even be sure
> that the Read call is aborted. It may block until the read completes
> (ie. the abort is ineffective).

Thanks,

I have redisgned it already for not using an ATC. I was thinking myself
of it as a too great risk of being system-dependent.

As a note: I am using GNAT 3.13p on Solaris 2.6 and the C_Driver.Read
routine isn't directly a Solaris driver but an emulation of an
driver/device written in C with sockets. Later the Ada software shall
run on an embedded system with pSOS+.


-- 
Vincent Smeets
SchlumbergerSema -
Competence Center Informatik GmbH 
Lohberg 10 - 49716 Meppen - Germany
tel:  +49 5931-805-461
fax:  +49 5931-805-175
mail: VSmeets@slb.com
web:  www.cci.de