Yeni yazı: WCET Analizi — Statik Yöntemler, Ölçüm Tabanlı Yaklaşımlar ve Cache'in Karanlık Tarafı

[Mavrikant]

Özet

Hard real-time sistemlerde WCET (Worst-Case Execution Time) probleminin neden ölçümle çözülmediğini, statik analizin nasıl çalıştığını (IPET, abstract interpretation tabanlı cache analizi), Lundqvist–Stenström'ün gösterdiği şaşırtıcı timing anomaly olgusunu, sahadaki araçları (aiT, RapiTime, OTAWA, Heptane) ve multi-core'un işleri nasıl bambaşka bir yere taşıdığını incelyen ~2900 kelimelik teknik yazı.

• 📁 _posts/2026-05-28-wcet-analizi-statik-olcum-cache.md
• 🔬 agent/research/2026-05-28-wcet-analizi.md

Neden Bu Konu Seçildi?

• Alan rotasyonu: Son 3 yayın sistem (5/26), RF/DSP (5/21) ve gömülü/SoC Renode (5/14). Bu yazı dördüncü bir alan getiriyor: gerçek zamanlı / zamanlama analizi. Açık PR'lar (CRC, VOR, MC/DC, bellek güvenliği, UB, MISRA) ile de örtüşmüyor.
• Türkçede gerçek boşluk (Bölüm 8): WCET üç disiplinin kesişiminde yaşıyor — mikromimarı (cache, pipeline), derleyici/CFG analizi ve ILP. Türkçe içerikler genellikle "ölç ve marj ekle" düzeyinde kalıyor; IPET formülasyonu, abstract interpretation tabanlı cache analizi ve timing anomaly konusu Türkçe olarak neredeyse hiç yazılmamış. İngilizce kaynaklar Wilhelm 2008 etrafında toplu ama akademik ve dağınık.

Derinlik Öğesi (Bölüm 7)

Yazı şu somut öğeleri taşıyor:

1. IPET formülasyonu, 7 basic-block'luk küçük bir C örneği üzerinde — akış korunumu kısıtları, loop bound, ILP'nin çıktısı sayısal olarak hesaplanmış (5413 cycle).
2. Cache abstract interpretation — Ferdinand–Wilhelm must/may/persistence analizinin nasıl çalıştığı, LRU'nun neden önemli ve PLRU/random'ın neden işi bozduğu.
3. Timing anomaly counter-example — Lundqvist–Stenström 1999 RTSS makalesindeki "cache miss execution time'ı kısaltabilir" örneği, sezgiyle birlikte adım adım anlatım.

Doğrulanmış Kaynaklar

web_search ile teyit edildi:

• Wilhelm vd. 2008, "The Worst-Case Execution-Time Problem", ACM TECS 7(3) Article 36
• Li & Malik 1995, "Performance Analysis of Embedded Software Using Implicit Path Enumeration", DAC '95
• Lundqvist & Stenström 1999, "Timing Anomalies in Dynamically Scheduled Microprocessors", IEEE RTSS
• Reineke vd. 2006, "A Definition and Classification of Timing Anomalies", WCET Workshop
• Ferdinand & Wilhelm 1999, "Efficient and Precise Cache Behavior Prediction for Real-Time Systems", RTS Journal 17
• DO-178C §6.3.4.f (WCET, derleyici/linker/donanım seçeneklerinin etkisi)
• aiT (AbsInt), RapiTime (Rapita), OTAWA (IRIT), Heptane (INRIA) ürün sayfaları

Öz-Eleştiri Özeti (Faz 6)

Eleştirmen pass'inde iki spesifik teknik iddia yumuşatıldı:

1. Cortex-A72 L2 replacement policy spesifik iddiası genel ifadeyle değiştirildi.
2. Boeing 777 PFC cache off iddiası spesifik tanımdan çıkarılıp "bazı eski emniyet kritik flight computer mimarileri" ifadesine dönüştürüldü.

Geri kalan tüm olgular (standart sürüm/madde numaraları, makale yayın yılı/konferans adı, ürün özellikleri) doğrulanmış kaynaklarla destekleniyor.

Gizlilik Kontrolü (Bölüm 11)

Yazı tamamen kamuya açık literatür, açık standart referansları ve genel mühendislik bilgisi üzerinden yazıldı. Hiçbir proje-spesifik, müşteri-spesifik, ürün-kod-adlı veya ihracat-kontrollü detay içermez. MIL-STD veya ARINC standartları yalnızca kamuya açık tartışma düzeyinde anılıyor.

Defter Güncellemesi

agent/topics.md:

• "Yazıldı" listesine PR Yeni yazı: Bandpass Sampling — 1 GHz Sinyali 50 MHz Saatle Örneklemek #80 (Bandpass Sampling) ve PR Yeni yazı: Sistem Mühendisliği Nedir? #92/Sistem mühendisliği yazısı: V modelini görsele çevir, tekrarlanan tabloyu kaldır #95 (Sistem Mühendisliği Nedir) eklendi.
• WCET satırı fikir havuzundan çıkarıldı, "Seçildi/Devam Eden"e taşındı.
• Bu çalıştırmanın notları eklendi (alan rotasyonu, novelty gerekçesi, doğrulama özeti, sonraki güçlü adaylar).

---

🤖 Generated with Claude Code

[Copilot]

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.