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

Bru*_*man 11 sockets linux multithreading tcp

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

Dig*_*oss 12

它尝试

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


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

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

根据这些测试,只有AIX和Solaris完全通过了线程压力测试.目前尚不清楚这些系统是否存在根本没有发现的故障情况.


1. TL; DR:几乎总是,即总是存在某种错误.

  • 您链接到该页面末尾的表显示FreeBSD和OS X也不提供原子套接字发送(因此我们可以安全地假设您感到震惊吗?;).我不确定这是一个错误 - 我相信这是该页面上的重要句子:*作为一个重要问题,POSIX/SUSv3标准开发人员表明套接字I/O的原子性是"未指定的".* (2认同)