고(Go) 1.24 정식 출시! 더 빠르고, 똑똑해지고, 강력해진 Go 언어의 모든 것, 지금부터 파헤쳐 볼까요?

고(Go) 1.24 정식 출시! 더 빠르고, 똑똑해지고, 강력해진 Go 언어의 모든 것, 지금부터 파헤쳐 볼까요?

안녕하세요, 코딩 친구들! 드디어 많은 개발자들이 손꼽아 기다리던 고(Go) 1.24 버전이 정식으로 우리 곁을 찾아왔습니다.

이번 업데이트는 정말이지 "역대급"이라고 불러도 손색이 없을 만큼 다양하고 멋진 기능들이 가득한데요.

기존 버전과의 호환성은 착실히 지키면서도, 개발자들의 생산성을 한층 끌어올릴 새롭고 강력한 기능들과 성능 최적화가 대거 포함되었다는 소식입니다.

마치 우리가 쓰던 스마트폰이 하룻밤 사이에 최신형 플래그십 모델로 업그레이드된 듯한 느낌이랄까요?

과연 고(Go) 1.24는 우리에게 어떤 놀라운 경험을 선사할지, 핵심 내용만 쏙쏙 뽑아 지금부터 자세히 알아보겠습니다.

1. 언어 자체의 변화: 이제 제네릭 타입 별칭도 마음껏!

가장 먼저 눈에 띄는 변화는 바로 언어 자체의 기능 확장인데요.

고(Go) 1.24부터는 '제네릭 타입 별칭(generic type aliases)'을 완벽하게 지원한답니다.

이게 무슨 말이냐고요?

우리가 보통 타입을 정의할 때처럼, 이제 타입 별칭에도 매개변수를 사용해서 더욱 유연하게 코드를 작성할 수 있게 되었다는 뜻인데요.

마치 요리 레시피에서 '주재료'라는 칸을 비워두고, 나중에 돼지고기를 넣으면 제육볶음 레시피가 되고, 오징어를 넣으면 오징어볶음 레시피가 되는 것처럼 말입니다.

이렇게 하면 코드의 재사용성은 물론이고, 가독성까지 크게 향상시킬 수 있답니다.

// 제네릭 타입 별칭 정의 예시
type 내맘대로타입[T int | string] T

func main() {
    var 숫자 내맘대로타입[int] = 10
    var 문자열 내맘대로타입[string] = "안녕, 고(Go) 1.24!"
}

위 코드처럼 `내맘대로타입`이라는 별칭을 만들어두고, 필요에 따라 `int` 타입으로도 쓰고 `string` 타입으로도 쓸 수 있게 되는 겁니다.

정말 편리하겠죠?

물론 지금 당장은 `GOEXPERIMENT=noaliastypeparams` 설정을 통해 이 기능을 비활성화할 수도 있지만, 고(Go) 1.25 버전부터는 이 설정이 완전히 사라질 예정이라고 하니, 미리 익숙해지는 것이 좋겠습니다.

2. 개발을 도와주는 도구들, 더욱 강력하고 편리하게!

고(Go) 언어의 강력함은 다양한 개발 도구들 덕분이기도 한데요.

이번 1.24 버전에서는 이 도구들이 한층 더 업그레이드되었습니다.

고(Go) 커맨드의 진화: 지시어와

이제 고 모듈(Go modules)에서 실행 파일 의존성을 추적하는 방식이 훨씬 깔끔해졌습니다.

go.mod 파일에 tool이라는 새로운 지시어를 사용해서 관리할 수 있게 되었는데요.

예전에는 "tools.go" 파일에 빈 임포트(blank imports) 형식으로 도구들을 추가하는 다소 번거로운 방법을 사용해야 했답니다.

go tool 명령어를 사용하면 이렇게 등록된 사용자 정의 도구뿐만 아니라, 고(Go) 배포판에 포함된 다양한 도구들도 실행할 수 있습니다.

더불어, go get 명령어에는 -tool이라는 새로운 플래그가 추가되어서, 특정 패키지에 대한 tool 지시어를 손쉽게 추가할 수 있게 되었습니다.

go get tool이나 go install tool처럼 tool 메타 패턴을 사용하면 모듈 내의 모든 도구를 한꺼번에 업그레이드하거나 설치하는 것도 가능해져서 정말 편리해졌습니다.

빌드 및 테스트 명령어 향상: 더 빨라지고, 더 자세하게!

