"naver.how/f" 검색 서비스의 data lake by AI

Swift 내부 들여다보기: 네임 디맹글링(Demangling) 시스템 분석

Written by

speedpointer

in

Swift는 현대적이고 안전한 프로그래밍 언어로서 많은 개발자들에게 사랑받고 있습니다. 그러나 Swift의 내부 구현에 대해서는 많은 사람들이 잘 알지 못합니다. 이번 포스팅에서는 Swift 런타임의 핵심 기능 중 하나인 디맹글링(demangling) 시스템에 대해 살펴보겠습니다. 특히 Swift 공식 저장소에 있는 Demangle.cpp 파일을 중심으로 분석해보겠습니다.

맹글링(Mangling)과 디맹글링(Demangling)이란?

먼저 맹글링과 디맹글링이 무엇인지 이해해야 합니다.

**맹글링(Mangling)**은 컴파일러가 소스 코드의 식별자(함수 이름, 클래스 이름 등)를 고유한 문자열로 인코딩하는 과정입니다. Swift에서는 제네릭 타입, 네임스페이스, 모듈 정보 등을 포함해 복잡한 타입 정보를 바이너리에 저장하기 위해 맹글링을 사용합니다. 이를 통해 컴파일러는 오버로딩된 함수나 메서드를 구분할 수 있고, 링커는 올바른 심볼을 찾을 수 있습니다.

**디맹글링(Demangling)**은 맹글링된 이름을 원래의 인간이 읽을 수 있는 형태로 변환하는 역과정입니다. 이는 디버깅, 크래시 분석, 심볼 테이블 분석 등에 중요하게 사용됩니다.

예를 들어, Swift에서 Array<Int>의 맹글링된 이름은 Swift.Array<Swift.Int>가 아니라 Sa와 같은 압축된 형태로 표현됩니다.

Swift의 디맹글링 시스템 구조

Swift의 디맹글링 시스템은 C++로 구현되어 있으며, Demangle.cpp 파일에서 핵심 로직을 찾을 수 있습니다. 이 시스템의 주요 구성 요소를 살펴보겠습니다.

NodePointer와 트리 구조

디맹글링의 핵심은 맹글링된 이름을 분석하여 트리 구조로 변환하는 것입니다. 이 트리는 NodePointer라는 타입으로 표현됩니다:

Demangle::NodePointer
swift::_buildDemanglingForContext(const ContextDescriptor *context,
                                llvm::ArrayRef<NodePointer> demangledGenerics,
                                Demangle::Demangler &Dem) {
  // ...
}

이 함수는 컨텍스트 디스크립터와 디맹글링된 제네릭 타입 정보를 받아 해당 컨텍스트에 대한 디맹글링 트리를 생성합니다.

노드 종류(Node::Kind)

디맹글링 트리의 각 노드는 특정 종류(Kind)를 가지며, 이는 Swift 타입 시스템의 다양한 구성 요소를 나타냅니다:

nodeKind = Node::Kind::Class;
genericNodeKind = Node::Kind::BoundGenericClass;

몇 가지 주요 노드 종류:

  • Module: Swift 모듈
  • Class, Structure, Enum: 기본 명명된 타입들
  • Protocol: 프로토콜 타입
  • BoundGenericClass, BoundGenericStructure: 제네릭 매개변수가 바인딩된 타입
  • Extension: 타입 확장
  • Tuple: 튜플 타입
  • FunctionType: 함수 타입
  • Metatype: 메타타입

메타데이터 처리

Swift 런타임은 타입 정보를 메타데이터 형태로 저장합니다. _swift_buildDemanglingForMetadata 함수는 이 메타데이터를 디맹글링 트리로 변환합니다:

Demangle::NodePointer
swift::_swift_buildDemanglingForMetadata(const Metadata *type,
                                      Demangle::Demangler &Dem) {
  using namespace Demangle;

  switch (type->getKind()) {
  case MetadataKind::Class:
  case MetadataKind::Enum:
  case MetadataKind::Struct:
    // ...
  }
  // ...
}

이 함수는 메타데이터의 종류(Class, Enum, Struct 등)에 따라 다른 처리를 수행합니다.

주요 디맹글링 함수들 분석

1. _buildDemanglingForContext

이 함수는 컨텍스트 디스크립터를 디맹글링 트리로 변환합니다:

Demangle::NodePointer
swift::_buildDemanglingForContext(const ContextDescriptor *context,
                                llvm::ArrayRef<NodePointer> demangledGenerics,
                                Demangle::Demangler &Dem) {
  // ...
}

특징:

  • 컨텍스트 계층 구조를 따라 상위로 올라가며 트리를 구성
  • 모듈, 확장, 프로토콜, 클래스, 구조체, 열거형 등 다양한 컨텍스트 유형 처리
  • 제네릭 타입 파라미터 처리

2. _buildDemanglingForNominalType

명명된 타입(nominal type)의 메타데이터를 디맹글링하는 함수:

static Demangle::NodePointer
_buildDemanglingForNominalType(const Metadata *type, Demangle::Demangler &Dem) {
  // ...
}

이 함수는 클래스, 구조체, 열거형과 같은 명명된 타입에 대한 메타데이터를 처리합니다. 타입 컨텍스트 디스크립터를 가져오고, 제네릭 인자를 수집하여 디맹글링합니다.

3. _swift_buildDemanglingForMetadata

메타데이터를 받아 적절한 디맹글링 트리를 생성하는 함수:

