Kernel module relocation과 instruction range

ADRP를 ADR로 바꿔도 목적지에 닿지 않으면, 원래 명령 위치에서 보조 코드인 veneer로 가는 즉시 분기 명령을 만듭니다.

복귀 주소를 LR에 남기지 않는 B 형태의 분기를 선택합니다. 원래 ADRP도 함수 호출이 아니므로 veneer로 이동하면서 LR을 덮어서는 안 됩니다.

재배치 결과로 만든 32비트 명령을 little-endian 형식으로 대상 위치에 씁니다. 아직 형성 중인 모듈은 직접 쓰고, 이미 형성된 모듈에는 명령 복사 helper를 사용하므로 같은 매크로라도 모듈 상태에 따라 쓰기 방식이 달라집니다.

ADRP 대체 명령을 해당 위치에 기록했으므로 재배치 성공을 0으로 반환합니다.

arm64 ELF의 RELA 재배치 섹션을 모듈의 실제 적재 주소에 맞춰 적용하는 함수입니다. sechdrs는 섹션들의 주소·크기·연결 정보를 제공합니다.

심벌 이름을 담은 문자열 표를 받는 인자입니다. 주소를 구할 수 없거나 재배치가 잘못됐을 때 관련 이름을 식별할 수 있습니다.

재배치가 참조할 심벌 표 섹션의 인덱스입니다. r_info의 심벌 번호는 이 표 안에서 해석합니다.

이번에 처리할 RELA 섹션의 인덱스입니다. 이 섹션의 sh_info는 실제로 수정할 대상 섹션을 지정합니다.

재배치를 적용할 모듈 자료입니다. 모듈 이름·메모리·형성 상태를 제공하며 이미 형성된 코드의 쓰기 방식에도 영향을 줍니다.

RELA 섹션 안에서 현재 처리 중인 재배치 항목의 인덱스입니다.

선택한 재배치 helper의 성공 또는 범위 초과 결과를 받습니다. 아래 공통 오류 검사에서 이번 항목을 수용할 수 있는지 판단합니다.

이번 종류에서 표현 범위 초과를 오류로 볼지 나타냅니다. 기본은 검사이며 NC 종류와 전체 64비트 기록에서는 검사를 생략합니다.

현재 재배치가 가리키는 ELF 심벌 항목의 포인터입니다. 이 항목의 st_value가 주소 계산의 심벌 값 S가 됩니다.

명령이나 데이터를 실제로 고칠 위치를 저장합니다. ELF 재배치 식에서 현재 위치 P에 해당합니다.

심벌 값 S와 해당 RELA의 addend A를 합한 64비트 값을 저장합니다. 종류에 따라 그대로 쓰거나 위치 P를 빼거나 일부 비트를 추출합니다.

지정한 재배치 섹션의 메모리 주소를 Elf64_Rela 배열로 해석합니다. 각 항목은 위치·심벌과 종류·별도 addend를 담습니다.

각 RELA entry를 순회하며 symbol, addend와 patch location을 계산한다.

재배치 섹션의 sh_info가 가리키는 대상 섹션의 실제 적재 주소를 가져옵니다. 수정 위치 P의 기준점입니다.

대상 섹션 시작에 이번 항목의 바이트 오프셋을 더해 수정할 정확한 위치를 구합니다.

심벌 표 섹션의 적재 주소를 Elf64_Sym 배열의 시작으로 해석합니다. 다음 줄이 이번 재배치의 심벌 인덱스를 더합니다.

재배치 정보 r_info에서 심벌 표의 인덱스를 뽑아 표의 시작 주소에 더합니다. 그 결과 sym은 이번 재배치가 참조하는 심벌을 가리키며, 다음에 심벌 값과 addend를 더해 최종 값을 계산합니다.

심벌의 실제 값에 RELA 항목이 가진 addend를 더해 S+A를 만듭니다. 재배치 종류별 계산은 이 공통 값을 입력으로 사용합니다.

새 재배치 항목마다 범위 검사를 기본적으로 켭니다. 앞 항목이 NC였더라도 그 설정이 다음 항목에 남지 않게 합니다.

ABS, PREL, CALL/JUMP, ADRP 등 AArch64 relocation별 encoding을 선택한다.

기존 Arm의 no-op 재배치 번호도 아무것도 수정하지 않는 종류로 받아들입니다. 다음 AArch64 NONE과 같은 본문을 사용합니다.

