假设我有两个线程,T1和T2。
线程T1在TCP套接字S上进行阻塞的write()调用,以发送较大的字节B1缓冲区。字节B1的缓冲区很大,以致(a)写调用块和(b)TCP必须使用多个段来发送缓冲区。
线程T2还在同一TCP套接字S上进行了阻塞的write()调用,以发送字节B2的其他一些大缓冲区。
我的问题是这样的:
UNIX上的TCP实现是否保证B1的所有字节先于B2的所有字节发送(反之亦然)?
或者TCP可以交织B1和B2的内容(例如,TCP发送一个包含B1数据的段,然后发送一个具有B2数据的段,然后又发送一个具有B1数据的段)。
PS-我知道这样做不是一个好主意。我正在尝试确定一些我未编写的代码是否正确。
TL; DR: 出于编写和调试代码的目的,假定原子性是安全的,除非您的目标是生命支持系统。
如果tcp套接字上的send(2)(与相同write(2))不是原子的,那将总是不好的。从来没有充分的理由实现非原子写入。Unix和Windows的所有版本都试图保持原子写操作,但是显然很少提供保证。
send(2)
write(2)
Linux 通常 被称为 “通常” 1.做到这一点,但即使在最近的内核中,它也存在错误。它确实尝试锁定套接字,但是在某些情况下,内存分配可能会失败,并且写入将被拆分。有关详细信息,请参阅sendmsg上的此IBM博客条目。 [链接已修复。]
根据那些测试,只有AIX和Solaris完全通过了线程压力测试。甚至不知道那些系统是否有根本没有发现的故障案例。
1. TL; DR:几乎总是,即,除非存在某些错误,否则总是这样。