어디로 밀려나?
esp - 4. 더 정확하게:
pop 이것을 뒤집습니다.
System V ABI는 Linux에 rsp 프로그램이 실행될 때 적절한 스택 위치를 가리 키도록 합니다. 프로그램이 시작될 때 기본 등록 상태 (asm, linux)는 무엇입니까? 일반적으로 사용해야하는 것입니다.
레지스터를 어떻게 밀 수 있습니까?
최소 GNU GAS 예 :
.data
/* .long takes 4 bytes each. */
val1:
/* Store bytes 0x 01 00 00 00 here. */
.long 1
val2:
/* 0x 02 00 00 00 */
.long 2
.text
/* Make esp point to the address of val2.
* Unusual, but totally possible. */
mov $val2, %esp
/* eax = 3 */
mov $3, %ea
push %eax
/*
Outcome:
- esp == val1
- val1 == 3
esp was changed to point to val1,
and then val1 was modified.
*/
pop %ebx
/*
Outcome:
- esp == &val2
- ebx == 3
Inverses push: ebx gets the value of val1 (first)
and then esp is increased back to point to val2.
*/
위 GitHub에서 실행 가능한 어설 션이 있습니다.
왜 이것이 필요한가요?
이러한 명령은를 통해 쉽게 구현할 수 있다는 것은 사실입니다 mov.add 하고 sub.
그들이 존재하는 이유는 이러한 명령 조합이 너무 자주 발생하여 인텔이 우리에게 제공하기로 결정했기 때문입니다.
이러한 조합이 자주 발생하는 이유는 레지스터 값을 일시적으로 메모리에 저장하고 복원하여 덮어 쓰지 않기 때문입니다.
문제를 이해하려면 C 코드를 직접 컴파일 해보십시오.
가장 큰 어려움은 각 변수를 저장할 위치를 결정하는 것입니다.
이상적으로는 모든 변수가 레지스터에 들어가는데 , 이는 액세스하기 가장 빠른 메모리입니다 (현재 RAM보다 약 100 배 빠름 ).
그러나 물론, 특히 중첩 함수의 인수에 대해 레지스터보다 더 많은 변수를 쉽게 가질 수 있으므로 유일한 해결책은 메모리에 쓰는 것입니다.
모든 메모리 주소에 쓸 수 있지만 함수 호출 및 반환의 지역 변수와 인수가 멋진 스택 패턴에 맞기 때문에 메모리 조각화 를 방지 합니다. 때문에이를 처리하는 가장 좋은 방법입니다. 힙 할당자를 작성하는 광기와 비교하십시오.
그런 다음 컴파일러가 NP 완료이고 컴파일러 작성에서 가장 어려운 부분 중 하나이기 때문에 레지스터 할당을 최적화하도록합니다. 이 문제를 레지스터 할당 이라고 하며 그래프 색상 과 동형 입니다.
컴파일러의 할당자가 레지스터 대신 메모리에 항목을 저장하도록 강제하는 경우이를 spill이라고 합니다.
이것이 단일 프로세서 명령으로 요약됩니까 아니면 더 복잡합니까?
우리가 확실히 아는 것은 인텔이 a push와 pop명령을 문서화 한다는 것입니다. 따라서 그것들은 그런 의미에서 하나의 명령입니다.
내부적으로는 여러 마이크로 코드로 확장 할 수 있습니다. 하나는 수정 esp하고 다른 하나는 메모리 IO를 수행하며 여러주기를 필요로합니다.
그러나 push더 구체적이기 때문에 단일 명령어가 다른 명령어의 동등한 조합보다 빠를 수도 있습니다 .
이것은 대부분 문서화되지 않았습니다.
b,w,l, 또는q상기 메모리의 크기를 나타내는 조작 될 수있다. 예 :pushl %eaxandpopl %eax