go run이나 go tool 명령어로 생성되는 실행 파일들은 이제 자동으로 고 빌드 캐시(Go build cache)에 저장됩니다.

이게 왜 중요하냐고요?

반복적으로 실행할 때마다 새로 빌드할 필요 없이 캐시된 파일을 사용하니까 실행 속도가 눈에 띄게 빨라지는 효과가 있습니다.

물론 캐시 공간을 조금 더 사용하게 되겠지만, 시간 절약 효과가 훨씬 크겠죠?

그리고 go build, go install, go test 명령어에는 -json이라는 새로운 플래그가 생겼습니다.

이 플래그를 사용하면 빌드 결과나 에러 메시지를 구조화된 제이슨(JSON) 형식으로 출력해 주는데요.

특히 go test -json의 출력에서는 새로운 액션(Action) 타입을 통해 빌드 결과와 테스트 결과 제이슨(JSON) 데이터를 구분해 준다고 합니다.

만약 테스트 통합 시스템에서 문제가 발생하면, GODEBUG=gotestjsonbuildtext=1 설정을 통해 기존처럼 텍스트 형식으로 출력을 되돌릴 수도 있으니 안심해도 됩니다.

인증과 버전 설정도 스마트하게!

다양한 환경에서 비공개 모듈을 가져올 때 필요한 인증 요구 사항을 충족시키기 위해, 고(Go) 1.24에는 GOAUTH라는 환경 변수가 새로 추가되었습니다.

이를 통해 더욱 유연하게 인증 방식을 설정할 수 있게 되었답니다.

또한, go build 명령어는 이제 버전 관리 시스템의 태그나 커밋 정보를 기반으로 컴파일된 바이너리 파일의 메인 모듈 버전을 설정합니다.

만약 커밋되지 않은 변경 사항이 있다면 버전 번호에 자동으로 +dirty라는 접미사가 붙게 되고요.

버전 관리 정보를 무시하고 싶다면 -buildvcs=false 플래그를 사용하면 됩니다.

더불어, 새로운 GODEBUG 설정인 toolchaintrace=1을 사용하면 go 명령어가 어떤 툴체인을 선택하는지 그 과정을 추적해 볼 수 있어서 문제 해결에 도움이 될 수 있습니다.

씨고(Cgo)의 능력 향상: 성능과 안정성 두 마리 토끼를 잡다!

씨고(Cgo)는 고(Go) 코드에서 C 코드를 호출할 수 있게 해주는 아주 유용한 기능인데요.

이번 버전에서는 새로운 C 함수 어노테이션을 지원하여 런타임 성능을 향상시켰습니다.

예를 들어, #cgo noescape cFunctionName은 컴파일러에게 cFunctionName으로 전달된 메모리가 밖으로 빠져나가지 않는다는 것을 알려주고, #cgo nocallback cFunctionName은 해당 C 함수가 어떤 고(Go) 함수도 다시 호출하지 않을 것임을 나타냅니다.

또한, 서로 다른 파일에 있는 C 함수의 호환되지 않는 여러 선언에 대한 씨고(Cgo)의 검사가 더욱 엄격해졌습니다.

덕분에 호환되지 않는 선언이 있을 경우, 이전보다 더 빠르고 정확하게 오류를 찾아내고 알려줄 수 있게 되었습니다.

오브젝트덤프(Objdump)의 확장된 지원 범위

오브젝트덤프(Objdump) 도구는 이제 더 많은 아키텍처를 지원합니다.

64비트 룽슨 아키텍처(LoongArch) (GOARCH=loong64), 리스크-파이브(RISC-V) (GOARCH=riscv64), 그리고 에스삼구공엑스(S390X) (GOARCH=s390x) 아키텍처에 대한 디스어셈블리 작업도 가능해졌습니다.

벳(Vet) 도구, 더 꼼꼼하게 오류를 찾아냅니다!

벳(Vet) 도구에는 tests 분석기가 새로 추가되었는데요.

이 분석기는 테스트 패키지 내의 테스트, 퍼즈 테스트, 벤치마크, 예제 선언에서 발생할 수 있는 흔한 오류들을 검사합니다.

예를 들어, 이름 형식이 잘못되었거나, 함수 시그니처가 틀렸거나, 예제 기록에 존재하지 않는 식별자를 사용하는 경우 등을 잡아낼 수 있습니다.

이 분석기는 go test를 실행할 때 자동으로 실행된다고 하니, 더욱 안심하고 코딩할 수 있겠습니다.

