g가 pthread를 정적으로 링크할 때 분할 오류가 발생하는 이유는 무엇입니까?

정적 링크에서는 링커가 첫 번째 기호에서 중지됩니다. 약한 것이라면 강한 것을 찾는 것을 중단합니다. 강제로 모든 기호를 보도록 하기 위해(동적으로 링크된 라이브러리에서와 마찬가지로) ld는 --whole-archive 옵션을 지원합니다.

다음 명령이 작동합니다:

g   -o one one.cpp -Wall -std=c  11 -O3 -static -pthread \
    -Wl,--whole-archive -lpthread -Wl,--no-whole-archive

현재 상황은 다음과 같습니다.

• -pthread는 pthread에 대한 연결을 의미합니다(그리고 플랫폼에서는 -D_REENTRANT)와 같은 추가 매크로를 정의합니다.
• -pthread가 -lpthread에 대한 링크를 의미하더라도 정적으로 링크하는 동안 -lpthread를 명시적으로 지정해야 합니다.
• Wl,-- Whole-archive는 필요한 개체 파일에 대한 아카이브를 검색하는 대신 링커가 링크의 아카이브에 있는 모든 개체 파일을 포함하도록 강제합니다.
• Wl,--no-whole-archive는 다음의 효과를 끕니다. --후속 아카이브 파일에 대한 전체 아카이브 옵션.

약한 기호 이해

ELF 파일 형식에는 약한 기호와 강한 기호의 개념이 있습니다. 기본적으로 개체 파일의 기호는 강력합니다. 링크하는 동안 강한 기호는 같은 이름의 약한 기호를 무시할 수 있습니다.

glibc와 pthread의 경우 약한 기호를 사용합니다. 예를 들어 fputc는 POSIX에서 스레드로부터 안전해야 하며 동기화가 필요하므로 비용이 많이 듭니다. 단일 스레드 환경에서는 이러한 비용을 지불하고 싶지 않습니다. 따라서 구현에서는 동기화 기능을 빈 스텁으로 구현하고 기능을 약한 기호로 선언할 수 있습니다.

나중에 멀티스레딩 라이브러리가 링크되면(예: pthread) 단일 스레드 지원이 분명해집니다. 의도되지 않았습니다. 멀티스레딩 라이브러리를 링크할 때 링커는 실제 동기화 기능(강력한 기호로 정의되고 threading-library로 구현됨)으로 스텁을 대체할 수 있습니다.

이것을 예제 프로그램에 적용

libc.a 라이브러리에는 __pthread_mutex_lock이 약한 기호로 포함되어 있고 libpthread.a 라이브러리에는 이를 강한 기호로 포함되어 있습니다. 동적으로 연결할 때 링커는 약한 기호를 강한 기호로 바꿉니다. 그러나 정적으로 링크할 때는 동일한 의미를 적용해야 합니다. 이것이 -Wl,--whole-archive -lpthread -Wl,--no-whole-archive가 필요한 이유입니다.