JMM 보증은 다음 코드 샘플을 감안할 때

Question

를 호출?

과 같은 구현 세부 정보는 의도적으로 제외됩니다. method1은 closable을 캡처합니까?이 질문의 첫 번째 부분에 나와 있습니다.

static char* value; 

void capture(char* ptr){ 
     value = ptr; 
} 

int len(void) { 
    return strlen(value); 
} 

이 네이티브 라이브러리가

interface CApi extends Library { 

static { 
    Native.register("test.so", CApi.class) 
} 

    void capture(Pointer s); 
    int test(); 
} 

JNA

를 사용하여 포장한다 : 내가 같이 요약 될 수있는 C 라이브러리가

:

---

내 spefic 사용 사례는 이것이다 그리고 내 원래 클라이언트 코드는 다음과 같습니다.

cApi = Native.loadLibrary("test.so", CApi.class); 


byte[] data = Native.toByteArray("foo"); 
Memory m = new Memory(data.length + 1); 
m.write(0, data, 0, data.length); 
m.setByte(data.length, (byte)0); 

cApi.capture(m); 
System.out.print(cApi.len()); 

이 첫 번째 버전의 문제는 m이 Java에서 할당되었으며이 메모리의 수명주기가 매우 가까워서 m에 연결되어 있다는 것입니다. 에서 GC의 차기

내가 JNA의 MemoryAutoClosableMemory을 소개하는 서브 클래스 제안이를 방지하기 위해 (JNA는 기본 메모리를 확보 할 수 finalize에 의존) 때 capture(m) 메모리가 해제됩니다 일단 m는 더 이상 강력하게 도달 할 수 없습니다. 아이디어는 리소스를 사용하는 try를 사용하면 자원이이 범위 내에서 강하게 도달 할 수 있음을 분명하게 나타냅니다. 우리가 네이티브 메모리를 해제 할 수 있다는 보너스는 곧 GC를 기다릴 필요없이 더 이상 필요하지 않게되었습니다 (이봐, RAII입니다!).

try (AutoClosableMemory m = [...]) { 
    cApi.capture(m); 
    cApi.test(); 
} 

오전 나는 m.close()이 cApi.test() 전 m 강력하게 연결할 수 있는지 호출되지 않습니다 보장? 이 경우 m은 기본 C API에 의해 캡처되지만 Java 컴파일러는이를 알 수 없습니다.

Answer 1

이론적으로 JVM은 명령어를 재정렬 할 수 있지만 메소드의 결과는 정확해야합니다. HotSpot은 네이티브 코드를 이해하지 못하고 정확성을 보장하기 위해 네이티브 명령어 주위의 코드를 재 순서화하지 ​​않습니다.

Answer 2

한 스레드의 경우 모든 것이 코드에서와 동일한 순서로 정확히 실행됩니다 (어떤 순서 변경도 프로그램에 아무런 영향을 미치지 않습니다). 재정렬은 다른 스레드가 어떤 일이 발생 하는지를 보는 방법에만 영향을줍니다. 귀하의 질문에 하나의 스레드가 있으므로 전에 cApi.test()을 호출하도록 프로그램이 보장됩니다.