뿐만 아니라, printf 분석기는 fmt.Printf(s) 형태의 호출(여기서 s는 다른 매개변수 없이 사용되는 비상수 형식 문자열)을 진단하고, 대신 fmt.Print를 사용하도록 제안합니다.

buildtag 분석기는 //go:build 지시어에 있는 유효하지 않은 고(Go) 주요 버전 빌드 제약 조건을 확인하고, copylock 분석기는 3절 "for" 루프에서 sync.Locker (예: sync.Mutex)를 포함하는 변수를 탐지하여 안전하지 않은 잠금 복사 작업을 효과적으로 방지해 준답니다.

GOCACHEPROG: 캐시 메커니즘의 유연성 증대

cmd/go 내부의 바이너리 및 테스트 캐싱 메커니즘은 이제 GOCACHEPROG 환경 변수를 통해 자식 프로세스에 의해 구현될 수 있습니다.

이 자식 프로세스는 제이슨(JSON) 프로토콜을 통해 cmd/go 도구와 상호 작용하는데요.

이를 통해 개발자들은 캐시 관련 작업을 처리할 때 더 많은 유연성과 사용자 정의 가능성을 확보할 수 있게 되었습니다.

3. 런타임 성능 최적화: 더 가볍고 빠르게!

고(Go) 1.24는 런타임에서도 여러 가지 효과적인 성능 최적화를 이루어냈습니다.

대표적인 벤치마크 테스트를 통해 확인한 결과, 평균적으로 CPU 오버헤드가 2~3% 감소했다고 하는데요!

이러한 최적화는 주로 스위스 테이블(Swiss table) 기반의 새로운 내장 맵(map) 구현, 더 효율적인 작은 객체 메모리 할당, 그리고 새로운 런타임 내부 뮤텍스(mutex) 덕분입니다.

만약 특별한 이유로 새로운 내장 맵 구현이나 런타임 내부 뮤텍스를 비활성화하고 싶다면, 빌드 과정에서 각각 GOEXPERIMENT=noswissmap과 GOEXPERIMENT=nospinbitmutex를 설정하여 이를 수행할 수 있습니다.

4. 컴파일러의 변화: 더욱 엄격해진 검사

고(Go) 1.24의 컴파일러는 씨고(cgo)로 생성된 타입에 대한 검사를 강화했습니다.

이제 수신자(receiver)가 씨고(cgo) 생성 타입(직접적이든 별칭 타입을 통해서든 간접적이든)을 나타내면 컴파일러는 항상 오류 메시지를 보고합니다.

이를 통해 개발 과정 초기에 잠재적인 문제를 발견하고 해결하는 데 도움이 될 것입니다.

5. 링커의 새로운 기능: 빌드 ID 기본 생성

ELF 플랫폼에서 링커는 이제 기본적으로 GNU 빌드 ID(즉, ELF NT_GNU_BUILD_ID note)를 생성합니다.

맥OS(macOS) 플랫폼에서는 UUID(즉, Mach-O LC_UUID load command)를 기본적으로 생성하고요.

이러한 ID 생성은 고(Go) 빌드 ID에서 파생되는데요.

만약 이 기능을 비활성화하고 싶다면 -B none 플래그를 사용하면 되고, 사용자 정의 16진수 값을 지정하여 기본 설정을 덮어쓰고 싶다면 -B 0xNNNN 플래그를 사용하면 됩니다.

6. 부트스트래핑 요구사항 변경

고(Go) 1.24를 빌드하려면 고(Go) 1.22.6 또는 그 이상 버전이 필요합니다.

계획에 따르면, 고(Go) 1.26 버전부터는 부트스트래핑을 위해 고(Go) 1.24 또는 그 이상 버전의 포인트 릴리즈(point release) 버전이 필요할 것으로 예상됩니다.

7. 더욱 풍부해진 표준 라이브러리: 개발의 즐거움을 더하다!

고(Go)의 매력 중 하나는 강력하고 편리한 표준 라이브러리인데요.

이번 1.24 버전에서도 유용한 기능들이 대거 추가되고 개선되었습니다.

디렉토리 제한 파일 시스템 접근: 보안 강화!

os.Root 타입과 os.OpenRoot 함수의 등장은 개발자들에게 특정 디렉토리 내에서만 파일 시스템 작업을 수행할 수 있는 기능을 제공합니다.

이 메커니즘을 통해 모든 작업이 지정된 디렉토리 범위 내로 엄격하게 제한되도록 보장할 수 있는데요.

