컴파일 시점 처리가 빠른 이유

컴파일러가 미리 끝낸 작업은 프로그램이 실행되는 동안 다시 수행할 필요가 없습니다. 이것이 컴파일 시점 속도의 핵심입니다. ⚡

값이 매개변수이면 컴파일러가 값을 코드에 미리 반영하고, 실행 시간에 값을 결정했을 분기를 삭제합니다.

알려진 매개변수가 있으면 Mojo는 상수 접기를 수행할 수 있습니다. 호출할 때마다 다시 계산하는 대신 컴파일 중에 고정된 결과를 계산합니다.

반복 횟수가 매개변수라면 컴파일러가 반복문을 직선형 코드로 펼쳐, 횟수를 세고 이동하는 오버헤드를 줄일 수 있습니다.

정확한 형식이 컴파일 시점에 고정되므로 호출이 실행 시간 조회 없이 올바른 코드로 곧바로 이동해 속도가 느려지지 않습니다.

특화된 함수에는 실제로 필요한 논리만 들어 있으므로 기계어 코드가 더 작고 단순하며 CPU에 더 적합합니다.

컴파일 시점에 SIMD 너비를 고정하면 Mojo가 정확한 벡터 명령을 생성하므로, 레인 수에 따른 실행 시간 분기가 필요하지 않습니다.

약간의 추가 컴파일 시간과 코드 크기를 감수하는 대신 실행 시간을 크게 줄일 수 있으므로, 성능이 중요한 코드에서는 매우 좋은 선택입니다.

특화는 핫 경로에서 특히 효과적입니다. AI와 과학 계산 코드에서 수백만 번 실행되는 촘촘한 숫자 반복문과 커널이 이에 해당합니다.

명확한 제네릭 정의 하나를 유지하면서 컴파일러가 빠른 여러 변형을 만들므로, 속도를 위해 가독성을 희생할 필요가 없습니다.

결정을 실행 시간에서 컴파일 시점으로 옮기면 비용이 사라집니다. 이 단순한 아이디어 덕분에 Mojo가 저수준 언어와 맞먹는 성능을 낼 수 있습니다.

컴파일 시점 매개변수가 성능을 높이는 이유를 떠올려 보십시오.

그 효과를 확인했습니다. 컴파일 시점 매개변수를 사용하면 Mojo가 상수를 미리 계산하고, 반복문을 펼치며, 디스패치를 건너뛰어 제네릭 코드를 빠른 특화 기계어 코드로 바꿉니다. 🎯