Linux非阻塞套接字多线程写入安全性及内核send()调用数据序列化问题

好问题！咱们把这些点拆解开来，一步步说清楚：

首先给你吃个定心丸：不管是阻塞还是非阻塞模式，Linux下TCP套接字的send()系统调用本身是线程安全的。内核层面会保证每个send()调用的原子性——也就是说，当两个线程同时对同一个套接字调用send()时，内核不会把两个线程的发送数据混在一起。比如线程A发"hello"，线程B发"world"，最终要么是"helloworld"要么是"worldhello"，绝对不会出现"hweolrllod"这种交错的情况。

两种模式的核心线程安全特性（send()的原子性）是完全一致的，但在调用行为上有明显区别：

• 阻塞模式：调用send()后，线程会被挂起，直到内核缓冲区接收了全部或者部分数据（取决于具体实现和参数）才会返回。如果多个线程同时调用，它们会排队等待内核处理，不会出现数据交错。
• 非阻塞模式：send()会立即返回——如果内核缓冲区有足够空间，就返回成功发送的字节数；如果空间不足，会直接返回EAGAIN或EWOULDBLOCK错误，这时候你需要自己处理重试逻辑。但哪怕是这种情况，内核依然会保证每个成功的send()调用的数据是完整的，不会和其他线程的数据交错。
• 额外提醒：非阻塞模式下，如果你收到EAGAIN后直接循环重试，可能会和其他线程的send()调用竞争内核缓冲区，但内核还是会帮你把数据序列化好，只是你需要注意不要让线程陷入无意义的忙等，通常可以结合epoll等I/O多路复用机制来处理。

内核为每个TCP套接字维护了一个发送队列，当多个线程调用send()时：

• 对于阻塞模式，内核会把每个send()的数据追加到队列中，线程会等待直到数据被处理；
• 对于非阻塞模式，如果队列有足够空间，数据被追加到队列，否则返回错误。
  内核会负责按队列里的顺序把数据发送给对端，所以不同线程的send()数据只会是一段接一段的，不会出现字节级的交错。不过要注意：发送顺序不一定和线程调用send()的顺序一致——因为线程调度是不确定的，线程A先调用send()，但线程B的调用可能先被内核处理，最终发送顺序可能是B的数据在前。但每一段数据都是完整的，这点可以放心。

最后补充个小细节：虽然send()本身是线程安全的，但如果你的用户态代码里有共享的缓冲区、计数器或者其他状态变量（比如记录已发送字节数），这些部分的同步需要你自己加锁保护——内核只负责系统调用层面的线程安全，不管用户态的逻辑。

内容的提问来源于stack exchange，提问作者vibhav950