Java 套接字是 FIFO 的吗？

Question

在同一个套接字上发送的不同消息是否总是以 FIFO 顺序从另一端接收？

我在任何地方都找不到此信息，我知道 TCP 会对数据包重新排序，但它是否也适用于同一连接上的单独消息？

如果不是，那么用于网络通信并在两个对等点之间保留 FIFO 顺序的 Java 类是什么？

编辑：

正如评论指出的那样，套接字中没有消息。我指的是以下用法：

ObjectOutputStream writer = new ObjectOutputStream(socket.getOutputStream());
writer.writeObject(obj1);
writer.writeObject(obj2);

那些被授予以相同顺序接收的对象吗？

Answer 1

在同一个套接字上发送的不同消息是否总是以 FIFO 顺序从另一端接收？

套接字不是消息流。抽象不支持该概念。同样，TCP 是用于发送字节序列的协议。

套接字按照发送者发送字节流的顺序将字节流传递给接收者。TCP 协议实现保证¹数据不会重新排序。实际网络数据包可能被丢弃、重传和/或乱序接收的事实由协议栈处理。

（您可以设计和实现基于消息的应用程序协议，使用 TCP 作为其传输协议。例如，指定特定的字节值来表示消息的开始和结束。应用程序级消息不会被 TCP 重新排序，因为表示它们的字节流不会重新排序。）

^{1 - 我应该限定这一点。TCP / IPv4 在每个网络数据包中使用校验和（16 位 CRC）来防止传输错误。然而，理论上，数据包可能会被损坏，导致两个字节被调换而 CRC 仍然有效。“保证”忽略了这一点。}

我指的是以下用法：

ObjectOutputStream writer = 
        new ObjectOutputStream(socket.getOutputStream());
writer.writeObject(obj1);
writer.writeObject(obj2);

我们已经解释过套接字保留字节的顺序。因此，如果上述代码和匹配的接收代码中发生任何重新排序，这将是ObjectOutputStream和ObjectInputStreamAPI 中某些内容的结果。

我在 javadoc 或 Java 对象序列化规范中没有找到任何明确声明对象按相同顺序写入和读取的内容。然而，这就是协议和 API 的设计工作方式以及实现的实际行为方式。

这些对象是否保证以相同的顺序接收？

在实践²中，是的。您可以通过检查 OpenJDK 代码库中各个类的源代码来验证这一点。（任何版本。）

^{2 - 如果在实践中情况并非如此，那么任何涉及序列化/反序列化对象流的应用程序都可能会崩溃。会有Java 错误报告、序列化损坏的抱怨等等。如果“他们”改变了这种行为，这种情况也会发生。}