Postgres partial index'i generic plana çevirmedi: kırk çalıştırma, kırk custom plan

Partial index ölçümü plan_cache_mode’u iki uca sabitledi ve aralarında bin altı yüz yetmiş üç kat buldu: custom planda 11.752 tps, generic planda 7. Ölçmediği şey herkesin gerçekten koştuğu ayardı — auto.

O kayıt orada bir cümle kurdu: “profil ısındıkça bozulur… staging’de görünmez.” Makul bir çıkarımdı ve yanlış çıktı.

Karar tahmin edilmedi, okundu

Postgres hazırlanmış bir deyimi ilk beş çalıştırmada custom planla koşar, sonra generic planın tahmini maliyetini custom planların ortalamasıyla karşılaştırır ve ancak generic daha ucuz görünüyorsa ona geçer. pg_prepared_statements bu kararı sayaç olarak tutuyor, yani zamanlamadan çıkarsamaya gerek yok.

Strateji	İlk generic plan	Son sayaç (custom/generic)	İlk 5 (ms)	Son 5 (ms)
partial geçiş reddedildi	hiç	40 / 0	0,36	0,20
composite	6. çalıştırma	5 / 35	0,40	0,21
(status)	hiç	40 / 0	0,98	0,78

Composite’in geçişi belgelendiği gibi, tam beşinciden sonra:

#5  0,266 ms   custom=5  generic=0
#6  0,275 ms   custom=5  generic=1   ← geçti
#7  0,185 ms   custom=5  generic=2

Partial index’te bu hiç olmuyor. Kırk çalıştırma, kırk custom plan.

Reddetmesinin sebebi felaketin kendisi

Planner generic planı seçmiyor çünkü maliyetini doğru tahmin ediyor. Generic plan $1’in ne olduğunu bilmez; partial index’i kullanabilmek için $1 = 'pending' olduğunu kanıtlaması gerekir, kanıtlayamaz, dolayısıyla o plan sequential scan’e düşer ve tahmini maliyeti tavan yapar. Custom planların ortalaması bunun çok altında kalınca karşılaştırma her seferinde custom lehine sonuçlanıyor.

Gerçek takas daha küçük ve başka yerde

Korumanın bir bedeli var: partial index’li sorgu her çalıştırmada yeniden planlanıyor. Kırk çalıştırma, kırk plan üretimi. Composite altıncıdan sonra aynı planı tekrar kullanıyor.

Bu ölçekte fark ölçülemiyor — 0,20 ms’ye karşı 0,21 ms. Ama plan üretimi ucuz bir sorguda ucuz; çok tablolu bir join’de ya da uzun bir IN listesinde değil. Partial index’in gizli maliyeti bloat (bkz. dayanıklılık ölçümü) ve sürekli yeniden planlama; ikisi de bu iş yükünde küçük, ikisi de başka bir iş yükünde küçük kalmayabilir.

Önceki kaydı düzeltiyor

Partial index kaydının “ısındıkça bozulan profil” paragrafı fazla ileri gitmişti ve o kayda bu bulguya işaret eden bir not düşüldü. Ölçümün kendi yayınını düzeltmesi bu bölümün sözleşmesinin gereği: bir sayı yayınlanıyorsa, onu yanlışlayan sayı da yayınlanır.