MIPS(MARS)中无法从堆内存检索存储集合值的问题求助

核心问题定位方向 #

• 堆基地址未正确保存：MIPS中通过sbrk分配堆内存后，必须将返回的起始地址（存在$v0）存入寄存器（如s0/s1）或全局变量。如果后续检索时使用硬编码地址或错误指针，必然读不到正确数据。
• 内存偏移计算错误：MIPS中整数占4字节，存储和检索时必须按4字节步长偏移地址。若偏移量用1字节或其他值，会导致访问到数据的中间字节或相邻数据，读出无效值（如0）。
• 集合无结束标记：若未在集合末尾添加结束标识（如-1），检索时可能越界读取堆中未初始化的0区域，误判元素不存在。

关键代码检查示例 #

正确的堆内存分配与指针保存

# 分配堆内存（示例：存储4个整数的集合）
li $v0, 9          # 调用sbrk系统调用
li $a0, 16         # 申请16字节（4*4）
syscall
move $s0, $v0      # 将堆起始地址存入$s0，后续所有访问基于此指针

正确的数据存储方式

# 存储二进制1的位置到堆（假设$t0、$t1是提取的位置）
sw $t0, 0($s0)     # 第一个元素，偏移0字节
sw $t1, 4($s0)     # 第二个元素，偏移4字节（整数步长）
li $t2, -1
sw $t2, 8($s0)     # 添加结束标记，避免越界

正确的检索逻辑

# $a0是待判断的整数，$s0是集合堆基地址
move $t0, $s0
check_loop:
lw $t1, 0($t0)
beq $t1, -1, not_in_set  # 遍历到结束标记，未找到
beq $t1, $a0, in_set     # 匹配到目标值
addi $t0, $t0, 4         # 偏移4字节，访问下一个元素
j check_loop

in_set:
# 执行元素存在的逻辑（如返回1）
j end_check
not_in_set:
# 执行元素不存在的逻辑（如返回0）
end_check:

额外排查点 #

• 检查存储时的寄存器值：在sw指令前添加打印（如用syscall 1输出$t0/$t1），确认要存储的集合值正确。
• 检查堆地址有效性：分配后打印$v0的值，确认后续检索时使用的地址是该值的偏移，而非其他错误地址。

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