用数组实现资源竞争检测的核心是将共享资源映射为数组索引，用元素值表示锁定状态（如0空闲、1占用），但数组访问必须受互斥锁保护，否则检测逻辑自身会引发竞态；可扩展为结构体数组记录线程ID、时间戳等信息以增强调试能力。
用数组实现资源竞争检测，核心是把每个共享资源映射为数组的一个索引位置，用数组元素值记录该资源当前的锁定状态——比如 0 表示空闲，1 表示已被某线程占用。这种方式虽不如专业锁机制健壮，但轻量、直观，特别适合教学演示、嵌入式小系统或调试阶段快速验证竞争逻辑。
用整型数组模拟资源池与锁定表
假设系统有 5 个可被争抢的资源（如缓冲区槽位、设备句柄编号等），我们声明一个长度为 5 的数组：
int resource_lock[5] = {0}; // 初始全空闲
每个下标（0~4）代表一个资源 ID，对应值表示其锁定状态。注意：该数组本身是全局共享的，访问它仍需同步——否则检测逻辑自身就会产生竞态。因此，**必须先用基础锁（如互斥锁）保护这个数组的读写操作**。
- 申请资源时：先加锁 → 扫描数组找第一个值为 0 的位置 → 将其设为 1 → 记录线程 ID（可选）→ 解锁 → 返回该下标
- 释放资源时：先加锁 → 将对应下标值设为 0 → 解锁
- 检测冲突：加锁后遍历数组，统计值为 1 的个数；若发现某资源被重复标记（如两个线程都写 1 未加保护），说明检测逻辑已失效——这本身就是一次竞争暴露
实战中记录锁定状态的关键字段
单纯用 0/1 不足以支撑完整追踪。建议扩展为结构体数组，每个元素包含：
struct ResourceState {
int locked; // 0=空闲，1=已锁
long owner_tid; // 持有者线程 ID（Linux 可用 syscall(SYS_gettid)）
long lock_time; // 锁定时间戳（毫秒级，用于超时判断）
int reentrant_cnt; // 可选：支持重入计数
};
这样在日志或调试时就能输出类似：
[2026-05-11 14:42:33] Resource #3 locked by thread 1287 (held 427ms)
便于回溯谁在何时占用了什么，是否长时间未释放，是否存在单点阻塞。
避免检测逻辑自身引发新竞争
数组作为“锁的状态看板”，它的读写操作必须原子且受保护。常见错误是只保护业务代码，却放任状态数组被并发读写：
- ❌ 错误：直接对
resource_lock[i] = 1赋值，无任何同步 - ✅ 正确：所有对该数组的读、写、遍历，都包裹在同一把互斥锁内（例如 C++ 的
std::mutex mtx或 Python 的threading.Lock()） - ⚠️ 提示：若性能敏感，可用原子类型替代整型（如
std::atomic_int resource_lock[5]），但原子操作仅保证单次读写安全，扫描多个元素仍需整体加锁，否则看到的是中间不一致状态
一个可运行的简化 C++ 示例片段
以下代码演示如何用数组记录并打印锁定状态：
#include
#include
#include
#include
#include
std::vector
std::mutex state_mtx; // 保护该数组的锁
void log_state(const char* msg) {
state_mtx.lock();
std::cout for (size_t i = 0; i std::cout if (i }
std::cout state_mtx.unlock();
}
调用 log_state("Before acquire") 和 log_state("After release") 即可在关键路径输出实时状态，无需额外工具即可肉眼观察竞争发生时机。
