Segmentation fault в ассемблере.

[Белый пони]

Задача из книжки: с помощью функции найти максимальный элемент в массиве и вывести его как exit code.

Написал так:

Код: [Выделить]

#  "0" - is the end symbol
#
# OUTPUT: max value as exit code

.section .data

items1:
 .long  10, 14, 100, 44, 3, 113, 5, 0


.section .text

.globl _start
.globl findmax

_start:
#pushing only parameter to the stack
 pushl items1
 call findmax        # result is in %eax
 addl $4, %esp       # scrubbing parameter from the stack

#putting result as exit code to %ebx
 movl %eax, %ebx
 movl $1, %eax
 int $0x80


# "find maximum" function
#
# INPUT: single parameter - pointer to .long data, ended with a zero
#
# VARIABLES:   
#        %ecx - current pointer
#        (%ebx - current value)?
#        %eax - current greater value
# 
#
# RETURN VALUE: maximum number from data array

findmax:
# ENTER FUNCTION
# storing %esp (in %ebp) and %ebp (in the stack)
 pushl %ebp
 movl  %esp, %ebp

 movl 8(%ebp), %ecx  # setting initial data pointer to %ecx
 movl (%ecx), %eax   # setting first element as maximum
 
start_loop:
 addl $4, %ecx       # set pointer to the next element
 cmpl $0, (%ecx)     # if "0" jump to loop ending
 je end_loop

 cmpl %eax, (%ecx)
 jle start_loop

 movl (%ecx), %eax

end_loop:
#EXIT FUNCTION
#maximum is already in %eax as return value
#restoring %esp (from %ebp) and %ebp (from the stack)
 movl %ebp, %esp
 popl %ebp
 ret

Собирается и линкуется нормально, а при исполнении выдаёт ошибку сегментации

Код: [Выделить]

root@serg:/atest# as findmax.s -o findmax.o
root@serg:/atest# ld findmax.o -o findmax
root@serg:/atest# ./findmax
Segmentation fault
root@serg:/atest# echo $?
139
Пробовал комментить куски кода. И похоже что ошибка появляется на строке " movl (%ecx), %eax":

Код: [Выделить]

...
findmax:
# ENTER FUNCTION
# storing %esp (in %ebp) and %ebp (in the stack)
 pushl %ebp
 movl  %esp, %ebp

 movl 8(%ebp), %ecx  # setting initial data pointer to %ecx
 movl (%ecx), %eax  # setting first element as maximum  <---------------- тут       
 
#start_loop:
# addl $4, %ecx       # set pointer to the next element
# cmpl $0, (%ecx)     # if "0" jump to loop ending
# je end_loop
...
Как так?  Я неправильно записываю адрес первого элемента массива в %ecx ?

[andrey_p]

После команды

Код: [Выделить]

movl 8(%ebp), %ecxв %ecx - 10. Пользуйся gdb: ассемблить надо так: as findmax.s -g -o findmax.o. Полезные команды в gdb - l, b, i reg, i reg ebp, ну и еще куча.

Если так:

Код: [Выделить]

movl %ebp, %ecx
 addl $8, %ecx
то не коредампит, но и не работает Дальше сам, а то у меня  на ассемблер сегодня с утра что-то не... эээ... не хочется. )))

Пользователь решил продолжить мысль 07 Июня 2011, 13:36:28:Что-то я понял, что давненько не брал в руки ассемблера...

Попробовал, но что-то не могу сообразить (от ассемблера мешанина в голове только осталась, надо бы поправить). Могу только порекомендовать свободную книжку Programming from Ground Up - там на странице 31 как-раз аналогичная программа, но без вызова функции - это дальше.

[Белый пони]

После команды

Код: [Выделить]

movl 8(%ebp), %ecxв %ecx - 10. Пользуйся gdb: ассемблить надо так: as findmax.s -g -o findmax.o. Полезные команды в gdb - l, b, i reg, i reg ebp, ну и еще куча.

Если так:

Код: [Выделить]

movl %ebp, %ecx
 addl $8, %ecx
то не коредампит, но и не работает Дальше сам, а то у меня  на ассемблер сегодня с утра что-то не... эээ... не хочется. )))

