From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00,URI_HEX autolearn=no
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8ddc02527645a844
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-31 22:24:51 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!69103-cm.able.ES!not-for-mail
From: Jano <nono@celes.unizar.es>
Newsgroups: comp.lang.ada
Subject: Re: tasking with GNAT 3.14p on windows
Date: Tue, 1 Apr 2003 08:25:22 +0200
Message-ID: <MPG.18f34f3adce9a7169896ce@News.CIS.DFN.DE>
References: <Xns934E8C5D49EFBerndSpechtgmxcom@62.153.159.134>
 <3e87f4e2$1@epflnews.epfl.ch> <7vu1djubmk.fsf@vlinux.voxelvision.no>
 <MPG.18f2a01651aa20aa9896cb@News.CIS.DFN.DE>
 <b6a1nm$1ogu$1@msunews.cl.msu.edu> <wcck7ef9bzv.fsf@shell01.TheWorld.com>
 <b6b445$2q7t$1@msunews.cl.msu.edu>
NNTP-Posting-Host: 69103-cm.able.es (212.97.169.103)
X-Trace: fu-berlin.de 1049178289 3629963 212.97.169.103 (16 [49872])
X-Newsreader: MicroPlanet Gravity v2.50
Xref: archiver1.google.com comp.lang.ada:35846
Date: 2003-04-01T08:25:22+02:00
List-Id: <comp.lang.ada>

Chad R. Meiners dice...
> 
> "Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
> news:wcck7ef9bzv.fsf@shell01.TheWorld.com...
> >
> > The Ada RM has nothing to say about system calls, so of course they are
> > not guaranteed (by the RM) to be abortable.  But I'm very interested in
> > what GNAT does with system calls in the presence of abort.  Can you tell
> > us what happens if, say, a socket read is aborted?  And if it's not
> > abortable, how does one work around that fact?
> 
> Ah, such a good question.  The quick answer is that one does not depend on
> the use of aborts when doing socket programing ;)  Actually according to
> winsock if you close the socket while another task is block on it waiting
> for a read it will return a from the read function with an error.  So if you
> want to shutdown you socket servers close your sockets and then abort your
> tasks.

Indeed, I think AWS does that: it closes sockets from a watchdog task 
while blocked for I/O in another. 

-- 
-------------------------
Jano
402450.at.cepsz.unizar.es
-------------------------