假设我有两个线程,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 - 我知道这样做并不是一个好主意。我正在尝试确定一些我没写的代码是否正确。
答案 0 :(得分:11)
TL; DR:出于编写和调试代码的目的,假设原子性是安全的,除非你的目标是生命支持系统。
如果tcp套接字上的send(2)
(与write(2)
相同)不是原子的,那么总是会很糟糕。实现非原子写入从来没有充分的理由。所有版本的Unix和Windows都试图保持写入原子,但显然很少提供保证。
知道Linux通常是“通常” 1. 得到这个权利,但它有一个错误,即使在最近的内核中也是如此。它确实尝试锁定套接字,但在某些情况下,内存分配可能会失败并且写入将被分开。有关详细信息,请参阅this IBM blog entry on sendmsg。 [Link fixed。]
根据这些测试,只有AIX和Solaris完全通过了线程压力测试。目前尚不清楚这些系统是否存在根本没有发现的故障情况。
<小时/> 1。 TL; DR:几乎总是,即除非出现某种错误,否则总是存在。