一尘不染

在多个线程的同一TCP套接字上发出阻塞write()调用是否安全?

linux

假设我有两个线程,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-我知道这样做不是一个好主意。我正在尝试确定一些我未编写的代码是否正确。


阅读 407

收藏
2020-06-07

共1个答案

一尘不染

尝试

TL; DR: 出于编写和调试代码的目的,假定原子性是安全的,除非您的目标是生命支持系统。


如果tcp套接字上的send(2)(与相同write(2))不是原子的,那将总是不好的。从来没有充分的理由实现非原子写入。Unix和Windows的所有版本都试图保持原子写操作,但是显然很少提供保证。

Linux 通常 被称为 “通常”
1.做到这一点,但即使在最近的内核中,它也存在错误。它确实尝试锁定套接字,但是在某些情况下,内存分配可能会失败,并且写入将被拆分。有关详细信息,请参阅sendmsg上的此IBM博客条目
[链接已修复。]

根据那些测试,只有AIX和Solaris完全通过了线程压力测试。甚至不知道那些系统是否有根本没有发现的故障案例。


1. TL; DR:几乎总是,即,除非存在某些错误,否则总是这样。

2020-06-07