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

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中，然后将其返回。