[JAVA] 자바가상머신, JVM이란?

JVM
Java Virtual Machine
자바 가상 머신

* 가상 머신 : 프로그램을 실행하기 위해 물리적 머신과 유사한 머신을 소프트웨어로 구현한 것

 

• JVM은 JAVA와 OS 사이에서 중개자 역할을 수행하여 JAVA가 OS에 구애받지 않고 재사용을 가능케 해준다.
• 메모리관리, Garbage collection을 수행한다.
• JVM은 스택기반의 가상머신이므로 스택기반으로 동작한다.

 

왜 자바 가상머신을 알아야할까?

한정된 메모리를 효율적으로 사용하여 최고의 성능을 내기 위해서이다.
메모리 효율성을 위해 메모리 구조를 알아야 하기 때문.
동일한 기능의 프로그램이라도 메모리 관리에 따라 성능이 좌우된다. 메모리가 관리가 되지 않은 경우 속도 저하 현상이나 튕김 현상등이 일어날 수 있다. 

 

 

 

---

 

자바 프로그램 실행과정

1. 프로그램 실행시 JVM은 OS로부터 이 프로그램이 필요로 하는 메모리를 할당받는다. 
                         JVM은 이 메모리를 용도에 따라 여러 영역으로 나누어 관리한다.
2. 자바 컴파일러가 자바 소스코드를 읽어들여 자바 바이트 코드로 변환시킨다. ( .java -> .class )
3. Class Loader를 통해 class 파일들을 JVM으로 로딩한다.
4. 로딩된 class 파일들은 Execution engine을 통해 해석된다.
5. 해석된 바이트 코드는 runtime data areas에 배치되어 실질적인 수행이 이루어진다.
             이러한 실행과정 속에서 JVM은 필요에 따라 Thread Synchronization과 GC 같은 관리작업 수행

 

 

JVM

 

 

JVM 구성

Class Loader

JVM내로 클래스( .class 파일 )를 로드하고 링크를 통해 배치하는 작업을 수행하는 모듈이다. runtime 시에 동적으로 클래스를 로드한다. jar 파일 내 저장된 클래스들을 JVM 위에 탑재하고 사용하지 않는 클래스들은 메모리에서 삭제한다. (컴파일러 역할) 자바는 동적 코드, 컴파일 타임이 아니라 런타임에 참조한다. 즉, 클래스를 처음으로 참조할 때, 해당 클래스를 로드하고 링크한다는 것이다. 그 역할을 수행하는 것이 클래스 로더다.

 

 

Execution Engine 

클래스를 실행시키는 역할이다. 클래스로더가 JVM 내의 런타임 데이터 영역에 바이트 코드를 배치시키고, 이것은 실행 엔진에 의해 실행된다. 자바 바이트코드는 기계가 바로 수행할 수 있는 언어보다는 비교적 인간이 보기 편한 형태로 기술된 것이다. 그래서 실행 엔진은 바이트 코드를 실제 JVM 내부에서 기계가 실행할 수 있는 형태로 변경한다. 

이때 두가지 방식을 사용하게 된다.

Interpreter 
실행 엔진은 자바 바이트 코드를 명령어 단위로 읽어서 실행한다.
하지만 이 방식은 인터프리터 언어의 단점을 그대로 갖고 있다. 
한 줄 씩 수행하기 때문에 느리다는 것이다.

JIT ( Just - In - Time )
인터프리터 방식의 단점을 보안하기 위해 도입된 JIT 컴파일러다. 
인터프리터 방식으로 실행하다가 적절한 시점에 바이트 코드 전체를 컴파일하여 네이티브 코드로 변경하고, 이후에는 더이상 인터프리팅 하지 않고 네이티브 코드로 직접 실행하는 방식이다.
네이티브 코드는 캐시에 보관하기 때문에 한 번 컴파일된 코드는 빠르게 수행하게 된다.
물론 JIT컴파일러가 컴파일 하는 과정은 바이트코드를 인터프리팅하는 것보다 훨씬 오래걸리므로, 한번만 실행되는 코드라면 컴파일하지 않고 인터프리팅하는 것이 유리하다.
따라서 JIT컴파일러를 사용하는 JVM들은 내부적으로 해당 메서드가 얼마나 자주 수행되는지 체크하고 일정 정도를 넘을 때에만 컴파일을 수행한다.

 

Garbage collector

GC를 수행하는 모듈(thread)이 있다.

 

 

 

 

---

Runtime Data Area

:프로그램을 수행하기 위해 OS에서 할당받은 메모리 공간

Runtime Data Area

 

