자바 메모리 모델 의 가상 스 택 원리 분석

자바 가상 머 신 은 자바 프로그램 을 실행 하 는 과정 에서 관리 하 는 메모 리 를 여러 개의 서로 다른 데이터 구역 으로 나 눌 것 입 니 다.이 구역 들 은 각자 의 용도 와 생 성,소각 시간 이 있 습 니 다.어떤 구역 은 가상 머 신 프로 세 스 의 시작 에 따라 존재 하고 일부 구역 은 사용자 스 레 드 의 시작 과 끝 에 의존 하여 구축 하고 소각 합 니 다.자바 가상 컴퓨터 가 관리 하 는 메모리 에는 다음 과 같은 몇 개의 실행 시 데이터 영역 이 포 함 됩 니 다.다음 그림 에서 보 듯 이

메모리 에서 스 택 은 두 부분 으로 나 뉘 는데 하 나 는 로 컬 방법 스 택 이 고 가상 컴퓨터 에 사용 되 는 Native 방법 서비스 이다.구체 적 인 가상 컴퓨터 는 자 유 롭 게 실현 할 수 있 고 다른 하 나 는 가상 컴퓨터 스 택 이다.주로 가상 컴퓨터 에 자바 방법 서 비 스 를 수행 하기 때문에 자바 스 택 이 되 었 다.본 고 는 주로 가상 컴퓨터 스 택 에 대해 상세 하 게 해석 하고 자 한다.

1.자바 스 택 은 가상 스 택 이 라 고도 부 릅 니 다.즉,우리 가 흔히 말 하 는 스 택 입 니 다.자바 스 택 은 자바 방법 으로 실 행 된 메모리 모델 입 니 다.
2.자바 스 택 에 저 장 된 것 은 스 택 프레임 입 니 다.스 택 프레임 마다 호출 되 는 방법 에 대응 합 니 다.스 택 프레임 에는 부분 변수 표(Local Variables),작업 스 택(Operand Stack),현재 방법 에 속 하 는 클래스 의 운행 상 당량 탱크(운행 시 상수 탱크 의 개념 은 방법 구역 부분 에서 회담)의 인용(Reference to runtime constant pool)을 포함 합 니 다.방법 은 주소(Return Address)와 추가 정 보 를 되 돌려 줍 니 다.스 레 드 가 하나의 방법 을 실행 할 때 이에 대응 하 는 스 택 프레임 을 만 들 고 스 택 프레임 을 스 택 합 니 다.방법 이 실 행 된 후에 스 택 프레임 을 스 택 에서 꺼 냅 니 다.그래서 방법 에 대해 서 는 자원 회수 설 이 존재 하지 않 는 다.
3.부분 변수 표 는 말 그대로 설명 할 필요 가 없 을 것 입 니 다.그 역할 을 알 고 계 시 겠 죠?방법 에 있 는 부분 변 수 를 저장 하 는 것 입 니 다.기본 데이터 형식의 변 수 는 그 값 을 직접 저장 하고 인용 유형의 변 수 는 대상 을 가리 키 는 인용 을 저장 합 니 다.부분 변수 표 의 크기 는 컴 파일 러 에서 크기 를 확인 할 수 있 기 때문에 프로그램 이 실행 되 는 동안 부분 변수 표 의 크기 는 변 하지 않 습 니 다.
4.스 택 을 조작 할 때 데이터 구조 에서 스 택 을 배 웠 을 것 입 니 다.스 택 의 친 구 는 표현 식 의 값 을 구 하 는 문제 가 낯 설 지 않 을 것 입 니 다.스 택 의 가장 전형 적 인 응용 은 표현 식 에 대한 값 을 구 하 는 것 입 니 다.하나의 스 레 드 실행 방법 을 생각 하 는 과정 에서 사실은 문 구 를 계속 집행 하 는 과정 이 고 결국은 계산 하 는 과정 이다.따라서 프로그램의 모든 계산 과정 은 조작 수 에 의 한 것 이 라 고 할 수 있다.
5.실행 시 상 당량 탱크 의 인용 을 가리 키 며,방법 이 실행 되 는 과정 에서 클래스 의 상수 가 필요 할 수 있 으 므 로,실행 시 상 당량 을 참조 해 야 합 니 다.
6.방법 은 주 소 를 되 돌려 줍 니 다.한 방법 이 실 행 된 후에 호출 된 곳 으로 돌아 가 야 하기 때문에 스 택 프레임 에 주 소 를 되 돌려 주 는 방법 을 저장 해 야 합 니 다.
7.모든 스 레 드 가 실행 중인 방법 이 다 를 수 있 기 때문에 모든 스 레 드 는 자신의 자바 스 택 이 있 고 서로 간섭 하지 않 습 니 다.
이상 이 바로 본 고의 모든 내용 입 니 다.여러분 의 학습 에 도움 이 되 고 저 희 를 많이 응원 해 주 셨 으 면 좋 겠 습 니 다.