PHP8의 JIT란 무엇인가요?

JIT는 코드를 중간 상태로 표현하고, 런타임 시 이를 아키텍처 종속 기계 코드로 변환하고, 즉시 실행하는 컴파일러 전략입니다. PHP8에서 Zend VM은 특정 opcode를 해석할 필요가 없으며 이러한 명령은 CPU 수준 명령어로 직접 실행됩니다.

JIT of PHP 8

PHP 8 JIT(Just In Time) 컴파일러의 영향은 의심할 여지가 없습니다. 그러나 지금까지 JIT가 수행해야 하는 작업에 대해 알려진 바가 거의 없다는 사실을 발견했습니다.

추천 동영상 튜토리얼: "PHP 프로그래밍 초보부터 숙달까지"

수차례 연구와 포기 끝에 PHP 소스 코드를 직접 확인하기로 결정했습니다. C 언어에 대한 나의 지식과 지금까지 수집한 모든 정보를 결합하여 이 기사를 작성했습니다. 이 기사가 PHP의 JIT를 더 잘 이해하는 데 도움이 되기를 바랍니다.

간단히 말하면 JIT가 예상대로 작동하면 코드가 Zend VM을 통해 실행되지 않고 일련의 CPU 수준 명령으로 직접 실행됩니다.

그게 전부입니다.

하지만 더 잘 이해하려면 PHP가 내부적으로 어떻게 작동하는지 고려해야 합니다. 별로 복잡하지는 않지만 소개가 필요합니다.

PHP 코드는 어떻게 실행되나요?

우리 모두 알고 있듯이 PHP는 해석형 언어인데 이 문장 자체는 무엇을 의미할까요?

PHP 코드(명령줄 스크립트 또는 웹 애플리케이션)를 실행할 때마다 PHP 인터프리터를 거쳐야 합니다. 가장 일반적으로 사용되는 것은 PHP-FPM 및 CLI 인터프리터입니다.

인터프리터의 작업은 간단합니다. PHP 코드를 받아 해석하고 결과를 반환하는 것입니다.

일반적으로 통역되는 언어는 이 과정을 따릅니다. 일부 언어에서는 몇 가지 단계를 생략할 수 있지만 일반적인 아이디어는 동일합니다. PHP에서 프로세스는 다음과 같습니다.

PHP 코드를 읽고 이를 토큰이라는 키워드 집합으로 해석합니다. 이 프로세스를 통해 인터프리터는 각 프로그램에 어떤 코드가 작성되었는지 알 수 있습니다. 이 단계를 렉싱(Lexing) 또는 토큰화(Tokenizing)라고 합니다.

토큰 컬렉션을 가져온 후 PHP 인터프리터는 이를 구문 분석하려고 시도합니다. AST(추상 구문 트리)는 구문 분석이라는 프로세스를 통해 생성됩니다. 여기서 AST는 수행할 작업을 나타내는 노드 집합입니다. 예를 들어, "echo 1 + 1"은 실제로 "1 + 1의 결과를 인쇄합니다" 또는 더 구체적으로 "작업을 인쇄합니다. 이 작업은 1 + 1입니다"를 의미합니다.

AST를 사용하면 작업과 우선순위를 더 쉽게 이해할 수 있습니다. 추상 구문 트리를 CPU에서 실행할 수 있는 작업으로 변환하려면 전환 표현식(IR)이 필요하며, PHP에서는 이를 Opcode라고 합니다. AST를 Opcode로 변환하는 프로세스를 컴파일이라고 합니다.

Opcode를 사용하면 재미있는 부분이 있습니다: 코드 실행! PHP에는 일련의 Opcode를 수신하고 실행할 수 있는 Zend VM이라는 엔진이 있습니다. 모든 Opcode가 실행된 후 Zend VM은 프로그램을 종료합니다.

다음은 Opcache 확장을 포함한 흐름도입니다.

JIT 컴파일의 효과는 무엇입니까?

PHP Internals News에서 Zeev의 PHP 및 JIT 방송을 듣고 JIT가 실제로 무엇을 하는지 알아냈습니다.

Opcache 확장이 Opcode를 더 빠르게 가져와 Zend VM으로 직접 전송할 수 있다면 JIT를 사용하면 Zend VM을 전혀 사용하지 않고도 Opcode를 실행할 수 있습니다.

Zend VM은 Opcode와 CPU 사이의 계층 역할을 하는 C로 작성된 프로그램입니다. JIT는 런타임에 직접 컴파일된 코드를 생성하므로 PHP는 Zend VM을 건너뛰고 CPU에서 직접 실행할 수 있습니다. 이론적으로는 성능이 더 좋아질 것입니다.

이것은 기계 코드로 컴파일되기 전에 각 구조체 유형에 대해 구체적인 구현을 작성해야 하기 때문에 이상하게 들립니다. 그러나 사실 이는 타당하다.

PHP의 JIT는 특정 형식의 CPU 명령어 세트를 다양한 CPU 유형에 대한 어셈블리 코드로 매핑하는 DynaASM(Dynamic Assembler)이라는 라이브러리를 사용합니다. 따라서 컴파일러는 DynASM을 사용하여 Opcode를 특정 구조에 대한 기계어 코드로 변환하기만 하면 됩니다.

그런데 오랫동안 나를 괴롭혀온 문제가 있습니다.

미리 로드를 통해 실행 전에 PHP 코드를 Opcode로 구문 분석할 수 있고 DynASM이 Opcode를 기계어 코드(Just In Time 컴파일)로 컴파일할 수 있다면 Ahead of Time 컴파일을 사용하여 즉시 PHP를 컴파일하면 어떨까요?

Zeev의 방송을 듣고 알게 된 이유 중 하나는 PHP가 약한 유형의 언어라는 것입니다. 즉, Zend VM이 opcode를 실행하려고 시도할 때까지 PHP는 일반적으로 변수 유형을 알 수 없다는 의미입니다.

Zend_value 공용체 유형을 확인하면 많은 포인터가 다양한 유형의 변수를 가리킨다는 것을 알 수 있습니다. Zend VM은 Zend_value에서 값을 얻으려고 할 때마다 ZSTR_VAL과 같은 매크로를 사용하여 공용체 유형의 문자열에 대한 포인터를 얻습니다.

예를 들어, 이 Zend VM 핸들러는 "작거나 같음"(

기계어 코드를 사용하여 유형 추론 논리를 수행하는 것은 불가능하며 속도가 느려질 수 있습니다.

먼저 평가한 다음 컴파일하는 것도 좋은 선택이 아닙니다. 기계어 코드로 컴파일하는 것은 CPU 집약적인 작업이기 때문입니다. 따라서 런타임에 모든 것을 컴파일하는 것도 좋지 않습니다.

추천 튜토리얼: "PHP" "PHP7"

위 내용은 PHP8의 JIT란 무엇인가요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!