AArch64의 NONE 재배치입니다. 수정할 주소나 명령이 없는 항목이므로 성공 상태만 설정합니다.

수정 작업이 없는 NONE 항목은 오류가 없다고 기록합니다.

NONE 항목 처리를 끝내고 공통 결과 검사로 진행합니다.

S+A를 64비트 데이터에 그대로 기록하는 절대 재배치입니다. 기록 위치를 기준으로 한 상대 차이는 계산하지 않습니다.

64비트 전체를 담는 ABS64이므로 좁은 필드에 값이 잘리는 범위 검사를 하지 않습니다.

심벌 주소와 addend를 더한 절대값을 64비트 필드에 기록합니다. ABS는 기록 위치를 빼지 않는 계산 방식이며, 이 재배치에서는 64비트 값을 그대로 쓸 수 있어 별도의 좁은 폭 범위 검사를 끕니다.

64비트 절대값 쓰기를 마친 뒤 다른 재배치 종류의 처리를 건너뜁니다.

S+A를 32비트 unsigned 범위에 담아야 하는 절대 데이터 재배치입니다.

심벌 값과 addend의 합을 32비트 절대값으로 기록합니다. helper는 그 값이 32비트 unsigned 범위에 들어가는지도 확인하여, 주소가 잘려 의미가 달라질 경우 오류를 돌려줍니다.

ABS32 결과를 공통 검사로 넘기고 종류별 처리를 끝냅니다.

S+A를 16비트 unsigned 값으로 기록하는 절대 재배치입니다. 작은 필드가 표현할 수 없는 주소라면 오류가 됩니다.

심벌 값과 addend의 합을 16비트 절대값 필드에 기록합니다. 결과가 0부터 65535 범위를 벗어나면 -ERANGE가 되어 모듈 로더가 재배치 실패로 처리할 수 있습니다.

ABS16 기록과 범위 판정 결과를 가지고 switch에서 나갑니다.

S+A에서 기록 위치 P를 뺀 상대 거리를 64비트로 쓰는 재배치입니다.

PREL64은 상대 차이 전체를 64비트에 기록하므로 별도의 좁은 폭 범위 검사를 생략합니다.

심벌 값과 addend의 합에서 재배치 위치 자체의 주소를 뺀 차이를 64비트로 기록합니다. PREL은 절대 주소 대신 현재 위치를 기준으로 한 상대 거리를 저장하는 방식입니다.

64비트 상대값 쓰기를 마치고 공통 결과 처리로 진행합니다.

S+A-P의 상대 거리를 signed 32비트로 담는 재배치입니다. 양방향 거리를 나타내야 하므로 절대 재배치와 범위 기준이 다릅니다.

심벌과 addend가 가리키는 주소에서 재배치 위치를 뺀 상대 거리를 32비트 필드에 기록합니다. helper는 이 차이가 signed 32비트 범위에 들어가는지 확인하고 벗어나면 오류를 반환합니다.

PREL32 처리 결과를 남긴 채 종류별 분기를 마칩니다.

signed 16비트 상대 거리를 기록하는 재배치입니다. 목적지와 기록 위치가 이 범위 안에 있어야 합니다.

목적지 주소와 재배치 위치 사이의 차이를 16비트 필드에 기록합니다. PREL16은 signed 16비트 범위의 상대 거리만 표현하므로 그 범위를 넘으면 -ERANGE로 실패를 알립니다.

PREL16 처리 뒤 다른 MOVW 명령 재배치로 이어지지 않게 합니다.

절대값의 최하위 16비트를 MOVW 계열 명령에 넣되 상위 비트 존재를 오류로 보지 않는 G0_NC 종류입니다. NC는 범위 검사 생략을 뜻합니다.

이 G0_NC 항목에서는 helper가 감지한 상위 비트의 범위 초과를 허용합니다. 64비트 값을 여러 명령으로 나눠 구성할 때 필요한 동작입니다.

NC 정책만 설정한 뒤 다음 G0 분기의 실제 16비트 패치 코드를 함께 사용합니다. 의도적으로 다음 case로 이어진다는 표시입니다.

절대값의 비트 15:0을 MOVW 즉시값에 넣는 G0 종류입니다. NC가 아닌 이 진입에서는 나머지 상위 값의 범위도 검사합니다.

절대값을 오른쪽으로 0비트 이동한 부분을 16비트 즉시값으로 패치합니다. 즉 최하위 16비트를 선택합니다.

