Почему память в стеке для auto переменной не резервируется с помощью rsp?

Question

[Qubc]

А почему память не резервируется с помощью rsp? А если произойдет прерывание? Или тут какая-то хитрость?

int main(void) {
  int a = 5;
  return 0;
}

main:
        pushq   %rbp
        movq    %rsp, %rbp
        movl    $5, -4(%rbp)
        movl    $0, %eax
        popq    %rbp
        ret

Вот тут всё ок и понятно.

void f(void){
  ;
}
int main(void) {
  int a = 5;
  f();  
  return 0;
}

f:
        pushq   %rbp
        movq    %rsp, %rbp
        nop
        popq    %rbp
        ret
main:
        pushq   %rbp
        movq    %rsp, %rbp
        subq    $16, %rsp
        movl    $5, -4(%rbp)
        call    f
        movl    $0, %eax
        leave
        ret

Comments

[Wataru]

А если произойдет прерывание?

А в C разве есть прерывания?

[Qubc]

Wataru, понятно, не туда полез, спасибо.

[jcmvbkbc]

А в C разве есть прерывания?

Wataru, в C есть асинхронные сигналы, которые ничуть от прерываний не отличаются.

[Wataru]

jcmvbkbc, вы про sigint и т.п? Это совсем не то. Во-первых, это фича операционной системы, а не языка c. Во-вторых, эти сигналы обрабатываются в момент переключения потоков. После выполнения обработки программа продолжает работу с того же места, где ее прервали. Это скорее как многопоточность, а не прерывание.

[jcmvbkbc]

Это совсем не то. Во-первых, это фича операционной системы, а не языка c.

Wataru Это конечно фича окружения, но компилятор делается с учётом этой фичи, потому что интерфейс этой фичи, signal.h -- часть стандартной библиотеки.

Во-вторых, эти сигналы обрабатываются в момент переключения потоков.

Не только. Асинхронный сигнал может быть принят и обработан в любой момент. В частности, в SMP-конфигурации он может быть принят как прерывание от другого процессора и доставлен в прерванный поток во время возврата в юзерспейс из обработчика прерывания.

После выполнения обработки программа продолжает работу с того же места, где ее прервали.

Ровно то же самое можно сказать о прерывании, верно?

Это скорее как многопоточность, а не прерывание.

Сигнал всегда обрабатывается каким-то существующим потоком. Мало того, его можно послать в конкретный поток, и в этом случае он будет обработан именно этим потоком.

[Wataru]

jcmvbkbc,

> Ровно то же самое можно сказать о прерывании, верно?

Блин! Я почему-то прочитал "прерывание", а воспринял, как "исключение". Туплю - вы, конечно, правы.

Answer 1

[galaxy]

Не уверен, что понял правильно вопрос. Видимо, вам непонятно, почему в первом примере нет аналога subq $16, %rsp?
Потому что не надо. rsp все равно никак функцией main не используется, была бы просто лишняя пара инструкций.
Во втором примере rsp нужно настраивать, т.к. есть вызов f(), и нельзя, чтобы она лезла в стек main().

Comments

[Qubc]

Ага, правильно поняли, там уже выше откоментировали, спасибо.
Понятно, что он там и не нужен, если прерываний и не будет.

Answer 2

[jcmvbkbc]

А почему память не резервируется с помощью rsp? А если произойдет прерывание? Или тут какая-то хитрость?

Тут какая-то хитрость под названием red zone.