Procedure call - 편집 역사

Pinkgo: /* Function call in Assembly */

2025-04-19T08:32:32Z

Function call in Assembly

← 이전 판		2025년 4월 19일 (토) 08:32 판
81번째 줄:		81번째 줄:
	* '''Callee saved registers''': Callee측이 레지스터를 사용하기 전에 백업(필요할 경우)		* '''Callee saved registers''': Callee측이 레지스터를 사용하기 전에 백업(필요할 경우)
	이때 함수가 호출된 직후 frame이 생성되며, 해당 함수가 return되기 직전에 frame이 제거된다. 또한, '''%rsp는 현재 스택의 top을 가리키는 레지스터'''이다.		이때 함수가 호출된 직후 frame이 생성되며, 해당 함수가 return되기 직전에 frame이 제거된다. 또한, '''%rsp는 현재 스택의 top을 가리키는 레지스터'''이다.

	~~==[[Function call in Assembly]]==~~
	~~자세한 내용은 [[Function call in Assembly]] 문서를 참조하십시오.~~

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

Pinkgo: /* Caller/Callee save */

2025-04-18T11:55:28Z

Caller/Callee save

← 이전 판		2025년 4월 18일 (금) 11:55 판
56번째 줄:		56번째 줄:
	* Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.		* Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.

	==~~Caller/Callee save~~==		==Passing data==
			어셈블리에서 함수와 함수 사이에 데이터(인자)를 주고 받기 위해서는 몇가지 규약이 사용된다. 이는 다음과 같다:
			# register의 첫 6개는 인자로 사용된다.
			#* %rdi, %rsi, %rdx, %rcx, %r8, %r9
			# return 값은 %rax에 저장된다.
			예제 코드에서도, <code>call 0x400550</code>를 사용하기 조금 전에 <code>mov $0x3,%esi</code>, <code>mov $0x5,%edi</code>과 같은 명령어를 사용하여 함수에 전달할 인자를 초기화 하는 것을 볼 수 있다. 또한, <code>ret</code>을 사용하기 조금 전에 <code>mov %rdi,%rax</code>, <code>imul %rsi,%rax</code>과 같은 명령어를 사용하여 %rax를 초기화하는 것을 볼 수 있다.

	함수는 인자 외에도 다양한 임시 값이나 변수들을 register에 저장해 사용한다. 하지만 '''caller/callee save'''라는 개념이 없다면, register를 이용한 변수들의 사용에 상당한 제약이 생긴다. 왜냐하면 어떤 함수에서 %rbx를 사용하고자 할 때, 해당 레지스터는 이전에 호출된 함수에서 이미 덮어쓰기되어 있을 수 있기 때문이다. '''Caller/Callee save'''는 caller에서 사용된 register를 보존하여 callee에서 자유롭게 register들을 사용할 수 있도록 하는 개념이다. 이 개념을 구현하기 위해서 register는 '''caller-saved register'''와 '''callee-saved register'''로 나누어진다.		함수는 인자 외에도 다양한 임시 값이나 변수들을 register에 저장해 사용한다. 하지만 '''caller/callee save'''라는 개념이 없다면, register를 이용한 변수들의 사용에 상당한 제약이 생긴다. 왜냐하면 어떤 함수에서 %rbx를 사용하고자 할 때, 해당 레지스터는 이전에 호출된 함수에서 이미 덮어쓰기되어 있을 수 있기 때문이다. '''Caller/Callee save'''는 caller에서 사용된 register를 보존하여 callee에서 자유롭게 register들을 사용할 수 있도록 하는 개념이다. 이 개념을 구현하기 위해서 register는 '''caller-saved register'''와 '''callee-saved register'''로 나누어진다.

Pinkgo: /* 개요 */

2025-04-18T11:48:27Z

개요

@@ 6번째 줄: / 6번째 줄: @@
 * Callee는 return address가 어디에 저장되어 있는지 알아야 한다.(보통 스택에 저장)
 * Caller는 return value가 어디에 저장되어 있는지 알아야 한다.