Demangle::NodePointer
swift::_swift_buildDemanglingForMetadata(const Metadata *type,
                                      Demangle::Demangler &Dem) {
  // ...
}

이 함수는 다양한 메타데이터 종류를 처리합니다:

  • 명명된 타입(클래스, 열거형, 구조체)
  • 익스텐셜 타입
  • 메타타입
  • 함수 타입
  • 튜플 타입
  • 내장(builtin) 타입

4. swift_demangle

사용자 인터페이스를 제공하는 함수로, 맹글링된 이름을 받아 디맹글링된 문자열을 반환합니다:

char *swift_demangle(const char *mangledName,
                     size_t mangledNameLength,
                     char *outputBuffer,
                     size_t *outputBufferSize,
                     uint32_t flags) {
  // ...
}

이 함수는 외부 도구(Xcode, 디버거, 샌드박스 등)에서 사용할 수 있도록 C 인터페이스를 제공합니다.

주요 데이터 구조 및 알고리즘

컨텍스트 계층 구조 탐색

Swift의 컨텍스트는 계층 구조를 이루고 있으며, 디맹글링 과정에서 이 계층 구조를 탐색합니다:

std::vector<const ContextDescriptor *> descriptorPath;
{
    const ContextDescriptor *parent = context;
    while (parent) {
        descriptorPath.push_back(parent);
        parent = parent->Parent;
    }
}

이 코드는 현재 컨텍스트에서 시작하여 모든 부모 컨텍스트를 수집합니다.

제네릭 인자 처리

제네릭 타입의 경우, 해당 타입의 제네릭 인자를 처리해야 합니다:

auto getGenericArgsTypeListForContext =
    [&](const ContextDescriptor *context) -> NodePointer {
      // ...
      auto numParams = generics->getGenericContextHeader().NumParams;
      // ...
      auto genericArgsList = Dem.createNode(Node::Kind::TypeList);
      for (unsigned e = generics->getGenericContextHeader().NumParams;
           usedDemangledGenerics < e;
           ++usedDemangledGenerics) {
        genericArgsList->addChild(demangledGenerics[usedDemangledGenerics], Dem);
      }
      return genericArgsList;
    };

이 람다 함수는 컨텍스트에 대한 제네릭 인자 목록을 생성합니다.

함수 타입 처리

함수 타입의 디맹글링은 특히 복잡합니다. 매개변수 타입, 반환 타입, 함수 속성(throws, 이스케이프 여부 등)을 모두 처리해야 합니다:

NodePointer totalInput = nullptr;
switch (inputs.size()) {
  case 1: {
    // 단일 매개변수 처리
    // ...
  }
  default:
    // 다중 매개변수 처리
    // ...
}

// 함수 노드 생성
auto funcNode = Dem.createNode(kind);
if (func->throws())
  funcNode->addChild(Dem.createNode(Node::Kind::ThrowsAnnotation), Dem);
funcNode->addChild(parameters, Dem);
funcNode->addChild(result, Dem);

실용적인 관점에서의 디맹글링

디맹글링은 다음과 같은 상황에서 유용합니다:

  1. 크래시 분석: 스택 트레이스의 맹글링된 함수 이름을 읽기 쉬운 형태로 변환
  2. 디버깅: 바이너리에서 심볼을 확인할 때
  3. 런타임 타입 정보: 리플렉션을 통해 타입의 구조를 분석할 때
  4. ABI 분석: Swift의 ABI(Application Binary Interface) 이해

Swift 개발자 도구에서도 디맹글링이 활용됩니다:

  • swift-demangle 명령줄 도구
  • Xcode의 크래시 리포트 및 디버거
  • LLDB 디버거

디맹글링 시스템의 중요성

Swift의 디맹글링 시스템은 다음과 같은 이유로 중요합니다:

  1. 타입 안전성: Swift의 강력한 타입 시스템을 런타임에서도 활용할 수 있게 해줍니다.
  2. 디버깅 용이성: 복잡한 제네릭 타입과 함수 시그니처를 사람이 읽을 수 있는 형태로 제공합니다.
  3. 리플렉션 기능: Swift의 리플렉션 API는 내부적으로 디맹글링을 사용합니다.
  4. 성능과 안정성: 효율적인 디맹글링 알고리즘은 디버깅 도구의 성능에 영향을 미칩니다.

결론

Swift의 디맹글링 시스템은 언어의 복잡한 타입 시스템을 지원하기 위한 필수적인 부분입니다. Demangle.cpp의 코드를 통해 Swift 런타임이 어떻게 타입 정보를 처리하고 디버깅 도구에서 활용할 수 있게 하는지 엿볼 수 있었습니다.

이 시스템의 복잡성은 Swift가 제공하는 강력한 타입 안전성과 표현력을 가능하게 하는 기반이 됩니다. Swift 언어와 컴파일러의 내부 동작에 대해 더 깊이 이해하고 싶은 개발자라면, 디맹글링 시스템은 좋은 출발점이 될 것입니다.

디맹글링은 단순히 기술적인 세부사항이 아니라, Swift의 철학과 디자인 원칙을 반영하는 중요한 요소입니다. 안전성, 명확성, 표현력을 중시하는 Swift의 가치가 런타임 수준에서도 어떻게 구현되는지 보여주는 좋은 예입니다.

더 많은 정보는 Swift 공식 저장소(https://github.com/apple/swift)와 Swift ABI 안정성 문서를 참조하세요.

코멘트

답글 남기기

이메일 주소는 공개되지 않습니다. 필수 필드는 *로 표시됩니다

More posts