通配符匹配 DP 多线程冲突：并发场景的同步控制方案

通配符匹配的DP解法

通配符匹配问题通常通过动态规划（DP）解决。定义 dp[i][j] 表示字符串 s 的前 i 个字符与模式 p 的前 j 个字符是否匹配。状态转移方程如下：

• 若 p[j-1] == '*'：
  dp[i][j] = dp[i][j-1] || dp[i-1][j]
  （匹配空字符或继续匹配当前字符）
• 若 p[j-1] == '?' 或 s[i-1] == p[j-1]：
  dp[i][j] = dp[i-1][j-1]
  初始化时 dp[0][0] = true，且 dp[0][j] 需处理开头的连续 '*'。

多线程并发冲突问题

在并发场景中，多线程同时修改DP表可能导致数据竞争。例如：

• 多个线程同时读写 dp[i][j]
• 线程间依赖未完成的中间状态（如 dp[i-1][j]）

同步控制方案

方案1：细粒度锁

为DP表的每个单元格分配独立的锁（如 std::mutex）。线程修改 dp[i][j] 前需获取对应锁，但可能引发死锁或性能瓶颈。

方案2：阶段化并行

将DP表按对角线划分阶段，每条对角线的单元格 (i+j=const) 无依赖关系，可并行计算。需屏障同步（如 std::barrier）确保阶段完整性。

方案3：只读共享与私有拷贝

• 主线程初始化DP表，工作线程拷贝私有副本处理局部数据。
• 合并时通过原子操作（如 std::atomic) 或锁更新全局表。

方案4：无锁数据结构

使用原子操作实现无锁更新。例如：

std::atomic<bool> dp[MAX][MAX];
dp[i][j].compare_exchange_weak(old_val, new_val);

需处理ABA问题，适用于低冲突场景。

性能权衡建议

• 低冲突场景：优先无锁或阶段化并行。
• 高冲突场景：细粒度锁结合任务窃取（如 TBB 库）。
• 超大DP表：考虑分块或分布式计算框架（如 Spark）。