POJ(JVM의 파스칼)를 따르지 않는 사람들을 위해 하위 집합을 Pascal에서 JASM(Java 어셈블리) JVM을 실행 환경으로 사용할 수 있습니다.

지난 게시물에서 Pascal의 함수에 대한 지원을 구현했습니다.

이번 포스팅에서는 멋진 이야기를 나눠볼까요? 그다지 많지는 않습니다 ㅋㅋㅋ 이번에는 버그에 대해서만 이야기해보겠습니다 :-)

JVM용으로 컴파일하는 동안 이 놀라운 가상 머신의 다양한 지점의 기능을 자세히 설명할 필요가 있습니다. 따라서 JVM의 내부 기능과 일부 지침(opcodes)을 여러 번 자세히 설명합니다.

명령줄을 통해 프로그램에 전달된 매개변수 관련 버그

변수 선언을 구현할 때 JVM에서 기본 함수의 첫 번째 변수가 프로그램에 전달된 인수가 포함된 배열인 args라는 사실에 주의를 기울이지 않았습니다. 따라서 이 PR에서는 args에 대해 암시적으로 첫 번째 위치를 예약합니다.

지역 및 전역 변수를 처리할 때의 버그

테스트 파스칼 프로그램에는 전역 변수만 포함되어 있었기 때문에 JASM 생성에서 심각한 오류를 발견하지 못했습니다. 전역 변수와 지역 변수가 포함된 프로그램을 만드는 순간 뭔가 잘못되었다는 것을 깨달았습니다 ㅋㅋㅋ.

아래 Pascal 프로그램에서:

program global_var_declaration;
var
    globalvar : integer;
begin
    globalvar := 123;
    write (globalvar);
end.

POJ가 다음 JASM을 생성했습니다.

// Code generated by POJ 0.1
public class global_var_declaration {
    public static main([java/lang/String)V {
        ;; globalvar := 123;
        bipush 123
        istore 1

        ;; write (globalvar);
        getstatic java/lang/System.out java/io/PrintStream
        iload 1
        invokevirtual java/io/PrintStream.print(I)V

        return
    }
}

문제를 확인하기 위해 위의 Pascal 프로그램과 동일한 Java 프로그램을 만들었습니다.

public class GlobalVarDeclaration {
    public static int globalVar;

    public static void main(String[] args) {
        globalVar = 123;
        System.out.println(globalVar);
    }
}

클래스를 분해했을 때 다음과 같은 어셈블리를 얻었습니다:

 1: public class GlobalVarDeclaration {
 2:     public static globalVar I
 3:
 4:     public static main([java/lang/String)V {
 5:         bipush 123
 6:         putstatic GlobalVarDeclaration.globalVar I
 7:
 8:         getstatic java/lang/System.out java/io/PrintStream
 9:         getstatic GlobalVarDeclaration.globalVar I
10:         invokevirtual java/io/PrintStream.println(I)V
11:
12:         return
13:     }
14: }

이 시점에서 나는 "public static globalVar I"(라인 2) 선언과 putstatic(라인 6) 및 getstatic(라인) 지침을 확인했습니다. 9) . 예상했던 것은 지금까지 POJ에서 사용했던 astore 및 istore 명령이었습니다. JVM 문서를 읽으면서 나는 POJ가 마치 JVM 함수의 지역 변수인 것처럼 전역 변수를 선언하고 있다는 것을 깨달았습니다. :-D

어쨌든 지금까지 POJ는 opcodes aload/iload/astore/ Istore를 (잘못) 사용했습니다. 전역 변수의 경우 를 사용하지만 올바른 옵션은 변수를 공개로 선언하고(2번째 줄에서와 같이) getstatic/putstatic.

결과적으로 기호 테이블이 로컬 및 전역 선언을 처리할 수 있도록 코드가 리팩터링되었습니다. 그리고 여기서 코드는 기호 테이블이 지역 및 전역 변수에 대한 올바른 지침을 생성할 수 있도록 리팩터링되었습니다.

여기에서 JASM 코드 생성이 변경되어 새로운 기호 테이블을 처리하고 함수나 프로시저가 끝난 후 로컬 선언을 정리합니다.

이를 통해 아래 Pascal 프로그램에서:

program GlobalVarDeclaration;
var
    globalvar : integer;
begin
    globalvar := 123;
    write (globalvar);
end.

POJ는 이제 다음 JASM을 올바르게 생성합니다.

// Code generated by POJ 0.1
public class global_var_declaration {
    public static globalvar I

    public static main([java/lang/String)V {
        ;; globalvar := 123;
        bipush 123
        putstatic global_var_declaration.globalvar I

        ;; write (globalvar);
        getstatic java/lang/System.out java/io/PrintStream
        getstatic global_var_declaration.globalvar I
        invokevirtual java/io/PrintStream.print(I)V

        return
    }
}

다음 단계

다음 포스트에서는 문맥과 중첩 문장에 대해 이야기하겠습니다.

완전한 프로젝트 코드

프로젝트의 전체 코드와 문서가 포함된 저장소가 여기에 있습니다.