심볼릭 링크(symbolic links)를 통한 외부 위치 접근을 효과적으로 방지하여 파일 시스템 작업의 보안성과 제어 가능성을 크게 향상시켰습니다.

package main

import (
    "fmt"
    "os"
)

func main() {
    // "/tmp" 디렉토리를 루트로 하는 파일 시스템 접근 객체 생성
    root, err := os.OpenRoot("/tmp")
    if err != nil {
        fmt.Println("루트 디렉토리 열기 오류:", err)
        return
    }
    defer root.Close() // 함수 종료 시 자원 해제

    // root 객체를 통해 "/tmp/test.txt" 파일 생성
    file, err := root.Create("test.txt")
    if err != nil {
        fmt.Println("파일 생성 오류:", err)
        return
    }
    defer file.Close() // 함수 종료 시 자원 해제

    fmt.Println("/tmp/test.txt 파일이 성공적으로 생성되었습니다.")
}

위 예시처럼 `os.OpenRoot`를 사용하면, 이후의 파일 작업은 지정된 `/tmp` 디렉토리 안에서만 이루어지게 됩니다.

다른 경로로 빠져나갈 염려가 줄어드는 것이죠.

새로운 벤치마킹 함수: 더 효율적이고 정확하게!

testing.B.Loop 메소드는 기존의 b.N 기반 루프 구조보다 더 효율적이고 오류 발생 가능성이 적습니다.

각 카운트(count)마다 벤치마크 함수를 한 번만 실행하도록 보장하는데요.

이를 통해 비용이 많이 드는 설정 및 정리 단계의 실행 횟수를 줄일 뿐만 아니라, 함수 호출 매개변수와 결과를 효과적으로 유지하여 컴파일러가 루프 본문에 대해 불필요한 최적화를 수행하는 것을 방지합니다.

package main

import (
    "testing"
    // "time" // 예시를 위한 가상 작업
)

func BenchmarkOldWay(b *testing.B) {
    for i := 0; i < b.N; i++ {
        // 실제 벤치마크 코드
        // time.Sleep(1 * time.Millisecond) // 예시 작업
    }
}

func BenchmarkNewWay(b *testing.B) {
    b.ResetTimer() // 타이머 초기화 (선택적)
    for b.Loop() {
        // 실제 벤치마크 코드
        // time.Sleep(1 * time.Millisecond) // 예시 작업
    }
}

새로운 `b.Loop()` 방식은 벤치마크 코드 자체에 더 집중할 수 있도록 도와줍니다.

개선된 파이널라이저: 의 등장!

runtime.AddCleanup 함수는 기존의 runtime.SetFinalizer보다 더 유연하고 효율적이며 오류 발생 가능성이 적습니다.

개발자들은 이 함수를 사용하여 객체에 정리 함수(cleanup functions)를 첨부할 수 있는데요.

객체가 더 이상 접근 불가능하게 되면(즉, 가비지 컬렉션 대상이 되면) 이 정리 함수가 자동으로 실행됩니다.

이 함수는 동일한 객체에 여러 정리 함수를 첨부하는 것을 지원하며, 심지어 내부 포인터에도 첨부할 수 있습니다.

객체들이 순환 참조를 형성하는 경우에도 runtime.AddCleanup은 일반적으로 메모리 누수를 일으키지 않으며, 객체 및 해당 객체가 가리키는 객체들의 해제를 지연시키지 않는다고 합니다.

따라서 새로운 코드를 작성할 때는 runtime.AddCleanup을 우선적으로 사용하는 것이 권장됩니다.

새로운 패키지: 약한 참조의 세계로!

weak 패키지의 도입은 개발자들에게 약한 포인터(weak pointers)를 제공합니다.

이는 약한 맵(weak maps), 정규화 맵(canonical maps), 그리고 다양한 캐시와 같이 메모리 효율적인 구조를 만들 때 매우 유용합니다.

runtime.AddCleanup 및 maphash.Comparable과 결합하면 이러한 시나리오에서의 사용 요구 사항을 더 잘 충족시켜 프로그램의 메모리 관리 효율성을 더욱 향상시킬 수 있습니다.

새로운 패키지: 미래를 대비하는 암호화 기술!

crypto/mlkem 패키지는 두 가지 양자 후 암호(post-quantum) 키 교환 메커니즘인 엠엘-캠-칠육팔(ML-KEM-768)과 엠엘-캠-일공이사(ML-KEM-1024)를 성공적으로 구현했습니다.

