FIFO页面置换算法C语言实现陷入无限循环问题求助

问题概述 #

我用C语言实现页面置换算法，之前类似代码可正常运行，但当前复现代码时程序陷入无限循环。排查发现，处理页面命中/未命中的for循环停滞，current变量无限制递增，多次调试仍无法解决。

测试输入参数：

• 请求数：7
• 帧大小：3
• 请求序列：1, 3, 0, 3, 5, 6, 3

核心排查方向及修复方案 #

1. 循环终止条件错误 #

检查处理命中/未命中的for循环边界，比如是否误将<写成<=，或者循环的终止值与实际帧大小不匹配。这种错误会导致current一直满足循环条件，无法退出。

2. 命中后未终止循环 #

如果页面命中判断的循环中，命中后没有用break跳出循环，current会一直递增到帧大小，若后续逻辑重复触发该循环，就会导致current无限累加。示例修正：

// 正确的命中判断逻辑
int hit = 0;
for(current = 0; current < frame_size; current++){
    if(frames[current] == request){
        hit = 1;
        break; // 命中后立即终止循环，避免current无意义递增
    }
}

3. 帧数组初始化不规范 #

如果帧数组未初始化（值为随机垃圾数据），可能导致命中判断逻辑混乱，比如误将垃圾值判定为命中，让循环陷入异常分支。建议用特定值（如-1）初始化空帧：

int frames[3] = {-1, -1, -1}; // 用-1标记空帧位置

4. current变量更新逻辑混乱 #

检查current的所有赋值场景，确保只有在需要置换页面时才递增，且递增后有合理的边界控制（比如配合取模运算限制在帧大小范围内）。以FIFO置换算法为例：

if(!hit){
    // 未命中时用FIFO规则置换
    frames[current % frame_size] = request;
    page_faults++;
    current++;
}

调试技巧 #

• 在current变量每次变化时打印其值，追踪它在循环中的变化轨迹，定位触发无限递增的循环分支
• 单步调试逐行执行，观察是否在某个分支中陷入了重复执行的死循环
• 打印每次循环的帧状态和请求值，验证命中/未命中的判断逻辑是否符合预期

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