-이때 caller와 caller는 같은 레지스터를 사용하고 있으므로, '''calling convention'''이 존재하여 매개변수, 반환값, return address 등을 어디에 저장할 지를 약속한다.
+이때 caller와 caller는 같은 레지스터를 사용하고 있으므로, '''calling convention'''이 존재하여 매개변수, 반환값, return address 등을 어디에 저장할 지를 약속한다. 레지스터들의 용도는 아래와 같다.
 ==Procedure Control Flow==

Pinkgo: /* Stack based languages */

2025-04-18T11:43:37Z

Stack based languages

← 이전 판		2025년 4월 18일 (금) 11:43 판
42번째 줄:		42번째 줄:

	==Stack based languages==		==Stack based languages==
			[[파일:Stack Frame.jpg\|대체글=Figure 1. Stack Frame\|섬네일\|302x302픽셀\|Figure 1. Stack Frame]]
	Stack 기반 언어(Stack based language)는 말 그대로 스택을 기반으로 하는 언어이다. 이러한 언어는 재귀 함수를 지원하며, 여러 번 같은 함수를 호출할 수 있으므로, '''각 호출마다 상태(지역 변수, return address 등)를 스택에서 따로 관리하고 저장'''해야 한다. 이때 스택은 함수 실행 상태를 저장하는 '''frame들의 집합으로 구성'''된다. 이때 stack frame에는 다음과 같은 내용이 저장된다.		Stack 기반 언어(Stack based language)는 말 그대로 스택을 기반으로 하는 언어이다. 이러한 언어는 재귀 함수를 지원하며, 여러 번 같은 함수를 호출할 수 있으므로, '''각 호출마다 상태(지역 변수, return address 등)를 스택에서 따로 관리하고 저장'''해야 한다. 이때 스택은 함수 실행 상태를 저장하는 '''frame들의 집합으로 구성'''된다. 이때 stack frame에는 다음과 같은 내용이 저장된다.
	* '''return address''': callee 함수가 반환된 후 다시 돌아갈 명령어 주소		* '''return address''': callee 함수가 반환된 후 다시 돌아갈 명령어 주소

2025년 4월 18일 (금) 11:39에 Pinkgo님의 편집

2025-04-18T11:39:19Z

← 이전 판		2025년 4월 18일 (금) 11:39 판
48번째 줄:		48번째 줄:
	* '''Callee saved registers''': Callee측이 레지스터를 사용하기 전에 백업(필요할 경우)		* '''Callee saved registers''': Callee측이 레지스터를 사용하기 전에 백업(필요할 경우)
	이때 함수가 호출된 직후 frame이 생성되며, 해당 함수가 return되기 직전에 frame이 제거된다. 또한, '''%rsp는 현재 스택의 top을 가리키는 레지스터'''이다.		이때 함수가 호출된 직후 frame이 생성되며, 해당 함수가 return되기 직전에 frame이 제거된다. 또한, '''%rsp는 현재 스택의 top을 가리키는 레지스터'''이다.

	~~===~~

	==[[Function call in Assembly]]==		==[[Function call in Assembly]]==

Pinkgo: /* Caller/Callee save */

2025-04-18T11:13:25Z

Caller/Callee save

← 이전 판		2025년 4월 18일 (금) 11:13 판
30번째 줄:		30번째 줄:
	* Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.		* Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.

	===Caller/Callee save===		==Caller/Callee save==
	함수는 인자 외에도 다양한 임시 값이나 변수들을 register에 저장해 사용한다. 하지만 '''caller/callee save'''라는 개념이 없다면, register를 이용한 변수들의 사용에 상당한 제약이 생긴다. 왜냐하면 어떤 함수에서 %rbx를 사용하고자 할 때, 해당 레지스터는 이전에 호출된 함수에서 이미 덮어쓰기되어 있을 수 있기 때문이다. '''Caller/Callee save'''는 caller에서 사용된 register를 보존하여 callee에서 자유롭게 register들을 사용할 수 있도록 하는 개념이다. 이 개념을 구현하기 위해서 register는 '''caller-saved register'''와 '''callee-saved register'''로 나누어진다.		함수는 인자 외에도 다양한 임시 값이나 변수들을 register에 저장해 사용한다. 하지만 '''caller/callee save'''라는 개념이 없다면, register를 이용한 변수들의 사용에 상당한 제약이 생긴다. 왜냐하면 어떤 함수에서 %rbx를 사용하고자 할 때, 해당 레지스터는 이전에 호출된 함수에서 이미 덮어쓰기되어 있을 수 있기 때문이다. '''Caller/Callee save'''는 caller에서 사용된 register를 보존하여 callee에서 자유롭게 register들을 사용할 수 있도록 하는 개념이다. 이 개념을 구현하기 위해서 register는 '''caller-saved register'''와 '''callee-saved register'''로 나누어진다.