MOVK/MOVZ 계열의 명령 형태를 유지하는 모드를 넘깁니다. signed 재배치처럼 부호에 따라 MOVN으로 opcode를 바꾸는 모드를 쓰지 않습니다.

G0의 명령 패치 결과를 남기고 공통 범위 검사로 이동합니다.

절대값의 비트 31:16을 넣는 G1 중 범위 검사를 생략하는 종류입니다. 더 높은 조각은 다른 MOVW 명령이 만들 수 있습니다.

G1_NC에서는 선택한 조각 위에 값이 남아 있어도 허용하도록 설정합니다.

NC 설정 후 일반 G1과 동일한 즉시값 삽입 코드를 실행합니다.

절대값을 16비트 이동한 뒤 그 하위 16비트를 명령에 넣는 G1 종류입니다.

S+A를 16비트 오른쪽으로 옮겨 비트 31:16을 이번 명령의 즉시값으로 선택합니다.

G1에서도 원래 MOVK/MOVZ opcode 형태를 유지하며 즉시값 필드를 고치도록 지정합니다.

G1 조각의 패치를 마치고 공통 결과 검사로 진행합니다.

절대값의 비트 47:32를 쓰는 G2 중 상위 비트 범위 검사를 생략하는 재배치입니다.

G2_NC는 48비트보다 높은 부분이 다른 명령에 들어갈 수 있으므로 범위 검사를 끕니다.

검사 정책을 정한 뒤 아래 G2의 실제 패치를 공유합니다.

절대값을 32비트 이동해 비트 47:32를 MOVW 즉시값으로 쓰는 종류입니다.

S+A에서 32비트 위의 16비트 조각을 추출하여 명령에 넣도록 helper를 호출합니다.

G2 조각도 MOVK/MOVZ 형식을 유지하며 기록하고 모듈 상태에 맞는 쓰기 방식을 사용하도록 모듈 자료를 넘깁니다.

G2 패치가 끝났으므로 다음 G3 종류로 이어지지 않고 공통 검사로 이동합니다.

64비트 절대값의 최상위 조각인 비트 63:48을 MOVW 즉시값에 넣는 종류입니다.

최상위 16비트를 선택하면 그 위에 남을 값이 없으므로 범위 검사를 끕니다.

64비트 절대값을 48비트 이동하여 마지막 16비트 조각을 명령의 즉시값으로 기록합니다.

모듈이 아직 형성 중인 초기 쓰기가 아닌지 확인합니다. 이미 형성된 코드는 CPU 간 명령 동기화와 text_mutex 해제가 필요합니다.

이미 사용 가능한 모듈의 코드를 수정한 경우, 모든 CPU가 수정된 명령을 보도록 text poke 동기화를 수행합니다. 단순히 데이터 쓰기가 끝난 것과 다른 CPU의 명령 실행이 새 코드로 맞춰진 것은 별개이므로 이 단계가 필요합니다.

실행 중인 코드의 재배치 쓰기와 CPU 간 명령 동기화를 마쳤으므로 text_mutex를 해제합니다. 같은 코드 영역을 바꾸는 다른 작업이 이제 진행할 수 있습니다.

모듈 재배치 적용 또는 해제의 결과를 호출자에게 돌려줍니다. 정상 완료는 0이고 지원하지 않는 형식·값 불일치·범위 초과는 -ENOEXEC이며, 실행 중 코드에 text_poke를 쓴 경우에는 앞에서 CPU 동기화와 잠금 해제를 마친 상태입니다.

x86 모듈의 RELA 섹션을 적용하는 공개 함수입니다. 아래 공통 쓰기 함수에 apply=true를 넘겨 실제 재배치 값을 기록합니다.

심벌 이름 문자열 표를 전달받습니다. 심벌을 식별하는 공통 재배치 함수 인터페이스의 인자입니다.

참조 심벌들이 저장된 심벌 표 섹션 번호입니다.

이번에 적용할 RELA 섹션 번호입니다. 이 섹션의 항목들이 실제 코드·데이터 수정 위치를 지정합니다.

수정 대상 모듈을 받습니다. 초기 적재 중인지 이미 형성된 모듈인지에 따라 memcpy 또는 text_poke와 잠금 사용이 달라집니다.

