내가 만난 가장 이상한 버그. V8 최적화 문제가 있습니까?

Question

설명하기가 어려울 것입니다. 알아내는 데 3 일이 걸렸습니다.

저는 serialization 라이브러리를 만들고 있는데, 빨리 만들려고합니다. 버퍼간에 객체를 직렬화하는 것뿐입니다.

벤치 마크를 먼저 실행하면 인코딩하는 데 약 500 밀리 초가 걸리는 것으로 나타났습니다. 그러나 테스트 스위트를 먼저 실행하면 벤치 마크 이후에 인코딩하는 데 약 1300 밀리 초가 걸릴 것입니다.

전혀 다른 두 개의 개체로 작동했기 때문에 매우 이상했습니다.

필자는 내 프로그램을 살펴본 후 모든 단일 회선의 벤치마킹을 시작하여 마침내 800 밀리 초 차이를 계산하는 회선을 찾았습니다. 없음 루프의 몸체 중 for (var j = arrLen; j < refLen; j++) {

:

그것은 기능이 행 하였다. for 루프의 헤더.

나는 그것을 고치는 법을 몰랐습니다. 최근에 그냥 침묵에 제외하고 그냥 복사하여 붙여 넣기 기능을 복제하고 이름의 끝에 0을 포함하도록 이름을 바꾸려고했습니다.

그런 다음 테스트 스위트에서 첫 번째 함수를 호출하고 벤치 마크에서 두 번째 함수를 호출하게했습니다. 시차가 사라졌습니다. 함수 내용과 매개 변수 목록은 완전히 동일합니다.

내 주요 이론은 다음과 같습니다.이 함수를 처음으로 호출하면 함수가 최적화되고 루프가 풀린 것으로 추측됩니다. 벤치 마크를 먼저 호출하는 것이 문제가되지 않는 이유는 이것이 처음으로 최적화 된 것이기 때문입니다. 그러나 나중에 호출하면 주어진 입력에 맞게 최적화되지 않으므로 실제로 느리게 실행됩니다.

나의 질문은 : 단지이 기능을 복사하여 붙여 넣기가 번거롭지 않고 각각의 인코딩에이 기능의 다른 버전을 사용하는 것이 부족합니다. 시간 차이를 제거하는 방법으로이 문제를 해결할 방법이 있습니까? 500 밀리 초와 1300 밀리 초 사이의 차이는 엄청납니다.

저는이 테스트 사례를 만들려고했지만이 버그가 너무 애매하기 때문에 매우 어렵습니다. 바라기를 나의 텍스트 설명으로 충분했다.

편집 : 다음은 호출되는 함수입니다.

function endEncodeArray(ref, arrLen, writeRepeatFunction, wBuffer) { 
    var refLen = ref.length; 
    if (refLen - arrLen > 0) { 
    for (var j = arrLen; j < refLen; j++) { // <-- this line slow 
     writeRepeatFunction(ref[j], wBuffer); 
    } 
    } 
} 

편집 2 : 수동으로 문자열로 함수를 작성하는 그것을 evaling 다음 해당 전화의 접근 방식은 성능 문제를 해결하기 위해 보인다. 테스트 케이스를 분리하는 방법을 파악할 수 없으므로 이걸 붕대 고정으로 사용한다고 가정합니다.

Answer 1

위에서 언급 한 벤치 마크 및 테스트가 완전히 다른 두 가지 개체로 작동하기 때문에 deopt에 정확하게 직면 할 수 있습니다. 자세한 내용은 http://mrale.ph/blog/2015/01/11/whats-up-with-monomorphism.html을 참조하십시오. 도움이되기를 바랍니다.