에이다 작업 선언은 메모리 누수가 발생

Question

나는 다음과 같은 작은 에이다 프로그램이이 같은 Valgrind의를 통해

gnatmake -g -gnatwI leaky_main.adb 

을하고 실행 :

procedure Leaky_Main is 
    task Beer; 
    task body Beer is 
    begin 
     null; 
    end Beer; 
begin 
    null; 
end Leaky_Main; 

모든 아주 기본적인,하지만를 내가 같이 컴파일 할 때 :

01 :

valgrind --tool=memcheck -v --leak-check=full --read-var-info=yes --leak-check=full --show-reachable=yes ./leaky_main 

나는 다음과 같은 오류 요약을 얻을

==2882== 2,104 bytes in 1 blocks are still reachable in loss record 1 of 1 
==2882== at 0x4028876: malloc (vg_replace_malloc.c:236) 
==2882== by 0x42AD3B8: __gnat_malloc (in /usr/lib/i386-linux-gnu/libgnat-4.4.so.1) 
==2882== by 0x40615FF: system__task_primitives__operations__new_atcb (in /usr/lib/i386-linux-gnu/libgnarl-4.4.so.1) 
==2882== by 0x406433C: system__tasking__initialize (in /usr/lib/i386-linux-gnu/libgnarl-4.4.so.1) 
==2882== by 0x4063C86: system__tasking__initialization__init_rts (in /usr/lib/i386-linux-gnu/libgnarl-4.4.so.1) 
==2882== by 0x4063DA6: system__tasking__initialization___elabb (in /usr/lib/i386-linux-gnu/libgnarl-4.4.so.1) 
==2882== by 0x8049ADA: adainit (b~leaky_main.adb:142) 
==2882== by 0x8049B7C: main (b~leaky_main.adb:189) 
==2882== 
==2882== LEAK SUMMARY: 
==2882== definitely lost: 0 bytes in 0 blocks 
==2882== indirectly lost: 0 bytes in 0 blocks 
==2882==  possibly lost: 0 bytes in 0 blocks 
==2882== still reachable: 2,104 bytes in 1 blocks 
==2882==   suppressed: 0 bytes in 0 blocks 
==2882== 
==2882== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 21 from 6) 
--2882-- 
--2882-- used_suppression:  21 U1004-ARM-_dl_relocate_object 
==2882== 
==2882== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 21 from 6) 

이 오류가보고 된 이유는 누구입니까? Im 실제 누수가 없다는 것이 확실하지만, 왜 그런지/어떻게되는지 알고 싶습니다.

감사합니다.

Answer 1

문제가있는 할당은 TCB (Task Control Block)입니다. 이것은 당신이

if Beer’Terminated then 
    ... 

그래서 난 아마 valgrind이 thecheck 않을 때의 유물이라고 생각 말할 수 있도록 작업이 완료된 후 유지되어야한다.

나는이 작업이 할당 된 곳에서만 발견되었습니다. 작업을 할당 해제하기 전에 ’Terminated이 True이 될 때까지 기다려야합니다. 그렇지 않으면 GNAT가 스택을 행복하게 할당했지만 자동으로 TCB를 할당 해제하지 않았기 때문에 실제 누수가 발생했습니다. AdaCore가 최근에 이것을 수정했습니다 (나는 개발자 로그에있는 참조가 없습니다).

Answer 2

디버거에는 deleaker를 사용해야합니다. 내가 선호)