공통 helper에 적용 모드 true를 넘기고 그 성공·오류 코드를 그대로 반환합니다. 같은 helper의 false 모드는 livepatch 재배치 해제에 사용됩니다.

LIVEPATCH는 실행 중인 커널의 함수를 교체하는 기능입니다. 지원 빌드에서는 패치 모듈의 RELA 재배치를 지울 clear_relocate_add도 제공하여 재배치 적용·해제 과정을 관리합니다. 설정이 없으면 이 해제용 함수는 빌드하지 않습니다. 이 조건은 빌드 전처리 단계에서 포함할 코드를 선택하며 런타임 조건 분기가 아닙니다.

livepatch가 적용한 RELA 값을 지우는 함수입니다. 적용할 때와 같은 섹션 정보를 받아 예상값을 확인한 뒤 해당 필드를 0으로 돌립니다.

해제 대상 재배치에 연결된 심벌 이름 표를 받습니다. 적용 함수와 같은 인자 구조를 유지합니다.

해제할 재배치의 원래 값을 계산하는 데 사용할 심벌 표의 섹션 번호입니다.

값을 제거할 RELA 기록들의 섹션 번호입니다. 해당 기록으로 수정 위치와 원래 적용값을 다시 찾습니다.

재배치 값을 지울 모듈 자료입니다. 코드 쓰기 안전성과 모듈 상태 판단에도 사용됩니다.

apply 인자를 false로 주어 앞서 적용한 재배치 값을 지우는 경로를 호출합니다. helper는 현재 값이 예상한 재배치 결과인지 검사하고 해당 필드를 0으로 돌려, livepatch 재배치의 해제를 처리합니다.

225행에서 시작한 선택 구간을 마칩니다. LIVEPATCH는 실행 중인 커널의 함수를 교체하는 기능입니다. 지원 빌드에서는 패치 모듈의 RELA 재배치를 지울 clear_relocate_add도 제공하여 재배치 적용·해제 과정을 관리합니다. 설정이 없으면 이 해제용 함수는 빌드하지 않습니다.

40행에서 시작한 선택 구간을 마칩니다. 32비트 모듈의 ELF32 재배치와 64비트 모듈의 ELF64 RELA 처리를 나누는 조건입니다. 주소 폭과 ELF 재배치 형식이 달라 같은 구현을 그대로 사용할 수 없습니다.

재배치 이후 x86 모듈의 CPU별 명령 패치와 보안·스택 추적 자료를 마무리하는 함수입니다. ELF 헤더로 필요한 부가 섹션을 찾아 처리합니다.

각 섹션의 이름·적재 주소·크기를 가진 섹션 헤더 배열을 받습니다. 문자열 표와 대조해 패치 자료를 찾습니다.

마무리할 모듈 자료입니다. thunk 생성과 명령 패치, ORC 등록 등의 작업이 이 모듈에 적용됩니다.

현재 순회하는 섹션과 alternative 명령·SMP 잠금 위치 섹션의 포인터를 준비합니다. NULL은 해당 부가 섹션을 아직 찾지 못했다는 뜻입니다.

ELF 헤더의 섹션 이름 문자열 표 인덱스를 사용해 이름 표 시작을 구합니다. 각 sh_name은 이 표 안의 바이트 오프셋입니다.

ELF의 모든 섹션 헤더를 순회하며 x86 마무리 작업에 필요한 이름들을 찾습니다.

현재 섹션 이름이 .altinstructions인지 비교합니다. CPU 기능에 따라 교체할 명령의 메타데이터를 담는 섹션입니다.

찾은 alternative 명령 섹션을 기억해 뒤에서 실제 CPU 기능에 맞는 명령 패치를 적용합니다.

SMP LOCK 접두어를 조정할 위치 목록인 .smp_locks를 찾습니다. CPU 수와 SMP 동작 방식에 맞춘 명령 조정을 위한 자료입니다.

찾은 SMP 잠금 위치 섹션을 마무리 단계가 사용할 수 있도록 저장합니다.

ORC 스택 추적기가 사용할 복원 규칙 섹션을 찾습니다. 프레임 포인터 없이도 호출 스택을 복원하기 위한 메타데이터입니다.

ORC 복원 규칙이 든 섹션을 기억합니다. 대응하는 명령 주소 목록과 함께 등록할 때 사용합니다.

ORC 규칙에 대응하는 명령 주소 목록인 .orc_unwind_ip를 찾습니다. 각 코드 위치에 어떤 복원 규칙을 적용할지 연결합니다.

