PHP 최적화를위한 루프 불변 코드 모션 이해

Zend 엔진이 루프 불변 표현식을 자동으로 최적화하지 않기 때문에 LOOP-Invariant Code Motion (LICM)을 PHP에 수동으로 적용해야합니다. 1. 반복 통화를 피하기 위해 루프 전에 Cache count () 결과. 2. 루프 내에서 조건부 블록 외부에서 getUserEmail ($ user)과 같은 불변 함수 호출을 이동하거나 결과를 캐시합니다. 3. 액세스 오버 헤드를 줄이기 위해 $ this-> config [ 'threshold']와 같은 캐시 개체 또는 배열 속성 조회. 작업이 저렴한 경우 LICM을 피하거나 루프가 실행되지 않거나 가독성이 크게 영향을받습니다. JIT 통신 언어와 달리 PHP는 개발자에게 의존하여 특히 대규모 데이터 세트 또는 트래픽 응용 프로그램을 통해 더 나은 성능을 위해 루프를 수동으로 최적화합니다.

LICM (Loop-Invariant Code Motion)은 반복에 걸쳐 변경되지 않을 때 루프에서 계산을 움직여 성능을 향상시키는 컴파일러 최적화 기술입니다. PHP는 해석 된 언어이며 컴파일링 된 언어 (예 : C 또는 Java)와 같은 저수준 최적화를 수행하지 않지만 LICM을 이해하면 PHP 개발자가 수동으로보다 효율적인 코드를 작성하는 데 도움이됩니다.

루프 불신 코드 란 무엇입니까?

루프 내부의 코드 조각은 모든 반복에서 결과가 동일하게 유지되면 변하지 않습니다 . 여기에는 일반적으로 다음이 포함됩니다.

• 상수 매개 변수가있는 함수 호출
• 루프 내부에서 변경되지 않는 변수를 기반으로 한 계산
• 변경되지 않은 객체의 객체 속성 조회
• 변형되지 않은 배열의 어레이 크기 확인

예를 들어:

 for ($ i = 0; $ i <count ($ array); $ i) {
    echo $ array [$ i];
}

여기에서 $array 루프 내부에서 수정되지 않으면 count($array) 는 루프 별 변형입니다. 그러나 최적화되지 않는 한 모든 반복마다 재 계산됩니다.

PHP에 수동 LICM이 필요한 이유

PHP의 Zend 엔진은 일부 최적화를 수행하지만 (특히 Opcache가 활성화되어 있음) 보수적입니다. 일반적으로 기능 통화 또는 복잡한 표현식을 루프에서 자동으로 이동하지 않습니다. 즉, 이러한 사례를 최적화하기 위해 개발자에게 부담이 떨어집니다.

수동 최적화가 없으면 중복 작업이 축적됩니다.

• CPU 사용량 증가
• 느린 스크립트 실행
• 반복적 인 평가로 인한 메모리 소비가 높아집니다

PHP에서 LICM을 적용하는 방법

루프 불신 코드 모션을 수동으로 적용하려면 루프가 시작되기 전에 불변 표현식을 추출하십시오.

1. Cache count() 결과

 // bad : count ()는 모든 반복을 호출합니다
for ($ i = 0; $ i <count ($ array); $ i) {
    // ...
}

// 양호 : count ()가 밖으로 이동했습니다
$ len = count ($ array);
for ($ i = 0; $ i <$ len; $ i) {
    // ...
}

이것은 PHP 루프에서 가장 일반적이고 영향력있는 최적화 중 하나입니다.

2. 기능 호출을 외부로 이동합니다

 // 나쁜 : 반복적으로 부르는 함수
foreach ($ user as $ user) {
    if (getUserType ($ user) === 'admin') {
        sendalert (getUserEmail ($ user)); // getUserEmail은 변하지 않을 수 있습니다
    }
}

// 더 나은 : 불변의 호출을 추출합니다
foreach ($ user as $ user) {
    if (getUserType ($ user) === 'admin') {
        $ email = getUserEmail ($ user); // 여전히 안에 있지만 관리자만을위한 것입니다
        sendalert ($ 이메일);
    }
}

getUserEmail($user) 이 $user 에만 의존하고 $user 변경되지 않으면 해당 루프 반복 내에서 변하지 않지만 루프 외부에서 완전히 이동할 수는 없습니다. 그럼에도 불구하고 반복 당 여러 번 부르지 마십시오.

3. 캐시 개체 또는 배열 속성

 클래스 프로세서 {
    private $ config = [ 'threshold'=> 100];

    공개 기능 실행 ($ data) {
        // 불량 : 루프 내부 조건의 속성 액세스
        for ($ i = 0; $ i <count ($ data); $ i) {
            if ($ data [$ i]> $ this-> config [ &#39;threshold&#39;]) {
                // ...
            }
        }

        // 양호 : 값을 캐시하십시오
        $ threshold = $ this-> config [ &#39;threshold&#39;];
        $ len = count ($ data);
        for ($ i = 0; $ i <$ len; $ i) {
            if ($ data [$ i]> $ threshold) {
                // ...
            }
        }
    }
}

속성이나 배열 조회조차 비용이 적습니다. 그들을 캐싱하는 것은 특히 깊은 루프에서 도움이됩니다.

LICM을 신청하지 않을 때

모든 표현이 움직여서는 안됩니다. 다음과 같은 경우 조기 최적화를 피하십시오.

• 기능 호출은 이미 저렴합니다 (예 : 로컬 가변 액세스)
• 루프 본체는 표현식에 사용 된 변수를 수정합니다
• 루프는 전혀 실행되지 않을 수 있습니다 (그러나 캐싱은 여전히 무시할만한 비용이 있습니다)
• 가독성은 크게 고통받습니다

또한 PHP의 foreach 루프는 일반적으로 배열이 사전 가져 오기 때문에 count() 문제로 어려움을 겪지 않지만 조건에서 count() 가있는 루프 for .

최종 생각

PHP는 JIT 컴파일 언어와 같이 루프 불변 코드를 자동으로 최적화하지 않습니다. Opcache는 바이트 코드 컴파일을 캐싱하여 실행 속도를 향상 시키지만 논리를 재구성하지는 않습니다. 즉, 효율적인 PHP를 작성하는 데 종종 LICM과 같은 클래식 컴파일러 최적화를 적용하는 것이 포함됩니다.

키는 고리 내부에서 비싸고 반복되는 작업을 식별하고 안전 할 때 옮기는 것입니다. 대규모 데이터 세트 나 교통량이 많은 응용 프로그램에서 눈에 띄는 성능을 얻을 수있는 작은 변화입니다.

기본적으로 : 루프가 변경되지 않으면 전에 한 번 계산하십시오.

위 내용은 PHP 최적화를위한 루프 불변 코드 모션 이해의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!