GCC 돌아 optimiztion

Question

내가 알고 싶습니다? 나는 커널 모듈을 작성 중이며 하나의 특별한 문제를 해결하기 위해 call_func가 직접 호출 된 것처럼 보일 필요가있다. 좀 더 구체적으로 call_func는 시스템 콜입니다. Foo가이 시스템 호출의 제 버전입니다. is_true의 경우, 나는이 일을해야하고,이 시스템 콜을 호출 한 다음 리턴을 리턴해야한다. 하지만! is_true 어떻게 든 호출 스택 자체를 변경하고 싶습니다 - 그래서 현재 수준에서 foo 대신 call_func가있었습니다. 심지어 가능할까요? is_true의

구현 :

struct task_struct * cur_task = current; 
if(check_dir(cur_task)) { 
... 
} 

check_dir 우리가 시스템 콜을 호출 한 디렉토리에 무언가를 수행하려는 경우 기능을 확인하는 것입니다.

Answer 1

이이 tail-call 최적화라고합니다 (그것은 어떤 C 표준에 명시 하지입니다 대조적으로, 계획 및 Ocaml- 그 꼬리 호출 최적화를 지정 -e.g. 일부 언어는 일이 필요합니다). 일부 경우에 최근 GCC 컴파일러는 optimization을 수행 할 수 있습니다.

하지만 정말 call_func 당신이 그것에 의존하는 경우

에 전달 된 실제 인수 특히, 세부 사항에 따라 달라집니다, 코드를 언급하고 컴파일러가 그 일을한다 gcc -fverbose-asm -O2 -S 확인하시기 바랍니다.

이 최적화는 필요하지 않으며 컴파일러, 컴파일 플래그, 프로세서 및 ABI에만 해당 될 수 있습니다.

^{(그래서 - 64에서 작동 할 수 있지만 32 비트 IA32 또는 ARM은, 당신은 정말 확인해야합니다!) 그것은 is_true` 정의하는 방법을`/ 구현에 따라 달라집니다}