ORC 명령 주소 섹션을 보관하여 뒤에서 ORC 규칙 섹션과 함께 처리합니다.

간접 분기의 retpoline 패치 위치 목록을 찾습니다. 실제 CPU의 분기 예측 완화 정책에 맞춰 바꿀 지점들입니다.

retpoline 위치 목록을 저장합니다. FineIBT 준비와 이후 간접 분기 패치가 이 정보를 사용합니다.

함수 반환 명령의 패치 위치 목록인 .return_sites를 찾습니다. 반환 분기에 적용할 CPU별 완화 처리를 위한 자료입니다.

반환 명령 위치 섹션을 보관해 apply_returns 단계에 넘길 준비를 합니다.

모듈 안의 호출 지점 목록인 .call_sites를 찾습니다. call thunk를 적용할 호출들을 식별합니다.

찾은 호출 지점 목록을 저장하여 뒤의 call thunk 패치가 사용할 수 있게 합니다.

간접 호출의 유형 검사 대상 목록인 .cfi_sites를 찾습니다. CFI 정책에 맞는 함수 진입 코드 패치에 사용합니다.

CFI 대상 목록을 기억해 간접 호출 위치와 함께 FineIBT 처리에 넘깁니다.

간접 분기 진입점으로 필요하지 않은 ENDBR을 봉인할 목록을 찾습니다. IBT가 허용하는 진입점을 불필요하게 넓히지 않기 위한 자료입니다.

ENDBR 봉인 대상 목록을 저장합니다. 이후 모듈 IBT 정리 단계에서 해당 명령을 처리합니다.

이 모듈에 x86 ITS 완화용 간접 분기 thunk를 만들 준비를 합니다. 필요한 CPU에서 text_mutex를 잡고 대상 모듈과 thunk 페이지 상태를 등록하며, Arm 인터럽트 컨트롤러의 ITS와는 다른 기능입니다.

간접 호출 위치나 CFI 대상 자료 중 하나라도 있으면 FineIBT 준비를 수행합니다. 둘 다 없는 모듈은 관련 패치를 건너뜁니다.

간접 호출 위치 목록과 CFI 목록의 시작 주소를 NULL로 준비합니다. 한쪽 섹션이 없을 때도 공통 함수에 빈 범위를 전달할 수 있습니다.

두 목록의 크기를 0으로 시작합니다. 해당 섹션을 찾은 경우에만 실제 바이트 수를 채워 없는 목록의 범위를 비워 둡니다.

retpoline 위치 섹션이 실제로 있을 때 그 주소와 길이를 읽습니다. 없는 모듈에서는 NULL·0을 유지합니다.

적재된 retpoline 위치 목록의 시작 주소를 FineIBT용 입력에 넣습니다.

retpoline 위치 목록의 바이트 수를 가져와 끝 주소를 계산할 수 있게 합니다.

CFI 대상 목록이 존재하면 그 범위를 설정합니다. 없으면 앞서 준비한 빈 범위를 사용합니다.

적재된 CFI 대상 목록의 시작 주소를 보관합니다.

CFI 목록의 크기를 저장해 apply_fineibt에 전달할 끝 주소를 계산합니다.

모듈의 간접 호출 지점 목록과 CFI 대상 목록을 함께 넘겨 현재 커널의 CFI 정책에 맞게 코드를 조정합니다. FineIBT를 사용하는 경우 함수 유형 검사와 IBT를 결합한 간접 호출 보호가 모듈에도 적용되도록 합니다.

retpoline 위치 목록이 있는 모듈에만 실제 간접 분기 패치를 수행합니다. CFI 준비와 별개로 CPU의 retpoline 정책을 적용하는 단계입니다.

간접 분기 패치가 시작할 retpoline 위치 목록의 주소를 가져옵니다.

모듈의 retpoline 위치 목록을 따라 간접 분기 명령을 현재 CPU와 완화 정책에 맞게 패치합니다. 컴파일할 때 만든 간접 분기 보호 코드가 실제 시스템에서 선택한 실행 방식과 일치하도록 하는 단계입니다.

모듈의 ITS thunk 생성을 마무리하여 임시 모듈·페이지 상태를 비우고 잠금을 풉니다. 엄격한 모듈 메모리 권한 설정에서는 생성한 thunk 페이지도 실행 가능하고 쓰기 불가능한 상태로 정리합니다.