1. PC 레지스터

Thread가 시작될 때 생성된다.

스레드마다 하나씩 존재하고 thread가 어떤 부분을 어떤 명령으로 실행해야할지에 대한 기록을 하는 부분으로 현재 수행 중인 JVM 명령의 주소를 갖는다.

 

 

2. JVM 스택 영역

프로그램 실행과정에서 임의로 할당되었다가 메소드를 빠져나가면 바로 소멸되는 특성의 데이터를 저장하기 위한 영역이다. 각종 형태의 변수나 임세 데이터, 스레드나 메소드의 정보를 저장한다.

메소드 호출 시마다 각각의 스택 프레임(그 메소드만을 위한 공간)이 생성된다.

메소드 수행이 끝나면 프레임 별로 삭제를 한다.

메소드 안에서 사용되는 값들(local variable)을 저장한다.

또 호출된 메소드의 매개변수, 지역변수, 리턴 값 및 연산 시 일어나는 값들을 임시로 저장한다.

 

 

3. Native method stack

자바 프로그램이 컴파일되어 생성되는 바이트 코드가 아닌, 실제 실행가능한 기계어로 작성된 프로그램을 실행시키는 영역이다. (JAVA가 아닌 다른 언어로 작성된 코드를 위한 공간)

JAVA Native Interface를 통해 바이트 코드로 전환하여 저장하게 된다. 

일반 프로그램처럼 커널이 스택을 잡아 독자적으로 프로그램을 실행시키는 영역이다.

이 부분을 통해 C code를 실행시켜 커널에 접근할 수 있다.

 

 

4. Metod Area = class area = static area

클래스 정보를 처음 메모리 공간에 올릴 때 초기화 되는 대상을 저장하기 위한 메모리 공간이다.

올라가게 되는 메소드의 바이트 코드는 프로그램의 흐름을 구성하는 바이트 코드이다. 자바 프로그램은 main 메소드의 호출에서부터 계속된 메소드의 호출로 흐름을 이어가기 때문이다. 

대부분 인스턴스의 생성도 메소드 내에서 명령하고 호출한다. 

사실상 컴파일 된 바이트 코드의  대부분이 메소드 바이트 코드이기 때문에 거의 모든 바이트코드가 올라간다고 봐도 상관 없다. 

이 공간에는 Runtime Constant Pool이라는 별도의 관리영역이 존재하는데, 이는 상수 자료형을 저장하여 참조하고 중복을 막는 역할을 수행한다.

올라가는 정보의 종류

- field information : 멤버 변수의 이름, 데이터 타입, 접근 제어자에 대한 정보
- method information : 메소드의 이름, 리턴 타입, 매개변수, 접근 제어자에 대한 정보
- type information : class인지 interface인지의 여부 저장, type이 속성, 전체 이름, super class의 전체 이름

* method area = 클래스 데이터를 위한 공간   |   heap 영역 = 객체를 위한 공간

  heap과 마찬가지로 GC의 관리 대상에 포함된다.

 

 

5. Heap

객체를 저장하는 가상 메모리 공간이다. new 연산자로 생성된 객체와 배열을 저장한다.

물론 class area 영역에 올라온 클래스들만 객체로 생성할 수 있다. 

힙은 세 부분으로 나뉜다.

• New/Young Generation

Eden : 객체들이 최초로 생성되는 공간

Survivor 0/1 : Eden에서 참조되는 객체들이 저장되는 공간

 

 

• Old 영역

new area에서 일정 시간 참조되고 있는, 살아남은 객체들이 저장되는 공간인 Eden 영역에 객체가 가득차게되면 첫번째 GC가 발생한다. eden 영역에 있는 값들을 survivor 1 영역에 복사하고 이 영역을 제외한 나머지 영역의 객체를 삭제한다.

 

* 인스턴스는 소멸 방법과 소멸 시점이 지역 변수와는 다르기에 힙이라는 별도의 영역에 할당 된다. JVM은 매우 합리적으로 인스턴스를 소멸시킨다. ( 더이상 인스턴스의 존재 이유가 없을 때 소멸시킨다 )

 

 

• Permanent Generation

생성된 객체들의 정보의 주소값이 저장된 공간이다.

class loader에 의해 로드되는 class, method 등에 대한 meta 정보가 저장되는 영역이고 JVM에 의해 사용된다. 

reflection을 사용하여 동적으로 클래스가 로딩되는 경우에 사용된다.

내부적으로 reflection 기능을 자주 사용하는 spring framework를 이용할 경우 이 영역에 대한 고려가 필요하다.