물음표 '?'의 의미는 무엇입니까? 리눅스 커널 패닉 콜 추적에서?

Question

콜 추적은 같은 항목이 포함되어

[<deadbeef>] FunctionName+0xAB/0xCD [module_name] 
[<f00fface>] ? AnotherFunctionName+0x12/0x40 [module_name] 
[<deaffeed>] ClearFunctionName+0x88/0x88 [module_name] 

이의 의미 란 '?' AnotherFunctionName 앞에 표시 하시겠습니까?

Answer 1

'?' 이 스택 항목에 대한 정보가 신뢰할 수 없다는 것을 의미합니다.

스택 출력 메커니즘 (구현은 dump_trace() function 참조)은 발견 된 주소가 호출 스택의 유효한 반환 주소임을 증명할 수 없었습니다.

'?' 자체는 printk_stack_address()에 의해 출력됩니다.

스택 항목이 유효 할 수도 있고 유효하지 않을 수도 있습니다. 때로는 단순히 건너 뛸 수도 있습니다. 관련 모듈의 분해를 조사하여 ClearFunctionName+0x88 (또는 해당 위치 바로 앞에있는 x86에서) 함수가 호출되는지 확인하는 것이 도움이 될 수 있습니다. dump_stack() 호출 신뢰도 86에

관한

, 실제로는 print_context_stack()arch/x86/kernel/dumpstack.c에 정의 된 스택을 검사하는 기능. 코드를 살펴보면, 아래에서 설명하겠다.

Linux 시스템에서는 DWARF2 스택 unwind 기능을 사용할 수 없다고 가정합니다 (대부분 OpenSUSE 또는 SLES가 아닌 경우는 그렇지 않습니다). 이 경우 print_context_stack()은 다음을 수행하는 것으로 보입니다.

스택 위치의 주소가 될 수있는 주소 (코드의 'stack'변수)부터 시작합니다. 실제로 로컬 변수의 주소는 dump_stack()입니다.

이 함수는 해당 주소 (while (valid_stack_ptr ...) { ... stack++})를 반복하여 증가시키고 해당 주소가 커널 코드 (if (__kernel_text_address(addr)) ...)의 주소 일 수 있는지 확인합니다. 이렇게하면 함수가 호출 될 때 스택에 푸시 된 함수의 반환 주소를 찾으려고 시도합니다.

물론 반환 주소처럼 보이는 모든 부호없는 long 값이 실제로 반환 주소가되는 것은 아닙니다. 그래서 함수는 그것을 검사하려고합니다. 커널 포인터 (% ebp/% rbp 레지스터는 CONFIG_FRAME_POINTER가 설정된 경우 레지스터가 사용됨)에서 프레임 포인터가 사용되면 함수의 스택 프레임을 탐색하는 데 사용할 수 있습니다. 함수의 반환 주소는 프레임 포인터 바로 위 (즉, %ebp/%rbp + sizeof(unsigned long))에 있습니다. print_context_stack은 정확히 그것을 검사합니다.

'stack'값이 가리키는 스택 프레임이 반환 주소 인 경우이 값은 신뢰할 수있는 스택 항목으로 간주됩니다. ops->address이 reliable == 1과 함께 호출되면 결국 printk_stack_address()을 호출하며 신뢰할 수있는 호출 스택 항목으로 값이 출력됩니다. 그렇지 않으면 주소가 신뢰할 수없는 것으로 간주됩니다. 그것은 출력되지만 어쨌든 '?' 앞에 붙었다.

[NB] 프레임 포인터 정보를 사용할 수없는 경우 (예 : 기본적으로 데비안 6 에서처럼) 모든 호출 스택 항목은 이러한 이유로 신뢰할 수 없다고 표시됩니다.

DWARF2 unwinding 지원 (및 CONFIG_STACK_UNWIND 세트 사용)이있는 시스템은 완전히 다른 이야기입니다.