JIT 컴파일러는 일반 컴파일러와 어떻게 다릅니 까?

Java, Ruby 및 Python과 같은 언어의 JIT 컴파일러에 대한 과대 광고가있었습니다. JIT 컴파일러와 C / C ++ 컴파일러의 차이점은 무엇이며, Java, Ruby 또는 Python 용 컴파일러가 JIT 컴파일러라고하는 이유와 C / C ++ 컴파일러는 단지 컴파일러라고하는 이유는 무엇입니까?

JIT 컴파일러는 실행 직전 또는 이미 실행중인 경우에도 즉시 코드를 컴파일합니다. 이런 방식으로 코드가 실행중인 VM은 코드 실행에서 패턴을 확인하여 런타임 정보로만 가능한 최적화를 허용 할 수 있습니다. 또한 VM이 컴파일 된 버전이 어떤 이유로 든 충분하지 않다고 판단하면 (예 : 너무 많은 캐시 누락 또는 특정 예외를 자주 발생시키는 코드) 훨씬 다른 방법으로 다시 컴파일하기로 결정할 수 있습니다. 편집.

반면에 C 및 C ++ 컴파일러는 전통적으로 JIT가 아닙니다. 개발자 컴퓨터에서 한 번만 단일 샷으로 컴파일 한 다음 실행 파일이 생성됩니다.

JIT는 JIT (Just-In-Time) 컴파일러의 약자이며 이름은 잘못되었습니다. 런타임 중에는 가치있는 코드 최적화를 결정하고 적용합니다. 일반적인 컴파일러를 대체하지는 않지만 인터프리터의 일부입니다. 중간 코드를 사용하는 Java 같은 언어는이 점에 유의 모두 : 중간 코드 번역 소스에 대한 일반 컴파일러, 성능 부스트에 대한 인터프리터에 포함 된 JIT.

코드 최적화는 확실히 "클래식"컴파일러에 의해 수행 될 수 있지만 주요 차이점은 JIT 컴파일러가 런타임시 데이터 에 액세스 할 수 있다는 것 입니다. 이것은 큰 장점입니다. 제대로 활용하는 것은 어려울 수 있습니다.

예를 들어 다음과 같은 코드를 고려하십시오.

m(a : String, b : String, k : Int) {
  val c : Int;
  switch (k) {
    case 0 : { c = 7; break; }
    ...
    case 17 : { c = complicatedMethod(k, a+b); break; }
  }

  return a.length + b.length - c + 2*k;
}

정상적인 컴파일러는 이것에 대해 너무 많은 것을 할 수 없습니다. 그러나 JIT 컴파일러 m는 k==0어떤 이유로 만 호출되는 것을 감지 할 수 있습니다 (시간이 지남에 따라 코드가 변경 될 수 있음). 그런 다음 더 작은 버전의 코드를 생성 할 수 있습니다 (그리고 개념적으로 마이너 포인트라고 생각하더라도 네이티브 코드로 컴파일 할 수 있습니다).

m(a : String, b : String) {
  return a.length + b.length - 7;
}

이 시점에서 아마도 메소드 호출이 사소한 것처럼 인라인 될 것입니다.

분명히 Sun은 javacJava 6에서 사용되는 대부분의 최적화를 무시했습니다 . 이러한 최적화로 인해 JIT가 많은 작업을 수행하는 것이 어려워지고 순진하게 컴파일 된 코드가 결국 더 빨리 실행되었다고 들었습니다. 그림을 이동.