GNAT implementation of socket sets

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

GNAT.Sockets implementation of Socket_Set_Type has no operation to walk 
that set by position. It seemed not a big issue until I noticed that the 
implementation of

    procedure Get (Item : in out Socket_Set_Type; Socket : out Socket_Type);
    --  Extract a Socket from socket set Item. Socket is set to
    --  No_Socket when the set is empty.

seems to always return the last element of the set.

If so, it imposes a severe problem for an application that deals with 
multiple non-blocking sockets, because it prioritizes connections with 
sockets with greater file numbers. Under heavy load the application will 
serve only one connection.

Typically such issues are resolved by a round-robin schema to balance 
the load. But that requires walking the set and extracting an element at 
a position.

Can anybody confirm that and suggest a workaround?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de