为什么连接跟踪在会话确认（confirmed）后，不允许再更新拓展-CSDN博客

本文链接：https://blog.csdn.net/alittlefish1/article/details/142919818

__nf_ct_ext_add_length 相关的代码处理的是为连接追踪条目（nf_conn）动态添加扩展数据的情况，扩展数据可以包含与连接相关的额外信息（如 NAT 状态、超时信息等）。为了高效管理内存，扩展区域的分配是延迟的，即它并不总是预先分配，而是在需要时动态地添加。这种动态操作是内核管理连接追踪条目扩展的机制之一。

为什么会有竞态条件？

竞态条件（race condition）主要是因为多个处理路径（如并发执行的网络处理代码）同时访问和修改同一个连接追踪条目的扩展区域。在多线程、多处理器环境中，如果没有进行正确的同步处理，可能会出现以下问题：

多个并发访问：在内核中，多个处理线程可能同时访问和操作连接追踪条目。如果其中一个线程正在执行 __nf_ct_ext_add_length 以扩展某个条目，其他线程可能会同时尝试访问或修改该条目的扩展数据，导致数据不一致或者访问非法内存区域。
重分配内存问题：__nf_ct_ext_add_length 的核心操作是为现有的 nf_conn 条目分配或重新分配扩展区域内存。这可能涉及到将现有的条目从一个内存块复制到一个更大的内存块中（扩展原来的数据结构）。如果在扩展过程中该连接条目已经被确认并在别的地方使用，可能会出现竞争条件，导致不一致的数据或指针操作。

竞态发生的场景

竞态条件的发生通常在以下场景中：

连接条目已确认：一旦连接追踪条目被确认（即 nf_ct_is_confirmed(ct) 返回 true），意味着该条目已经被纳入到 conntrack 表，并且可能会被多个系统组件访问。如果在确认后尝试对该条目进行重新分配或修改扩展数据，而没有进行必要的同步操作，可能会导致其他组件获取到旧的、过时的扩展数据或指针，造成数据不一致。
扩展区域修改：__nf_ct_ext_add_length 的操作本质是修改或添加新的扩展区域。如果条目已经确认并且被其他内核子系统（例如 NAT、状态跟踪）同时访问和修改，而没有锁定机制，可能会导致多个线程同时修改相同的内存区域，触发竞态。

为什么在确认之前不允许扩展？

一旦连接条目被确认，它就进入了“活跃”状态，其他网络处理组件会对它进行访问。如果此时扩展或修改条目的内存布局（如增加扩展区域），就有可能引发以下问题：

指针失效：如果在确认后的条目中进行内存重新分配操作，原本指向旧内存区域的指针可能会失效或指向无效区域，其他处理器/线程在访问这些指针时会产生不可预料的后果（例如内存访问冲突或数据错误）。
数据不一致：多个线程同时访问和修改扩展数据时，可能发生部分写入，即某些线程可能只看到部分更新的数据，导致数据不一致或逻辑错误。

为什么 `WARN_ON(nf_ct_is_confirmed(ct))`？

为了防止这种竞态条件的发生，内核通过检查条目是否已经确认，确保在确认之前完成所有的扩展数据分配和修改工作。具体做法就是使用 WARN_ON(nf_ct_is_confirmed(ct))，当条目已经确认时，打印警告信息并提醒开发者：此时不应进行扩展或重新分配操作。

总结

__nf_ct_ext_add_length 之所以会有竞态条件，是因为它会对连接追踪条目进行动态内存分配或扩展，而这些操作如果发生在条目确认后，可能会导致多个线程同时访问和修改该条目，从而引发数据不一致或内存访问问题。内核通过检查 nf_ct_is_confirmed(ct) 来避免在确认后对条目进行扩展，以防止竞态条件的发生。