İşlemcilerde bellek sıralaması sanıldığı kadar performans farkı yaratmıyor

Yazılım mühendisi Fabian Giesen, x86 gibi güçlü bellek sıralamasına sahip mimariler ile ARM ve RISC-V gibi zayıf sıralamalı mimariler arasındaki performans farklarına dair yaygın yanılgıları değerlendirdi. Giesen, modern işlemcilerin bellek kurallarını her erişimde katı şekilde uygulamadığını, bunun yerine spekülatif ve iyimser bir yaklaşımla çalıştığını belirtti.

Modern işlemciler, bellek erişimlerinin çoğunda çekirdekler arası çakışma yaşanmayacağı varsayımıyla komutları sırasız biçimde yürütüyor. İşlemci, komut kesinleşmeden (commit) önce çakışmaları metaveri üzerinden izliyor ve bir kural ihlali tespit edildiğinde komutları geri alıp yeniden deniyor. Güçlü ve zayıf mimariler arasındaki temel fark, bir çakışma durumunda güçlü modellerin daha sık geri alma ve yeniden deneme işlemine başvurmasından kaynaklanıyor.

Yüzlerce çekirdeğe sahip güncel sunucu ortamlarını da inceleyen Giesen, gerçek iş yüklerinde her iki mimarinin de benzer darboğazlarla karşılaştığını vurguladı. Pratikte zayıf bellek sıralamasının iddia edildiği gibi belirgin bir ölçeklenebilirlik veya enerji verimliliği üstünlüğü sağlamadığını ifade etti.