Re: Ada Networking (General/Design)

[tmoran@acm.org]

> In an Ada friendly way they should be entry calls, with the semantics of
> canceling the request when a timed entry call gets timed out. That is when
> the socket is blocking:
>
>     select
>         Socket.Receive (Packet);
>     or delay 10.0;  -- Failed to read
>     or terminate; -- Yes I know, it is illegal to have terminate + delay
>     end select;
>
> Or maybe other way round, they should be "entry points" to which socket I/O
> could call to.
>
  Get(Socket, Timeout => 10.0,
      Item => Buffer,
      Last => Last);
  where Last = Buffer'first-1 on timeout, seems simpler to me.

> For non-blocking I/O there should be a way to have a pseudo-task ran by the
> events on the socket, rather than scheduled.
  That's what overidable procedures When_Connect, When_Readable,
When_Disconnect, etc are for.  They are called when the event occurs.