Выравнивание стека на 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

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

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

Решение

Решение

Решение

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