반환 명령 위치 목록이 있으면 반환 분기 완화 패치를 적용합니다. 해당 섹션이 없는 모듈은 이 처리를 생략합니다.

누적 재배치를 위한 해시 버킷 배열 할당이 실패했는지 확인합니다. 실패한 NULL 배열을 초기화하거나 사용하지 않도록 합니다.

할당 실패 시 비트 수는 0으로 돌려줍니다. 크기 1인 정상 해시도 비트 수가 0일 수 있으므로 호출자는 결과 포인터의 NULL 여부로 실패를 판단합니다.

재배치 기록을 모을 해시 표의 모든 버킷을 빈 목록으로 초기화합니다. 뒤에서 같은 위치에 누적되는 재배치들을 추적할 수 있도록, 새로 할당한 표를 곧바로 검색·삽입 가능한 상태로 만듭니다.

해시 버킷 수가 2의 몇 제곱인지를 반환합니다. 이후 주소를 버킷 인덱스로 변환할 때 사용할 비트 수입니다.

RISC-V 모듈의 RELA 재배치를 적용하는 함수입니다. 섹션 정보와 심벌 이름 표를 받아 명령·데이터 주소를 실제 적재 위치에 맞춥니다.

심벌 표 섹션 번호와 처리할 재배치 섹션 번호를 받습니다. 두 번호로 심벌 값과 수정 위치를 서로 연결합니다.

대상 모듈 자료를 받습니다. 오류에 모듈 이름을 표시하고 GOT·PLT 등 모듈 전용 보조 공간을 만들 때 사용합니다.

재배치 섹션의 적재 주소를 Elf_Rela 배열로 해석합니다. 각 항목의 별도 addend와 종류·심벌 정보를 순서대로 읽습니다.

모듈 정보·수정할 주소·재배치 값을 받아 성공 또는 오류를 int로 반환하는 함수 포인터를 선언합니다. 재배치 종류에 따라 처리 함수를 나중에 선택할 변수이며, 이 줄에서 함수를 호출하지 않습니다.

현재 항목이 참조하는 ELF 심벌의 포인터입니다. 주소를 구할 수 있는지와 weak 심벌인지 판단할 때도 사용합니다.

이번 항목이 수정할 메모리 주소를 저장합니다. 대상 섹션의 적재 주소와 r_offset을 더해 계산합니다.

i는 현재 재배치 항목 번호이고 type은 그 항목의 RISC-V 재배치 종류입니다. 종류에 따라 적용 함수를 고릅니다.

직전에 HI20 짝을 찾던 검색 위치를 0으로 시작합니다. 이후 LO12 항목마다 검색을 처음부터 되풀이하는 부담을 줄이는 시작점입니다.

심벌 값과 addend로 계산한 주소 또는 즉시값을 담습니다. PCREL_LO12는 짝인 HI20을 찾은 뒤 하위 조각 값으로 다시 계산합니다.

개별 재배치 처리 또는 누적 기록 추가의 결과를 담는 오류 코드입니다.

재배치 섹션의 전체 바이트 수를 Elf_Rela 한 항목의 크기로 나누어 항목 수를 구합니다. sizeof는 실제 항목을 실행하거나 읽는 함수가 아니라, 반복문이 처리할 기록 수를 계산하기 위한 C 연산자입니다.

같은 위치에 누적 적용할 재배치들을 모으는 해시 버킷 배열입니다. 즉시 한 번 쓰는 재배치와 별도로 관리합니다.

해시 테이블의 버킷 수를 나타내는 로그2 값입니다. 재배치 위치를 버킷으로 배치할 때 사용합니다.

사용한 해시 버킷들을 연결해 둘 빈 이중 연결 목록의 머리를 선언하고 초기화합니다. 이후 정리할 때 전체 해시 표 대신 실제 사용한 버킷들을 따라갈 수 있게 합니다.

재배치 개수에 맞는 해시 버킷 배열을 만들고 사용할 인덱스 비트 수를 받습니다. 누적 재배치를 모을 공간을 실제 처리를 시작하기 전에 준비합니다.

할당한 배열 주소를 이 지역 포인터에 써 달라고 넘깁니다. 반환 비트 수 0만으로는 실패를 판별할 수 없어 포인터도 함께 받습니다.

해시 배열 포인터가 NULL이면 메모리 확보에 실패한 것입니다. 정상 크기 1에서도 비트 수는 0일 수 있어 포인터로 검사합니다.

