C 코드에서 메모리 예외 잡기

Question

일부 C 코드와 인터페이스하는 일부 ada 코드가 있는데 C 코드에 의해 생성/생성 된 ada 코드에서 메모리 예외/SIGSEGV 신호를 잡는 데 문제가 있습니다. C 함수를 실행하는 ada 작업을 사용하고 있지만 C 코드에 문제가 있음을 알 수있는 유일한 방법은 더 많은 작업을 예약하려고 시도 할 때 ada 코드가 TASKING_ERROR을 발생시키는 것입니다. 문제가있는 유일한 징후는 내 ada 작업 스케줄러에서 TASKING_ERROR "모든 방법"으로되어 있기 때문에 문제가 어디에서 발생했는지 정확하게 파악하는 것은 불가능합니다. 작업 오류의 실제 원인을 정확하게 파악하기 위해 사용할 수있는 전략에 대한 아이디어가 있습니까?

도움이나 아이디어를 많이 주시면 감사하겠습니다.

Answer 1

-g 컴파일 및 -bargs -E과 결합하여 작업의 마지막 기회 예외 처리기를 사용해보십시오 (당신이 gnatmake을 사용하는 경우 즉, 그렇지 않으면, gnatbind -E).

void segv(void) { 
    char *zero = 0; 
    *zero = 0; 
} 

및

$ gnatmake call_segv.adb -g -bargs -E -largs segv.o -Wl,-no_pie 

건물

을

with Ada.Exceptions; 
with Ada.Text_IO; use Ada.Text_IO; 
procedure Call_Segv is 
    task T; 
    task body T is 
     procedure Segv; 
     pragma Import (C, Segv); 
    begin 
     Put_Line ("calling segv ..."); 
     Segv; 
     Put_Line ("... done."); 
    exception 
     when E : others => 
     Put_Line ("... exception: " 
        & Ada.Exceptions.Exception_Information (E)); 
    end T; 
begin 
    null; 
end Call_Segv; 

포함 segv.c와

내가 얻을

$ call_segv 
calling segv ... 
... exception: Exception name: CONSTRAINT_ERROR 
Message: erroneous memory access 
Call stack traceback locations: 
0x10002cea5 0x7fff8ff8a948 0x100002077 0x100002304 0x10000ef16 0x7fff8ff9c7a0 

스택 추적 해석

$ atos -o call_segv 0x10002cea5 0x7fff8ff8a948 0x100002077 0x100002304 0x10000ef16 0x7fff8ff9c7a0 
__gnat_error_handler (in call_segv) + 53 
0x7fff8ff8a948 
segv (in call_segv) (segv.c:3) 
call_segv__tTKB.3158 (in call_segv) (call_segv.adb:10) 
system__tasking__stages__task_wrapper (in call_segv) + 406 
0x7fff8ff9c7a0 

(즉, 맥 OS X에서의

같은; 정상적으로 기기에서는 -Wl,-no_pie이 필요하지 않으며 atos 대신 addr2line을 사용합니다.