2025년 4월 18일 (금) 11:13에 Pinkgo님의 편집

2025-04-18T11:13:05Z

← 이전 판		2025년 4월 18일 (금) 11:13 판
53번째 줄:		53번째 줄:
	==[[Function call in Assembly]]==		==[[Function call in Assembly]]==
	자세한 내용은 [[Function call in Assembly]] 문서를 참조하십시오.		자세한 내용은 [[Function call in Assembly]] 문서를 참조하십시오.

	~~==[[Memory management]]==~~
	~~자세한 내용은 [[Memory management]] 문서를 참조하십시오.~~

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

Pinkgo: /* Stack based languages */

2025-04-18T08:17:54Z

Stack based languages

@@ 29번째 줄: / 29번째 줄: @@
 * Caller 주의점: Callee를 호출하기 전에 %rax의 값을 먼저 백업해두어야 한다.
 * Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.
 ==Stack based languages==
-Stack 기반 언어(Stack based language)는 말 그대로 스택을 기반으로 하는 언어이다. 이러한 언어는 재귀 함수를 지원하며, 여러 번 같은 함수를 호출할 수 있으므로, '''각 호출마다 상태(지역 변수, return address 등)를 스택에서 따로 관리하고 저장'''해야 한다. 이때 스택은
+Stack 기반 언어(Stack based language)는 말 그대로 스택을 기반으로 하는 언어이다. 이러한 언어는 재귀 함수를 지원하며, 여러 번 같은 함수를 호출할 수 있으므로, '''각 호출마다 상태(지역 변수, return address 등)를 스택에서 따로 관리하고 저장'''해야 한다. 이때 스택은 함수 실행 상태를 저장하는 '''frame들의 집합으로 구성'''된다. 이때 stack frame에는 다음과 같은 내용이 저장된다.
 ==[[Function call in Assembly]]==

Pinkgo: /* Procedure Control Flow */

2025-04-18T07:53:54Z

Procedure Control Flow

← 이전 판		2025년 4월 18일 (금) 07:53 판
24번째 줄:		24번째 줄:
	# %rip에 return address를 할당하고, 이를 통해 return address로 jump한다.		# %rip에 return address를 할당하고, 이를 통해 return address로 jump한다.
	즉, <code>ret</code>는 <code>pop %rip</code>과 동일한 효과이다.		즉, <code>ret</code>는 <code>pop %rip</code>과 동일한 효과이다.

			==x86-64 Return Values==
			x86-64 시스템에서 기본적인 규칙은 함수가 종료된 뒤의 '''반환값은 %rax에 저장'''된다는 것이다. 이때 caller와 callee는 각각 주의할 점이 존재한다.
			* Caller 주의점: Callee를 호출하기 전에 %rax의 값을 먼저 백업해두어야 한다.
			* Callee 주의점: 반환값을 %rax에 저장하되, 해당 값이 8byte를 초과할 경우, 포인터를 대신 반환해야 한다.

			==Stack based languages==
			Stack 기반 언어(Stack based language)는 말 그대로 스택을 기반으로 하는 언어이다. 이러한 언어는 재귀 함수를 지원하며, 여러 번 같은 함수를 호출할 수 있으므로, '''각 호출마다 상태(지역 변수, return address 등)를 스택에서 따로 관리하고 저장'''해야 한다. 이때 스택은

	==[[Function call in Assembly]]==		==[[Function call in Assembly]]==

2025년 4월 18일 (금) 07:43에 Pinkgo님의 편집

2025-04-18T07:43:40Z

@@ 7번째 줄: / 7번째 줄: @@
 * Caller는 return value가 어디에 저장되어 있는지 알아야 한다.
 이때 caller와 caller는 같은 레지스터를 사용하고 있으므로, '''calling convention'''이 존재하여 매개변수, 반환값, return address 등을 어디에 저장할 지를 약속한다.
 ==[[Function call in Assembly]]==