누적 재배치에 필요한 메모리를 확보하지 못했으므로 -ENOMEM으로 모듈 적재 실패를 알립니다.

어느 재배치 섹션을 적용하는지 디버그 로그를 남깁니다. 실행 동작을 바꾸는 코드가 아니라 적재 과정을 추적하는 정보입니다.

로그에 실제 수정 대상 섹션 번호도 넣습니다. sh_info가 재배치 기록과 그 기록이 수정할 섹션을 연결합니다.

RELA 섹션의 모든 항목을 순회합니다. 각 항목에서 수정 위치·심벌·종류를 읽고 알맞은 계산을 수행합니다.

재배치 섹션의 sh_info로 실제 대상 섹션을 찾아 그 적재 주소를 얻습니다. 수정 위치 계산의 기준 주소입니다.

해당 대상 섹션 시작에 r_offset을 더해 이번 재배치가 고칠 명령이나 데이터 위치를 정합니다.

심벌 표의 적재 주소를 Elf_Sym 배열로 변환합니다. 다음 줄의 r_info 심벌 인덱스가 그중 사용할 항목을 선택합니다.

현재 재배치의 r_info에서 RISC-V ELF 심벌 인덱스를 꺼내 심벌 표의 항목을 선택합니다. 그 항목의 st_value가 addend와 함께 주소 계산의 입력이 됩니다.

심벌 값이 정상 주소가 아니라 해석 실패를 나타내는 오류값인지 확인합니다. weak 심벌이면 건너뛸 수 있지만 일반 심벌은 적재 오류가 됩니다.

주소를 찾지 못한 심벌의 결합 속성이 WEAK인지 확인합니다. 선택적 참조를 허용하는 weak 심벌만 미해결 상태를 무시합니다.

미해결 weak 심벌의 항목은 수정하지 않고 다음 재배치로 넘어갑니다.

필수 심벌을 해석하지 못했으므로 모듈 이름과 심벌 이름을 경고합니다.

심벌 이름은 문자열 표 시작에 st_name 오프셋을 더해 얻습니다. 실패한 참조를 사람이 식별할 수 있도록 로그에 전달합니다.

필수 심벌을 찾지 못한 오류를 -ENOENT로 반환합니다. 해석되지 않은 값을 주소처럼 기록하지 않습니다.

r_info에서 재배치 종류 번호를 꺼냅니다. 이 값으로 처리 함수와 HI20·LO12 같은 특별 처리가 필요한 종류를 구분하며, 심벌 인덱스와 같은 필드에 포장되어 있어 각각 따로 추출합니다.

재배치 종류가 처리 함수 배열의 범위 안인지 확인합니다. 범위를 먼저 검사하여 잘못된 ELF 입력으로 배열 밖 함수를 읽지 않게 합니다.

이번 재배치 종류에 등록된 처리 함수를 선택합니다. 배열 범위 안이어도 지원하지 않는 종류의 슬롯은 NULL일 수 있습니다.

종류 번호가 처리 배열 범위를 벗어나면 지원하지 않는 재배치로 취급합니다.

유효한 처리 함수가 없다는 표시로 NULL을 넣습니다. 아래 공통 검사에서 적재를 중단하게 됩니다.

종류가 범위 밖이거나 해당 슬롯에 구현이 없는지 확인합니다. 어느 쪽이든 임의의 함수를 실행하지 않고 재배치 오류를 보고합니다.

지원하지 않는 재배치 종류 번호를 모듈 이름과 함께 오류 로그에 남깁니다.

오류 메시지에 대상 모듈 이름과 실제 종류 번호를 넘깁니다. 잘못된 ELF 파일이나 지원 범위를 진단할 단서입니다.

지원하지 않는 type, 잘못된 pair 또는 overflow relocation을 거부한다.

심벌의 실제 값 S에 RELA의 addend A를 더해 기본 재배치 값 S+A를 만듭니다.

하위 12비트를 I형 또는 S형 명령에 넣는 PC 상대 재배치인지 확인합니다. 이 경우 LO12 심벌 자체가 목적지가 아니라 짝인 HI20 명령 위치를 가리키므로 추가 검색이 필요합니다.

이전 HI20 검색이 끝난 위치부터 이번 짝 검색을 시작합니다. 연속된 재배치 기록에서 불필요한 재탐색을 줄입니다.

