Question

我当前正在尝试从客户端套接字读取传入消息，该消息在以下过程之前已经连接到服务器套接字。以下过程从流中检索消息时，一次输出一个字符。

问题在于，当流中的信息不足时，对Ada.Streams.Read的调用将被阻塞，并完全停止应用程序流。根据一些示例，似乎Offset应该在流的末尾自动设置为0，但这从未发生。而是应用程序停止在对Read的调用。

procedure Read_From (Channel : Sockets.Stream_Access) is

    use Ada.Text_IO;
    use Ada.Streams;

    Data   : Stream_Element_Array (1 .. 1);
    Offset : Stream_Element_Offset;
begin
    loop
        Read (Channel.All, Data, Offset);
        exit when Offset = 0;
        Put (Character'Val (Data (1)));
    end loop;

    -- The application never reaches this point.

    New_Line;
    Put_Line ("Finished reading from client!");
end Read_From;
-- @param Channel `GNAT.Sockets.Stream (Client_Socket)`

我也尝试过与GNAT.Sockets.Receive_Socket进行相同的处理，但是仍然存在相同的问题：应用程序流已完全停止，即使没有更多可检索的信息，也可能正在等待流中的更多信息。

任何正确方向的指针将不胜感激！

Answer 1

通常，您会从流中读取一条（二进制）消息，该消息知道需要读取多少数据，因此您可以进行读取，直到获得足够的数据为止。

但是，如果您正在从外部定义的源中读取文本消息（可能是HTTP请求），则需要有一些终止符序列，以便可以逐字符读取字符，直到您阅读了终结者。如果是HTTP请求，则为CR / LF / CR / LF序列。或者它可以是一个以N结尾的C字符串，在这种情况下，您将寻找ASCII.NUL。

传输变长文本的Ada方法是使用String’Output / String’Input（请参见ARM 13.13.2(18) ff）。对于String（Character的数组）来说，首先发送边界，然后发送内容；接收时，读取边界，创建具有这些边界的String，并将所需的字节数读取到新的String中，然后将其返回。

Answer 2

基本上，这就是Ada流的工作方式。只有在到达流的末尾时才结束流，而不仅仅是缓冲区的当前端。

如果您希望能够中断读取，则必须使用GNAT.Sockets.Stream_Access以外的其他连接表示形式。

检索后从套接字流阻止中读取

2 个答案: