Question

我正在使用ARMv8进行编码。我几乎完成了我的代码，除了遇到问题。当我运行代码时，我得到了＃34;分段错误（核心转储）＆＃34;错误。出现这个问题的原因是，当这行评论// THIS ONE A执行时，它会在x24中存储一个非常大的数字，当它应该存储一个介于0-50之间的数字时。因此，在标记为// THIS ONE B和C的行中，代码试图指向x29 + 2 ^ 40左右，而不是x29 +（0-50）。

我试过通过代码查找错误号码存储到i_s指针的位置，但我找不到它。我还尝试了将代码B和C改为x21的代码，它运行得非常好。

最令我困惑的部分是，在代码中出现此问题之前，我在testOut标记之后有一条几乎完全相同的代码行。唯一的区别是它工作的地方，我存储到x21，它不工作的地方，它存储到x24。并且i_s指向从工作负载到损坏负载的值没有变化。

注意：有问题的行位于代码底部附近

define(SIZE, 50)
define(v_base_r, x19)       //stack location of index 0
define(ind_r, x20)      //index of array

i_size = 4
j_size = 4
min_size = 4
temp_size = 4
v_size = 50*4
alloc = -(16+i_size+j_size+min_size+temp_size+v_size) & -16
dealloc = -alloc

i_s = 16
j_s = 20
min_s = 24
temp_s = 28
v_s = 32

fmt1:       .string "v[%d]: %d\n"       //i, v[i]

fmt2:       .string "\nSorted array:\n"

fmt3:       .string "v[%d]: %d\n"       //i, v[i]
    .balign 4

    .global main

main:       stp x29, x30, [sp, alloc]!

    mov x29, sp

    add v_base_r, x29, v_s
mov ind_r, 0            //initialize index to 0
        b inittest
init:
        bl rand
        and w0, w0, 0xFF
        str w0, [v_base_r, ind_r, lsl 2]//stores current rand()&&0xFF into v[ind_r]

        adrp x0, fmt1
        add x0, x0, :lo12:fmt1
        mov x1, ind_r
        ldr w2, [v_base_r, ind_r, lsl 2]

        bl printf           //Printing "v[index]: (value at index)"

        add ind_r, ind_r, 1     //repeats for index + 1

inittest:   
        cmp ind_r, SIZE
        b.lt init
mov x21, 0

    str x21, [x29, i_s]     //initialize i to 0

    b testOut
forOut:     
        str x21, [x29, min_s]       //x21 is still holding the value of i from testOut
        add x22, x21, 1
        str x22, [x29, j_s]     //initialize j as j = i+1


    b testIn
forIn:      
        ldr x21, [x29, min_s]
        ldr w23, [v_base_r, x22, lsl 2] //x22 still stores value of j from testIn
        ldr w24, [v_base_r, x21, lsl 2] //x23 and x24 store values in
                            //v[j] and v[min], respectively
        cmp w23, w24
        b.ge keep

    str x22, [x29, min_s]       //value of j (x22) is stored into min
keep:       
        add x22, x22, 1         //x22 still stores j, so we can increment
        str x22, [x29, j_s]     //and then store as new j for next iteration
testIn:     
        ldr x22, [x29, j_s]
        cmp x22, SIZE           //j < SIZE

    b.lt forIn

    ldr x21, [x29, min_s]

    **ldr x24, [x29, i_s]**        //THIS ONE A

    ldr w23, [v_base_r, x21, lsl 2]
    str w23, [x29, temp_s]      //temp = v[min]

    **ldr w23, [v_base_r, x24, lsl 2]**        //THIS ONE B

    str w23, [v_base_r, x21, lsl 2] //v[min] = v[i]
    ldr w23, [x29, temp_s]

    **str w23, [v_base_r, x24, lsl 2]   //v[i] = temp**        //THIS ONE C

    add x22, x22, 1         //x22 still stores i, so we can increment
    str x22, [x29, i_s]     //and then store as new i for next iteration
testOut:    
        ldr x21, [x29, i_s]
        cmp x21, SIZE-1         //i < SIZE-1
        b.lt forOut

Answer 1

您好，在运行以下代码时，我遇到了分段错误（核心已转储）的相同错误：

**

section .text
  global _start
_start: ;tells linker the entry point
  mov edx, len ;message length
  mov ecx, msg ;message wo write
  mov ebx, 1 ;file descriptor (stdout)
  mov eax, 4 ;system call number(sys_write) 
  int 0*80 ;call kernel

  mov edx, 9 ;message length
  mov ecx, s2 ;message to write
  mov ebx, 1 ;file descriptor(stdout)
  mov eax, 4 ;system call number (sys_write)
  int 0*80 ;call kernel

  mov eax, 1 ;system call number (sys_Exit)
  int 0*80 ;call kernel  

section .data
msg db 'Dispay 9 stars', 0xa ;a message
len equ $ - msg ;length of message
s2 times 9 db 'x'

**

解决方案：我将;调用内核从 int 0 * 80 更改为 int 80h ，此操作已清除我的错误。

Answer 2

这不是修复我的问题的最佳方法，但它对我有用。所以我想当我给存储在堆栈中的每个变量赋予空间时，我为每个整数分配了4个;因此以下代码：

i_size = 4
j_size = 4
min_size = 4
temp_size = 4
v_size = 50*4
alloc = -(16+i_size+j_size+min_size+temp_size+v_size) & -16
dealloc = -alloc

i_s = 16
j_s = 20
min_s = 24
temp_s = 28
v_s = 32

在i_s的两次读取之间，我将j_s增加1，在一个运行50次的循环中。当我使用x/4x $x29+16检查i_s时，第二个十六进制代码在每次迭代时递增1。每次代码执行指令str x22, [x29, j_s]时它都会递增，所以这让我意识到错误。

最终解决我的问题的原因是我将代码的起始块改为：

i_size = 8
j_size = 8
min_size = 8
temp_size = 8
v_size = 50*4
alloc = -(16+i_size+j_size+min_size+temp_size+v_size) & -16
dealloc = -alloc

i_s = 16
j_s = 24
min_s = 32
temp_s = 40
v_s = 48

所以我最终将分配给每个整数的大小从4改为8.矫枉过正，但我不知道还有什么可以解决它。

我如何修复＆＃34;分段故障（核心转储）＆＃34;在汇编？

2 个答案: