Выравнивание стека на x64

@pcmax · Регистрация: 29.01.2018

Студворк — интернет-сервис помощи студентам

все , с регистрами я разобрался. вроде понял, немного работу отладчика. но только на самом поверхностном уровне.

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

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

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
push %rbp // тут все сходятся в одном.  и тут нет расхождений.
mov %rsp, %rbp
 
 
 
mov %rbp, %rsp
pop %rbp// вот такой пролог и эпилог существует в умах одних. помне это неправильно. но так как у меня ничего не работает, то я уже не понимаю, так ли это неправильно, как мне кажется.
 
 
 
 
// вот так я считаю правильно, но это не работает
 
 
push %rbp
mov %rsp, %rbp //
sub $16, %rsp// будет ли это выравниванием? 
 
pop %rbp
mov %rbp,  %rsp

@politoto · 21.02.2020, 21:34

pcmax, что Вам кажется неправильным в следующих инструкциях, попробуете объяснить ?

Assembler
1
2
mov %rbp, %rsp
pop %rbp

Чтобы привести регистры в "исходное положение" перед возвратом,
нужно в обратном порядке выполнить операции, обратные к

Assembler
1
2
push %rbp // тут все сходятся в одном.  и тут нет расхождений.
mov %rsp, %rbp

@pcmax · 22.02.2020, 04:48 **[ТС]**

то что rsp управляется процессором, как ни странно звучит. и он всегда указывает на адрес последнего элемента добавленного в стек. с дела в эпилоге, заметьте я не про полог речь веду, а про эпилог, и когда я сделаю mov %rbp, %rsp то это приведет к чему то нехорошему.

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

@politoto · 22.02.2020, 08:19

процессор управляется программой, а программа управляется пользователем.

Если не уверены, можно ( и нужно ) в эпилоге вместо последовательности

Assembler
1
2
mov %rbp, %rsp
pop %rbp

использовать одну инструкцию 0311== - '7' == 0xc9

Assembler
1
leave

Описание для x86

Сообщение от Intel

6.6.2 LEAVE Instruction

The LEAVE instruction, which does not have any operands, reverses the action of the previous ENTER instruction.

The LEAVE instruction copies the contents of the EBP register into the ESP register to release all stack space allocated to the procedure.
Then it restores the old value of the EBP register from the stack.
This simultaneously restores the ESP register to its original value.

A subsequent RET instruction then can remove any arguments and the return address pushed on the stack by the calling program for use by the procedure.

Взял из этой главы https://software.intel.com/sit... f#G7.18125
В x64 инструкция работает по тому же алгоритму, только с использованием 64-разрядных регистров.

В справочнике по инструкциям есть более подробный алгоритм
https://software.intel.com/sit... f#G5.91256
LEAVE—High Level Procedure Exitх (3-556 Vol. 2A)

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
IF StackAddressSize= 32
THEN   
     ESP ← EBP;
ELSE IF StackAddressSize= 64 
THEN 
     RSP ← RBP; 
FI;
ELSE IF StackAddressSize= 16 
THEN 
     SP ← BP;
   FI;
FI;
 IF OperandSize = 32
   THEN EBP ← Pop();
 ELSE IF OperandSize= 64
 THEN 
   RBP ← Pop(); 
 FI;
 ELSE IF OperandSize = 16
 THEN 
     BP ← Pop(); 
 FI;
FI

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

@alex1234566 · 22.02.2020, 14:42

Сообщение от pcmax

Assembler
1
2
3
4
5
push %rbp
mov %rsp, %rbp //
sub $16, %rsp// будет ли это выравниванием? 
pop %rbp
mov %rbp,  %rsp

так в регистр %rsp попадает значение регистра %rbp, который не известно чего содержит и по этому этот код не работает.

@Jin X · 28.02.2020, 18:44

Сообщение от pcmax

то это приведет к чему то нехорошему

Регистр rsp используется (и изменяется) программой гораздо чаще, чем может показаться. Инструкции call, ret, push, pop и др. меняют rsp, и нет ничего особенного в том, чтобы изменить его с помощью mov, если есть понимание как и что при этом в rsp записывается. Записали rsp в rbp, изменили (уменьшили) rsp, затем записали обратно из rbp в rsp, что тут странного?

Если нужно выравнивание по границе 16 байт, то это делается так:
and rsp,-16 ; -16 = not 15 = 0FFFFFFFFFFFFFFF0h
ну или:
and $-16,%rsp

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Нашел на реддите интересную статью под названием «Кто-нибудь знает, где получить бесплатный компьютер или. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .

Выравнивание стека на x64

Решение

Решение

Решение

@pcmax 443 / 74 / 7 Регистрация: 29.01.2018 Сообщений: 1,274
	22.02.2020, 04:48 [ТС]
	то что rsp управляется процессором, как ни странно звучит. и он всегда указывает на адрес последнего элемента добавленного в стек. с дела в эпилоге, заметьте я не про полог речь веду, а про эпилог, и когда я сделаю mov %rbp, %rsp то это приведет к чему то нехорошему. вы пожалуйста поймите, казалось бы уже все рассмотрели, что можно рассмотреть, но иногда кажется что где -то допустили ошибку. поэтому мне приходится все пересматривать сначала. и иногда нужно помощь. 0