Typeof null değeri bir döngü içinde neden değişir?

Bu pasajı Chrome konsolunda çalıştırmak:

function foo() {
    return typeof null === 'undefined';
}
for(var i = 0; i < 1000; i++) console.log(foo());

1000 kez yazdırmalıdır false, ancak bazı makinelerde falsebir dizi yineleme ve ardından truegeri kalanı için yazdırılır .

Bu neden oluyor? Bu sadece bir hata mı?

Bunun için açık bir krom hatası var:

Sorun 604033 - JIT derleyicisi yöntem davranışını korumuyor

Yani evet Bu sadece bir hata!

Aslında bir V8 JavaScript motoru ( Wiki ) hatasıdır.

Bu motor Chromium, Maxthron, Android OS, Node.js vb. Uygulamalarda kullanılmaktadır.

Bu Reddit konusunda bulabileceğiniz nispeten basit hata açıklaması :

Modern JavaScript motorları, JS kodunu çalıştırıldığında (Tam Zamanında derleme) daha hızlı çalışmasını sağlamak için optimize edilmiş makine koduna derler. Bununla birlikte, optimizasyon adımının uzun vadeli bir hızlandırma karşılığında bir miktar başlangıç ​​performans maliyeti vardır, bu nedenle motor, ne kadar yaygın kullanıldığına bağlı olarak bir yöntemin buna değip değmeyeceğine dinamik olarak karar verir.

Bu durumda, yalnızca optimize edilmiş yolda bir hata var gibi görünürken, optimize edilmemiş yol iyi çalışır. Bu nedenle, ilk başta yöntem amaçlandığı gibi çalışır, ancak bir noktada yeterince sık bir döngüde çağrılırsa, motor onu optimize etmeye karar verir ve onu buggy sürümüyle değiştirir.

Bu hata , Chromium'da ( hata raporu ) ve NodeJS'de ( commit ) olduğu gibi V8'in kendisinde ( commit ) düzeltilmiş görünüyor .

Neden değiştiğiyle ilgili doğrudan soruyu cevaplamak için, hata Chrome tarafından kullanılan V8 JS motorunun "JIT" optimizasyon rutinindedir. İlk başta, kod tam olarak yazıldığı gibi çalıştırılır, ancak onu ne kadar çok çalıştırırsanız, optimizasyonun faydalarının analiz maliyetlerinden daha fazla olma potansiyeli o kadar artar.

Bu durumda, döngüde tekrarlanan yürütmeden sonra, JIT derleyicisi işlevi analiz eder ve onu optimize edilmiş bir sürümle değiştirir. Ne yazık ki, analiz yanlış bir varsayımda bulunuyor ve optimize edilmiş sürüm aslında doğru sonucu üretmiyor.

Özellikle Reddit kullanıcısı RainHappens, bunun tür yayılmasında bir hata olduğunu öne sürüyor :

Aynı zamanda bir tür yayılımı da yapar (bir değişkenin hangi türlerde olabileceği gibi). Bir değişkenin tanımsız veya boş olduğu durumlar için özel bir "saptanamayan" tür vardır. Bu durumda, optimize edici "null tespit edilemez, bu nedenle karşılaştırma için" tanımsız "dizesi ile değiştirilebilir.

Bu, kodu optimize etmenin en zor sorunlarından biridir: performans için yeniden düzenlenen kodun orijinaliyle aynı etkiye sahip olacağı nasıl garanti edilir.

Bu iki ay önce düzeltildi ve yakında Chrome'a ​​inecek (zaten Kanarya'da).

V8 Sayı 1912553002 - Krank milinde 'typeof null' kanonikleştirmesini düzeltme

Chromium Issue 604033 - JIT derleyicisi yöntem davranışını korumuyor