아직 짝인 HI20 항목을 찾지 못했다고 초기화합니다. 검색을 다 마쳐도 false면 LO12를 계산할 수 없어 적재 오류가 됩니다.

후보 재배치를 순환하며 일치하는 HI20을 찾습니다. 시작 후보도 먼저 검사한 뒤 다음 위치로 이동하는 검색입니다.

현재 후보의 HI20 명령이 놓일 주소를 계산할 변수를 정의합니다. LO12 심벌이 가리키는 위치와 비교할 값입니다.

HI20 후보가 적용되는 대상 섹션의 실제 시작 주소를 가져옵니다.

후보 재배치의 r_offset을 더해 HI20 후보 명령의 실제 주소를 완성합니다.

LO12 재배치와 짝이 될 수 있는 후보 기록의 재배치 종류를 읽습니다. 후보가 PCREL_HI20 또는 GOT_HI20인지 확인하여, 하위 비트 계산에 쓸 상위 주소 계산 명령을 찾습니다.

후보 명령 위치가 LO12 심벌이 가리키는 HI20 위치와 같은지 확인합니다. 목적 심벌 주소가 아니라 짝이 되는 명령 주소를 비교합니다.

주소가 일치하는 후보가 PCREL_HI20인지 확인합니다. AUIPC 등의 상위 주소 계산과 LO12를 묶기 위한 종류 검사입니다.

GOT_HI20도 LO12의 짝으로 허용합니다. 이 경우 실제 목적지 대신 GOT 항목 주소까지의 상대 거리를 계산해야 합니다.

상위 20비트에 해당하는 정렬 값과 부호 있는 하위 12비트 값을 담습니다. 둘을 합쳐 원래 PC 상대 거리를 재구성합니다.

짝인 HI20이 참조하는 실제 목적 심벌을 가리킬 포인터입니다. LO12 심벌과 역할이 다르므로 별도로 구합니다.

HI20 목적 심벌을 찾기 위해 ELF 심벌 표의 시작 주소를 사용합니다. 다음 줄이 HI20 항목의 심벌 인덱스를 더합니다.

찾아낸 HI20 재배치가 참조하는 실제 목적 심벌을 선택합니다. LO12 쪽 심벌은 HI20 명령 위치를 가리킬 수 있으므로, 최종 목적지의 주소는 이 짝의 심벌에서 가져와야 합니다.

HI20 재배치의 심벌과 addend를 합친 실제 목적값을 담습니다.

짝인 HI20 항목이 참조하는 심벌의 값을 읽습니다. LO12가 참조한 HI20 명령 주소와 혼동하지 않아야 하는 목적값입니다.

그 HI20 항목의 addend를 더해 최종 S+A를 만듭니다. 서로 다른 RELA 항목의 addend를 섞지 않습니다.

HI20의 목적값에서 HI20 명령 위치를 빼 PC 상대 거리를 구합니다. LO12 명령 위치가 아닌 HI20 위치가 두 명령 조합의 기준입니다.

모듈의 GOT·PLT 보조 섹션을 지원하는 빌드인지 확인합니다. 다음 조건까지 만족하면 일반 목적 주소 대신 GOT 항목을 생성하는 경로를 사용합니다.

짝이 GOT_HI20일 때만 GOT 항목을 거치는 주소 계산을 합니다. 일반 PCREL_HI20이면 위에서 계산한 목적 심벌까지의 거리를 그대로 사용합니다.

실제 목적값을 담을 모듈 GOT 항목을 만들거나 재사용하고 그 항목의 주소를 얻습니다. 명령은 이 중간 항목을 참조하게 됩니다.

GOT을 소유할 모듈과 항목에 담을 목적 주소를 넘깁니다. 반환값은 그 목적 주소 자체가 아니라 GOT 항목의 위치입니다.

GOT 항목 주소에서 HI20 명령 주소를 빼, 명령이 사용할 GOT까지의 PC 상대 거리로 바꿉니다.

하위 12비트가 부호 확장되는 점을 반영해 0x800을 더한 뒤 하위 12비트를 지웁니다. bit 11이 1인 경우 상위 부분을 한 단계 올려야 두 명령의 합이 원래 거리가 됩니다.

전체 거리에서 조정한 상위 부분을 빼 signed 12비트 하위 즉시값을 얻습니다. 예를 들어 0x1800은 상위 0x2000과 하위 -0x800으로 나뉩니다.