[Go 공식문서 한국어 정리] ⑯26. Go 어셍리이터 빠른 가이드

https://go.dev/doc/asm

 

[Go 공식문서 한국어 정리] ⑯26. Go 어셍리이터 빠른 가이드

 

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

 

1. 서론

이 문서는 Go 컴파일러(gc) 의 어셍리어의 특이한 형태에 대한 간략한 소개입니다. Go의 어셍리어는 Plan 9 어셍리어 입력 스타일을 기반으로 하며, 기계어를 직접 표현하는 것이 아닌 반전상적인 명령어 집합(semi-abstract instruction set)을 사용한다는 특징이 있습니다.

 

2. 핵심 개념

• Go 어셍리어는 기계어를 직접 표현하지 않는다. MOV 명령어가 실제로 이동 명령이 아닌 clear 나 load 로 범위할 수 도 있습니다.
• 기계별 수행 명령은 그대로 나타나지만, 메모리 이동이나 함수 호출 같은 일반적인 개념은 방식에 당해 더 운색하게 된다.
• 어셍리런이 만들어 내는 실제 어셍리에 대한 정보는 컴파일러의 -S 플래그나 go tool objdump 로 확인할 수 있습니다.

 

3. 주요 내용 상세

 

3.1 상수와 기호

• 상수 표현식은 Go의 연산자 우선순위를 사용합니다. 3&1<<2는 4입니다(Plan 9의 C스타읽 스타일과 다릅니다).
• 상수는 항상 64비트 어상정수로 평가됩니다.
• 사전 정의 기호는 R1, LR 등 레지스터를 가리키며, 아키텍처에 따라 종류가 다릅니다.

 

3.2 가상 레지스터(Pseudo-Registers)

• FP(Frame Pointer): 인자와 지역변수를 참조. 0(FP)는 첫 번째 인자. 이름을 필수로 붙여야 합니다(예: arg+0(FP)).
• PC(Program Counter): 점프와 분기를 참조.
• SB(Static Base): 전역 기호의 기저 주소. foo(SB)는 전역 기호 foo의 메모리 주소를 가리킨다.
• SP(Stack Pointer): 스택 프레임 내에서 가장 높은 주소를 가리킵니다. 지역변수는 음수 오프셋(예: x-8(SP))를 사용합니다.
• 레지스터 이름이 있는 SP와 없는 SP는 다른 위치를 가리킵니다. x-8(SP)는 가상 스택, -8(SP)는 하드웨어 스택입니다.

 

3.3 지시어(Directives)

• TEXT: 함수 정의에 사용. TEXT runtime·profileloop(SB),NOSPLIT,$8 형태로 사용합니다. 마지막 명령은 RET이어야 합니다.
• DATA: 기호의 메모리 일부를 초기화. DATA divtab<>+0x00(SB)/4, $0xf4f8fcff
• GLOBL: 기호를 전역적으로 노출합니다. 후속 플래그(RODATA, NOPTR 등)과 크기를 지정합니다.
• FUNCDATA/PCDATA: 쓰레기 컬렉터에 필요한 메타데이터를 기록합니다.

 

3.4 플래그

• NOSPLIT(4): 스택 분할 전염을 삽입하지 않습니다.
• RODATA(8): 읽기 전용 센션에 배치합니다.
• NOPTR(16): 포인터가 없으므로 쓰레기 컬렉터의 스캔 대상이 아닙니다.
• DUPOK(2): 중복 기호가 허용됩니다.
• WRAPPER(32): 랩퍼 함수로, recover 비활성화를 반영하지 않습니다.

 

3.5 아키텍처별 특수사항

• x86/amd64: BP는 콜리-세이브 레지스터. 플레임 크기가 0보다 크면 자동으로 저장/복원한다.
• ARM: R10은 g(코루틴)을, R11은 컴파일러/링커가 예약한다. SP대신 하드웨어 R13을 사용.
• ARM64: R18_PLATFORM은 애플 플랫폼 예약. R27, R28은 컴파일러/링커 예약.
• s390x: R13은 g를, R15는 스택 프레임을 가리킨다.
• MIPS/MIPS64: R30은 g를 가리킨다. 하드웨어 SP는 R29.

 

3.6 런타임과 상호작용

• 어셍블리 소스에서는 포인터를 포함한 기호를 정의할 수 없습니다. 필요한 경우 Go 소스에서 정의하고 어셍블리에서 이름을 참조하십시오.
• 어셍블리 함수에는 레지스터 지역 포인터 위치를 설명해야 합니다.
• 포인터가 없는 데이터는 NOPTR 플래그로 표시합니다.
• 모든 어셍블리 함수는 Go 프로토타입을 가져야 하며, go vet이 인자 오프셋을 검증할 수 있습니다.
• 스택 이동이 발생할 수 있다는 점을 염두어야 한다: 스택 데이터의 포인터를 지역변수에 유지하면 안됩니다.

 

3.7 go_asm.h

• 패키지에 .s 파일이 있으면 컴파일러가 go_asm.h를 생성한다.
• 이 파일에는 해당 패키지의 Go 상수(const), 스트럭트 필드 오프셍, 스트럭트 크기에 대한 #define 등이 포함됩니다.
• 예: const_bufSize, reader__size, reader_buf, reader_r. 어셍블리에서 이러한 상수를 사용하는 것이 약한 타입 의존성을 높이는 데 효적입니다.

 

4. 실전 활용

• 표준 라이브러리(runtime, math/big) 소스에서 어셍블리 코드를 참고하면 다양한 아키텍처의 사용예를 확인할 수 있습니다.
• go tool compile -S x.go 나 go build -gcflags -S x.go를 사용하면 컴파일러가 발생하는 어셍블리를 볼 수 있습니다.
• 목없는 어셍리를 사용해야 할 때는 BYTE, WORD 지시어로 명시적인 인스트럼션 바이트를 직접 기입할 수 있습니다.

 

5. 정리

• Go 어셍리어는 Plan 9 기반의 반전상적 명령어 집합을 사용합니다.
• FP, PC, SB, SP 네 가지 가상 레지스터를 이해하는 것이 어셍블리 코딩의 핵심입니다.
• TEXT, DATA, GLOBL 지시어와 다양한 플래그를 활용해 함수와 전역 데이터를 정의할 수 있습니다.
• 가비지 컬렉터와 정확한 상호작용을 위해 go_asm.h와 프로토타입, 그리고 go vet을 활용하십시오.
• 아키텍처별 세부사항은 아키텍처의 cmd/internal/obj 소스에서 확인할 수 있습니다.

 

#Go #Golang #Assembler #어셍리 #Plan9 #공식문서