GMP 용 JNA 래퍼에서 segfaults의 원인이 무엇입니까

Question

따라서 아래 코드는 finalize 중에 segfaults입니다.

public class Mpz_t extends com.sun.jna.Structure { 
    public int _mp_alloc; 
    public int _mp_size; 
    public NativeLongByReference _mp_d; 

    protected void initFieldOrder() { 
     setFieldOrder(new String[] { "_mp_alloc", "_mp_size", "_mp_d" }); 
    } 

    public Mpz_t() { 
     super(); 
     initFieldOrder(); 
     allocateMemory(); 
     ensureAllocated(); 
    } 

    public static class ByReference extends Mpz_t implements 
     Structure.ByReference { 

    } 

    public static class ByValue extends Mpz_t implements 
     Structure.ByValue { 

    } 

    @Override public void finalize() { 
     Gmp.gmp().__gmpz_clear(this); 
    } 
} 

.__gmpz_clear()는 지금까지 내가 알고 있어요으로 C 측의 구조체를 파괴한다. 내가 그 부분을 찢어 버리면 segfault는 없지만 내 코드는 메모리를 누설합니다. 누구나 이것에 대한 아이디어가 있습니까?

안정적으로 분류되지 않는다고 추가 할 수 있습니다. 문제가 발생하기 전에 20 개 정도의 구조체를 적절히 파괴합니다.

Answer 1

그래서 내 자신의 문제에 대한 해결책을 찾았습니다. 해결책은 현재 반 해키 (semi-hacky)입니다.

__gmpz_clear에 대한 JNA 호출이 가비지 수집기와 다른 스레드에 있고 가비지 수집기가 실행을 완료하기 전에 포인터 데이터와 다른 것들을 파괴하는 경우가 있습니다. while(_mp_size > 0) ;을 통해 스핀 록을 추가하면 문제가 완전히 해결됩니다. 정리를 보장하기 위해

Answer 2

는 이전에 실제로 할당 된 메모리를 해제 기존 파이널에 __gmpz_clear를 호출하는 기존의 파이널을 증대 사용자 정의 Memory 개체를 반환 최우선 Structure.autoAllocate(int size)을 고려해 볼 수 있습니다, 적절한 순서로 실행됩니다.

public class Mpz_t extends Structure { 
    protected Memory autoAllocate(int size) { 
     return new Memory(size) { 
      protected void finalize() { 
       GMP.gmp().__gmpz_clear(this); 
       super.finalize(); 
      } 
     }; 
    } 
} 

이 메모리가 항상 전에 해제되기 "삭제"입니다 보장합니다.