1
점프 명령 (jsr 및 goto)이 데이터 또는 명령 인수가 아닌 점프를 JVM이 어떻게 보장합니까?JVM 바이트 코드 점프 명령
A
답변
2
바이트 코드 검증기의 일부입니다.
Java 바이트 코드에서 명령어는 모두 알려진 길이를 가지며 오프셋 0에서 시작하여 하나씩 나타나야하므로 각 명령어의 시작 부분이 언제 정적인지 항상 알 수 있습니다. 따라서 점프 대상이 유효한 명령어의 시작인지 확인하는 것은 간단합니다. Dalvik 또는 x86과 달리, 당신은 명령의 중간에 뛰어들 수 없습니다.
You can find the source code for the verifier here. 실제로 두 개의 확인자가 있습니다. 이 코드는 StackMapTable이없는 코드 (여기에는 jsr을 포함하는 모든 코드가 포함됨)에 사용되는 클래식 verfier입니다.
관련 문제
- 1. 핫스팟 JVM 바이트 코드 인터프리터는 추적 JIT입니까?
- 2. JVM 바이트 코드 검증 프로그램의 책임
- 3. 특정 jvm 바이트 코드 패턴에 대한 grep
- 4. unary not 표현식을위한 JVM 바이트 코드 생성
- 5. 자바 바이트 코드 스트림 추적
- 6. MATLAB의 점프 명령
- 7. JVM 바이트 코드 부동 소수점 부정 : 허용되지 않지만 가능합니까?
- 8. 3 개의 주소 코드에서 JVM 바이트 코드로 코드 생성
- 9. JVM 바이트 코드 명령어 Tload_ <n> 대 Tload
- 10. Android에서 자바 바이트 코드 실행 - DalvikVM 상단의 Sun JVM
- 11. 바이트 코드 프로파일 링 JVM 언어 이해 도구
- 12. JVM 명령 시작 옵션 중복
- 13. 자바 스크립트로 점프 코드
- 14. clvs에서 jvm 바이트 코드를 js로 변환하는 방법
- 15. 명령 행 바이트 시퀀스
- 16. 간단한 바이트 코드 변환기
- 17. Java 바이트 코드 이해
- 18. 코드 캠퍼 대 코드 캠퍼 점프 시작
- 19. OpenJDK JVM 병렬화 바이트 코드가 있습니까?
- 20. 코드 점화 장치의 점프 컨트롤러
- 21. 점프 테이블 및 코드 포인터
- 22. 코드 블록 간 Java 점프
- 23. 기계어 코드 점프 대상 계산
- 24. MIPS : 점프 명령어 코드 알아보기
- 25. 바이트 코드 시퀀스 디 컴파일
- 26. 자바 바이트 코드 해석기에 대해 알고 있습니까?
- 27. Java 소스 코드 생성 및 점프
- 28. 가변 길이 배열보다 앞선 점프 명령 goto
- 29. MASM 어셈블리 점프 명령 인쇄 문제
- 30. 명령어와 바이트 코드 간의 관계