Пользователь решил продолжить мысль [time]Tue Jun  7 13:36:28 2011[/time]:Что-то я понял, что давненько не брал в руки ассемблера...

Попробовал, но что-то не могу сообразить (от ассемблера мешанина в голове только осталась, надо бы поправить). Могу только порекомендовать свободную книжку Programming from Ground Up - там на странице 31 как-раз аналогичная программа, но без вызова функции - это дальше.

Спасибо!

Я как раз по этой книжке и учусь Там есть программа поиска максимума, а потом в качестве упражнения советуют сделать её же, только с использованием функции, которой в качестве параметра надо передать указатель на несколько значений.

Покопался с gdb. Похоже проблема в том, что после:

Код: [Выделить]

pushl items1в стек пишется первое значение из items1 (10), а не адрес первого элемента. Как записать в стек именно указатель (адрес items1) ?


P.S. Это заметил, копируя параметр из стека в регистр, и проверяя значения регистров с помощью команд i reg и т.д.
Как посмотреть напрямую значения локальных переменных с стеке, или просто несколько "верхних" значений со стека я так и не понял   Пробовал info f до и после pushl'a  , пишет, что локальные переменные по неизвестном адресу

(Нажмите, чтобы показать/скрыть)

Код: [Выделить]

root@serg-desktop:/atest# gdb ./findmax
GNU gdb (GDB) 7.2-ubuntu
Copyright (C) 2010 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "i686-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /atest/findmax...done.
(gdb) break 17
Breakpoint 1 at 0x8048074: file findmax.s, line 17.
(gdb) run
Starting program: /atest/findmax

Breakpoint 1, _start () at findmax.s:20
20 pushl items1
(gdb) i reg eax ebx ecx edx esp ebp
eax            0x0 0
ebx            0x0 0
ecx            0x0 0
edx            0x0 0
esp            0xbffff370 0xbffff370
ebp            0x0 0x0
(gdb) info f
Stack level 0, frame at 0x0:
 eip = 0x8048074 in _start (findmax.s:20); saved eip 0x8048074
 source language asm.
 Arglist at unknown address.
 Locals at unknown address, Previous frame's sp in esp
(gdb) n
21 call findmax        # result is in %eax
(gdb) i reg eax ebx ecx edx esp ebp
eax            0x0 0
ebx            0x0 0
ecx            0x0 0
edx            0x0 0
esp            0xbffff36c 0xbffff36c
ebp            0x0 0x0
(gdb) info f
Stack level 0, frame at 0x0:
 eip = 0x804807a in _start (findmax.s:21); saved eip 0x804807a
 source language asm.
 Arglist at unknown address.
 Locals at unknown address, Previous frame's sp in esp
(gdb) n
45 pushl %ebp
(gdb) i reg eax ebx ecx edx esp ebp
eax            0x0 0
ebx            0x0 0
ecx            0x0 0
edx            0x0 0
esp            0xbffff368 0xbffff368
ebp            0x0 0x0
(gdb) info f
Stack level 0, frame at 0x0:
 eip = 0x8048088 in findmax (findmax.s:45); saved eip 0x8048088
 Outermost frame: unwinder did not report frame ID
 source language asm.
 Arglist at unknown address.
 Locals at unknown address, Previous frame's sp in esp
(gdb)


[andrey_p]

Гугля по теме gdb и ассемблер, нашел еще одну свободную книжку - Introduction to Computer Organization with x86-64 Assembly Language & GNU/Linux.
В ней аппендикс как-раз полностью посвящен этому вопросу. Вообщем все можно, но сложновато немного.

[Белый пони]

Гугля по теме gdb и ассемблер, нашел еще одну свободную книжку - Introduction to Computer Organization with x86-64 Assembly Language & GNU/Linux.
В ней аппендикс как-раз полностью посвящен этому вопросу. Вообщем все можно, но сложновато немного.

Спасибо за помощь! Книжку скачал:)
Что бы передать в качестве параметра адрес массива, а не первый элемент, надо было просто приписать $:

Код: [Выделить]

pushl $items1вместо

Код: [Выделить]

pushl items1