crypto/hkdf, crypto/pbkdf2, crypto/sha3 패키지는 각각 관련된 키 유도 함수 및 해시 함수를 구현했고요.

이 패키지들의 구현은 golang.org/x/crypto/... 패키지를 기반으로 하며, 암호화 분야에서 고(Go) 언어의 응용을 위한 더 많은 도구와 지원을 제공합니다.

FIPS 140-3 규정 준수를 위한 노력

고(Go) 1.24는 FIPS 140-3(미국 연방 정보 처리 표준 140-3) 규정 준수를 촉진하기 위한 새로운 메커니즘을 도입했습니다.

고 크립토 모듈(Go crypto module)은 내부 표준 라이브러리 패키지 집합으로서, FIPS 140-3 승인 알고리즘을 투명하게 구현할 수 있습니다.

이는 애플리케이션이 별도의 수정 없이 이러한 규정 준수 알고리즘을 직접 사용할 수 있음을 의미합니다.

GOFIPS140 환경 변수는 빌드 과정에서 사용할 고 크립토 모듈의 버전을 선택하는 데 사용되며, fips140 GODEBUG 설정은 런타임에 FIPS 140-3 모드를 활성화하는 데 사용됩니다.

현재 고(Go) 1.24에 포함된 고 크립토 모듈 버전 v1.0.0은 CMVP(암호화 모듈 검증 프로그램) 공인 실험실에서 엄격한 테스트를 받고 있다고 합니다.

새로운 실험적 패키지: 동시성 코드 테스트의 구원투수!

testing/synctest 패키지는 동시성 코드 테스트를 강력하게 지원하기 위해 특별히 제공됩니다.

그중에서도 synctest.Run 함수는 격리된 "버블(bubble)" 내에서 고루틴(goroutine) 그룹을 시작할 수 있는데, 이 버블 안에서는 time 패키지의 함수들이 가짜 시계(fake clock)를 기반으로 실행됩니다.

synctest.Wait 함수는 현재 "버블" 내의 모든 고루틴이 블록 상태(blocked state)에 들어갈 때까지 기다리는 데 사용됩니다.

다만, 이 패키지는 현재 실험 단계에 있다는 점을 유의해야 합니다.

빌드 과정에서 이를 활성화하려면 GOEXPERIMENT=synctest를 설정해야 하며, API는 향후 버전에서 변경될 수 있습니다.

라이브러리의 소소하지만 유용한 변경점들

고(Go) 1.24는 여러 표준 라이브러리 패키지의 기능을 업데이트하고 메소드를 개선했습니다.

예를 들어, archive 패키지는 빈 디렉토리를 작성할 때 자동으로 디렉토리 헤더를 추가합니다.

bytes 및 strings 패키지에는 여러 반복자(iterator) 관련 함수가 추가되어 개발자들이 문자열과 바이트 슬라이스(byte slices)를 더 쉽게 조작할 수 있게 되었습니다.

crypto 패키지의 여러 하위 패키지들은 메소드와 함수를 조정하고 강화하여 암호화 관련 기능의 보안성과 성능을 더욱 향상시켰습니다.

encoding 패키지에는 TextAppender와 BinaryAppender 인터페이스가 추가되어 객체 직렬화(serialization) 과정을 최적화했습니다.

net/http 패키지는 HTTP/2 지원을 확장하여 개발자들에게 더욱 강력한 HTTP 서버 및 클라이언트 개발 능력을 제공합니다.

8. 포트(Ports) 변경 사항: 새로운 환경으로!

고(Go) 1.24는 실행 환경의 포트 요구 사항에도 몇 가지 변경 사항이 있습니다.

리눅스(Linux) 시스템에서는 커널 버전 3.2 이상이 필요합니다.

그리고 맥OS(macOS) 11 빅서(Big Sur)를 지원하는 마지막 버전이 될 예정입니다.

고(Go) 1.25부터는 맥OS(macOS) 12 몬터레이(Monterey) 이상이 필요하게 됩니다.

웹어셈블리(WebAssembly)와 관련해서는 go:wasmexport 지시어가 추가되어 더 많은 타입과 빌드 모드를 지원하며, 관련 지원 파일의 위치도 변경되었습니다.

또한, 32비트 윈도우/암(windows/arm) 포트는 불안정한(broken) 것으로 표시되어 제대로 작동하지 않을 수 있습니다.

---